Michel Lemoine

2007
17		Ré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
16		Ré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
15	EE	Robert Darimont, Michel Lemoine: Security Requirements for Civil Aviation with UML and Goal Orientation. REFSQ 2007: 292-299
2006
14	EE	Yves 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
13	EE	Robert Darimont, Michel Lemoine: Goal-oriented Analysis of Regulations. ReMo2V 2006
12	EE	Régine Laleau, Michel Lemoine: Preface. ReMo2V 2006
11	EE	Ré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
10	EE	Michel Lemoine, Jack Foisseau: Managing (Requirements) Evolutions of High Assurance Systems. RE 2002: 91
2001
9		Adriaan 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
8		Oscar 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
7	EE	Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler: Validating Requirements: The Evolutionary Approach. COMPSAC 1998: 458-463
1991
6		Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136
1989
5		Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice: Method Driven Programming. IFIP Congress 1989: 351-356
1987
4		Michel Lemoine, René Jacquart, Guy Zanon: SPRAC: A Software Engineering Environment. STACS 1987: 477-478
1986
3		K. 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
2		Jack 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
1		Ephrem 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

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

Colors in the list of coauthors