Rémi Morin

Publication Activity (10 Years)

Years Active: 1998-2015
Publications (10 Years): 1

Top Topics

Partial Ordering

Multiresolution

Structural Information

Software Systems

Top Venues

Fundam. Informaticae

Publications

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