Mamoun Filali

	2009
35		Lei Pi, Jean-Paul Bodeveix, Mamoun Filali: Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206
34		Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat: Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221
33		Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma: A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS 2009: 347-352
32		Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali: Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF 2009: 170-185
	2008
31		Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas: Modes in Asynchronous Systems. ICECCS 2008: 282-287
30		Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard: Model Based Architecting and Construction of Embedded Systems. MoDELS Workshops 2008: 1-4
29		Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali: Spécification et vérification d'un ordonnanceur en B via les automates temporisés. L'OBJET 14(4): 43-72 (2008)
	2007
28		Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas: The AADL behaviour annex - experiments and roadmap. ICECCS 2007: 377-382
27		Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland: A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174
26		Mamoun Filali: A Mechanization of Phylogenetic Trees. VERIFY 2007
25		Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Automatic Verification of Bossa Scheduler Properties. Electr. Notes Theor. Comput. Sci. 185: 17-32 (2007)
	2006
24		Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100
23		Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit: Verification of a scheduler in B through a timed automata specification. SAC 2006: 1800-1801
	2005
22		Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
21		Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
20		Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker: Towards formalising AADL in Proof Assistants. Electr. Notes Theor. Comput. Sci. 141(3): 153-169 (2005)
	2003
19		Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
18		Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2002
17		Jean-Paul Bodeveix, Mamoun Filali: Type Synthesis in B and the Translation of B to PVS. ZB 2002: 350-369
16		Jean-Paul Bodeveix, Mamoun Filali: Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods in System Design 20(1): 69-89 (2002)
	2000
15		Jean-Paul Bodeveix, Mamoun Filali: Experimenting Acceleration Methods for the Validation of Infinite State Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E23-E30
14		Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux: Refinement Based Validation of an Algorithm for Detecting Distributed Termination. IPDPS Workshops 2000: 1027-1036
13		Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
12		Jean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
	1999
11		Luc Bougé, William F. McColl, Mamoun Filali, Henk J. Sips: Parallel Programming: Models, Methods, and Languages - Introduction. Euro-Par 1999: 831-832
10		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164
9		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Observation: An Abstract Communication Mechanism. Parallel Processing Letters 9(3): 437-450 (1999)
	1998
8		Jean-Paul Bodeveix, Mamoun Filali: On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops 1998: 807-819
7		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832
	1997
6		Jean-Paul Bodeveix, Mamoun Filali: Towards the Automatic Verification of Atomic Memory Protocols. Parallel Processing Letters 7(1): 101-112 (1997)
	1996
5		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104
	1995
4		Jean-Paul Bodeveix, Mamoun Filali: On the Refinement of symmetric memory protocols. TPHOLs 1995: 58-74
	1994
3		Jean-Paul Bodeveix, Mamoun Filali, P. Roche: Towards a HOL Theory and Memory. TPHOLs 1994: 49-64
	1992
2		G. Bazalgette, D. Bekele, C. Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah: STRAda - An Ada Transformation and Distribution System. Ada-Europe 1992: 287-299
	1985
1		Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah: Distributed Control Through Task Migration via Abstract Networks. ICDCS 1985: 532-538

Coauthor Index

1	Stefan Van Baelen	[30]
2	G. Bazalgette	[2]
3	Leandro Buss Becker	[32]
4	D. Bekele	[2]
5	J. L. Bernartt	[18]
6	C. Bernon	[2]
7	Bernard Berthomieu	[18] [34]
8	Claude Bétourné	[1]
9	Jean-Paul Bodeveix	[3] [4] [6] [8] [12] [15] [16] [17] [18] [20] [22] [23] [24] [25] [27] [28] [29] [31] [32] [33] [34] [35]
10	Luc Bougé	[11]
11	Julien Brunel	[24]
12	Raphaël Cavallero	[27]
13	Michel Charpentier	[5] [7] [9] [10]
14	Christelle Chaudet	[34]
15	David Chemouil	[20] [27] [28] [31]
16	Silvano Dal-Zilio	[34]
17	Pierre Dissaux	[18]
18	Patrick Farail	[18]
19	Jean-Marie Farines	[18] [32]
20	Ricardo Bedin França	[28] [32]
21	Pierre Gauffilet	[18]
22	Sébastien Gérard (Sebastien Gerard)	[30]
23	Susanne Graf	[30]
24	Kai Hu	[33]
25	Miloud Rached Irit	[23]
26	Valérie Issarny	[21]
27	Jean-Luc Lambert	[18]
28	Julia L. Lawall	[22] [25]
29	Dianfu Ma	[33]
30	Philippe Mauran	[5] [7] [9] [10] [13] [14] [19] [21]
31	William F. McColl	[11]
32	Pierre Michel	[18]
33	Gilles Muller	[22] [25]
34	Odile Nasr	[23] [29]
35	Iulian Ober	[30]
36	Gérard Padiou	[1] [5] [7] [9] [10] [13] [14] [18] [19] [21]
37	Lei Pi	[33] [35]
38	Philippe Quéinnec	[5] [7] [9] [10] [13] [14] [19] [21]
39	M. Rached	[29]
40	Pierre-Olivier Ribet	[18]
41	J. M. Rigaud	[2]
42	P. Roche	[3]
43	Jean-François Rolland	[27] [28] [31]
44	A. Sayah	[1] [2]
45	Henk J. Sips	[11]
46	Martin Strecker	[20]
47	Xavier Thirioux	[14]
48	Dave Thomas	[28] [31]
49	François Vernadat	[18] [34]
50	Thomas Weigert	[30]
51	Zhibin Yang	[33]

Colors in the list of coauthors