Levy

Nicole Levy

Professor Emeritus
Team: Systèmes sûrs
Personal website:
Phone: +33 1 40 27 25 85
Office: 31.1.7A

2023

Conference Articles

  1. Krapf, P.; Levy, N. and Berthier, S. Configurable system or product line?. In First Workshop on Trends in Configurable Systems Analysis, co-located with ETAPS 2023, Paris, France, 2023. www 
  1. Krapf, P.; Berthier, S. and Levy, N. Product Line Management with Graphical MBSE Views. In Electronic Proceedings in Theoretical Computer Science, EPTCS, pages 53-65, Paris, France, 2023. doi  www 

2019

Conference Articles

  1. Derras, M.; Deruelle, L.; Douin, J-M.; Levy, N.; Losavio, F.; Oumarou Mahamane, R. and Reiner, V. Approach for Variability Management of Legal Rights in Human Resources Software Product Lines. In Proceedings of the 14th International Conference on Software Technologies - ICSOFT,, pages 514-521, SCITEPRESS - Science and Technology Publications, Prague, Czech Republic, 2019. doi  www 

2018

Conference Articles

  1. Derras, M.; Deruelle, L.; Douin, J-M.; Levy, N.; Losavio, F.; Pollet, y. and Reiner, V. Reference Architecture Design: a Practical Approach. In Proceedings of the 13th International Conference on Software Technologies ICSOFT, pages 599-606, SCITEPRESS SCIENCE AN D TECHNOLOGY PUBLICATIONS, Porto (Portugal), Portugal, 2018. doi  www 
  1. Derras, M.; Deruelle, L.; Lévy, N. and Losavio, F. Towards bridging the gap between domain and application design. In 6th International Conference on Enterprise Systems (ES), pages 44-49, IEEE, Limassol, Cyprus, 2018. doi  www 

2017

Conference Articles

  1. Pham, T-K.; Dubois, C. and Levy, N. Une ligne de produits corrects par construction. In Actes AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, pages 79-85, AFADL, Montpellier, France, 2017. www 

2016

Miscellaneous

  1. Pham, T-K.; Dubois, C. and Levy, N. Vers un développement formel non incrémental. , Poster. www 

2015

Conference Articles

  1. Pham, T-K.; Dubois, C. and Lévy, N. Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. In FMSPLE@ETAPS, pages 44-55, London, United Kingdom, 2015. doi  www 

2014

Books

  1. Dubois, C.; Duchien, L. and Levy, N. Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel. Conservatoire National des Arts et Métiers, 2014. www 

Book Sections

  1. Pollet, Y.; Lévy, N. and Losavio, F. Architecture and Quality of Software Systems. In Software Architectures 2, pages 133-170, 2014. www 

2013

Book Sections

  1. Lévy, N.; Losavio, F. and Pollet, Y. Architecture et qualité de systèmes logiciels. In Architectures logicielles : principes, techniques et outils, pages 265-302, 2013. www 

Conference Articles

  1. Lévy, N.; Losavio, F.; Ordaz, O. and Baiotto, A. Graph Modelling of a Refactoring Process for Product Line Architecture Design. In XXXIX Latin American Computing Conference, CLEI 2013, pages 2-13, Club Puerto Azul, Naiguat'a, Venezuela, 2013. www 

2012

Journal Articles

  1. Lévy, N.; Jean, S.; Losavio, F. and Matteo, A. Prise en compte des standards de qualité et des préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 31: 39-69, 2012. www 

2011

Conference Articles

  1. Ben Mosbah, R.; Dourlens, S.; Ramdane-Cherif, A.; Lévy, N. and Losavio, F. Web Service Platform for Engineering Design Optimization of a Mechatronic Multi-parts Component. In International Conference on Computer Systems and Technologies (CompSysTech?11), pages 280-285, Vienna, Austria, 2011. www 
  1. Ben Mosbah, R.; Dourlens, S.; Ramdane-Cherif, A.; Lévy, N. and Losavio, F. Information management of mechatronic systems materials. In International Conference on Computer Systems and Technologies (CompSysTech?11), pages 273-279, Vienna, Austria, 2011. www 
  1. Lévy, N.; Losavio, F.; Matteo, A.; Ramdane-Cherif, A. and Hadj Salem, H. Quality Standards Ontology for Web Service Discovery. In XXXVII Conferencia Latinoamericana de Infor?tica (CLEI 2011), pages 625-624, Quito, Ecuador, 2011. www 
  1. Taofifenua, O.; Chale, H.; Gaudré, T.; Topa, A.; Lévy, N. and Boulanger, J-L. Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems. In 21th annual INCOSE International Symposium, Denver, United States, 2011. www 

2010

Conference Articles

  1. Jean, S.; Losavio, F.; Matteo, A. and Lévy, N. An Extension of OWL-S with Quality Standards. In 2010 Fourth International Conference on Research Challenges in Information Science (RCIS), pages 483-494, IEEE, Nice, France, 2010. doi  www 

2005

Journal Articles

  1. Issarny, V.; Sacchetti, D.; Tartanoglu, F.; Sailhan, F. c.; Chibout, R.; Levy, N. and Talamona, A. Developing Ambient Intelligence Systems: A Solution based on Web Services. In Automated Software Engineering, 12 (1): 101-137, 2005. doi  www 

2003

Book Sections

  1. Tartanoglu, F.; Issarny, V.; Romanovsky, A. B. and Levy, N. Dependability in the Web Services Architecture. In Architecting dependable systems, pages 90-109, Springer, 2003. www 

Conference Articles

  1. Tartanoglu, F.; Issarny, V.; Romanovsky, A. B. and Levy, N. Coordinated Forward Error Recovery for Composite Web Services. In 22nd Symposium on Reliable Distributed Systems : SRDS 2003, pages 167-176, Florence, Italy, 2003. www 

2002

Conference Articles

  1. Levy, N.; Marcano Kamenoff, R. and Souquières, J. From Requirements to Formal Specification Using UML and B. In International Conference on Computer Systems and technologies - CompSysTech'2002, pages 6 p, Sofia, Bulgarie, 2002. www 

2000

Conference Articles

  1. Marcano Kamenoff, R.; Lévy, N. and Losavio, F. Spécification et spécialisation de patterns en UML et B. In Langages et Modèles `a Objets - LMO'2000, pages 16 p, Editions Hermes, Montreal, Canada, 2000. www 
  1. Rongviriyapanish, S. and Lévy, N. Variations sur le style architectural Pipe and Filter. In Approches formelles dans l'assistance au développement de logiciels - AFADl'2000, pages 17 p, Grenoble, France, 2000. www 
  1. Marcano Kamenoff, R.; Meyer, E.; Levy, N. and Souquières, J. Utilisation de patterns dans la construction de specifications en UML et B. In Approches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, pages 15 p, Grenoble, France, 2000. www 

1999

Conference Articles

  1. Lévy, N. and Losavio, F. Analyzing and Comparing Architectural Styles. In XIX International Conference of the Chilean Computer Society - SCCC'99, pages 87-95, IEEE CS Press editor, Talca, Chile, 1999. www 

Reports

  1. Rongviriyapanish, S. and Levy, N. Variations on the Pipe and Filter Architectural Style. Technical Report 99-R-027 || rongviriyapanish99a, , 1999.

1998

Journal Articles

  1. Lambolais, T.; Lévy, N. and Souquières, J. Assistance au développement de spécifications de protocoles de communication. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 17 (9): 1061-1082, 1998. www 

Conference Articles

  1. Lévy, N.; Losavio, F. and Matteo, A. Comparing Architectural Styles: Broker Specializes Mediator. In Third International Software Architecture Workshop - ISAW 3, pages 4 p, ACM Press, Orlando, Florida, USA, 1998. www 

1987

Reports

  1. Levy, N.; Piganiol, A. and Souquières, J. Specifying with SACSO. Technical Report RR-0683, INRIA, 1987.
Top