Nicole Levy

Professeur émérite
Équipe : Systèmes sûrs
Site web :
Téléphone : +33 1 40 27 25 85
Bureau : 31.1.7A

2018

Articles de conférence

  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 

2016

Divers

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

2015

Articles de conférence

  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 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE), pages 44-55, London, United Kingdom, 2015. doi  www 

2014

Livres

  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 

Chapitres d'ouvrage

  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

Chapitres d'ouvrage

  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 

Articles de conférence

  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

Articles de revue

  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

Articles de conférence

  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. 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 
  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 

2010

Articles de conférence

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

2005

Articles de revue

  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

Chapitres d'ouvrage

  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 

Articles de conférence

  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

Articles de conférence

  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

Articles de conférence

  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. 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 
  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 

1999

Articles de conférence

  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 

Rapports

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

1998

Articles de revue

  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 

Articles de conférence

  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

Rapports

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