Michel Lemoine Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2007
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Michel Lemoine: Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006 CEUR-WS.org 2007
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Darimont, Michel Lemoine: Security Requirements for Civil Aviation with UML and Goal Orientation. REFSQ 2007: 292-299
2006
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Darimont, Michel Lemoine: Goal-oriented Analysis of Regulations. ReMo2V 2006
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Michel Lemoine: Preface. ReMo2V 2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
2002
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Lemoine, Jack Foisseau: Managing (Requirements) Evolutions of High Assurance Systems. RE 2002: 91
2001
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64
1999
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Nierstrasz, Michel Lemoine: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings Springer 1999
1998
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler: Validating Requirements: The Evolutionary Approach. COMPSAC 1998: 458-463
1991
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice: Method Driven Programming. IFIP Congress 1989: 351-356
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Lemoine, René Jacquart, Guy Zanon: SPRAC: A Software Engineering Environment. STACS 1987: 477-478
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Ryan, J. A. Redmond, Donald O'Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth: Surveying Software Tools for a Method Driven Environment. IFIP Congress 1986: 895-902
1980
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon: Programming Development with or without Coding. IFIP Congress 1980: 327-330
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEphrem S. Dorkenoo, Michel Lemaître, Michel Lemoine: A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress 1977: 453-457

Coauthor Index

1Didier Bert [11] [14] [16]
2Fabrice Bouquet [16]
3Jacques Cazin [5] [6]
4Patrice Cros [6]
5Robert Darimont [13] [15]
6Manfred Dausmann [3]
7Véronique Donzeau-Gouge [11] [14] [16]
8Ephrem S. Dorkenoo [1]
9Catherine Dubois [11] [14] [16]
10Jack Foisseau [2] [10]
11Gervais Gaudiére [9]
12Adriaan de Groot [9]
13Jozef Hooman [9]
14A. Hunot [3]
15René Jacquart [2] [4] [5] [6]
16Deepak Kapur [9]
17Fabrice Kordon [9]
18Régine Laleau (Regine Laleau) [11] [12] [14] [16] [17]
19Yves Ledru [11] [14] [16]
20Michel Lemaître [1] [2]
21D. Marre [7]
22Boyd Mathews [3]
23P. Maurice [5]
24P. Michel [5] [6]
25Oscar Nierstrasz [8]
26Donald O'Neill [3]
27Emmanuel Paviot-Adet [9]
28Fabien Peureux [11] [14]
29J. A. Redmond [3]
30K. Ryan [3]
31P. Thuillier [7]
32Isabelle Vernier-Mounier [9]
33J. C. Vignat [2]
34Sylvie Vignes [11] [14] [16]
35K. Wachsmuth [3]
36Victor L. Winter [9]
37J.-L. Wippler [7]
38Guy Zanon [2] [4]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)