My publications.
You can also check my DBLP page.
2018 | |
[17] | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving , 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 , In Proceedings Seventh Workshop on Synthesis, SYNT@CAV 2018, volume xx, 2018. [bibtex] |
2017 | |
[15] | Programmatic Manipulation of Common Lisp Type Specifiers , In European Lisp Symposium, 2017. [bibtex] |
[14] | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results , 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 , 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 , 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 , 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 , In ECEASST, volume 72, 2015. [bibtex] [pdf] |
2014 | |
[9] | Introducing Formal Verification with LEGO , 2nd International Workshop Fun With Formal Methods, 2014. [bibtex] [pdf] |
[8] | StrataGEM: A Generic Petri Net Verification Framework , 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 , PhD thesis, Université Pierre et Marie Curie, 2013. [bibtex] [pdf] |
[6] | Towards Distributed Software Model-Checking using Decision Diagrams , 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 , Technical report, CoRR, 2012. [bibtex] [pdf] [doi] |
[4] | State Space Analysis using Symmetries on Decision Diagrams , 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 , 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 , 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 , In 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Springer, volume 6709, 2011. (MoVe INT LIP6) [bibtex] [pdf] |