Maximilien Colange

24 papers A* 1B 2Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python.
BMC Bioinform.
Maximilien Colange, Guillaume Appé, Léa Meunier, Solène Weill, Akpéli Nordor, Abdelkader Behdenna
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 J jnl
pyComBat, a Python tool for batch effects correction in high-throughput molecular data using empirical Bayes methods.
BMC Bioinform.
Abdelkader Behdenna, Maximilien Colange, Julien Haziza, Aryo Gema, Guillaume Appé, Chloé-Agathe Azencott, Akpéli Nordor
2022 — conf
From Spot 2.0 to Spot 2.10: What's New?
CAV (2)
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
2022 J jnl
From Spot 2.0 to Spot 2.10: What's New?
CoRR
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
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2019 J jnl
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.
J. Object Technol.
Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2018 — conf
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving.
TACAS (1)
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
2017 — conf
Programmatic Manipulation of Common Lisp Type Specifiers.
ELS
Jim E. Newton, Didier Verna, Maximilien Colange
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
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
2016 — conf
Layered Data: A Modular Formal Definition without Formalisms.
PNSE @ Petri Nets
Alban Linard, Benoît Barbot, Didier Buchs, Maximilien Colange, Clément Démoulins, Lom-Messan Hillah, Alexis Martin
2016 — conf
Symbolic Optimal Reachability in Weighted Timed Automata.
CAV (1)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
2016 J jnl
Symbolic Optimal Reachability in Weighted Timed Automata.
CoRR
Patricia Bouyer, Maximilien Colange, Nicolas Markey
2015 J jnl
A CEGAR-like Approach for Cost LTL Bounds.
CoRR
Maximilien Colange, Dimitri Racordon, Didier Buchs
2015 — conf
Building a Symbolic Model Checker from Formal Language Description.
ACSD
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
2015 J jnl
Computing Bounds for Counter Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Maximilien Colange, Dimitri Racordon, Didier Buchs
2014 B conf
StrataGEM: A Generic Petri Net Verification Framework.
Petri Nets
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs
2013 A* conf
Towards Distributed Software Model-Checking Using Decision Diagrams.
CAV
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2012 — conf
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.
Monterey Workshop
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
2012 J jnl
Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR
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
2012 J jnl
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr.
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012 — conf
State Space Analysis Using Symmetries on Decision Diagrams.
ACSD
Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
2011 B conf
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.
Petri Nets
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg