Publications
Consultation de la base des publications de l'IRIT
Filali Mamoun
Pour une recherche plus ciblée, utiliser l'interface d'interrogation de
la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.
Livres / Books (monographies)
-
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.
BibTeX
-
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. Michel, François Vernadat. The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, novembre 2003.
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Amal Sayah. Programmation en C++, InterEditions, 1994.
BibTeX
Ouvrages de synthèse / Books edition
Numéros spéciaux de revues / Special issues of journals
-
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.
Accès : http://www.editions-hermes.fr/cad_inti.htm
BibTeX
Actes de conférences et de workshops / Conferences proceedings
-
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/2008 - 29/09/2008, IRIT Press, septembre 2009.
BibTeX
-
Mamoun Filali, Pierre Michel, C. Seguin. AFADL: Approches formelles dans l'assistance au développement de logiciels, Toulouse, 26/01/2009 - 28/01/2009, IRIT Press, janvier 2009.
BibTeX
-
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat. Workshop on Architecture Description languages, Toulouse, Springer, avril 2005.
BibTeX
Articles de revues internationales / International journals articles
-
Jean-Paul Bodeveix, Mamoun Filali. Event B Development of a Synchronous AADL Scheduler. Dans : Electronic Notes in Theoretical Computer Science, 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
BibTeX
-
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, 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.
BibTeX
-
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, 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
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 185, p. 17-32, juillet 2007.
BibTeX
-
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 141, p. 153-169, août 2005.
BibTeX
-
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton. Dynamic aspects of retrenchments through temporal logic. Dans : Annals of Mathematics, Computing and Teleinformatics, Technological Education Institute of Larissa, Grèce, Vol. 1 N. 3, p. 18-26, 2005.
Résumé
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
Mamoun Filali. The specification of the temporal behaviour for multimedia scheduling. Dans : Annales des Télécommunications, Vol. 49 N. 5--6, p. 315-323, 1994.
BibTeX
Articles de revues nationales / National journals articles
-
Odile 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.
BibTeX
-
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.
BibTeX
-
Patrick Farail, Pierre Gaufillet, Mamoun Filali, P. 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.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
Contributions à des ouvrages de synthèse / Books parts
-
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.
BibTeX
-
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.
BibTeX
Conférences et workshops internationaux / International conferences articles
-
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/2012-14/09/2012, IEEE Computer Society, p. 57-64, septembre 2012.
BibTeX
-
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/2011-02/09/2011, Springer, p. 95-109, février 2012.
BibTeX
-
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/2011-14/10/2011, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, p. 105-119, octobre 2011.
BibTeX
-
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/2011-29/04/2011, IEEE Computer Society, p. 317-331, avril 2011.
BibTeX
-
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/2011-21/06/2011, Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper (Eds.), Springer, LNBIP 81, p. 261-275, juin 2011.
BibTeX
-
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/2010-26/03/2010, IEEE Computer Society, p. 331-336, mars 2010.
BibTeX
-
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/2010-21/05/2010, SIA/3AF/SEE, (support électronique), 2010.
Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
BibTeX
-
Tiago 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/2010-21/05/2010, Société des Ingénieurs de l'Automobile, (support électronique), mai 2010.
Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
BibTeX
-
Mamoun Filali, Julia Lawall. Development of a Synchronous Subset of AADL (regular paper). Dans : ASM, Alloy, B and Z, Orford, Québec, Canada, 22/02/2010-25/02/2010, Marc Frappier (Eds.), Springer-Verlag, LNCS 5977, p. 245-258, février 2010.
BibTeX
-
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/2009-04/06/2009, IEEE, p. 347-352, juin 2009.
Accès : http://www2.computer.org/portal/web/csdl/abs/proceedings/iceccs/2009/3702/00/piceccs200900toc.htm
BibTeX
-
Ricardo 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/2009-21/08/2009, Brazilian Computer Society, p. 171-186, août 2009.
BibTeX
-
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/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 207-221, 2009.
BibTeX
-
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/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 192-206, 2009.
BibTeX
-
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/2008-03/12/2008, IEEE, (support électronique), décembre 2008.
BibTeX
-
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/2008-30/05/2008, European Space Agency (ESA Publications), (support électronique), mai 2008.
BibTeX
-
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/2008-04/04/2008, IEEE, (support électronique), avril 2008.
BibTeX
-
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/2008-01/02/2008, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), (support électronique), janvier 2008.
BibTeX
-
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/2008-01/02/2008, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), (support électronique), janvier 2008.
BibTeX
-
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/2008-01/02/2008, SIA/3AF/SEE, (support électronique), janvier 2008.
BibTeX
-
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/2007-28/09/2007, ACM, ACM International Conference Proceeding Series, p. 165-174, septembre 2007.
BibTeX
-
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/2007-14/07/2007, IEEE Computer Society, p. 377-382, 2007.
BibTeX
-
Mamoun Filali. A Mechanization of Phylogenetic Trees. Dans : International Verification Workshop (VERIFY 2007), Bremen, 15/07/2007-16/07/2007, Bernhard Beckert (Eds.), CEUR Workshop Proceedings, (en ligne), juillet 2007.
Accès : http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-259/
BibTeX
-
Ricardo 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/2007-28/05/2007, Universidade Federal de Santa Catarina, (support électronique), mai 2007.
BibTeX
-
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/2006-27/01/2006, 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
BibTeX
-
Jean-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/2006-27/01/2006, 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
BibTeX
-
Jean-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/2006-19/09/2006, HAL-INRIA, (en ligne), septembre 2006.
Accès : http://hal.inria.fr/
BibTeX
-
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/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), 2006.
BibTeX
-
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/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), 2006.
BibTeX
-
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/2006-14/07/2006, Vol. , Lou Goble, John-Jules Ch. Meyer (Eds.), Springer, LNAI 4048, p. 85-100, juillet 2006.
BibTeX
-
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/2006-27/04/2006, ACM, p. 1800-1801, avril 2006.
BibTeX
-
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/2005-02/10/2005, ?, octobre 2005.
Accès : http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/papers.shtml
BibTeX
-
Jean-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/2005-21/10/2005, DIKU Copenhagen, Denmark, octobre 2005.
Accès : http://www.diku.dk/NWPT05/programme.html
BibTeX
-
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/2005-20/11/2005, South-East European Research Center (SEERC), p. 181-195, novembre 2005.
BibTeX
-
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/2005-19/11/2005, South-East European Research Center (SEERC), p. 104-118, novembre 2005.
BibTeX
-
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/2005-14/09/2005, LNCS Vol. 3911, Springer-Verlag, p. 51-58, septembre 2005.
BibTeX
-
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/2005-02/12/2005, LNCS (springer verlag) Vol. 3771, p. 187-206, novembre 2005.
BibTeX
-
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/2005-10/04/2005, Juliana Kuster-Filipe, Iman Poernomo , Ralf Reussner, Sandeep Shukla (Eds.), LFCS (University of Edinburgh), p. 137-153, avril 2005.
BibTeX
-
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/2004-02/07/2004, -, juin 2004.
Accès : http://cse.unl.edu/ecrts04wip/proceedings/
BibTeX
-
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/2003-06/06/2003, ?, juin 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
BibTeX
-
Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, P. Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert. Towards the verification of real-time systems in avionics: The Cotre approach. Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/2003-07/06/2003, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeX
-
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. 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/2003-17/05/2003, IEEE, p. 51-56, mai 2003.
BibTeX
-
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/2003-26/04/2003, IEEE, avril 2003.
Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Type Synthesis in B and the Translation of B to PVS. Dans : ZB'2002, Grenoble, 23/01/2002-25/01/2002, springer verlag, p. 350-369, janvier 2002.
BibTeX
-
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/2000-31/03/2000, Springer, p. 204-219, mars 2000.
BibTeX
-
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/2000, ., mai 2000.
BibTeX
-
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.
BibTeX
-
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/1999-08/10/1999, Bjorn Victor and Wang Yi, Uppsala University, p. 37-37, octobre 1999.
BibTeX
-
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.
BibTeX
-
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/1998-03/04/1998, lncs vol. 1388, Berlin, Germany, p. 820-832, avril 1998.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Towards the automatic verification of memory protocols. Dans : International Workshop on Formal methods for parallel programming, _, IEEE, avril 1996.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
Mamoun Filali. The derivation of scheduling algorithms from a timing model. Dans : 6 th Euromicro Workshop on real-time systems, -, -, p. 180-185, janvier 1994.
BibTeX
-
Mamoun Filali. 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.
BibTeX
Conférences et workshops nationaux / National conferences articles
-
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/2012-13/01/2012 (conférencier invité), LCIS/LIG Grenoble, p. 8-8, janvier 2012.
BibTeX
-
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/2011-21/06/2011, University of Limerick, (support électronique), juin 2011.
BibTeX
-
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/2011-10/06/2011, CNRS - GDR GPL, p. 127-133, 2011.
BibTeX
-
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/2011-10/06/2011, CNRS - GDR GPL, p. 121-136, juin 2011.
BibTeX
-
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/2010-11/06/2010, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 181-196, juin 2010.
BibTeX
-
Mamoun Filali. Verification Techniques: the AADL Behavioural Annex, and the Fiacre Pivot Language. Dans : Forum on specification and Design languages (FDL 2007), Barcelone (Espagne), 18/09/2007-20/09/2007 (conférencier invité), ECSI, (support électronique), septembre 2007.
BibTeX
-
Mamoun Filali. The AADL Modelling Language: Main Constructs, Formal Semantics. Dans : Forum on specification and Design languages (FDL 2007), Barcelone, 18/09/2007-20/09/2007 (conférencier invité), ECSI, (support électronique), septembre 2007.
BibTeX
-
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/2006-17/03/2006, ENST, p. 95-109, mars 2006.
BibTeX
-
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/2006-17/03/2006, ENST, p. 79-93, mars 2006.
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Machines virtuelles pour le B événementiel. Dans : AFADL, Rennes, 15/01/2003-17/01/2003, Jean-Marc Jézéquel, INRIA, p. 227-241, janvier 2003.
Accès : http://www.irisa.fr/manifestations/2003/AFADL03
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. Formalisation de la méthode B en Coq et PVS. Dans : AFADL, Grenoble, 26/01/2000-28/01/2000, LSR/IMAG, p. 96-110, janvier 2000.
Accès : http://www-lsr.imag.fr/afadl
BibTeX
-
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Contrôle d'agents mobiles. Dans : FAC'2000, Toulouse, 18/05/2000-19/05/2000, IRIT, p. 56-70, mai 2000.
BibTeX
-
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/2000, IRIT, p. 19-29, mai 2000.
BibTeX
-
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/1999-26/02/1999, LAAS, p. 19-30, février 1999.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
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/1996-08/02/1996, -, février 1996.
BibTeX
-
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.
BibTeX
-
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.
BibTeX
-
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Observer pour Répartir. Dans : Journées du GDR Programmation, -, -, novembre 1995.
BibTeX
Conférences sans actes publiés / Conference articles without published proceedings
-
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/2011-10/06/2011.
BibTeX
-
Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali, Frédéric Minot. Model design through constraint solving. Dans : TOPCASED DAYS, Toulouse, 02/02/2011-04/02/2011.
BibTeX
-
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/2007-16/03/2007.
BibTeX
-
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali. AADL Modeling of a Generic Bus. Dans : FAC, Toulouse, 15/03/2007-16/03/2007.
BibTeX
-
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali. A state/event temporal deontic logic. Dans : Journées FAC'06, Toulouse, 23/03/2006-24/03/2006.
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Dans : Journées FAC'05, Toulouse LAAS, 09/03/2005-10/04/2005.
Accès : http://www.cert.fr/francais/deri/michel/FAC/
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr. Spécification d'ordonnanceurs temps réel. Dans : FAC, Toulouse, 09/03/2004-10/03/2004.
Accès : http://www.laas.fr/FERIA/SVF/sem.html
BibTeX
-
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/2004-10/03/2004.
Accès : http://www.laas.fr/FERIA/SVF/sem.html
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. About disjunctive invariants in UPPAAL. Dans : NWPT, Turku Finlande, 29/10/2003-31/10/2003.
Accès : http://www.abo.fi/~Kaisa.Sere/15NWPT.html
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Machines virtuelles pour le B événementiel. Dans : Journées GDR B, Paris, 13/06/2002-14/06/2002.
Accès : http://www-lsr.imag.fr/B/Documents/CNAM-2002-06-13/prog-CNAM-2002.html
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Semra Sarpdag. Etude des files de priorité. Dans : journée GDR B, Nantes, 29/11/2002-29/11/2002.
Accès : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Un outil pour la description de types inductifs en B. Dans : journée du GDR B, Nantes, 29/11/2002-29/11/2002.
Accès : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
BibTeX
-
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/2000-27/03/2000.
BibTeX
-
Jean-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/2000-09/06/2000.
Accès : http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/
BibTeX
-
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/1999-11/12/1999.
Accès : http://www.irit.fr/ACTIVITES/EQ_COS/MF/PAPIERS/jmv99.ps.gz
BibTeX
-
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/1999-30/11/1999.
BibTeX
-
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/1998-18/12/1998.
BibTeX
-
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, -, .
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Formalisation et validation de protocoles de cohérence mémoire atomique. Dans : École ISYPAR, IRIT, .
BibTeX
-
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, -, .
BibTeX
Rapports / Reports
-
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali. Mechanized Semantics of Concurrent Systems with Priorities. Rapport de recherche, RIT/RR--2013-16--FR, IRIT, février 2013.
BibTeX
-
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali. Mechanized Semantics of Real-Time Concurrent Systems. Rapport de recherche, IRIT/RR--2013-15--FR, IRIT, janvier 2013.
BibTeX
-
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Verification of Timed BPEL 2.0 Models. Rapport de recherche, IRIT/RR2011-10FR, IRIT, mars 2011.
Résumé
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. Rapport de recherche, 2005-21-r, IRIT, octobre 2005.
BibTeX
-
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Maximal membership in ad hoc networks. Rapport de recherche, 2005-07-R, IRIT, avril 2005.
BibTeX
-
S. Abdellatif, Bernard Berthomieu, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, C. Lohr, P. Michel, Odile Nasr, Gérard Padiou, P.-O. Ribet, Semra Sarpdag, François Vernadat. Rapport sur les sémantiques, concepts, techniques et outils. Rapport de recherche, 2002-32-R, CERT, IRIT, LAAS, Université Paul Sabatier, Toulouse, octobre 2002.
Résumé
BibTeX
-
Daniel Litaize, Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali. Rapport de fin de contrat RECH-9507523 Environnement de développement de programmes parallèles. Rapport de recherche, 99-31-R, IRIT, novembre 1999.
BibTeX
-
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux. Un algorithme de terminaison de calcul diffusant par évaluation de chemins maximaux. Rapport de recherche, IRIT-99-22-R, IRIT, novembre 1999.
BibTeX
-
Jean-Paul Bodeveix, Mamoun Filali. Quantifier elimination technics for program validation. Rapport de recherche, IRIT/97-44-R, IRIT, novembre 1997.
BibTeX
-
Philippe Quéinnec, Mamoun Filali, Gérard Padiou, Philippe Mauran, Philippe Papaix. Système de contrôle d'accès : Développement d'une spécification formelle en UNITY. Rapport de recherche, 97-33-R, IRIT, juin 1997.
BibTeX
-
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Répartition par observation dans UNITY. Rapport de recherche, 96-01-R, IRIT, janvier 1996.
BibTeX
Autres types de publications / Other publications