Publications de
J.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 2011.
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.
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/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
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.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Dans : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, p. 121-136, juin 2008.
Ricardo Bedin Franca, Daniel Gobbi, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker
Design of Real-Time Automation Systems Using Architecture Description Languages
Dans : Simpósio Brasileiro de Automação Inteligente (SBAI 2007), Florianópolis – Brasil, 08/08/07-11/08/07, Sociedade Brasileira de Automática (SBA), (support électronique), août 2007.
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/07-28/05/07, Universidade Federal de Santa Catarina, (support électronique), mai 2007.
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.
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.