default search action
Isabelle Perseil
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c10]Maxime Chauvin, Gilles Mathieu
, Sorina Camarasu-Pop, Axel Bonnet, Manuel Bardies
Enabling Large Scale Data Production for OpenDose with GATE on the EGI Infrastructure. CCGRID 2019: 658-665 - [i1]Isabelle Perseil, Petr Holub:
Towards a reconstructive methodology for building a provenance metamodel that fits the complex bioinformatics pipelines. RO 2019 - 2016
- [c9]Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil:
Resource-Centered Distributed Processing of Large Histopathology Images. CSE/EUC/DCABES 2016: 367-370 - 2015
- [e4]Andreas Bollin, Tiziana Margaria, Isabelle Perseil:
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. CEUR Workshop Proceedings 1385, CEUR-WS.org 2015 [contents] - 2013
- [e3]Jens H. Weber, Isabelle Perseil:
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7789, Springer 2013, ISBN 978-3-642-39087-6 [contents] - 2012
- [j10]J. Paul Gibson
Introduction to UML and Formal Methods. ACM SIGSOFT Softw. Eng. Notes 37(4): 32-33 (2012) - [c8]Isabelle Perseil, Marc Pouzet, Karin K. Breitman
Message from Program Co-chairs. ICECCS 2012 - [e2]Isabelle Perseil, Karin K. Breitman, Marc Pouzet:
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 [contents] - 2011
- [j9]Isabelle Perseil, J. Paul Gibson
Introduction to special issue: papers from UML&FM'2011. Innov. Syst. Softw. Eng. 7(4): 225-226 (2011) - [j8]Isabelle Perseil:
ALF formal. Innov. Syst. Softw. Eng. 7(4): 325-326 (2011) - [j7]Isabelle Perseil:
Towards a specific software development process for high integrity systems. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c7]Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 2011: 317-331 - [e1]Isabelle Perseil, Karin K. Breitman, Roy Sterritt:
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4381-9 [contents] - 2010
- [j6]Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard
Introduction to special issue: papers from UML&FM'2009. Innov. Syst. Softw. Eng. 6(1-2): 1-3 (2010) - [j5]Isabelle Perseil, Laurent Pautet:
Formal methods integration in software engineering. Innov. Syst. Softw. Eng. 6(1-2): 5-11 (2010) - [c6]Isabelle Perseil, Laurent Pautet:
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. ECBS 2010: 418-424 - [c5]Isabelle Perseil, Laurent Pautet:
From MARTE to AADL with a Seamless Process. ICECCS 2010: 361-366
2000 – 2009
- 2009
- [j4]Jean-Michel Bruel, Agusti Canals, Sébastien Gérard
Introduction to special issue: papers from UML&FM. Innov. Syst. Softw. Eng. 5(3): 229 (2009) - [c4]Isabelle Perseil, Laurent Pautet:
An Emerging Need for a New Software Engineering Method. ICECCS 2009: 359-364 - 2008
- [j3]Jean-Michel Bruel, Agusti Canals, Sébastien Gérard
Introduction to special issue: papers from UML&FM. Innov. Syst. Softw. Eng. 4(3): 185-187 (2008) - [j2]Isabelle Perseil, Laurent Pautet:
Foundations of a new software engineering method for real-time systems. Innov. Syst. Softw. Eng. 4(3): 195-202 (2008) - [c3]Isabelle Perseil, Laurent Pautet:
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ICECCS 2008: 217-221 - 2007
- [j1]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 Rev. 4(4): 1 (2007) - [c2]Isabelle Perseil, Laurent Pautet:
A Co-Modeling Methodology Designed for RT Architecture Models Integration. ICECCS 2007: 371-376 - 2006
- [c1]Khaled Barbaria, Laurent Pautet, Isabelle Perseil:
Schizophrenic middleware support for fault tolerance. SIGAda 2006: 51-60
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: