Isabelle Perseil

25 papers B 9Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2019 B conf
Enabling Large Scale Data Production for OpenDose with GATE on the EGI Infrastructure.
CCGRID
Maxime Chauvin, Gilles Mathieu, Sorina Camarasu-Pop, Axel Bonnet, Manuel Bardies, Isabelle Perseil
2019 — conf
Towards a reconstructive methodology for building a provenance metamodel that fits the complex bioinformatics pipelines.
RO
Isabelle Perseil, Petr Holub
2016 — conf
Resource-Centered Distributed Processing of Large Histopathology Images.
CSE/EUC/DCABES
Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil
2015 — ed.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015.
FMSEE&T@FM
Andreas Bollin, Tiziana Margaria, Isabelle Perseil
2013 — ed.
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
FHIES
Jens H. Weber, Isabelle Perseil
2012 B ed.
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012
ICECCS
Isabelle Perseil, Karin K. Breitman, Marc Pouzet
2012 J jnl
Introduction to UML and Formal Methods.
ACM SIGSOFT Softw. Eng. Notes
J. Paul Gibson, Isabelle Perseil
2012 B conf
Message from Program Co-chairs.
ICECCS
Isabelle Perseil, Marc Pouzet, Karin K. Breitman
2011 B ed.
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011
ICECCS
Isabelle Perseil, Karin K. Breitman, Roy Sterritt
2011 J jnl
ALF formal.
Innov. Syst. Softw. Eng.
Isabelle Perseil
2011 B conf
An Efficient Modeling and Execution Framework for Complex Systems Development.
ICECCS
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
2011 J jnl
Introduction to special issue: papers from UML&FM'2011.
Innov. Syst. Softw. Eng.
Isabelle Perseil, J. Paul Gibson
2011 J jnl
Towards a specific software development process for high integrity systems.
ACM SIGSOFT Softw. Eng. Notes
Isabelle Perseil
2010 J jnl
Formal methods integration in software engineering.
Innov. Syst. Softw. Eng.
Isabelle Perseil, Laurent Pautet
2010 B conf
From MARTE to AADL with a Seamless Process.
ICECCS
Isabelle Perseil, Laurent Pautet
2010 — conf
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.
ECBS
Isabelle Perseil, Laurent Pautet
2010 J jnl
Introduction to special issue: papers from UML&FM'2009.
Innov. Syst. Softw. Eng.
Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm
2009 B conf
An Emerging Need for a New Software Engineering Method.
ICECCS
Isabelle Perseil, Laurent Pautet
2009 J jnl
Introduction to special issue: papers from UML&FM.
Innov. Syst. Softw. Eng.
Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil
2008 B conf
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.
ICECCS
Isabelle Perseil, Laurent Pautet
2008 J jnl
Foundations of a new software engineering method for real-time systems.
Innov. Syst. Softw. Eng.
Isabelle Perseil, Laurent Pautet
2008 J jnl
Introduction to special issue: papers from UML&FM.
Innov. Syst. Softw. Eng.
Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil
2007 B conf
A Co-Modeling Methodology Designed for RT Architecture Models Integration.
ICECCS
Isabelle Perseil, Laurent Pautet
2007 J jnl
UML&AADL '2007 grand challenges.
SIGBED Rev.
Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil
2006 — conf
Schizophrenic middleware support for fault tolerance.
SIGAda
Khaled Barbaria, Laurent Pautet, Isabelle Perseil