Isabelle Perseil

J. Paul Gibson, Isabelle Perseil: Introduction to UML and Formal Methods. ACM SIGSOFT Software Engineering Notes 37(4): 32-33 (2012)

Isabelle Perseil, Marc Pouzet, Karin Breitman: Message from Program Co-chairs. ICECCS 2012

Isabelle Perseil, Karin Breitman, Marc Pouzet (Eds.): 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012. IEEE Computer Society 2012, isbn 978-1-4673-2156-3

Isabelle Perseil, J. Paul Gibson: Introduction to special issue: papers from UML&FM'2011. ISSE 7(4): 225-226 (2011)

Isabelle Perseil: ALF formal. ISSE 7(4): 325-326 (2011)

Isabelle Perseil: Towards a specific software development process for high integrity systems. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard: An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 2011: 317-331

Isabelle Perseil, Karin Breitman, Roy Sterritt (Eds.): 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society 2011

Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm: Introduction to special issue: papers from UML&FM'2009. ISSE 6(1-2): 1-3 (2010)

Isabelle Perseil, Laurent Pautet: Formal methods integration in software engineering. ISSE 6(1-2): 5-11 (2010)

Isabelle Perseil, Laurent Pautet: High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. ECBS 2010: 418-424

Isabelle Perseil, Laurent Pautet: From MARTE to AADL with a Seamless Process. ICECCS 2010: 361-366

Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil: Introduction to special issue: papers from UML&FM. ISSE 5(3): 229 (2009)

Isabelle Perseil, Laurent Pautet: An Emerging Need for a New Software Engineering Method. ICECCS 2009: 359-364

Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil: Introduction to special issue: papers from UML&FM. ISSE 4(3): 185-187 (2008)

Isabelle Perseil, Laurent Pautet: Foundations of a new software engineering method for real-time systems. ISSE 4(3): 195-202 (2008)

Isabelle Perseil, Laurent Pautet: A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ICECCS 2008: 217-221

Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil: UML&AADL '2007 grand challenges. SIGBED Review 4(4): 1 (2007)

Isabelle Perseil, Laurent Pautet: A Co-Modeling Methodology Designed for RT Architecture Models Integration. ICECCS 2007: 371-376

Khaled Barbaria, Laurent Pautet, Isabelle Perseil: Schizophrenic middleware support for fault tolerance. SIGAda 2006: 51-60