Publications of Eric Badouel

Load the BibTeX file

Books

  1. B. Watson, E, Niang, O. Badouel. CARI 2020 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées. October 2020. details pdf
  2. M. Lo, E. Badouel, N. Gmati. Proceedings of CARI 2016. Hammamet, Tunisia, July 2016. details pdf
  3. E. Badouel, L. Bernardinello, P. Darondeau. Petri Net Synthesis. Text in Theoretical Computer Science, an EATCS Series, Springer, November 2015. details doi download
  4. Eric Badouel, Luca Bernardinello, Philippe Darondeau. Petri net synthesis (in preparation). Springer, 2014. details

Academic Journals

  1. E. Badouel, Rodrigue A. Djeumen D.. A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach. Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, Volume 31 - 2019 - CARI 2018, October 2020. details pdf
  2. E. Badouel, U. Schlachter. Incremental Process Discovery using Petri Net Synthesis. Fundamenta Informaticae, 154(1):1-13, June 2017. details doi pdf
  3. E. Badouel, L. Hélouet, G-E. Kouamou, C. Morvan, R. Nsaibirni. Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars. ACM SIGAPP Applied Computing Review (ACM Digital Library), 15(3), September 2015. details download
  4. Eric Badouel, Rodrigue Tchougong, Célestin Nkuimi-Jugnia, Bernard Fotsing. Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition. Theoretical Computer Science, 480:1-25, 2013. details doi
  5. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Electronic Notes in Theoretical Computer Science, 229(5):39-56, 2011. details
  6. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1):119-149, 2011. details
  7. Eric Badouel, Maurice Tchoupé Tchendji. Merging Hierarchically-Structured Documents in Workflow Systems. Electronic Notes in Theoretical Computer Science, 203(5):3-24, 2008. details
  8. Eric Badouel, Maurice Tchoupé Tchendji. Projections et cohérence de vues dans les grammaires algébriques. Revue ARIMA, 8:18-48, 2008. details
  9. Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, 2007. details
  10. Eric Badouel, Jules Chenou, Goulven Guillou. An Axiomatization of the Token Game Based on Petri Algebras. Fundamenta Informaticae, 77(3):187-215, 2007. details
  11. Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications. Information and Computation, 193(2):117-135, 2004. details
  12. Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing, 13(6):447-470, 2002. details
  13. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are Recognizable. Information and Computation, 149(2):134-172, 1999. details
  14. Eric Badouel, Luca Bernardinello, Philippe Darondeau. The Synthesis Problem for Elementary Net Systems is NP-Complete. Theoretical Computer Science, 186(1):107-134, 1997. details
  15. Eric Badouel, Philippe Darondeau. Trace Nets and Process Automata. Acta Informatica, 32(7):647-679, 1995. details
  16. Eric Badouel, Philippe Darondeau. On Guarded Recursion. Theoretical Computer Science, 82(2):403-408, 1991. details

Book Chapters

  1. E. Badouel, P. Darondeau, L. Petrucci. Modular Synthesis of Petri Nets from Regular Languages. In Perspectives in Concurrency Theory (A Festschrift for Thiagarajan), pp. 1-21, Universities Press (India), 2009. details
  2. Eric Badouel, Philippe Darondeau. Theory of Regions. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, Vol. 1491, pp. 529-586, Lecture Notes in Computer Science, Springer, 1998. details

International Conferences

  1. E. Badouel, R. Djeumen Djatcha. Modular Design of Domain-Specific Languages using Splittings of Catamorphisms. In ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Bernd Fischer, Tarmo Uustalu (eds.), LNCS, Volume 11187, Pages 62-79, Stellenbosch, South Africa, October 2018. details doi pdf
  2. Eric Badouel, Rodrigue Djeumen Djatcha. Interfaces of Roles in Distributed Collaborative Systems. In CARI 2018 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Pages 1-12, Stellenbosch, South Africa, October 2018. details pdf
  3. R. Nsaibirni, E. Badouel, G. Texier, G. Kouamou. Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems. In Worldcomp'16- The 2nd International Conference on Health Informatics and Medical Systems, Las Vegas, United States, July 2016. details pdf
  4. E. Badouel, L. Hélouet, C. Morvan. Petri nets with semi-structured data. In 36th International Conference on Application and Theory of Petri Nets and Concurrency, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Bruxelles, Belgium, June 2015. details download
  5. E. Badouel, L. Hélouet, G-E. Kouamou, C. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. In The 30th ACM/SIGAPP Symposium On Applied Computing, The 30th ACM/SIGAPP Symposium On Applied Computing, Salamanca, Spain, April 2015. details doi download
  6. Eric Badouel. On the alpha-Reconstructibility of Workflow Nets. In Application and Theory of Petri Nets, Lecture Notes in Computer Science, Volume 7347, Pages 128-147, 2012. details
  7. Eric Badouel, Mohamadou Lamine Diouf. Opacité dans les systèmes workflows. In Conférence africaine sur la recherche en informatique et mathématiques appliquées, CARI, 2012. details
  8. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: Rationality issues. In Conference on Decision and Control and European Control Conference, CDC-ECC, Pages 3855-3861, 2010. details
  9. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why Are Modalities Good for Interface Theories?. In Conference on Application of Concurrency to System Design, ACSD, Pages 119-127, 2009. details
  10. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal interfaces: unifying interface automata and modal specifications. In ACM International conference on Embedded software, EMSOFT, Pages 87-96, 2009. details
  11. Eric Badouel, Maurice Tchoupé. Cohérence de vues dans les grammaires algébriques. In Actes du CARI 2006, Pages 115-122, 2006. details
  12. Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. In 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, D. Tilbury (eds.), Ann Arbor, Michigan, USA, July 2006. details
  13. Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras. In Automata, Languages and Programming, ICALP, Lecture Notes in Computer Science, Volume 3580, Pages 742-754, 2005. details
  14. Eric Badouel, Jules Chenou. Les algèbres de Petri commutatives. In 7th African Conference on Research in Computer Science, CARI'04, 2004. details
  15. Eric Badouel, Jules Chenou. Nets Enriched over Closed Monoidal Structures. In Applications and Theory of Petri Nets, ICATPN, Lecture Notes in Computer Science, Volume 2679, Pages 64-81, 2003. details
  16. Eric Badouel, Marisa Llorens, Javier Oliver. Modeling Concurrent Systems: Reconfigurable Nets. In International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, Pages 1568-1574, 2003. details
  17. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau. Generalized Automata and Their Net Representations. In Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science, Volume 2128, Pages 304-345, 2001. details
  18. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff. Modelling Dynamic Agent Systems with Cooperating Automata. In International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, Pages 11-17, 1999. details
  19. Eric Badouel, Philippe Darondeau. Stratified Petri Nets. In Fundamentals of Computation Theory, FCT, Lecture Notes in Theoretical Computer Science, Volume 1279, Pages 117-128, 1997. details
  20. Eric Badouel, Philippe Darondeau. A survey on net synthesis. In Symposium on discrete events and manufacturing systems, CESA, Pages 309-316, 1996. details
  21. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are Recognizable. In Algebraic Methodology and Software Technology, AMAST, Lecture Notes in Computer Science, Volume 936, Pages 214-229, 1995. details
  22. Eric Badouel, Philippe Darondeau. Dualities Between Nets and Automata Induced by Schizophrenic Objects. In Category Theory and Computer Science, CTCS, Lecture Notes in Computer Science, Volume 953, Pages 24-43, 1995. details
  23. Eric Badouel, Luca Bernardinello, Philippe Darondeau. Polynomial Algorithms for the Synthesis of Bounded Nets. In Theory and Practice of Software Development, TAPSOFT, Lecture Notes in Computer Science, Volume 915, Pages 364-378, 1995. details
  24. Eric Badouel, Philippe Darondeau. Trace Nets. In Semantics: Foundations and Applications, REX Workshop, Lecture Notes in Computer Science, Volume 666, Pages 21-50, 1993. details
  25. Eric Badouel, Philippe Darondeau. Structural Operational Specifications and the Trace Automata. In Conference on Concurrency Theory, CONCUR, Lecture Notes in Computer Science, Volume 630, Pages 302-316, 1992. details
  26. Eric Badouel. Algebraic semantics and monad theory. In The unified computation laboratory, Pages 63-75, 1992. details
  27. Eric Badouel. Algebraic Closed Theories. In Mathematical Foundations of Computer Science, MFCS, Lecture Notes in Computer Science, Volume 379, Pages 155-164, 1989. details
  28. Eric Badouel. Terms and Infinite Trees as Monads Over a Signature. In International Joint Conference on Theory and Practice of Software Development, TAPSOFT, Lecture Notes in Computer Science, Volume 351, Pages 89-103, 1989. details

Research Reports

  1. E. Badouel, L. Hélout, G. Kouamou, Ch. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. No 0, May 2014. details
  2. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007. details
  3. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007. details
  4. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007. details
  5. Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs. Research Report INRIA Rennes, No 4661, December 2002. details
  6. E. Badouel, P. Darondeau, D. Quichaud, A. Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research Report IRISA, No 1253, June 1999. details
  7. Eric Badouel. Representation of Reversible Automata and State Graphs of Vector Addition Systems. Research Report INRIA, No 3490, September 1998. details
  8. Eric Badouel. Splitting of Actions, Higher-Dimensional Automata and Net Synthesis. Research Report INRIA, No 3013, October 1996. details
  9. Eric Badouel. Conditional rewrite rules as an algebraic semantics of processes. Research Report INRIA, No 1226, May 1990. details

Thesis

  1. Eric Badouel. Automates réversibles et réseaux de Petri, dualité et représentation : le problème de la synthèse. Habilitation à diriger des recherches Université de Rennes 1, April 1999. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic