Maximilien Colange

According to our database, Maximilien Colange authored at least 20 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., December, 2023

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

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

CoRR, 2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2019

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio

J. Object Technol., 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

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

CoRR, 2019

2018

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.

Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

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, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Programmatic Manipulation of Common Lisp Type Specifiers.

Jim E. Newton, Didier Verna, Maximilien Colange

Proceedings of the 10th European Lisp Symposium (ELS 2017), 2017

2016

Symbolic Optimal Reachability in Weighted Timed Automata.

Patricia Bouyer, Maximilien Colange, Nicolas Markey

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

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

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

Computing Bounds for Counter Automata.

Maximilien Colange, Dimitri Racordon, Didier Buchs

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

A CEGAR-like Approach for Cost LTL Bounds.

Maximilien Colange, Dimitri Racordon, Didier Buchs

CoRR, 2015

Building a Symbolic Model Checker from Formal Language Description.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

StrataGEM: A Generic Petri Net Verification Framework.

Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Towards Distributed Software Model-Checking Using Decision Diagrams.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

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

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, Harro Wimmel, Karsten Wolf

CoRR, 2012

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.

Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

State Space Analysis Using Symmetries on Decision Diagrams.

Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.

Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011