Search results for "Laure Petrucci"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mohand Cherif Boukala, Laure Petrucci	Distributed model-checking and counterexample search for CTL logic.	IJCCBS	2012	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Laure Petrucci (eds.)	Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings	Petri Nets	2011	DBLP DOI BibTeX RDF
1	Sami Evangelista, Laure Petrucci, Samir Youcef	Parallel Nested Depth-First Searches for LTL Model Checking.	ATVA	2011	DBLP DOI BibTeX RDF
1	Christine Choppy, Micaela Mayero, Laure Petrucci	Coloured Petri net refinement specification and correctness proof with Coq.	ISSE	2010	DBLP DOI BibTeX RDF
1	Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves	PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.	Petri Nets	2010	DBLP DOI BibTeX RDF
1	Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci	The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.	Petri Nets	2010	DBLP DOI BibTeX RDF
1	Charles Lakos, Laure Petrucci	Modular State Spaces for Prioritised Petri Nets.	Monterey Workshop	2010	DBLP DOI BibTeX RDF
1	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
1	Christine Choppy, Micaela Mayero, Laure Petrucci	Experimenting Formal Proofs of Petri Nets Refinements.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci	FAST: acceleration from theory to practice.	STTT	2008	DBLP DOI BibTeX RDF	Counter systems, Infinite reachability set, Acceleration, Symbolic representation
1	Kais Klai, Laure Petrucci	Modular construction of the symbolic observation graph.	ACSD	2008	DBLP DOI BibTeX RDF
1	Christine Choppy, Laure Petrucci, Gianna Reggio	A Modelling Approach with Coloured Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	coloured Petri nets, modular design, modelling method, specification method
1	Charles Lakos, Laure Petrucci	Modular state space exploration for timed petri nets.	STTT	2007	DBLP DOI BibTeX RDF
1	Kais Klai, Laure Petrucci, Michel A. Reniers	An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.	FORTE	2007	DBLP DOI BibTeX RDF
1	Fabrice Kordon, Laure Petrucci	Toward Formal-Methods Oecumenism?	IEEE Distributed Systems Online	2006	DBLP DOI BibTeX RDF	software engineering, formal methods
1	Hager Karoui, Rushed Kanawati, Laure Petrucci	COBRAS: Cooperative CBR System for Bibliographical Reference Recommendation.	ECCBR	2006	DBLP DOI BibTeX RDF
1	Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg	Tutorial on Formal Methods for Distributed and Cooperative Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
1	Hager Karoui, Rushed Kanawati, Laure Petrucci	Cooperative CBR System for Peer Agent Committee Formation.	AP2PC	2006	DBLP DOI BibTeX RDF
1	Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves	PN Standardisation: A Survey.	FORTE	2006	DBLP DOI BibTeX RDF
1	Jonathan Billington, Guy Edward Gallasch, Laure Petrucci	Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets.	Nord. J. Comput.	2005	DBLP BibTeX RDF
1	Lars Michael Kristensen, Laure Petrucci	An Approach to Distributed State Space Exploration for Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Charles Lakos, Laure Petrucci	Modular Analysis of Systems Composed of Semiautonomous Subsystems.	ACSD	2004	DBLP DOI BibTeX RDF
1	Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber	The Petri Net Markup Language: Concepts, Technology, and Tools.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Laure Petrucci, Jonathan Billington, Lars Michael Kristensen, Zahid H. Qureshi	Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.	ACSD	2003	DBLP DOI BibTeX RDF
1	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci	FAST: Fast Acceleration of Symbolikc Transition Systems.	CAV	2003	DBLP DOI BibTeX RDF
1	Gérard Berthelot, Laure Petrucci	Specification and validation of a concurrent system: an educational project.	STTT	2001	DBLP DOI BibTeX RDF	Verification, Education, Specification, Coloured Petri nets
1	Søren Christensen, Laure Petrucci	Modular Analysis of Petri Nets.	Comput. J.	2000	DBLP DOI BibTeX RDF
1	Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy	Concurrent Systems Analysis Using ECATNets.	Logic Journal of the IGPL	2000	DBLP DOI BibTeX RDF
1	Søren Christensen, Laure Petrucci	Modular State Space Analysis of Coloured Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
1	Alain Finkel, Laure Petrucci	Composition/décomposition de réseaux de petri et de leurs graphes de couverture.	ITA	1994	DBLP BibTeX RDF
1	Søren Christensen, Laure Petrucci	Towards a Modular Analysis of Coloured Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
1	Alain Finkel, Laure Petrucci	Avoiding State Exposion by Composition of Minimal Covering Graphs.	CAV	1991	DBLP DOI BibTeX RDF
1	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
1	Gérard Berthelot, Colette Johnen, Laure Petrucci	PAPETRI: Environment for the Analysis of Petri Nets.	CAV	1990	DBLP DOI BibTeX RDF

Publications of Laure Petrucci Laure Petrucci-Dauchy ( http://dblp.L3S.de/Authors/Laure_Petrucci )