Rémi Morin

28 papers A 2B 12C 2Misc 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2015 J jnl
Catching a Structural Bug with a Flower.
Fundam. Informaticae
Florent Avellaneda, Rémi Morin
2014 B conf
Exhibition of a Structural Bug with Wings.
Petri Nets
Florent Avellaneda, Rémi Morin
2013 — conf
Checking Partial-Order Properties of Vector Addition Systems with States.
ACSD
Florent Avellaneda, Rémi Morin
2011 — conf
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers.
ACSD
Florent Avellaneda, Rémi Morin
2011 Misc conf
Shared-Memory Systems and Charts.
CSR
Rémi Morin
2010 J jnl
Unambiguous Shared-Memory Systems.
Int. J. Found. Comput. Sci.
Rémi Morin
2009 B conf
Pomset Languages of Finite Step Transition Systems.
Petri Nets
Jean Fanchon, Rémi Morin
2008 C conf
MSO Logic for Unambiguous Shared-Memory Systems.
Developments in Language Theory
Rémi Morin
2008 B conf
Semantics of Deterministic Shared-Memory Systems.
CONCUR
Rémi Morin
2007 — conf
Synthesis of Safe Message-Passing Systems.
FSTTCS
Nicolas Baudru, Rémi Morin
2006 — conf
The Synthesis Problem of Netcharts.
ICATPN
Nicolas Baudru, Rémi Morin
2006 Misc conf
Unfolding Synthesis of Asynchronous Automata.
CSR
Nicolas Baudru, Rémi Morin
2005 B conf
Concurrent Automata vs. Asynchronous Systems.
MFCS
Rémi Morin
2005 J jnl
Polynomial Synthesis of Asynchronous Automata
CoRR
Nicolas Baudru, Rémi Morin
2004 B conf
The Pros and Cons of Netcharts.
CONCUR
Nicolas Baudru, Rémi Morin
2003 C conf
Safe Implementability of Regular Message Sequence Chart Specifications.
SNPD
Nicolas Baudru, Rémi Morin
2002 A conf
Black Box Unfolding with Local First Search.
TACAS
Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
2002 J jnl
Pomsets for Local Trace Languages.
J. Autom. Lang. Comb.
Dietrich Kuske, Rémi Morin
2002 A conf
Recognizable Sets of Message Sequence Charts.
STACS
Rémi Morin
2002 B conf
Regular Sets of Pomsets with Autoconcurrency.
CONCUR
Jean Fanchon, Rémi Morin
2001 B conf
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory.
FoSSaCS
Rémi Morin
2000 B conf
On Recognizable Stable Trace Languages.
FoSSaCS
Jean-François Husson, Rémi Morin
2000 B conf
Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.
CONCUR
Dietrich Kuske, Rémi Morin
1999 B conf
A General Categorical Connection between Local Event Structures and Local Traces.
FCT
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
1999 — conf
Hierarchy of asynchronous automata.
WDS@FCT
Rémi Morin
1999 B conf
On the Semantics of Place/Transition Nets.
CONCUR
Rémi Morin, Brigitte Rozoy
1998 B conf
Decompositions of Asynchronous Systems.
CONCUR
Rémi Morin
1998 — conf
Event Structures for Local Traces.
EXPRESS
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy