Maximilien Colange

My publications.
You can also check my DBLP page.

2015, to appear
[10] 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), 2015, to appear. [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]