Éric Badouel

43 papers A* 1B 6C 2Misc 4Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach [Un calcul d'interfaces pour les grammaires attribuées gardées].
ARIMA J.
Éric Badouel, Rodrigue Aimé Djeumen Djatcha
2018 C conf
Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms.
ICTAC
Éric Badouel, Rodrigue Aimé Djeumen Djatcha
2017 J jnl
Incremental Process Discovery using Petri Net Synthesis.
Fundam. Informaticae
Éric Badouel, Uli Schlachter
2016 C conf
Petri Net Synthesis from Labelled Transition Systems and from Languages.
VECoS
Éric Badouel
2016 J jnl
Petri Nets with Structured Data.
Fundam. Informaticae
Éric Badouel, Loïc Hélouët, Christophe Morvan
2015 Misc conf
A grammatical approach to data-centric case management in a distributed collaborative environment.
SAC
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
2015 J jnl
Foreword [Avant-propos].
ARIMA J.
Éric Badouel, Moussa Lo, Mokhtar Sellami
2015 — book
Petri Net Synthesis
Éric Badouel, Luca Bernardinello, Philippe Darondeau
2015 B conf
Petri Nets with Structured Data.
Petri Nets
Éric Badouel, Loïc Hélouët, Christophe Morvan
2015 J jnl
Préface/Foreword.
ARIMA J.
Éric Badouel, Maurice Tchuenté
2014 J jnl
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment.
CoRR
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
2014 J jnl
Opacité des artefacts d'un système workflow.
ARIMA J.
Éric Badouel, Mohamadou Lamine Diouf
2013 J jnl
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition.
Theor. Comput. Sci.
Éric Badouel, Rodrigue Tchougong, Celestin Nkuimi Jugnia, Bernard Fotsing
2012 B conf
On the α-Reconstructibility of Workflow Nets.
Petri Nets
Éric Badouel
2011 J jnl
A Modal Interface Theory for Component-based Design.
Fundam. Informaticae
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2011 — conf
Residuation of tropical series: Rationality issues.
CDC/ECC
Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda
2009 Misc conf
Modal interfaces: unifying interface automata and modal specifications.
EMSOFT
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2009 — conf
Why Are Modalities Good for Interface Theories?.
ACSD
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
2008 — conf
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers.
MSFP@ICALP
Éric Badouel, Bernard Fotsing, Rodrigue Tchougong
2008 — conf
Merging Hierarchically-Structured Documents in Workflow Systems.
CMCS
Éric Badouel, Maurice Tchoupé Tchendji
2008 J jnl
Projections et cohérence de vues dans les grammaires algébriques.
ARIMA J.
Éric Badouel, Maurice Tchoupé Tchendji
2007 J jnl
An Axiomatization of the Token Game Based on Petri Algebras.
Fundam. Informaticae
Éric Badouel, Jules Chenou, Goulven Guillou
2007 J jnl
Concurrent Secrets.
Discret. Event Dyn. Syst.
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau
2005 A* conf
Petri Algebras.
ICALP
Éric Badouel, Jules Chenou, Goulven Guillou
2004 J jnl
The synthesis of Petri nets from path-automatic specifications.
Inf. Comput.
Éric Badouel, Philippe Darondeau
2003 Misc conf
Modeling Concurrent Systems: Reconfigurable Nets.
PDPTA
Éric Badouel, Marisa Llorens, Javier Oliver
2003 — conf
Nets Enriched over Closed Monoidal Structures.
ICATPN
Éric Badouel, Jules Chenou
2002 J jnl
Distributing Finite Automata Through Petri Net Synthesis.
Formal Aspects Comput.
Éric Badouel, Benoît Caillaud, Philippe Darondeau
2001 — conf
Generalized Automata and Their Net Representations.
Unifying Petri Nets
Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau
1999 J jnl
Context-Free Event Domains are Recognizable.
Inf. Comput.
Éric Badouel, Philippe Darondeau, Jean-Claude Raoult
1999 Misc conf
Modelling Dynamic Agent Systems with Cooperating Automata.
PDPTA
Éric Badouel, Philippe Darondeau, Andrew Tokmakoff
1997 B conf
Stratified Petri Nets.
FCT
Éric Badouel, Philippe Darondeau
1997 J jnl
The Synthesis Problem for Elementary Net Systems is NP-Complete.
Theor. Comput. Sci.
Éric Badouel, Luca Bernardinello, Philippe Darondeau
1996 B conf
Theory of Regions.
Petri Nets
Éric Badouel, Philippe Darondeau
1995 — conf
Context-Free Event Domains are Recognizable.
AMAST
Éric Badouel, Philippe Darondeau, Jean-Claude Raoult
1995 — conf
Dualities Between Nets and Automata Induced by Schizophrenic Objects.
Category Theory and Computer Science
Éric Badouel, Philippe Darondeau
1995 — conf
Polynomial Algorithms for the Synthesis of Bounded Nets.
TAPSOFT
Éric Badouel, Luca Bernardinello, Philippe Darondeau
1995 J jnl
Trace Nets and Process Automata.
Acta Informatica
Éric Badouel, Philippe Darondeau
1992 B conf
Structural Operational Specifications and the Trace Automata.
CONCUR
Éric Badouel, Philippe Darondeau
1992 — conf
Trace Nets.
REX Workshop
Éric Badouel, Philippe Darondeau
1991 J jnl
On Guarded Recursion.
Theor. Comput. Sci.
Éric Badouel, Philippe Darondeau
1989 B conf
Algebraic Closed Theories.
MFCS
Éric Badouel
1989 — conf
Terms and Infinite Trees as Monads Over a Signature.
TAPSOFT, Vol.1
Éric Badouel