MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Laure Petrucci" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Design and Validation of a Controller
by Laure Petrucci — 2000
… Laure Petrucci LSV, CNRS UMR 8643, ENS de Cachan 61, avenue du President Wilson, 94235 Cachan Cedex…
Cited by 2 (0 self) – Add To MetaCart

Structural Analysis of Workflow Nets with Shared Resources
by Kamel Barkaoui, Laure Petrucci — 1998
… with Shared Resources Kamel Barkaoui 1 and Laure Petrucci 2 1 CEDRIC-CNAM 292 rue St-Martin F-75141 PARIS…
Cited by 5 (0 self) – Add To MetaCart

Specification and Validation of a Concurrent System: An Educational Project
by Gerard Berthelot, Laure Petrucci — 2001
… Petrucci 2 1 CEDRIC-IIE, Institut d'Informatique d'Entreprise, 18 allee Jean Rostand, F-91025 EVRY Cedex…
Cited by 2 (1 self) – Add To MetaCart

Modular State Space Analysis of Coloured Petri Nets
by Søren Christensen, Laure Petrucci — 1995 — IN PROC. OF THE 16 TH INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
…Modular State Space Analysis of Coloured Petri Nets Sren Christensen Laure Petrucci Computer…
Cited by 24 (3 self) – Add To MetaCart

Modular Analysis of Petri Nets
by Søren Christensen, Laure Petrucci — 2000 — The Computer Journal
…Modular Analysis of Petri Nets SREN CHRISTENSEN 1 AND LAURE PETRUCCI 2 1 Department…
Cited by 17 (3 self) – Add To MetaCart

Concurrent Systems Analysis Using ECATNets
by F. Belala, Mohamed Bettaz, Laure Petrucci-Dauchy
…, Université de Constantine, 25000 Constantine, Algeria, E-mail: bettaz@(email omitted); LAURE PETRUCCI…
Add To MetaCart

FAST: Fast Acceleration of Symbolic Transition systems
by Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci — 2003 — In Computer-aided Verification
… , Alain Finkel 1 , Jérôme Leroux 2 , and Laure Petrucci 3 1 LSV - (CNRS UMR 8643, ENS de Cachan), France…
Cited by 32 (12 self) – Add To MetaCart

From PNML to counter systems for accelerating Petri Nets with FAST
by Sebastien Bardin, Laure Petrucci, F- Cachan Cedex — 2004
… Sebastien Bardin 1 and Laure Petrucci 2 1 LSV, CNRS UMR 8643 ENS de Cachan 61 avenue du president Wilson…
Cited by 2 (0 self) – Add To MetaCart

Formal Specification And Analysis Of Airborne Mission Systems
by Lars M. Kristensen, Jonathan Billington, Laure Petrucci, School Of Electrical, Information Engineering
…, Australia. Laure Petrucci, Laboratoire Spcification et Vrification, CNRS UMR 8643, Cachan, France. Zahid H…
Add To MetaCart

Towards Formal Specification and Analysis of Avionics Mission Systems
by Laure Petrucci, Lars Michael Kristensen, Jonathan Billington, Zahid H. Qureshi — 2002
… of Avionics Mission Systems Laure Petrucci y Lars Michael Kristensen Jonathan Billington Zahid H. Qureshi…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB