| 2018 | ICTAC | Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms. | ric Badouel, Rodrigue Aim Djeumen Djatcha |
| 2016 | VECoS | Petri Net Synthesis from Labelled Transition Systems and from Languages. | ric Badouel |
| 2015 | SAC | A grammatical approach to data-centric case management in a distributed collaborative environment. | ric Badouel, Loc Hlout, Georges Edouard Kouamou, Christophe Morvan |
| 2009 | EMSOFT | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2005 | ICALP | Petri Algebras. | ric Badouel, Jules Chenou, Goulven Guillou |
| 2003 | PDPTA | Modeling Concurrent Systems: Reconfigurable Nets. | ric Badouel, Marisa Llorens, Javier Oliver |
| 1999 | PDPTA | Modelling Dynamic Agent Systems with Cooperating Automata. | ric Badouel, Philippe Darondeau, Andrew Tokmakoff |
| 1997 | FCT | Stratified Petri Nets. | ric Badouel, Philippe Darondeau |
| 1992 | CONCUR | Structural Operational Specifications and the Trace Automata. | ric Badouel, Philippe Darondeau |
| 1989 | MFCS | Algebraic Closed Theories. | ric Badouel |