Search the dblp DataBase
Mamoun Filali :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
G. Bazalgette , D. Bekele , C. Bernon , Mamoun Filali , J. M. Rigaud , A. Sayah STRAda - An Ada Transformation and Distribution System. [Citation Graph (0, 0)][DBLP ] Ada-Europe, 1992, pp:287-299 [Conf ] Julien Brunel , Jean-Paul Bodeveix , Mamoun Filali A State/Event Temporal Deontic Logic. [Citation Graph (0, 0)][DBLP ] DEON, 2006, pp:85-100 [Conf ] Luc Bougé , William F. McColl , Mamoun Filali , Henk J. Sips Parallel Programming: Models, Methods, and Languages - Introduction. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1999, pp:831-832 [Conf ] Claude Bétourné , Mamoun Filali , Gérard Padiou , A. Sayah Distributed Control Through Task Migration via Abstract Networks. [Citation Graph (0, 0)][DBLP ] ICDCS, 1985, pp:532-538 [Conf ] Jean-Paul Bodeveix , Mamoun Filali Experimenting Acceleration Methods for the Validation of Infinite State Systems. [Citation Graph (0, 0)][DBLP ] ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf ] Jean-Paul Bodeveix , Mamoun Filali , Julia L. Lawall , Gilles Muller Formal Methods Meet Domain Specific Languages. [Citation Graph (0, 0)][DBLP ] IFM, 2005, pp:187-206 [Conf ] Jean-Paul Bodeveix , Mamoun Filali On the Automatic Validation of Parameterized Unity Programs. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1998, pp:807-819 [Conf ] Michel Charpentier , Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec Tailoring UNITY to Distributed Program Design. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1998, pp:820-832 [Conf ] Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec The Reconstruction of a Mobile Agent Computation and Its Validation. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:236- [Conf ] Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec , Xavier Thirioux Refinement Based Validation of an Algorithm for Detecting Distributed Termination. [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:1027-1036 [Conf ] Michel Charpentier , Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec Modelling and Verifying Migration: A case study. [Citation Graph (0, 0)][DBLP ] OPODIS, 1999, pp:149-164 [Conf ] Philippe Quéinnec , Mamoun Filali , Philippe Mauran , Gérard Padiou Describing Mobile Computations with Path Vectors. [Citation Graph (0, 0)][DBLP ] OPODIS, 2000, pp:221-234 [Conf ] Mamoun Filali , Valérie Issarny , Philippe Mauran , Gérard Padiou , Philippe Quéinnec Maximal Group Membership in Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] PPAM, 2005, pp:51-58 [Conf ] Odile Nasr , Jean-Paul Bodeveix , Mamoun Filali , Miloud Rached Irit Verification of a scheduler in B through a timed automata specification. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1800-1801 [Conf ] Jean-Paul Bodeveix , Mamoun Filali FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:204-219 [Conf ] Jean-Paul Bodeveix , Mamoun Filali On the Refinement of symmetric memory protocols. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1995, pp:58-74 [Conf ] Jean-Paul Bodeveix , Mamoun Filali , P. Roche Towards a HOL Theory and Memory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1994, pp:49-64 [Conf ] Michel Charpentier , Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec Abstracting Communication to Reason about Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] WDAG, 1996, pp:89-104 [Conf ] Jean-Paul Bodeveix , Mamoun Filali Type Synthesis in B and the Translation of B to PVS. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:350-369 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Jean-Paul Bodeveix , David Chemouil , Mamoun Filali , Martin Strecker Towards formalising AADL in Proof Assistants. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:153-169 [Journal ] Jean-Paul Bodeveix , Mamoun Filali Reduction and Quantifier Elimination Techniques for Program Validation. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2002, v:20, n:1, pp:69-89 [Journal ] Michel Charpentier , Mamoun Filali , Philippe Mauran , Gérard Padiou , Philippe Quéinnec The Observation: An Abstract Communication Mechanism. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 1999, v:9, n:3, pp:437-450 [Journal ] Jean-Paul Bodeveix , Mamoun Filali Towards the Automatic Verification of Atomic Memory Protocols. [Citation Graph (0, 0)][DBLP ] Parallel Processing Letters, 1997, v:7, n:1, pp:101-112 [Journal ] Ricardo Bedin França , Jean-Paul Bodeveix , Mamoun Filali , Jean-François Rolland , David Chemouil , Dave Thomas The AADL behaviour annex - experiments and roadmap. [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:377-382 [Conf ] Jean-Paul Bodeveix , Mamoun Filali , Julia L. Lawall , Gilles Muller Automatic Verification of Bossa Scheduler Properties. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:17-32 [Journal ] Formal Verification of AADL Specifications in the Topcased Environment. [Citation Graph (, )][DBLP ] Modeling AADL Data Communication with BIP. [Citation Graph (, )][DBLP ] A Mechanization of Phylogenetic Trees. [Citation Graph (, )][DBLP ] Modes in Asynchronous Systems. [Citation Graph (, )][DBLP ] A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. [Citation Graph (, )][DBLP ] Model Based Architecting and Construction of Embedded Systems. [Citation Graph (, )][DBLP ] A mapping from AADL to Java-RTSJ. [Citation Graph (, )][DBLP ] Towards Safe Design of Synchronous Bus Protocols in Event-B. [Citation Graph (, )][DBLP ] Spécification et vérification d'un ordonnanceur en B via les automates temporisés. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs