Mamoun Filali

Mamoun Filali-Amine

	2012
43		Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali: Revising and Extending the Uppaal Communication Mechanism. Software Composition 2012: 114-131
	2011
42		Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali: An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119
41		Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275
40		Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard: An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 2011: 317-331
39		Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Design of a BPEL Verification Tool. WS-FM 2011: 95-110
38		Jean-Paul Bodeveix, Mamoun Filali: Event B Development of a Synchronous AADL Scheduler. Electr. Notes Theor. Comput. Sci. 280: 23-33 (2011)
	2010
37		Mamoun Filali-Amine, Julia L. Lawall: Development of a Synchronous Subset of AADL. ASM 2010: 245-258
36		T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat: Supporting the Design of Safety Critical Systems Using AADL. ICECCS 2010: 331-336
	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: 203-218 (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	Thomas Abdoul	[40]
2	Stefan Van Baelen	[30] [40]
3	G. Bazalgette	[2]
4	Leandro Buss Becker	[32] [36]
5	D. Bekele	[2]
6	Yolande Berbers	[40]
7	J. L. Bernartt	[18]
8	C. Bernon	[2]
9	Bernard Berthomieu	[18] [34]
10	Dominique Bertrand	[40]
11	Claude Bétourné	[1]
12	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] [36] [38] [39] [41] [42] [43]
13	Abdeldjalil Boudjadar	[42] [43]
14	Mahmoud Boufaïda	[40]
15	Luc Bougé	[11]
16	Julien Brunel	[24]
17	Raphaël Cavallero	[27]
18	Joël Champeau	[40]
19	Michel Charpentier	[5] [7] [9] [10]
20	Christelle Chaudet	[34]
21	David Chemouil	[20] [27] [28] [31]
22	T. Correa	[36]
23	Silvano Dal-Zilio	[34]
24	Didier Delanote	[40]
25	Pierre Dissaux	[18]
26	Patrick Farail	[18]
27	Elie Fares	[39] [41]
28	Jean-Marie Farines	[18] [32] [36]
29	Sébastien Faucou	[40]
30	Peter H. Feiler	[40]
31	Ricardo Bedin França	[28] [32]
32	Pierre Gauffilet	[18]
33	Sébastien Gérard (Sebastien Gerard)	[30] [40]
34	Susanne Graf	[30]
35	Kai Hu	[33]
36	Miloud Rached Irit	[23]
37	Valérie Issarny	[21]
38	Wouter Joosen	[40]
39	Jean-Luc Lambert	[18]
40	Julia L. Lawall	[22] [25] [37]
41	Dianfu Ma	[33]
42	Frédéric Mallet	[40]
43	Philippe Mauran	[5] [7] [9] [10] [13] [14] [19] [21]
44	William F. McColl	[11]
45	Pierre Michel	[18]
46	Chokri Mraidha	[40]
47	Gilles Muller	[22] [25]
48	Odile Nasr	[23] [29]
49	Iulian Ober	[30]
50	Gérard Padiou	[1] [5] [7] [9] [10] [13] [14] [18] [19] [21]
51	Laurent Pautet	[40]
52	Isabelle Perseil	[40]
53	Lei Pi	[33] [35]
54	Philippe Quéinnec	[5] [7] [9] [10] [13] [14] [19] [21]
55	M. Rached	[29]
56	Pierre-Olivier Ribet	[18]
57	J. M. Rigaud	[2]
58	P. Roche	[3]
59	Jean-François Rolland	[27] [28] [31] [40]
60	A. Sayah	[1] [2]
61	Lionel Seinturier	[40]
62	Henk J. Sips	[11]
63	Martin Strecker	[20]
64	Xavier Thirioux	[14]
65	Dave Thomas	[28] [31]
66	François Vernadat	[18] [34] [36]
67	Thomas Weigert	[30]
68	Zhibin Yang	[33]
69	Abdelhafid Zitouni	[40]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page