Éric Badouel

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 5

Top Topics

Structured Databases

Top Venues

Fundam. Informaticae

Publications

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