Maximilien Colange

My publications.
You can also check my DBLP page.

2018
[17]CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon), In Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Springer, volume 10805, 2018. [bibtex]
[16]Reactive Synthesis from LTL Specification with Spot (Thibaud Michaud, Maximilien Colange), In Proceedings Seventh Workshop on Synthesis, SYNT@CAV 2018, volume xx, 2018. [bibtex]
2017
[15]Programmatic Manipulation of Common Lisp Type Specifiers (Jim Newton, Didier Verna, Maximilien Colange), In European Lisp Symposium, 2017. [bibtex]
[14]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), In \rm Proceedings Sixth Workshop on Synthesis, \rm Heidelberg, Germany, 22nd July 2017 (Dana Fisman, Swen Jacobs, eds.), Open Publishing Association, volume 260, 2017. [bibtex] [doi]
2016
[13] Symbolic Optimal Reachability in Weighted Timed Automata (Patricia Bouyer, Maximilien Colange, Nicolas Markey), In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Swarat Chaudhuri, Azadeh Farzan, eds.), Springer, volume 9779, 2016. [bibtex] [pdf] [doi]
[12] 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), In Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. (Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke, eds.), CEUR-WS.org, volume 1591, 2016. [bibtex] [pdf]
2015
[11] Building a Symbolic Model Checker from Formal Language Description (Edmundo López Bóbeda, Maximilien Colange, Didier Buchs), In 15th International Conference on Application of Concurrency to System Design (ACSD'2015), IEEE Computer Society, 2015. [bibtex] [pdf]
[10] Computing Bounds for Counter Automata (Maximilien Colange, Dimitri Racordon, Didier Buchs), In ECEASST, volume 72, 2015. [bibtex] [pdf]
2014
[9] Introducing Formal Verification with LEGO (David Lawrence, Dimitri Racordon, Maximilien Colange, Steve Hostettler, Alban Linard, Edmundo López Bóbeda, Alexis Marechal, Matteo Risoldi, Nicolas Seldmajer, Didier Buchs), 2nd International Workshop Fun With Formal Methods, 2014. [bibtex] [pdf]
[8] StrataGEM: A Generic Petri Net Verification Framework (Edmundo López Bóbeda, Maximilien Colange, Didier Buchs), In Application and Theory of Petri Nets and Concurrency (Gianfranco Ciardo, Ekkart Kindler, eds.), Springer, volume 8489, 2014. [bibtex] [pdf] [doi]
2013
[7] Symmetry Reduction and Symbolic Data Structures for Model Checking of Distributed Systems (Maximilien Colange), PhD thesis, Université Pierre et Marie Curie, 2013. [bibtex] [pdf]
[6] Towards Distributed Software Model-Checking using Decision Diagrams (Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg), In 25th International Conference on Computer Aided Verification (CAV), Springer Verlag, 2013. [bibtex] [pdf]
2012
[5] 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, Karsten Wolf), Technical report, CoRR, 2012. [bibtex] [pdf] [doi]
[4] State Space Analysis using Symmetries on Decision Diagrams (Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir), In 12th International Conference on Application of Concurrency to System Design (ACSD'2012), IEEE Computer Society, 2012. [bibtex] [pdf]
[3] Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach (Maximilien Colange, Lom Messan Hillah, Fabrice Kordon, Pierre Parutto), In Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, Springer, volume 7539, 2012. [bibtex] [pdf]
[2] 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), In Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), Springer Verlag, volume VI, 2012. [bibtex] [pdf]
2011
[1] Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag (Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg), In 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Springer, volume 6709, 2011. (MoVe INT LIP6) [bibtex] [pdf]