default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Michel Couvreur
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i1]Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger:
Addition in Dumont-Thomas Numeration Systems in Theory and Practice. CoRR abs/2406.09868 (2024)
2010 – 2019
- 2019
- [c23]Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho:
Modeling Concurrent Behaviors as Words. VECoS 2019: 1-15 - 2017
- [c22]Jean-Michel Couvreur, Joaquin Ezpeleta:
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. SIMPDA 2017: 23-37 - [c21]Jean-Michel Couvreur, Joaquín Ezpeleta
:
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. SIMPDA (Revised Selected Papers) 2017: 89-104 - 2013
- [j2]Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil:
Branching Processes of General Petri Nets. Fundam. Informaticae 122(1-2): 31-58 (2013) - 2011
- [j1]Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên:
Functional term rewriting systems towards symbolic model-checking. Int. J. Crit. Comput. Based Syst. 2(3/4): 378-408 (2011) - [c20]Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil:
Branching Processes of General Petri Nets. Petri Nets 2011: 129-148
2000 – 2009
- 2009
- [c19]Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur:
On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA 2009: 213-227 - 2005
- [c18]Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107 - [c17]Jean-Michel Couvreur, Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE 2005: 443-457 - [c16]Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud:
On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN 2005: 169-184 - 2004
- [c15]Jean-Michel Couvreur:
A BDD-Like Implementation of an Automata Package. CIAA 2004: 310-311 - [p1]François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre:
Modeling and verifying behavioral aspects. Formal Methods for Embedded Distributed Systems 2004: 171-211 - 2003
- [c14]Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre:
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. LPAR 2003: 361-375 - 2002
- [c13]Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier:
Data Decision Diagrams for Petri Net Analysis. ICATPN 2002: 101-120 - 2001
- [c12]Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143 - 2000
- [c11]Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud:
Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000: 123-145
1990 – 1999
- 1999
- [c10]Jean-Michel Couvreur, Denis Poitrenaud:
Detection of Illegal Behaviors Based on Unfoldings. ICATPN 1999: 364-383 - [c9]Jean-Michel Couvreur:
On-the-Fly Verification of Linear Temporal Logic. World Congress on Formal Methods 1999: 253-271 - 1996
- [c8]Jean-Michel Couvreur, Denis Poitrenaud:
Model Checking Based on Occurrence Net Graph. FORTE 1996: 380-395 - 1995
- [c7]Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet:
On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets 1995: 25-44 - 1994
- [c6]Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier:
Specification of Compositional Active Objects Using Modular Colored Nets. Applications in Parallel and Distributed Computing 1994: 205-214 - [c5]Jean-Michel Couvreur, Emmanuel Paviot-Adet:
New Structural Invariants for Petri Nets Analysis. Application and Theory of Petri Nets 1994: 199-218 - 1992
- [c4]Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda:
Asynchronous Unison (Extended Abstract). ICDCS 1992: 486-493 - 1991
- [c3]Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre:
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets 1991: 51-70 - [c2]Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez:
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets 1991: 126-147
1980 – 1989
- 1989
- [c1]Jean-Michel Couvreur, Javier Martínez:
Linear invariants in commutative high level nets. Applications and Theory of Petri Nets 1989: 146-164
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-07-11 19:26 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:
