Maximilien Colange

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 12

Top Topics

Decision Diagrams

International Competition

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Abdelkader Behdenna, Maximilien Colange, Julien Haziza, Aryo Gema, Guillaume Appé, Chloé-Agathe Azencott, Akpéli Nordor
pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods. BMC Bioinform. 24 (1) (2023)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
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
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Brunelière, Davide Di Ruscio
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report. J. Object Technol. 18 (2) (2019)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) (2018)
Jim E. Newton, Didier Verna, Maximilien Colange
Programmatic Manipulation of Common Lisp Type Specifiers. ELS (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR (2016)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) (2016)
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
Layered Data: A Modular Formal Definition without Formalisms. PNSE @ Petri Nets (2016)
Maximilien Colange, Dimitri Racordon, Didier Buchs
Computing Bounds for Counter Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Maximilien Colange, Dimitri Racordon, Didier Buchs
A CEGAR-like Approach for Cost LTL Bounds. CoRR (2015)
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
Building a Symbolic Model Checker from Formal Language Description. ACSD (2015)
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
StrataGEM: A Generic Petri Net Verification Framework. Petri Nets (2014)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV (2013)
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
State Space Analysis Using Symmetries on Decision Diagrams. ACSD (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, Harro Wimmel, Karsten Wolf
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets (2011)