Publications de Mamoun FILALI
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
A comparative study of two formal semantics of the SIGNAL language
Dans : Frontiers of Computer Science, Springer, Vol. 7 N. 5, p. 673-693, octobre 2013.
Jean-Paul Bodeveix, Mamoun Filali
Event B Development of a Synchronous AADL Scheduler
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Numéro spécial Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011), Vol. 280, p. 23-33, décembre 2011.
Accès : 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
Dans : L’Objet, Hermès Science, Numéro spécial Composants, services et aspects techniques et outils pour la vérification, Vol. 14, N. 4, p. 43-72, décembre 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
Dans : Journal Européen des Systèmes Automatisés (JESA), Hermès Science, Numéro spécial Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, p. 1061-1084, décembre 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
Dans : ACM SIGBED Review, ACM : Association for Computing Machinery, New York, États-Unis, Numéro spécial A Special Report on UML & AADL Grand Challenges, Vol. 4 N. 4, (en ligne), octobre 2007.
Accès : 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
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 185, p. 17-32, juillet 2007.
Philippe Balbiani, Mamoun Filali
Sûreté et sécurité des systèmes d’informations et de communications: une obligation majeure
Dans : Magazine UPS, Université Paul Sabatier – Toulouse, Toulouse, Vol. 4, p. 21-21, 2005.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 141, p. 153-169, août 2005.
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
Dans : Annals of Mathematics, Computing and Teleinformatics (AMCT), Technological Education Institute of Larissa, Grèce, Vol. 1 N. 3, p. 18-26, 2005.
Patrick Farail, Pierre Gaufillet, Mamoun Filali, Pierre Michel, François Vernadat
Vérifications dans un AGL orienté modèles
Dans : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, p. 51-55, juin 2004.
Jean-Paul Bodeveix, Mamoun Filali
Reduction and quantifier elimination techniques for program validation
Dans : Formal Methods in System Design, Vol. 20 N. 1, p. 69-89, 2002.
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz
Formalisation de la méthode B en Coq et PVS
Dans : Technique et Science Informatiques, HERMES, PARIS, Vol. 20, N. 7, p. 901-926, juillet 2001.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
Dans : Studia Informatica, Vol. special issue, p. 151-166, 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The observation : an abstract communication mechanism
Dans : 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
Dans : Technique et science informatiques, hermes, Paris, Vol. 17, N. 9, p. 1129-1155, novembre 1998.
Gérard Padiou, Mamoun Filali, Philippe Quéinnec
Les modèles d’exécution répartie
Dans : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, p. 477-492, 1998.
Jean-Paul Bodeveix, Mamoun Filali
Towards the automatic verification of atomic memory protocols
Dans : Parallel Processing Letter, M. Cosnard, Vol. 7 N. 1, p. 101-112, 1997.
The specification of the temporal behaviour for multimedia scheduling
Dans : Annales des Télécommunications, Vol. 49 N. 5–6, p. 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)
Dans : Junior Researcher Workshop on Real-Time Computing, Sophia Antipolis, France, 16/10/13-18/10/13, Université de Nice (LEAT), p. 33-36, octobre 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event Algebra for Transition Systems Composition – Application to Timed Automata (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2013), Penscacolq, FL, USA, 26/09/13-28/09/13, IEEE Computer Society – Conference Publishing Services, p. 125-132, 2013.
Hajer Herbegue Bouhachem, Hugues Cassé, Mamoun Filali, Christine Rochange
Hardware architecture specification and constraint-based WCET computation (regular paper)
Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2013), POrto, Portugal, 19/06/13-21/06/13, IEEE : Institute of Electrical and Electronics Engineers, p. 259-268, septembre 2013.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems (regular paper)
Dans : Automated Technology for Verification and Analysis, Hanoi, Vietnam, 15/10/13-18/10/13, Vol. 8172, Springer-Verlag, Lecture Notes in Computer Science, p. 71-86, octobre 2013.
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems (regular paper)
Dans : Fundamentals of Software Engineering (FSEN 2013), Tehran, Iran, 24/04/13-26/04/13, Vol. 8161, Springer, Lecture Notes in Computer Science, p. 111-132, avril 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
A Mechanized Semantic Framework for Real-Time Systems (regular paper)
Dans : 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, p. 106-120, août 2013.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Compositional Refinement for Real-Time Systems with Priorities (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, 12/09/12-14/09/12, IEEE Computer Society, p. 57-64, septembre 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)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2012), Grenoble, 11/01/12-13/01/12 (conférencier invité), LCIS/LIG Grenoble, p. 8-8, janvier 2012.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Design of a BPEL verification tool (regular paper)
Dans : International Workshop on Web Services and Formal Methods, Clermont-Ferrand, 01/09/11-02/09/11, Springer, p. 95-109, février 2012.
Jean-Paul Bodeveix, Mamoun Filali
Event B development of a synchronous AADL scheduler (regular paper)
Dans : Workshop B 2011, colocated with FM 2011, Limerick, Ireland, 21/06/11-21/06/11, University of Limerick, (support électronique), juin 2011.
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
An Alternative Definition for Timed Automata Composition (regular paper)
Dans : Automated Technology for Verification and Analysis, Taipei, Taiwan, 11/10/11-14/10/11, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, p. 105-119, octobre 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)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas NEVADA USA, 27/04/11-29/04/11, IEEE Computer Society, p. 317-331, avril 2011.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
A Transformation and Verification Framework for BPEL
Dans : 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)
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2011), Lille, 07/06/11-10/06/11, CNRS – GDR GPL, p. 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)
Dans : 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, p. 121-136, juin 2011.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Verification of Timed BPEL 2.0 Models (regular paper)
Dans : 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, p. 261-275, juin 2011.
Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali, Frédéric Minot
Model design through constraint solving
Dans : 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)
Dans : , Oxford, 22/03/10-26/03/10, IEEE Computer Society, p. 331-336, mars 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)
Dans : 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, p. 181-196, juin 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)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), 2010.
Accès : 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)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, Société des Ingénieurs de l’Automobile, (support électronique), mai 2010.
Accès : 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)
Dans : ASM, Alloy, B and Z, Orford, Québec, Canada, 22/02/10-25/02/10, Marc Frappier (Eds.), Springer-Verlag, LNCS 5977, p. 245-258, février 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
Dans : 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, p. 347-352, juin 2009.
Accès : 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)
Dans : Brazilian Symposium on Formal Methods, Gramado Brésil, 19/08/09-21/08/09, Brazilian Computer Society, p. 171-186, août 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
Dans : International Conference on Reliable Software Technologies – Ada-Europe, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, p. 207-221, 2009.
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
Modeling AADL Data Communication with BIP
Dans : International Conference on Reliable Software Technologies – Ada-Europe, Telecom Bretagne, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, p. 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)
Dans : 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, (support électronique), décembre 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
AADL modes for space software
Dans : Data Systems In Aerospace (DASIA 2008), Palma de Majorca-Spain, 27/05/08-30/05/08, European Space Agency (ESA Publications), (support électronique), mai 2008.
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave
Modes in asynchronous systems
Dans : 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, (support électronique), avril 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
Dans : 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), (support électronique), janvier 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
Dans : 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), (support électronique), janvier 2008.
Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas
Towards a formal semantics for AADL execution model
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, SIA/3AF/SEE, (support électronique), janvier 2008.
Ricardo Bedin Franca, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assessment of AADL’s behavioral annex
Dans : 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
Dans : FAC, Toulouse, 15/03/07-16/03/07.
Verification Techniques: the AADL Behavioural Annex, and the Fiacre Pivot Language
Dans : Forum on specification and Design languages (FDL 2007), Barcelone (Espagne), 18/09/07-20/09/07 (conférencier invité), ECSI, (support électronique), septembre 2007.
The AADL Modelling Language: Main Constructs, Formal Semantics
Dans : Forum on specification and Design languages (FDL 2007), Barcelone, 18/09/07-20/09/07 (conférencier invité), ECSI, (support électronique), septembre 2007.
Jean-Paul Bodeveix, Raphael Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
A mapping from AADL to Java-RTSJ
Dans : 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, p. 165-174, septembre 2007.
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
The AADL behaviour annex — experiments and roadmap
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/07-14/07/07, IEEE Computer Society, p. 377-382, 2007.
A Mechanization of Phylogenetic Trees
Dans : International Verification Workshop (VERIFY 2007), Bremen, 15/07/07-16/07/07, Bernhard Beckert (Eds.), CEUR-WS : Workshop proceedings, (en ligne), juillet 2007.
Accès : 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
Dans : Workshop on Real-Time Systems (WTR 2007), Belem (Brésil)l, 28/05/07-28/05/07, Universidade Federal de Santa Catarina, (support électronique), mai 2007.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker
Towards the verification of model transformations
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), 2006.
Accès : 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
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), 2006.
Accès : 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
Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), LORIA Nancy, 18/09/06-19/09/06, Archives ouvertes HAL, (en ligne), septembre 2006.
Accès : http://hal.inria.fr/
BibTeXJulien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
Dans : 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
Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), 2006.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet
Experimenting an AADL Behavioural Annex and a Verification Method
Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), 2006.
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A state/event temporal deontic logic
Dans : 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, p. 85-100, juillet 2006.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Vérification automatique de propriétés d’ordonnanceurs Bossa
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, p. 95-109, mars 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Développement validé d’odonnanceurs en B
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, p. 79-93, mars 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Verification of a Scheduler in B Through a Timed Automata Specification
Dans : Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, 23/04/06-27/04/06, ACM : Association for Computing Machinery, p. 1800-1801, avril 2006.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Real Time Aspects: Specification and Composition in B
Dans : 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, 02/10/05-02/10/05, ?, octobre 2005.
Accès : 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
Dans : The 17th Nordic Workshop on Programming Theory, Copenhagen, Denmark, 19/10/05-21/10/05, DIKU Copenhagen, Denmark, octobre 2005.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
A Timed B Method for Modelling Real Time Reactive Systems
Dans : SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-20/11/05, South-East European Research Center (SEERC), p. 181-195, novembre 2005.
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton
Dynamic aspects of retrenchments through temporal logic
Dans : SEEFM05 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-19/11/05, South-East European Research Center (SEERC), p. 104-118, novembre 2005.
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal group membership in ad hoc networks
Dans : Sixth International Conference on Parallel Processing and Applied Mathematics, Poznan (Pologne), 11/09/05-14/09/05, LNCS Vol. 3911, Springer-Verlag, p. 51-58, septembre 2005.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal methods meet domain specific languages
Dans : Fifth International Conference on Integrated Formal Methods (IFM), Eindhoven Netherlands, 29/11/05-02/12/05, LNCS (springer verlag) Vol. 3771, p. 187-206, novembre 2005.
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalizing AADL in proof assistants
Dans : 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), p. 137-153, avril 2005.
Jean-Paul Bodeveix, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants
Dans : 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
Dans : 16th Euromicro Conference on Real-Time Systems (ECRTS’04) (Work In Progress Session), Catania, Italy, 30/06/04-02/07/04, -, juin 2004.
Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Spécification d’ordonnanceurs temps réel
Dans : 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
Dans : 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
Dans : 2nd Int’l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/03-06/06/03, ?, juin 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
BibTeXJean-Paul Bodeveix, Mamoun Filali
About disjunctive invariants in UPPAAL
Dans : 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
Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : 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
Dans : WRTP’03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/03-17/05/03, IEEE, p. 51-56, mai 2003.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and its Validation
Dans : Int’l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/03-26/04/03, IEEE, avril 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
BibTeXJean-Paul Bodeveix, Mamoun Filali
Machines virtuelles pour le B événementiel
Dans : AFADL, Rennes, 15/01/03-17/01/03, Jean-Marc Jézéquel, INRIA, p. 227-241, janvier 2003.
Accès : http://www.irisa.fr/manifestations/2003/AFADL03
BibTeXJean-Paul Bodeveix, Mamoun Filali
Machines virtuelles pour le B événementiel
Dans : Journées GDR B, Paris, 13/06/02-14/06/02.
Accès : 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é
Dans : journée GDR B, Nantes, 29/11/02-29/11/02.
Accès : 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
Dans : journée du GDR B, Nantes, 29/11/02-29/11/02.
Accès : 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
Dans : ZB’2002, Grenoble, 23/01/02-25/01/02, springer verlag, p. 350-369, janvier 2002.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Rejeu d’un calcul d’agents mobiles
Dans : 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
Dans : AFADL, Grenoble, 26/01/00-28/01/00, LSR/IMAG, p. 96-110, janvier 2000.
Accès : http://www-lsr.imag.fr/afadl
BibTeXJean-Paul Bodeveix, Mamoun Filali, Daniel Le Berre
Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique
Dans : Journées de VERIFICATION FORMELLE, ORLEANS, 08/06/00-09/06/00.
Accès : 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
Dans : FAC’2000, Toulouse, 18/05/00-19/05/00, IRIT, p. 56-70, mai 2000.
Jean-Paul Bodeveix, Mamoun Filali
Expérimentation de méthodes d’accélération pour la validation de systèmes paramétrés
Dans : FAC’2000, Toulouse, 18/05/00, IRIT, p. 19-29, mai 2000.
Jean-Paul Bodeveix, Mamoun Filali
FMona: a tool for expressing validation techniques over infinite state systems
Dans : Tools and algorithms for the construction and analysis of systems (TACAS), Berlin, 27/03/00-31/03/00, Springer, p. 204-219, mars 2000.
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement based validation of a distributed termination detection algorithm
Dans : International Workshop FMPPTA’2000, Cancun, 05/05/00, ., mai 2000.
Jean-Paul Bodeveix, Mamoun Filali
Un outil générique pour l’expression de méthodes de validation
Dans : 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
Dans : 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
Dans : FM’99 — B Users Group Meeting — Applying B in an industrial context : Tools, Lessons and Techniques, Toulouse, Springer-Verlag, p. 32-48, septembre 1999.
Jean-Paul Bodeveix, Mamoun Filali
A generic tool for expressing the development of validations
Dans : 11th Nordic Workshop on Programming Theory NWPT’99, Uppsala, 06/10/99-08/10/99, Bjorn Victor and Wang Yi, Uppsala University, p. 37-37, octobre 1999.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Mobility : A Case Study
Dans : 3rd Int’l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, p. 151-166, octobre 1999.
Jean-Paul Bodeveix, Mamoun Filali
Preuve automatique par abstraction de problèmes à espace d’états infini ou paramétrés
Dans : Formalisation des activités concurrentes, LAAS Toulouse, 25/02/99-26/02/99, LAAS, p. 19-30, février 1999.
Jean-Paul Bodeveix, Mamoun Filali
On the automatic validation of parameterized Unity programs
Dans : Workshop on formal methods for parallel programming: theory and applications, Orlando , 03/04/98-03/04/98, lncs vol. 1388, Berlin, Germany, p. 820-832, avril 1998.
Jean-Paul Bodeveix, Mamoun Filali
Expériences de preuves assistées et automatiques de problèmes paramétrés
Dans : 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
Dans : AFADL98 Approches Formelles dans l’Assistance au Développement de Logiciels, Poitiers, ., p. 109-120, septembre 1998.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to distributed program design
Dans : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA’98), ., ., avril 1998.
Jean-Paul Bodeveix, Mamoun Filali
Preuve automatique de propriétés de sureté
Dans : GDR de Programmation – Journées du pôle Preuves et Spécifications Algébriques, –, .
Jean-Paul Bodeveix, Mamoun Filali
Validation de développements
Dans : AFADL Approches formelles dans l’assistance au développement de logiciels, CERT Toulouse, GDR de Programmation: Pôle preuves et spécifications algébriques, p. 165-176, mai 1997.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
A refinement-based validation of a cache coherence protocol
Dans : 10th International Conference on Parallel and Distributed Computing Systems, New Orleans, Louisiana USA, ISCA, p. 332-337, octobre 1997.
Jean-Paul Bodeveix, Mamoun Filali
Formalisation et validation de protocoles de cohérence mémoire atomique
Dans : École ISYPAR, IRIT, .
Jean-Paul Bodeveix, Mamoun Filali
Spécification et raffinement de modèles de cohérence mémoire
Dans : FAC96: Formalisation des Applications Concurrentes, Toulouse, 07/02/96-08/02/96, -, février 1996.
Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali
Etude du protocole de cohérence de la machine M3S
Dans : Rencontres du parallélisme RenPar’8, –, -, p. 173-176, mai 1996.
Jean-Paul Bodeveix, Mamoun Filali
Spécification et raffinement de modèles de cohérence mémoire
Dans : Modélisation des systèmes réactifs, –, AFCET, mars 1996.
Jean-Paul Bodeveix, Mamoun Filali
Towards the automatic verification of memory protocols
Dans : International Workshop on Formal methods for parallel programming, _, IEEE, avril 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms
Dans : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG’96), –, Springer-Verlag, LNCS 1151, octobre 1996.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Observer pour Répartir
Dans : Journées du GDR Programmation, –, -, novembre 1995.
Jean-Paul Bodeveix, Mamoun Filali
On the Refinement of Symmetric Memory Protocols
Dans : Higher Order Logic Theorem Proving and its Applications, –, Springer-Verlag, LNCS 971, p. 58-74, septembre 1995.
Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché
Sémantique des modèles de consistance mémoire
Dans : 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
Dans : Higher Order Logic Theorem Proving and its Applications, –, Springer-Verlag, LNCS 859, p. 49-64, septembre 1994.
The derivation of scheduling algorithms from a timing model
Dans : 6 th Euromicro Workshop on real-time systems, –, -, p. 180-185, janvier 1994.
Algorithms for scheduling real-time concurrent applications
Dans : Conférence Maghrébine en génie logiciel et intelligence artificielle, Rabat, -, p. 297-308, janvier 1994.
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert
Model Based Architecting and Construction of Embedded Systems
Dans : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.) , Springer, p. 1-4, Vol. 5421, LNCS, avril 2009.
Mamoun Filali, Yassine Jamoussi, Ahmed Knani, Jean-Claude Maurize
an Occam programming environment
Dans : Structure Editors and Structure-Based Environments. G. Szwillus, L. Neal (Eds.) , Academic Press, p. 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, juin 2012.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, avril 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, novembre 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, septembre 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, janvier 2009.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Workshop on Architecture Description languages, Toulouse, Springer, avril 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. août 2011.
Jean-Paul Bodeveix, Mamoun Filali, Thomas Polacsek
Projet PAM: AIde à la conception d’une palte-forme avionique
Présentation orale. mars 2009.