Publications of Mamoun FILALI
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
A comparative study of two formal semantics of the SIGNAL language
In : Frontiers of Computer Science, Springer, Vol. 7 N. 5, pp. 673-693, October 2013.
Jean-Paul Bodeveix, Mamoun Filali
Event B Development of a Synchronous AADL Scheduler
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Special issue Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011), Vol. 280, pp. 23-33, December 2011.
URL : http://www.sciencedirect.com/science/article/pii/S1571066111001642
BibTeXOdile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Spécification et vérification d’un ordonnanceur en B via les automates temporisés
In : L’Objet, Hermès Science, Special issue Composants, services et aspects techniques et outils pour la vérification, Vol. 14, N. 4, pp. 43-72, December 2008.
Miloud Rached, Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali
Une Extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel
In : Journal Européen des Systèmes Automatisés (JESA), Hermès Science, Special issue Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, pp. 1061-1084, December 2008.
Gérard Sébastien, Peter Feiler, Jean-François Rolland, Mamoun Filali, Marc-Olivier Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil
UML & AADL ‘2007 Grand Challenges
In : ACM SIGBED Review, ACM : Association for Computing Machinery, New York, États-Unis, Special issue A Special Report on UML & AADL Grand Challenges, Vol. 4 N. 4, (on line), October 2007.
URL : http://www.cs.virginia.edu/sigbed/vol4_num4.html#columns
BibTeXJean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 185, pp. 17-32, July 2007.
Philippe Balbiani, Mamoun Filali
Sûreté et sécurité des systèmes d’informations et de communications: une obligation majeure
In : Magazine UPS, Université Paul Sabatier – Toulouse, Toulouse, Vol. 4, pp. 21-21, 2005.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 141, pp. 153-169, August 2005.
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
In : Annals of Mathematics, Computing and Teleinformatics (AMCT), Technological Education Institute of Larissa, Grèce, Vol. 1 N. 3, pp. 18-26, 2005.
Patrick Farail, Pierre Gaufillet, Mamoun Filali, Pierre Michel, François Vernadat
Vérifications dans un AGL orienté modèles
In : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, pp. 51-55, June 2004.
Jean-Paul Bodeveix, Mamoun Filali
Reduction and quantifier elimination techniques for program validation
In : Formal Methods in System Design, Vol. 20 N. 1, pp. 69-89, 2002.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Formalisation de la méthode B en Coq et PVS
In : Technique et Science Informatiques, HERMES, PARIS, Vol. 20, N. 7, pp. 901-926, July 2001.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
In : Studia Informatica, Vol. special issue, pp. 151-166, 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The observation : an abstract communication mechanism
In : Parallel Processing Letters, World Scientific Publishing Company, ., Vol. 9 N. 3, 1999.
Jean-Paul Bodeveix, Mamoun Filali
Techniques de preuve automatique pour la validation de programmes
In : Technique et science informatiques, hermes, Paris, Vol. 17, N. 9, pp. 1129-1155, November 1998.
Gérard Padiou, Mamoun Filali, Philippe Quéinnec
Les modèles d’exécution répartie
In : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, pp. 477-492, 1998.
Jean-Paul Bodeveix, Mamoun Filali
Towards the automatic verification of atomic memory protocols
In : Parallel Processing Letter, M. Cosnard, Vol. 7 N. 1, pp. 101-112, 1997.
The specification of the temporal behaviour for multimedia scheduling
In : Annales des Télécommunications, Vol. 49 N. 5–6, pp. 315-323, 1994.
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL properties in Event-B
10th International Conference on Rigorous State-Based Methods (ABZ-2024), Jun 2024, Bergame, Italy. pp.255-261, ⟨10.1007/978-3-031-63790-2_20⟩
Hajer Herbegue Bouhachem, Mamoun Filali, Hugues Cassé
A constraint-based WCET computation framework (short paper)
In : Junior Researcher Workshop on Real-Time Computing, Sophia Antipolis, France, 16/10/13-18/10/13, Université de Nice (LEAT), pp. 33-36, October 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event Algebra for Transition Systems Composition – Application to Timed Automata (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2013), Penscacolq, FL, USA, 26/09/13-28/09/13, IEEE Computer Society – Conference Publishing Services, pp. 125-132, 2013.
Hajer Herbegue Bouhachem, Hugues Cassé, Mamoun Filali, Christine Rochange
Hardware architecture specification and constraint-based WCET computation (regular paper)
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2013), POrto, Portugal, 19/06/13-21/06/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 259-268, September 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems (regular paper)
In : Automated Technology for Verification and Analysis, Hanoi, Vietnam, 15/10/13-18/10/13, Vol. 8172, Springer-Verlag, Lecture Notes in Computer Science, pp. 71-86, October 2013.
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems (regular paper)
In : Fundamentals of Software Engineering (FSEN 2013), Tehran, Iran, 24/04/13-26/04/13, Vol. 8161, Springer, Lecture Notes in Computer Science, pp. 111-132, April 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
A Mechanized Semantic Framework for Real-Time Systems (regular paper)
In : International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina, 29/08/13-31/08/13, Victor Braberman, Laurent Fribourg (Eds.), Springer, pp. 106-120, August 2013.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Compositional Refinement for Real-Time Systems with Priorities (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, 12/09/12-14/09/12, IEEE Computer Society, pp. 57-64, September 2012.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Patrick Farail, Mamoun Filali, Pierre Gaufillet, François Vernadat
La traduction AADL-FIACRE: l’expérience TOPCASED (regular paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2012), Grenoble, 11/01/12-13/01/12 (invited speaker), LCIS/LIG Grenoble, pp. 8-8, January 2012.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Design of a BPEL verification tool (regular paper)
In : International Workshop on Web Services and Formal Methods, Clermont-Ferrand, 01/09/11-02/09/11, Springer, pp. 95-109, February 2012.
Jean-Paul Bodeveix, Mamoun Filali
Event B development of a synchronous AADL scheduler (regular paper)
In : Workshop B 2011, colocated with FM 2011, Limerick, Ireland, 21/06/11-21/06/11, University of Limerick, (electronic medium), June 2011.
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
An Alternative Definition for Timed Automata Composition (regular paper)
In : Automated Technology for Verification and Analysis, Taipei, Taiwan, 11/10/11-14/10/11, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, pp. 105-119, October 2011.
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Joosen Wouter, Yolande Berbers, Mallet Frédéric, Bertrand Dominique , Faucou Sébastien, Abdelhafid Zitouni, Mahmoud Boufaida, Lionel Seinturier, Joel Champeau, Thomas Abdoul, Peter Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development (regular paper)
In : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas NEVADA USA, 27/04/11-29/04/11, IEEE Computer Society, pp. 317-331, April 2011.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
A Transformation and Verification Framework for BPEL
In : Services et Langages et modèles à l’exécution, LILLE GDR GPL, 10/06/11-10/06/11.
Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali
Réécriture de contraintes OCL (regular paper)
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2011), Lille, 07/06/11-10/06/11, CNRS – GDR GPL, pp. 127-133, 2011.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
In : Journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (GDR-GPL), Groupe de travail MFDL, Lille, 07/06/11-10/06/11, CNRS – GDR GPL, pp. 121-136, June 2011.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Verification of Timed BPEL 2.0 Models (regular paper)
In : Business Process Modeling, Development and Support (BPMDS 2011), London, 20/06/11-21/06/11, Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper (Eds.), Springer, LNBIP 81, pp. 261-275, June 2011.
Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali, Frédéric Minot
Model design through constraint solving
In : TOPCASED DAYS, Toulouse, 02/02/11-04/02/11.
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL (regular paper)
In : , Oxford, 22/03/10-26/03/10, IEEE Computer Society, pp. 331-336, March 2010.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, pp. 181-196, June 2010.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat
Formal Verification of AADL models with Fiacre and Tina (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), 2010.
URL : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
BibTeXTiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Verification Based Development Process for Embedded Systems (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, Société des Ingénieurs de l’Automobile, (electronic medium), May 2010.
URL : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
BibTeXDevelopment of a Synchronous Subset of AADL (regular paper)
In : ASM, Alloy, B and Z, Orford, Québec, Canada, 22/02/10-25/02/10, Marc Frappier (Eds.), Springer-Verlag, LNCS 5977, pp. 245-258, February 2010.
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali, Hu Kai, Ma Dianfu
A comparative study of FIACRE and TASM to define AADL real time concepts
In : UML&AADL’2009 – 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam, 02/06/09-04/06/09, IEEE : Institute of Electrical and Electronics Engineers, pp. 347-352, June 2009.
URL : http://www2.computer.org/portal/web/csdl/abs/proceedings/iceccs/2009/3702/00/piceccs200900toc.htm
BibTeXRicardo Bedin Franca, Leandro Buss Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali
Towards Safe Design of Synchronous Bus Protocols in Event-B (regular paper)
In : Brazilian Symposium on Formal Methods, Gramado Brésil, 19/08/09-21/08/09, Brazilian Computer Society, pp. 171-186, August 2009.
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment
In : International Conference on Reliable Software Technologies – Ada-Europe, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, pp. 207-221, 2009.
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
Modeling AADL Data Communication with BIP
In : International Conference on Reliable Software Technologies – Ada-Europe, Telecom Bretagne, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, pp. 192-206, 2009.
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu
A comparative study of two Real-Time formalisms: FIACRE and TASM (regular paper)
In : IEEE Real-Time Systems Symposium (Work-In-Progress track) (RTSS 2008), Barcelone, 30/11/08-03/12/08, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), December 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
AADL modes for space software
In : Data Systems In Aerospace (DASIA 2008), Palma de Majorca-Spain, 27/05/08-30/05/08, European Space Agency (ESA Publications), (electronic medium), May 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
Modes in asynchronous systems
In : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2008), Belfast Ireland, 31/03/08-04/04/08, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), April 2008.
Frédéric Minot, Jean-Paul Bodeveix, Mamoun Filali, David Doose, Charles Castel, Cédric Pralet, P. Bieber
Constraint-based design of Avionics platform- preliminary design exploration
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 31/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (electronic medium), January 2008.
Patrick Farail, Pierre Gaufillet, Florent Peres, Jean-Paul Bodeveix, Mamoun Filali, Bernard Berthomieu, Saad Rodrigo, François Vernadat, Hubert Garavel, Frédéric Lang
FIACRE: an intermediate language for model verification in the TOPCASED environment
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (electronic medium), January 2008.
Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas
Towards a formal semantics for AADL execution model
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, SIA/3AF/SEE, (electronic medium), January 2008.
Ricardo Bedin Franca, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assessment of AADL’s behavioral annex
In : FAC Formalisation des Activités Concurrentes, Toulouse, 15/03/07-16/03/07.
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali
AADL Modeling of a Generic Bus
In : FAC, Toulouse, 15/03/07-16/03/07.
Verification Techniques: the AADL Behavioural Annex, and the Fiacre Pivot Language
In : Forum on specification and Design languages (FDL 2007), Barcelone (Espagne), 18/09/07-20/09/07 (invited speaker), ECSI, (electronic medium), September 2007.
The AADL Modelling Language: Main Constructs, Formal Semantics
In : Forum on specification and Design languages (FDL 2007), Barcelone, 18/09/07-20/09/07 (invited speaker), ECSI, (electronic medium), September 2007.
Jean-Paul Bodeveix, Raphael Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
A mapping from AADL to Java-RTSJ
In : International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2007), Vienna, Austria, 26/09/07-28/09/07, ACM : Association for Computing Machinery, ACM International Conference Proceeding Series, pp. 165-174, September 2007.
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
The AADL behaviour annex — experiments and roadmap
In : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/07-14/07/07, IEEE Computer Society, pp. 377-382, 2007.
A Mechanization of Phylogenetic Trees
In : International Verification Workshop (VERIFY 2007), Bremen, 15/07/07-16/07/07, Bernhard Beckert (Eds.), CEUR-WS : Workshop proceedings, (on line), July 2007.
URL : http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-259/
BibTeXRicardo Bedin Franca, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker, Mamoun Filali
Modelling a bus protocol an incremental approach
In : Workshop on Real-Time Systems (WTR 2007), Belem (Brésil)l, 28/05/07-28/05/07, Universidade Federal de Santa Catarina, (electronic medium), May 2007.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker
Towards the verification of model transformations
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), 2006.
URL : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
BibTeXJean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, François Vernadat
Behavioural descriptions in architecture description languages: Application to AADL
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (electronic medium), 2006.
URL : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
BibTeXJean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
In : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), LORIA Nancy, 18/09/06-19/09/06, Archives ouvertes HAL, (on line), September 2006.
URL : http://hal.inria.fr/
BibTeXJulien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
In : Journées FAC’06, Toulouse, 23/03/06-24/03/06.
Jean-Paul Bodeveix, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, François Vernadat
AADL behavioural annex
In : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (electronic medium), 2006.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet
Experimenting an AADL Behavioural Annex and a Verification Method
In : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (electronic medium), 2006.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
In : International Workshop on Deontic Logic in Computer Science (DEON 2006), Utrecht, The Netherlands, 12/07/06-14/07/06, Vol. , Lou Goble, John-Jules Ch. Meyer (Eds.), Springer, LNAI 4048, pp. 85-100, July 2006.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Vérification automatique de propriétés d’ordonnanceurs Bossa
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, pp. 95-109, March 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Développement validé d’odonnanceurs en B
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, pp. 79-93, March 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Verification of a Scheduler in B Through a Timed Automata Specification
In : Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, 23/04/06-27/04/06, ACM : Association for Computing Machinery, pp. 1800-1801, April 2006.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Real Time Aspects: Specification and Composition in B
In : 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, 02/10/05-02/10/05, ?, October 2005.
URL : http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/papers.shtml
BibTeXJean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Applying the B formal method to the Bossa domain-specific language
In : The 17th Nordic Workshop on Programming Theory, Copenhagen, Denmark, 19/10/05-21/10/05, DIKU Copenhagen, Denmark, October 2005.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
A Timed B Method for Modelling Real Time Reactive Systems
In : SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-20/11/05, South-East European Research Center (SEERC), pp. 181-195, November 2005.
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
In : SEEFM05 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-19/11/05, South-East European Research Center (SEERC), pp. 104-118, November 2005.
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal group membership in ad hoc networks
In : Sixth International Conference on Parallel Processing and Applied Mathematics, Poznan (Pologne), 11/09/05-14/09/05, LNCS Vol. 3911, Springer-Verlag, pp. 51-58, September 2005.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal methods meet domain specific languages
In : Fifth International Conference on Integrated Formal Methods (IFM), Eindhoven Netherlands, 29/11/05-02/12/05, LNCS (springer verlag) Vol. 3771, pp. 187-206, November 2005.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalizing AADL in proof assistants
In : Formal Foundations of Embedded software and component-based softare architectures (ETAPS), Edinburgh, 02/04/05-10/04/05, Juliana Kuster-Filipe, Iman Poernomo , Ralf Reussner, Sandeep Shukla (Eds.), LFCS (University of Edinburgh), pp. 137-153, April 2005.
Jean-Paul Bodeveix, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
In : Journées FAC’05, Toulouse LAAS, 09/03/05-10/04/05.
Odile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Specification of real-time schedulers
In : 16th Euromicro Conference on Real-Time Systems (ECRTS’04) (Work In Progress Session), Catania, Italy, 30/06/04-02/07/04, -, June 2004.
Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Spécification d’ordonnanceurs temps réel
In : FAC, Toulouse, 09/03/04-10/03/04.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Méthodes de spécification de systèmes temps réel en B
In : FAC, Toulouse, 09/03/04-10/03/04.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Set based trees for the validation of a diffusing computation reconstruction algorithm
In : 2nd Int’l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/03-06/06/03, ?, June 2003.
URL : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
BibTeXJean-Paul Bodeveix, Mamoun Filali
About disjunctive invariants in UPPAAL
In : NWPT, Turku Finlande, 29/10/03-31/10/03.
Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: TheCotre approach
In : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, pp. 201-216, June 2003.
URL : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeXJ.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre project: rigorous development for real time systems in Avionics
In : WRTP’03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/03-17/05/03, IEEE, pp. 51-56, May 2003.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and its Validation
In : Int’l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/03-26/04/03, IEEE, April 2003.
URL : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
BibTeXJean-Paul Bodeveix, Mamoun Filali
Machines virtuelles pour le B événementiel
In : AFADL, Rennes, 15/01/03-17/01/03, Jean-Marc Jézéquel, INRIA, pp. 227-241, January 2003.
URL : http://www.irisa.fr/manifestations/2003/AFADL03
BibTeXJean-Paul Bodeveix, Mamoun Filali
Machines virtuelles pour le B événementiel
In : Journées GDR B, Paris, 13/06/02-14/06/02.
URL : http://www-lsr.imag.fr/B/Documents/CNAM-2002-06-13/prog-CNAM-2002.html
BibTeXJean-Paul Bodeveix, Mamoun Filali, Semra Sarpdag
Etude des files de priorité
In : journée GDR B, Nantes, 29/11/02-29/11/02.
URL : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
BibTeXJean-Paul Bodeveix, Mamoun Filali
Un outil pour la description de types inductifs en B
In : journée du GDR B, Nantes, 29/11/02-29/11/02.
URL : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
BibTeXJean-Paul Bodeveix, Mamoun Filali
Type Synthesis in B and the Translation of B to PVS
In : ZB’2002, Grenoble, 23/01/02-25/01/02, springer verlag, pp. 350-369, January 2002.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Rejeu d’un calcul d’agents mobiles
In : Journées Formalisation des Activités Concurrentes FAC-2000, TOULOUSE, 26/03/00-27/03/00.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Formalisation de la méthode B en Coq et PVS
In : AFADL, Grenoble, 26/01/00-28/01/00, LSR/IMAG, pp. 96-110, January 2000.
Jean-Paul Bodeveix, Mamoun Filali, Daniel Le Berre
Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique
In : Journées de VERIFICATION FORMELLE, ORLEANS, 08/06/00-09/06/00.
URL : http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/
BibTeXMamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Contrôle d’agents mobiles
In : FAC’2000, Toulouse, 18/05/00-19/05/00, IRIT, pp. 56-70, May 2000.
Jean-Paul Bodeveix, Mamoun Filali
Expérimentation de méthodes d’accélération pour la validation de systèmes paramétrés
In : FAC’2000, Toulouse, 18/05/00, IRIT, pp. 19-29, May 2000.
Jean-Paul Bodeveix, Mamoun Filali
FMona: a tool for expressing validation techniques over infinite state systems
In : Tools and algorithms for the construction and analysis of systems (TACAS), Berlin, 27/03/00-31/03/00, Springer, pp. 204-219, March 2000.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement based validation of a distributed termination detection algorithm
In : International Workshop FMPPTA’2000, Cancun, 05/05/00, ., May 2000.
Jean-Paul Bodeveix, Mamoun Filali
Un outil générique pour l’expression de méthodes de validation
In : Journées Modélisation et Vérification, Besançon, 09/12/99-11/12/99.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Mécanisation de la méthode B en Coq et PVS
In : Journées BUG-SEE, LILLE, 29/11/99-30/11/99.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
A Formalization of the B method in Coq and PVS
In : FM’99 — B Users Group Meeting — Applying B in an industrial context : Tools, Lessons and Techniques, Toulouse, Springer-Verlag, pp. 32-48, September 1999.
Jean-Paul Bodeveix, Mamoun Filali
A generic tool for expressing the development of validations
In : 11th Nordic Workshop on Programming Theory NWPT’99, Uppsala, 06/10/99-08/10/99, Bjorn Victor and Wang Yi, Uppsala University, pp. 37-37, October 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
In : 3rd Int’l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, pp. 151-166, October 1999.
Jean-Paul Bodeveix, Mamoun Filali
Preuve automatique par abstraction de problèmes à espace d’états infini ou paramétrés
In : Formalisation des activités concurrentes, LAAS Toulouse, 25/02/99-26/02/99, LAAS, pp. 19-30, February 1999.
Jean-Paul Bodeveix, Mamoun Filali
On the automatic validation of parameterized Unity programs
In : Workshop on formal methods for parallel programming: theory and applications, Orlando , 03/04/98-03/04/98, lncs vol. 1388, Berlin, Germany, pp. 820-832, April 1998.
Jean-Paul Bodeveix, Mamoun Filali
Expériences de preuves assistées et automatiques de problèmes paramétrés
In : Journées Modélisation et Vérification, CIRM, Marseille, 16/12/98-18/12/98.
Mamoun Filali, Gérard Padiou, Philippe Quéinnec
Développement d’une spécification formelle en UNITY — Analyse d’un système de contrôle d’accès
In : AFADL98 Approches Formelles dans l’Assistance au Développement de Logiciels, Poitiers, ., pp. 109-120, September 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to distributed program design
In : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA’98), ., ., April 1998.
Jean-Paul Bodeveix, Mamoun Filali
Preuve automatique de propriétés de sureté
In : GDR de Programmation – Journées du pôle Preuves et Spécifications Algébriques, –, .
Jean-Paul Bodeveix, Mamoun Filali
Validation de développements
In : AFADL Approches formelles dans l’assistance au développement de logiciels, CERT Toulouse, GDR de Programmation: Pôle preuves et spécifications algébriques, pp. 165-176, May 1997.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
A refinement-based validation of a cache coherence protocol
In : 10th International Conference on Parallel and Distributed Computing Systems, New Orleans, Louisiana USA, ISCA, pp. 332-337, October 1997.
Jean-Paul Bodeveix, Mamoun Filali
Formalisation et validation de protocoles de cohérence mémoire atomique
In : École ISYPAR, IRIT, .
Jean-Paul Bodeveix, Mamoun Filali
Spécification et raffinement de modèles de cohérence mémoire
In : FAC96: Formalisation des Applications Concurrentes, Toulouse, 07/02/96-08/02/96, -, February 1996.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
Etude du protocole de cohérence de la machine M3S
In : Rencontres du parallélisme RenPar’8, –, -, pp. 173-176, May 1996.
Jean-Paul Bodeveix, Mamoun Filali
Spécification et raffinement de modèles de cohérence mémoire
In : Modélisation des systèmes réactifs, –, AFCET, March 1996.
Jean-Paul Bodeveix, Mamoun Filali
Towards the automatic verification of memory protocols
In : International Workshop on Formal methods for parallel programming, _, IEEE, April 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms
In : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG’96), –, Springer-Verlag, LNCS 1151, October 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
In : Journées du GDR Programmation, –, -, November 1995.
Jean-Paul Bodeveix, Mamoun Filali
On the Refinement of Symmetric Memory Protocols
In : Higher Order Logic Theorem Proving and its Applications, –, Springer-Verlag, LNCS 971, pp. 58-74, September 1995.
Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché
Sémantique des modèles de consistance mémoire
In : Journée du pôle preuves et spécifications algébriques du GDR programmation, –, .
Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché
Towards a HOL theory of memory
In : Higher Order Logic Theorem Proving and its Applications, –, Springer-Verlag, LNCS 859, pp. 49-64, September 1994.
The derivation of scheduling algorithms from a timing model
In : 6 th Euromicro Workshop on real-time systems, –, -, pp. 180-185, January 1994.
Algorithms for scheduling real-time concurrent applications
In : Conférence Maghrébine en génie logiciel et intelligence artificielle, Rabat, -, pp. 297-308, January 1994.
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert
Model Based Architecting and Construction of Embedded Systems
In : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.) , Springer, pp. 1-4, Vol. 5421, LNCS, April 2009.
Mamoun Filali, Yassine Jamoussi, Ahmed Knani, Jean-Claude Maurize
an Occam programming environment
In : Structure Editors and Structure-Based Environments. G. Szwillus, L. Neal (Eds.) , Academic Press, pp. 107-132, 1996.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Revising and Extending the Uppaal Communication Mechanism, Springer-Verlag, Vol. 7306, Lecture Notes in Computer Science, June 2012.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, April 2005.
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, November 2003.
Jean-Paul Bodeveix, Mamoun Filali, Amal Sayah
Programmation en C++, InterEditions, 1994.
Jean-Paul Arcangeli, Mamoun Filali, Abdelkader Hameurlain, Gérard Padiou
Les environnements d’exécution répartie
Dans : Calculateurs Parallèles, Réseaux et Systèmes Répartis, HERMES, 8, quai du Marche-Neuf 75004 Paris France, Vol. 10, 5, 1998.
Stefan Van Baelen, Iulian Ober, Susanne Graf, Mamoun Filali, Thomas Weigert
ACESMB 2008 First International Workshop on Model Based Arhictecting and Constructing of Embedded Systems, Toulouse, 29/09/08 – 29/09/08, IRIT Press, September 2009.
Mamoun Filali, Pierre Michel, C. Seguin
AFADL: Approches formelles dans l’assistance au développement de logiciels, Toulouse, 26/01/09 – 28/01/09, IRIT Press, January 2009.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Workshop on Architecture Description languages, Toulouse, Springer, April 2005.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
Vérification formelle de spécifications AADL via FIACRE
Diffusion pédagogique. August 2011.
Jean-Paul Bodeveix, Mamoun Filali, Thomas Polacsek
Projet PAM: AIde à la conception d’une palte-forme avionique
Présentation orale. March 2009.