Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mamoun Filali
Mamoun Filali-Amine
2010 – today
- 2012
[c36]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali: Revising and Extending the Uppaal Communication Mechanism. Software Composition 2012: 114-131- [c35]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali: Compositional Refinement for Real-Time Systems with Priorities. TIME 2012: 57-64
- 2011
- [j9]Jean-Paul Bodeveix, Mamoun Filali: Event B Development of a Synchronous AADL Scheduler. Electr. Notes Theor. Comput. Sci. 280: 23-33 (2011)
- [c34]Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali: An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119
- [c33]Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275
- [c32]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
- [c31]Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Design of a BPEL Verification Tool. WS-FM 2011: 95-110
- 2010
- [c30]Mamoun Filali-Amine, Julia L. Lawall: Development of a Synchronous Subset of AADL. ASM 2010: 245-258
- [c29]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
2000 – 2009
- 2009
- [c28]Lei Pi, Jean-Paul Bodeveix, Mamoun Filali: Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206
- [c27]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
- [c26]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
- [c25]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
- [j8]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)
- [c24]Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas: Modes in Asynchronous Systems. ICECCS 2008: 282-287
- [c23]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
- 2007
- [j7]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)
- [j6]Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil: UML&AADL '2007 grand challenges. SIGBED Review 4(4): 1 (2007)
- [c22]
- [c21]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
- [c20]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
- 2006
- [c19]Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100
- [c18]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
- [j5]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)
- [c17]Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
- [c16]Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
- 2003
- [j4]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)
- [c15]Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
- 2002
- [j3]Jean-Paul Bodeveix, Mamoun Filali: Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods in System Design 20(1): 69-89 (2002)
- [c14]Jean-Paul Bodeveix, Mamoun Filali: Type Synthesis in B and the Translation of B to PVS. ZB 2002: 350-369
- 2000
- [c13]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
- [c12]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
- [c11]Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
- [c10]Jean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
1990 – 1999
- 1999
- [j2]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)
- [c9]Luc Bougé, William F. McColl, Mamoun Filali, Henk J. Sips: Parallel Programming: Models, Methods, and Languages - Introduction. Euro-Par 1999: 831-832
- [c8]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164
- 1998
- [c7]Jean-Paul Bodeveix, Mamoun Filali: On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops 1998: 807-819
- [c6]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
- [j1]Jean-Paul Bodeveix, Mamoun Filali: Towards the Automatic Verification of Atomic Memory Protocols. Parallel Processing Letters 7(1): 101-112 (1997)
- 1996
- [c5]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104
- 1995
- [c4]Jean-Paul Bodeveix, Mamoun Filali: On the Refinement of symmetric memory protocols. TPHOLs 1995: 58-74
- 1994
- [c3]
- 1992
- [c2]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
1980 – 1989
- 1985
- [c1]Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah: Distributed Control Through Task Migration via Abstract Networks. ICDCS 1985: 532-538
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:02 CET by the dblp team