Développement
- [SFR+] Gérard Sébastien, Peter Feiler, Jean-François Rolland, Mamoun Filali,
Marc-Olivier Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, et
Isabelle Perseil.
UML & AADL ’2007 Grand Challenges.
ACM SIGBED Review, A Special Report on UML & AADL Grand
Challenges, 4(4):(on line), october 2007.
- [BCCFR07] Jean-Paul Bodeveix, Raphael Cavallero, David Chemouil, Mamoun Filali, et
Jean-François Rolland.
A mapping from AADL to Java-RTSJ.
In International Workshop on Java Technologies for Real-time
and Embedded Systems (JTRES), Vienna, Austria, 26/09/07-28/09/07, ACM
International Conference Proceeding Series, pages 165–174,
http://www.acm.org/, september 2007. ACM.
- [BBFRCT07] Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland,
David Chemouil et Dave Thomas.
The AADL behaviour annex – experiments and roadmap.
In 12th IEEE International Conference on Engineering Complex
Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/07-14/07/07,
pages 377–382, http://www.computer.org, 2007. IEEE Computer Society.
- [BCFLS06]
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevée, and Martin
Strecker.
Towards the verification of model transformations.
In European Congress : ERTS2006: Embedded Real Time Software,
Toulouse, page (à paraitre). SIA, SEE, AAAF, 25-27 janvier 2006.
- [BDFFGV06]
Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre
Gaufillet, and François Vernadat.
Behavioural descriptions in architecture description languages:
Application to AADL.
In European Congress : ERTS2006: Embedded Real Time Software,
Toulouse. SIA, SEE, AAAF, 25-27 janvier 2006.
- [BFLM05]
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, and Gilles Muller.
Formal methods meet domain specific languages.
In Fifth International Conference on Integrated Formal Methods
(IFM), Eindhoven Netherlands, volume 3771 of Lecture Notes in Computer
Science, pages 187–206, 29 November-2 December 2005.
- [BBFP05]
Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, and Michael Poppleton.
Dynamic aspects of retrenchments through temporal logic.
In SEEFM05 2nd South-East European Workshop on Formal Methods,
Ohrid (Macédoine), page (à paraitre). South-Eastern European Research Center
SEERC, 18-19 novembre 2005.
- [RBFN05]
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, and 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). South-Eastern European Research Center
SEERC, 18-20 novembre 2005.
- [BCFS05a]
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, and Martin Strecker.
Towards formalizing AADL in proof assistants.
In Juliana Kuster-Filipe, Iman Poernomo, Ralf Reussner, and Sandeep
Shukla, editors, Formal Foundations of Embedded software and
component-based softare architectures (ETAPS), Edinburgh, pages 137–153.
LFCS (University of Edinburgh), 2-10 avril 2005.
- [BF03]
Jean-Paul Bodeveix and Mamoun Filali.
Machines virtuelles pour le B événementiel.
In AFADL, Rennes, pages 227–241, INRIA, 15-17 janvier 2003.
Jean-Marc Jézéquel.
- [Cotre03a]
J.-M. Farines, B. Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick
Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert,
P. Michel, and F. 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), pages 51–56. IEEE, 14-17 mai 2003.
- [BF02]
Jean-Paul Bodeveix and Mamoun Filali.
Type Synthesis in B and the Translation of B to PVS.
In ZB’2002, Formal Specification and development in Z and
B, volume 2272 of lncs, pages 350–369, Grenoble, 23-25 januray
2002. Springer-Verlag.
- [BFM01]
J.-P. Bodeveix, M. Filali, and C.A. Munoz.
Formalisation de la méthode B en Coq et PVS.
Technique et science informatiques, 20(7):901–926, July 2001.
- [CFMPQ99b]
M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Quéinnec.
The observation : an abstract communication mechanism.
Parallel Processing Letters, 9(3):437–450, 1999.
Validation
- [BFLM07]
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, et Gilles Muller.
Automatic Verification of Bossa Scheduler Properties.
Electronic Notes in Theoretical Computer Science, 2007.
- [BF03a]
Jean-Paul Bodeveix and Mamoun Filali.
About disjunctive invariants in UPPAAL.
In NWPT, Turku Finlande, 29-31 octobre 2003.
- [BF00]
Jean-Paul Bodeveix and Mamoun Filali.
FMona: a tool for expressing validation techniques over infinite
state systems.
In Susanne Graf and Michael Schwartzbach, editors, Tools and
algorithms for the construction and analysis of systems TACAS, Berlin,
volume 1785 of Lecture Notes in Computer Science, pages 204–219,
Berlin, 27-31 mars 2000. Springer-Verlag.
- [BF00b]
J.-P. Bodeveix and M. Filali.
Experimenting acceleration methods for the validation of infinite
state systems.
In Dr. Pao-Ann Hsiung, editor, International Workshop on
Distributed System Validation and Verification, pages 23–32, Institute of
Information Science, Academia Sinica, Taiwan, R.O.C., april 2000. IEEE.
- [BF99c]
J.-P. Bodeveix and M. Filali.
Reduction and quantifier elimination techniques for program
validation.
Formal Methods in System Design, 20(1):69–89, 2002.
- [BF98]
J.-P. Bodeveix and M. Filali.
On the automatic validation of parameterized Unity programs.
In J. Rolim, editor, Workshop on formal methods for parallel
programming: theory and applications, volume 1388 of Lecture Notes in
Computer Science, pages 807–819, Berlin, Germany, 1998. Springer-Verlag.
Modélisation et Validation
- [NBFR06] Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, and Miloud Rached.
Verification of a scheduler in B through a timed automata
specification.
In Software Engeneering Track in The 21st Annual ACM Symposium
on Applied Computing (SAC’06), Dijon. ACM, 23-27 avril
2006.
- [FIMPQ05a] Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, and Philippe
Quéinnec.
Maximal group membership in ad hoc networks .
In Sixth International Conference on Parallel Processing and
Applied Mathematics , Poznan (Pologne). Springer-Verlag,
11-14 septembre 2005.
- [FMPQ03]
Mamoun Filali, Philippe Mauran, Gérard Padiou, and 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). IEEE, April 2003.
- [FMPQT00]
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, and Xavier
Thirioux.
Refinement based validation of a distributed termination detection
algorithm .
In FMPPTA’2000 , Cancun, volume 1800 of Lecture Notes in
Computer Science, pages 1027–1036. Springer-Verlag, may 2000.
- [QFMP00]
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, and Gérard Padiou.
Describing mobile computations with path vectors.
In 4th Int’l Conf. On Principles Of DIstributed Systems,
special issue of Studia Informatica Universalis, pages 221–234,
December 2000.
liste exhaustive
Ce document a été traduit de LATEX par HEVEA