[1998 – 2010] : Professeur à l'Université de Versailles Saint-Quentin en Yvelines
[1984 – 1998] : Maître de conférences de l'Université Henri Poincaré, Nancy 1
Journal articles3 documents
Nicole Lévy, Stéphane Jean, Francisca Losavio, Alfredo Matteo. 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. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31, pp.39-69. ⟨hal-01126123⟩
Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, et al.. Developing Ambient Intelligence Systems: A Solution based on Web Services. Automated Software Engineering, Springer Verlag, 2005, 12 (1), pp.101-137. ⟨10.1023/B:AUSE.0000049210.42738.00⟩. ⟨inria-00414951⟩
Thomas Lambolais, Nicole Lévy, Jeanine Souquières. Assistance au développement de spécifications de protocoles de communication. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1061-1082. ⟨inria-00098447⟩
Conference papers16 documents
Mustapha Derras, Laurent Deruelle, Nicole Lévy, Francisca Losavio. Towards bridging the gap between domain and application design. 6th International Conference on Enterprise Systems (ES), Oct 2018, Limassol, France. pp.44-49, ⟨10.1109/ES.2018.00014⟩. ⟨lirmm-02464872⟩
Mustapha Derras, Laurent Deruelle, Jean Michel Douin, Nicole Lévy, Francisca Losavio, et al.. Reference Architecture Design: A Practical Approach. 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.633-640, ⟨10.5220/0006865006330640⟩. ⟨lirmm-02464883⟩
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Levy. Une ligne de produits corrects par construction. AFADL 2017: 6èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. pp.79 - 85. ⟨hal-01670764⟩
Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy. Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE), Apr 2015, London, United Kingdom. pp.44-55, ⟨10.4204/EPTCS.182.4⟩. ⟨lirmm-02464897⟩
Nicole Lévy, Francisca Losavio, Oscar Ordaz, Anthony Baiotto. Graph Modelling of a Refactoring Process for Product Line Architecture Design. XXXIX Latin American Computing Conference, CLEI 2013, Oct 2013, Club Puerto Azul, Naiguatá, Venezuela. pp.2-13. ⟨hal-01126323⟩
Rima Ben Mosbah, Sébastien Dourlens, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio. Web Service Platform for Engineering Design Optimization of a Mechatronic Multi-parts Component. International Conference on Computer Systems and Technologies (CompSysTech?11), Jun 2011, Vienna, Austria. pp.280-285. ⟨hal-01126047⟩
Rima Ben Mosbah, Sébastien Dourlens, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio. Information management of mechatronic systems materials. International Conference on Computer Systems and Technologies (CompSysTech?11), Jun 2011, Vienna, Austria. pp.273-279. ⟨hal-01126048⟩
Ofaina Taofifenua, Hugo Chale, Thierry Gaudré, Alexandra Topa, Nicole Lévy, et al.. Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems. 21th annual INCOSE International Symposium, Jun 2011, Denver, United States. ⟨hal-01126045⟩
Nicole Lévy, Francisca Losavio, Alfredo Matteo, Amar Ramdane-Cherif, Hasna Hadj Salem. Quality Standards Ontology for Web Service Discovery. XXXVII Conferencia Latinoamericana de Infor?tica (CLEI 2011), Oct 2011, Quito, Ecuador. pp.625-624. ⟨hal-01126044⟩
Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Levy. Coordinated Forward Error Recovery for Composite Web Services. 22nd Symposium on Reliable Distributed Systems : SRDS 2003, 2003, Florence, Italy. pp.167-176. ⟨inria-00414799⟩
Nicole Levy, Rafael Marcano Kamenoff, Jeanine Souquières. From Requirements to Formal Specification Using UML and B. International Conference on Computer Systems and technologies - CompSysTech'2002, 2002, Sofia, Bulgarie, 6 p. ⟨inria-00100758⟩
Rafael Marcano Kamenoff, Eric Meyer, Nicole Levy, Jeanine Souquières. Utilisation de patterns dans la construction de specifications en UML et B. Approches Formelles dans l'Assistance au Developpement de Logiciels - AFADl'2000, Jan 2000, Grenoble, France, 15 p. ⟨inria-00099102⟩
Songsakdi Rongviriyapanish, Nicole Lévy. Variations sur le style architectural Pipe and Filter. Approches formelles dans l'assistance au développement de logiciels - AFADl'2000, 2000, Grenoble, France, 17 p. ⟨inria-00099021⟩
Rafael Marcano Kamenoff, Nicole Lévy, Francisca Losavio. Spécification et spécialisation de patterns en UML et B. Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, 16 p. ⟨inria-00099206⟩
Nicole Lévy, Francisca Losavio. Analyzing and Comparing Architectural Styles. XIX International Conference of the Chilean Computer Society - SCCC'99, 1999, Talca, Chile, pp.87-95. ⟨inria-00098786⟩
Nicole Lévy, Francisca Losavio, Alfredo Matteo. Comparing Architectural Styles: Broker Specializes Mediator. Third International Software Architecture Workshop - ISAW 3, 1998, Orlando, Florida, USA, 4 p. ⟨inria-00098484⟩
Poster communications1 document
Thi-Kim-Dung Pham, Catherine Dubois, Nicole Levy. Vers un développement formel non incrémental. AFADL 2016 : 15èmes journées des Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. Edités par Aurélie Hurault et Nicolas Stouls, pp.106 - 113. ⟨hal-01677923⟩
Book sections3 documents
yann Pollet, Nicole Lévy, Francisca Losavio. Architecture and Quality of Software Systems. Wiley. Software Architectures 2, pp.133-170, 2014, 978-1-84821-688-4. ⟨hal-01126538⟩
Nicole Lévy, Francisca Losavio, yann Pollet. Architecture et qualité de systèmes logiciels. Hermès Sciences-Lavoisier. Architectures logicielles : principes, techniques et outils, pp.265-302, 2013, 978-2-7462-4517-4. ⟨hal-01126337⟩
Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Levy. Dependability in the Web Services Architecture. Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.90-109, 2003. ⟨inria-00414794⟩