PUBLICATIONS 2006-2009

 

ACM CONFERENCE : ACM SIGAda 2006 International Conference
Khaled Barbaria, Laurent Pautet, Isabelle Perseil :"Schizophrenic Middleware Support for Fault Tolerance" DOI:
http://doi.acm.org/10.1145/1185875.1185652

 

IEEE CONFERENCE : ICECCS07 Twelfth International Conference on Engineering of Complex Computer Systems
Isabelle Perseil, Laurent Pautet :"A Co-modeling Methodology for the Integration of Real-time Architecture Models"

 

4th European Congress ERTS : ERTS 2008
Isabelle Perseil, Laurent Pautet :"COntinuum, a CO-modeling Methodology for the Integration of Real-time Architecture Models"

 

ACM SIGBED Newsletter : The 15th issue
Sebastien Gerard, Peter Feiler, Jean-Francois Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil : "UML&AADL '2007 Grand challenges" DOI: http://doi.acm.org/10.1145/1366546.1366547

 

IEEE CONFERENCE : ICECCS 2008 Thirteenth International Conference on Engineering of Complex Computer Systems
Isabelle Perseil, Laurent Pautet :"A Concrete Syntax for UML 2.1 Action Semantics Using +CAL"

 

Springer Journal : ISSE, 2008, VOL 4, Innovations in Systems and Software Engineering, A NASA journal
Isabelle Perseil, Laurent Pautet :"Foundations of a new software engineering method for real-time systems"

 

IEEE CONFERENCE : ICECCS 2009 Fourteenth International Conference on Engineering of Complex Computer Systems
Isabelle Perseil, Laurent Pautet :"An Emerging Need for a New Software Engineering Method"

 

IEEE CONFERENCE : IEEE 17th ECBS 2010 International Conference on Engineering of Computer-Based Systems
Isabelle Perseil, Laurent Pautet :"High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-time Systems"

 

IEEE CONFERENCE : ICECCS 2010 15th International Conference on Engineering of Complex Computer Systems
Isabelle Perseil, Laurent Pautet :"From MARTE to AADL with a Seamless Process"

 

Springer Journal : ISSE, 2010, VOL 1, Innovations in Systems and Software Engineering, A NASA journal
Isabelle Perseil, Laurent Pautet :"Formal Methods Integration in Software Engineering"

 

 

 


january 2010 ©