Éric Badouel

According to our database, Éric Badouel authored at least 40 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach [Un calcul d'interfaces pour les grammaires attribuées gardées].

Éric Badouel, Rodrigue Aimé Djeumen Djatcha

ARIMA J., 2019

2018

Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms.

Éric Badouel, Rodrigue Aimé Djeumen Djatcha

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Incremental Process Discovery using Petri Net Synthesis.

Éric Badouel, Uli Schlachter

Fundam. Informaticae, 2017

2016

Petri Nets with Structured Data.

Éric Badouel, Loïc Hélouët, Christophe Morvan

Fundam. Informaticae, 2016

Petri Net Synthesis from Labelled Transition Systems and from Languages.

Éric Badouel

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

2015

Petri Net Synthesis

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-47967-4, 2015

Préface/Foreword.

Éric Badouel, Maurice Tchuenté

ARIMA J., 2015

Foreword [Avant-propos].

Éric Badouel, Moussa Lo, Mokhtar Sellami

ARIMA J., 2015

A grammatical approach to data-centric case management in a distributed collaborative environment.

Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Opacité des artefacts d'un système workflow.

Éric Badouel, Mohamadou Lamine Diouf

ARIMA J., 2014

2013

Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition.

Éric Badouel, Rodrigue Tchougong, Celestin Nkuimi Jugnia, Bernard Fotsing

Theor. Comput. Sci., 2013

2012

On the α-Reconstructibility of Workflow Nets.

Éric Badouel

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

A Modal Interface Theory for Component-based Design.

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone

Fundam. Informaticae, 2011

Residuation of tropical series: Rationality issues.

Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2009

Modal interfaces: unifying interface automata and modal specifications.

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Why Are Modalities Good for Interface Theories?.

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Merging Hierarchically-Structured Documents in Workflow Systems.

Éric Badouel, Maurice Tchoupé Tchendji

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers.

Éric Badouel, Bernard Fotsing, Rodrigue Tchougong

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Projections et cohérence de vues dans les grammaires algébriques.

Éric Badouel, Maurice Tchoupé Tchendji

ARIMA J., 2008

2007

An Axiomatization of the Token Game Based on Petri Algebras.

Éric Badouel, Jules Chenou, Goulven Guillou

Fundam. Informaticae, 2007

Concurrent Secrets.

Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau

Discret. Event Dyn. Syst., 2007

2005

Petri Algebras.

Éric Badouel, Jules Chenou, Goulven Guillou

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

The synthesis of Petri nets from path-automatic specifications.

Éric Badouel, Philippe Darondeau

Inf. Comput., 2004

2003

Modeling Concurrent Systems: Reconfigurable Nets.

Éric Badouel, Marisa Llorens, Javier Oliver

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Nets Enriched over Closed Monoidal Structures.

Éric Badouel, Jules Chenou

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Distributing Finite Automata Through Petri Net Synthesis.

Éric Badouel, Benoît Caillaud, Philippe Darondeau

Formal Aspects Comput., 2002

2001

Generalized Automata and Their Net Representations.

Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

1999

Context-Free Event Domains are Recognizable.

Éric Badouel, Philippe Darondeau, Jean-Claude Raoult

Inf. Comput., 1999

Modelling Dynamic Agent Systems with Cooperating Automata.

Éric Badouel, Philippe Darondeau, Andrew Tokmakoff

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

The Synthesis Problem for Elementary Net Systems is NP-Complete.

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Theor. Comput. Sci., 1997

Stratified Petri Nets.

Éric Badouel, Philippe Darondeau

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

Theory of Regions.

Éric Badouel, Philippe Darondeau

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

Trace Nets and Process Automata.

Éric Badouel, Philippe Darondeau

Acta Informatica, 1995

Polynomial Algorithms for the Synthesis of Bounded Nets.

Éric Badouel, Luca Bernardinello, Philippe Darondeau

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Dualities Between Nets and Automata Induced by Schizophrenic Objects.

Éric Badouel, Philippe Darondeau

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1992

Trace Nets.

Éric Badouel, Philippe Darondeau

Proceedings of the Sematics: Foundations and Applications, 1992

Structural Operational Specifications and the Trace Automata.

Éric Badouel, Philippe Darondeau

Proceedings of the CONCUR '92, 1992

1991

On Guarded Recursion.

Éric Badouel, Philippe Darondeau

Theor. Comput. Sci., 1991

1989

Terms and Infinite Trees as Monads Over a Signature.

Éric Badouel

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Algebraic Closed Theories.

Éric Badouel

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989