dblp.uni-trier.dewww.uni-trier.de

Mamoun Filali

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
30EEIulian 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
29EEOdile 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
28EERicardo 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
27EEJean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland: A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174
26EEMamoun Filali: A Mechanization of Phylogenetic Trees. VERIFY 2007
25EEJean-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
24EEJulien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100
23EEOdile 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
22EEJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
21EEMamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
20EEJean-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
19EEMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
18EEBernard 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
17EEJean-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
14EEMamoun 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
12EEJean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
1999
11EELuc 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
9EEMichel 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)