Skip to Main content
Number of documents

22

Nicole Levy


[depuis 2010] : Professeur d'Université au CNAM

 

 

[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, S.Jean 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 papers15 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩