Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (Petri Nets, 2011)

State Space Analysis Using Symmetries on Decision Diagrams. - Maximilien Colange; Fabrice Kordon; Yann Thierry-Mieg; Souheib Baarir (ACSD, 2012)

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. - Maximilien Colange; Lom-Messan Hillah; Fabrice Kordon; Pierre Parutto (Monterey Workshop, 2012)

Raw Report on the Model Checking Contest at Petri Nets 2012 - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Lukasz Fronc; Lom-Messan Hillah; Niels Lohmann; Emmanuel Paviot-Adet; Franck Pommereau; Christian Rohr; Yann Thierry-Mieg; et al. (CoRR, 2012)

Report on the Model Checking Contest at Petri Nets 2011. - Fabrice Kordon; Alban Linard; Didier Buchs; Maximilien Colange; Sami Evangelista; Kai Lampka; Niels Lohmann; Emmanuel Paviot-Adet; Yann Thierry-Mieg; Harro Wimmel (Trans. Petri Nets Other Model. Concurr., 2012)

Towards Distributed Software Model-Checking Using Decision Diagrams. - Maximilien Colange; Souheib Baarir; Fabrice Kordon; Yann Thierry-Mieg (CAV, 2013)

StrataGEM: A Generic Petri Net Verification Framework. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (Petri Nets, 2014)

Building a Symbolic Model Checker from Formal Language Description. - Edmundo López Bóbeda; Maximilien Colange; Didier Buchs (ACSD, 2015)

A CEGAR-like Approach for Cost LTL Bounds. - Maximilien Colange; Dimitri Racordon; Didier Buchs (CoRR, 2015)

Computing Bounds for Counter Automata. - Maximilien Colange; Dimitri Racordon; Didier Buchs (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Layered Data: A Modular Formal Definition without Formalisms. - Alban Linard; Benoît Barbot; Didier Buchs; Maximilien Colange; Clément Démoulins; Lom-Messan Hillah; Alexis Martin (PNSE @ Petri Nets, 2016)

Symbolic Optimal Reachability in Weighted Timed Automata. - Patricia Bouyer; Maximilien Colange; Nicolas Markey (CAV (1), 2016)

Programmatic Manipulation of Common Lisp Type Specifiers. - Jim E. Newton; Didier Verna; Maximilien Colange (ELS, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. - Hakan Metin; Souheib Baarir; Maximilien Colange; Fabrice Kordon (TACAS (1), 2018)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report. - Romina Eramo; Florent Marchand de Kerchove; Maximilien Colange; Michele Tucci 001; Julien Ouy; Hugo Bruneliere; Davide Di Ruscio (J. Object Technol., 2019)

From Spot 2.0 to Spot 2.10: What's New? - Alexandre Duret-Lutz; Etienne Renault; Maximilien Colange; Florian Renkin; Alexandre Gbaguidi Aisse; Philipp Schlehuber-Caissier; Thomas Medioni; Antoine Martin; Jérôme Dubois; Clément Gillard; Henrich Lauko (CAV (2), 2022)

pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods. - Abdelkader Behdenna; Maximilien Colange; Julien Haziza; Aryo Gema; Guillaume Appé; Chloé-Agathe Azencott; Akpéli Nordor (BMC Bioinform., 2023)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)

Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python. - Maximilien Colange; Guillaume Appé; Léa Meunier; Solène Weill; Akpéli Nordor; Abdelkader Behdenna (BMC Bioinform., 2025)