Publications HAL de Eric, Badouel

2017

titre
Incremental Process Discovery using Petri Net Synthesis
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 154 (1-4), pp.1-13. 〈10.3233/FI-2017-1548〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01599760/file/IPDPNS.pdf BibTex

2016

titre
Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems
article
Worldcomp'16- The 2nd International Conference on Health Informatics and Medical Systems , Jul 2016, Las Vegas, United States. Proceedings of the 2nd International Conference on Health Informatics and Medical Systems 〈http://worldcomp.org/events/2016/conferences/hims2016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01323561/file/ActiveWorkspacesforDSS.pdf BibTex
titre
Proceedings of CARI 2016
article
Oct 2016, Hammamet, Tunisia. pp.513, 2016, 〈http://www.cari-info.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350039/file/CARI2016.pdf BibTex
titre
Petri Nets with Structured Data
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015 146 (1), pp.119
Accès au bibtex
BibTex

2015

titre
Préface/Foreword
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2015, 19, pp.1-2
Accès au bibtex
BibTex
titre
Forword
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2015, 21, pp.1-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01304736/file/Foreword.pdf BibTex
titre
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment
article
The 30th ACM/SIGAPP Symposium On Applied Computing, Apr 2015, Salamanca, Spain. ACM, SAC 2015, The 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, 2015, The 30th ACM/SIGAPP Symposium On Applied Computing. 〈http://www.acm.org/conferences/sac/sac2015/〉. 〈10.1145/2695664.2695698〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01193222/file/SAC.pdf BibTex
titre
Petri nets with semi-structured data
article
36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. Petri nets 2015, 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency. 〈http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01193279/file/Datanets.pdf BibTex
titre
Petri Net Synthesis
article
Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. 〈10.1007/978-3-662-47967-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237142/file/Badouel_Petri%20Net%20Synthesis_Front%20matter.pdf BibTex
titre
Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars
article
ACM SIGAPP Applied Computing Review (ACM Digital Library), Association for Computing Machinery (ACM), 2015, 15 (3), pp.28. 〈http://www.sigapp.org/acr/Issues/V15.3/ACR%2015-3.pdf〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237131/file/AWGAG.pdf BibTex

2014

titre
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment
article
[Research Report] RR-8528, INRIA. 2014, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00990007/file/RR-8528.pdf BibTex
titre
Opacité des artefacts d'un système workflow
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2014, 17, pp.117-196
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00823005/file/Vol.17.pp.177-196.pdf BibTex
titre
Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées)
article
Mokhtar Sellami; Eric Badouel; Moussa Lo. Inria, pp.376, 2014, Colloques CARI
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01062320/file/CARI14-Proceedings.pdf BibTex

2013

titre
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
article
Theoretical Computer Science, Elsevier, 2013, 480, pp.1-25. 〈10.1016/j-tcs.2013.02.007〉
Accès au bibtex
BibTex

2012

titre
On the alpha-Reconstructibility of Workflow Nets
article
Serge Haddad and Lucia Pomello. Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, Jun 2012, Hamburg, Germany. Springer, 7347, pp.128-147, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31131-4〉
Accès au bibtex
BibTex
titre
Opacité dans les systèmes workflows
article
Lokpo, Ibrahim and Badouel, Eric and Sellami, Mokhtar. CARI - 11th African Conference on Research in Computer Science and Applied Mathematics, Oct 2012, Alger, Algérie. 2012, 〈http://www.cari-info.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00748243/file/BadouelDioufCARI2012.pdf BibTex

2011

titre
Residuation of tropical series: rationality issues
article
[Research Report] RR-7547, INRIA. 2011, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567390/file/RR-7547.pdf BibTex
titre
A Modal Interface Theory for Component-based Design
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 108 (1-2), pp.119-149. 〈10.3233/FI-2011-416〉
Accès au bibtex
BibTex
titre
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
article
Electr. Notes Theor. Comput. Sci., Elsevier, 2011, 229 (5), pp.39-56. 〈10.1016/j.entcs.2011.02.015〉
Accès au bibtex
BibTex
titre
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2011, Proceedings of the Second Workshop on Mathematically Structured Functional Programming (MSFP 2008), 229 (5), pp.39-56
Accès au bibtex
BibTex

2009

titre
Why are modalities good for Interface Theories?
article
Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00389051/file/rbbcp-acsd09.pdf BibTex
titre
Why are modalities good for Interface Theories?
article
[Research Report] RR-6899, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00375098/file/RR-6899.pdf BibTex

2008

titre
Projections et cohérence de vues dans les grammaires algébriques
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2008, 8, pp.18-48
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01272682/file/arima00802.pdf BibTex

2007

titre
Modular Grammars and Splitting of Catamorphisms
article
[Research Report] RR-6313, INRIA. 2007, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00175793/file/RR-6313.pdf BibTex
titre
Yet Another Implementation of Attribute Evaluation
article
[Research Report] RR-6315, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00175810/file/RR6315.pdf BibTex
titre
An axiomatization of the Token Game based on Petri Algebras
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 77 (3), pp.187-215
Accès au bibtex
BibTex
titre
Growing a Domain Specific Language with Split Extensions
article
[Research Report] RR-6314, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00175805/file/RR6314.pdf BibTex

2005

titre
Concurrent Secrets
article
[Research Report] RR-5771, INRIA. 2005, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070249/file/RR-5771.pdf BibTex
titre
Petri Algebras
article
ICALP 2005 : 32nd International Colloquium, Automata, Languages and Programming, Jul 2005, Lisboa, Portugal. Springer, 3580, pp.742-754, LNCS. 〈10.1007/11523468_60〉
Accès au bibtex
BibTex

2004

titre
Petri Algebras
article
[Research Report] RR-5355, INRIA. 2004, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070648/file/RR-5355.pdf BibTex

2002

titre
The Petri net synthesis problem for automatic graphs
article
[Research Report] RR-4661, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071924/file/RR-4661.pdf BibTex

1999

titre
Dynamic Changes in Concurrent Systems: Modelling and Verification
article
[Research Report] RR-3708, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072960/file/RR-3708.pdf BibTex

1998

titre
Representations of Reversible Automata and State Graphs of Vector Addition Systems
article
[Research Report] RR-3490, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073197/file/RR-3490.pdf BibTex
titre
Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems
article
[Research Report] RR-3339, INRIA. 1998
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073350/file/RR-3339.pdf BibTex

1997

titre
Stratified Petri Nets
article
[Research Report] RR-3128, INRIA. 1997
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073561/file/RR-3128.pdf BibTex

1996

titre
On the Synthesis of General Petri Nets
article
[Research Report] RR-3025, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073668/file/RR-3025.pdf BibTex
titre
Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis
article
[Research Report] RR-3013, INRIA. 1996
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00073681/file/RR-3013.pdf BibTex

1995

titre
Context-Free Event Domains are recognizable
article
[Research Report] RR-2588, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074095/file/RR-2588.pdf BibTex
titre
The Synthesis Problem for Elementary Net Systems is NP-Complete
article
[Research Report] RR-2558, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074122/file/RR-2558.pdf BibTex
titre
Dualities between Nets and Automata Induced by Schizophrenic Objects
article
[Research Report] RR-2452, INRIA. 1995
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074223/file/RR-2452.pdf BibTex

1994

titre
Polynomial Algorithms for the Synthesis of Bounded Nets
article
[Research Report] RR-2316, INRIA. 1994
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074358/file/RR-2316.pdf BibTex

1992

titre
Structural operational specifications and trace automata
article
[Research Report] RR-1631, INRIA. 1992
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00074930/file/RR-1631.pdf BibTex

1990

titre
A note on guarded recursion
article
[Research Report] RR-1249, INRIA. 1990
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00075309/file/RR-1249.pdf BibTex
titre
Conditional rewrite rules as an algebraic semantics of processes
article
[Research Report] RR-1226, INRIA. 1990
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00075332/file/RR-1226.pdf BibTex

1989

titre
Algebraically closed theories
article
[Research Report] RR-1051, INRIA. 1989
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00075508/file/RR-1051.pdf BibTex

1987

titre
Une construction systématique de modèles à partir de spécifications opérationnelles structurelles
article
[Rapport de recherche] RR-0764, INRIA. 1987
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00075788/file/RR-0764.pdf BibTex