Isabelle Perseil

According to our database, Isabelle Perseil authored at least 20 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Towards a reconstructive methodology for building a provenance metamodel that fits the complex bioinformatics pipelines.

Isabelle Perseil, Petr Holub

Proceedings of Workshop on Research Objects (RO2019), 2019

Enabling Large Scale Data Production for OpenDose with GATE on the EGI Infrastructure.

Maxime Chauvin, Gilles Mathieu, Sorina Camarasu-Pop, Axel Bonnet, Manuel Bardies, Isabelle Perseil

Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

2016

Resource-Centered Distributed Processing of Large Histopathology Images.

Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2012

Introduction to UML and Formal Methods.

J. Paul Gibson, Isabelle Perseil

ACM SIGSOFT Softw. Eng. Notes, 2012

Message from Program Co-chairs.

Isabelle Perseil, Marc Pouzet, Karin K. Breitman

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Towards a specific software development process for high integrity systems.

Isabelle Perseil

ACM SIGSOFT Softw. Eng. Notes, 2011

Introduction to special issue: papers from UML&FM'2011.

Isabelle Perseil, J. Paul Gibson

Innov. Syst. Softw. Eng., 2011

ALF formal.

Isabelle Perseil

Innov. Syst. Softw. Eng., 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.

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

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Formal methods integration in software engineering.

Isabelle Perseil, Laurent Pautet

Innov. Syst. Softw. Eng., 2010

Introduction to special issue: papers from UML&FM'2009.

Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm

Innov. Syst. Softw. Eng., 2010

From MARTE to AADL with a Seamless Process.

Isabelle Perseil, Laurent Pautet

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.

Isabelle Perseil, Laurent Pautet

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Introduction to special issue: papers from UML&FM.

Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil

Innov. Syst. Softw. Eng., 2009

An Emerging Need for a New Software Engineering Method.

Isabelle Perseil, Laurent Pautet

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Foundations of a new software engineering method for real-time systems.

Isabelle Perseil, Laurent Pautet

Innov. Syst. Softw. Eng., 2008

A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.

Isabelle Perseil, Laurent Pautet

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

UML&AADL '2007 grand challenges.

Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil

SIGBED Rev., 2007

A Co-Modeling Methodology Designed for RT Architecture Models Integration.

Isabelle Perseil, Laurent Pautet

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Schizophrenic middleware support for fault tolerance.

Khaled Barbaria, Laurent Pautet, Isabelle Perseil

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006