Please find below some publications about CosyVerif.
2014
- É. André, L. Petrucci, and F. Kordon, “Teaching formal methods: experience at upmc and up13 with cosyverif,” in Eaeeie (eaeeie), 2014 25th annual conference, 2014, p. 25–28.
[BibTeX]@inproceedings{andre2014teaching, title={Teaching formal methods: Experience at UPMC and UP13 with CosyVerif}, author={Andr{\'e}, {\'E}tienne and Petrucci, Laure and Kordon, Fabrice}, booktitle={EAEEIE (EAEEIE), 2014 25th Annual Conference}, pages={25--28}, year={2014}, organization={IEEE} }
- F. Kordon and F. H. -, “Benchkit, a tool for massive concurrent benchmarking,” in 14th international conference on application of concurrency to system design, ACSD 2014, tunis la marsa, tunisia, june 23-27, 2014, 2014, p. 159–165. doi:10.1109/ACSD.2014.12
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/acsd/KordonH14, author = {Fabrice Kordon and Francis Hulin{-}Hubard}, title = {BenchKit, a Tool for Massive Concurrent Benchmarking}, booktitle = {14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014}, pages = {159--165}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ACSD.2014.12}, doi = {10.1109/ACSD.2014.12}, timestamp = {Thu, 25 May 2017 00:39:57 +0200}, biburl = {https://dblp.org/rec/bib/conf/acsd/KordonH14}, bibsource = {dblp computer science bibliography, https://dblp.org} }
2013
- É. André, B. Barbot, C. Demoulins, L. -, F. H. -, F. Kordon, A. Linard, and L. Petrucci, “A modular approach for reusing formalisms in verification tools of concurrent systems,” in Formal methods and software engineering – 15th international conference on formal engineering methods, ICFEM 2013, queenstown, new zealand, october 29 – november 1, 2013, proceedings, 2013, p. 199–214. doi:10.1007/978-3-642-41202-8_14
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/icfem/AndreBDHHKLP13, author = {{\'{E}}tienne Andr{\'{e}} and Beno{\^{\i}}t Barbot and Clement Demoulins and Lom{-}Messan Hillah and Francis Hulin{-}Hubard and Fabrice Kordon and Alban Linard and Laure Petrucci}, editor = {Lindsay Groves and Jing Sun}, title = {A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems}, booktitle = {Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8144}, pages = {199--214}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41202-8_14}, doi = {10.1007/978-3-642-41202-8_14}, timestamp = {Sat, 16 Sep 2017 12:10:00 +0200}, biburl = {https://dblp.org/rec/bib/conf/icfem/AndreBDHHKLP13}, bibsource = {dblp computer science bibliography, https://dblp.org} }
- É. André, Y. Lembachar, L. Petrucci, F. H. -, A. Linard, L. Hillah, and F. Kordon, “Cosyverif: an open source extensible verification environment,” in 2013 18th international conference on engineering of complex computer systems, singapore, july 17-19, 2013, 2013, p. 33–36. doi:10.1109/ICECCS.2013.15
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/iceccs/AndreLPHLHK13, author = {{\'{E}}tienne Andr{\'{e}} and Yousra Lembachar and Laure Petrucci and Francis Hulin{-}Hubard and Alban Linard and Lom Hillah and Fabrice Kordon}, title = {CosyVerif: An Open Source Extensible Verification Environment}, booktitle = {2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013}, pages = {33--36}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICECCS.2013.15}, doi = {10.1109/ICECCS.2013.15}, timestamp = {Sat, 16 Sep 2017 12:10:17 +0200}, biburl = {https://dblp.org/rec/bib/conf/iceccs/AndreLPHLHK13}, bibsource = {dblp computer science bibliography, https://dblp.org} }
Please find below some publications related to the use of CosyVerif.
2012
- S. Baarir and F. Kordon, “Modeling and Verifying Distributed Systems with Petri Nets (tutorial),” in 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Constantine, Algeria, 2012, pp. 92-92. doi:10.1109/IWAISE.2012.24
[BibTeX] [Download PDF]@inproceedings{baarir2012, title = {{Modeling and Verifying Distributed Systems with Petri Nets (tutorial)}}, author = {Baarir, Souheib and Kordon, Fabrice}, url = {https://hal.archives-ouvertes.fr/hal-01282434}, booktitle = {{2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE)}}, address = {Constantine, Algeria}, publisher = {{IEEE Press}}, pages = {92-92}, year = {2012}, month = Nov, doi = {10.1109/IWAISE.2012.24}, }
Publications About tools
Please find below some publications concerning the tools integrated in the CosyVerif environment.
2012
- S. Hong, F. Kordon, E. P. -, and S. Evangelista, “Computing a hierarchical static order for decision diagram-based representation from P/T nets,” Trans. petri nets and other models of concurrency, vol. 5, p. 121–140, 2012. doi:10.1007/978-3-642-29072-5_5
[BibTeX] [Download PDF]@article{DBLP:journals/topnoc/HongKPE12, author = {Silien Hong and Fabrice Kordon and Emmanuel Paviot{-}Adet and Sami Evangelista}, title = {Computing a Hierarchical Static Order for Decision Diagram-Based Representation from {P/T} Nets}, journal = {Trans. Petri Nets and Other Models of Concurrency}, volume = {5}, pages = {121--140}, year = {2012}, crossref = {DBLP:journals/topnoc/2012-5}, url = {https://doi.org/10.1007/978-3-642-29072-5_5}, doi = {10.1007/978-3-642-29072-5_5}, timestamp = {Thu, 18 May 2017 09:51:21 +0200}, biburl = {https://dblp.org/rec/bib/journals/topnoc/HongKPE12}, bibsource = {dblp computer science bibliography, https://dblp.org} }
- É. André, L. Fribourg, U. Kühne, and R. Soulat, “IMITATOR 2.5: A tool for analyzing robustness in scheduling problems,” in FM 2012: formal methods – 18th international symposium, paris, france, august 27-31, 2012. proceedings, 2012, p. 33–36. doi:10.1007/978-3-642-32759-9_6
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/fm/AndreFKS12, author = {{\'{E}}tienne Andr{\'{e}} and Laurent Fribourg and Ulrich K{\"{u}}hne and Romain Soulat}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {{IMITATOR} 2.5: {A} Tool for Analyzing Robustness in Scheduling Problems}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {33--36}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_6}, doi = {10.1007/978-3-642-32759-9\_6}, timestamp = {Sat, 16 Sep 2017 12:10:27 +0200}, biburl = {https://dblp.org/rec/bib/conf/fm/AndreFKS12}, bibsource = {dblp computer science bibliography, https://dblp.org} }
2011
- P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, “COSMOS: A statistical model checker for the hybrid automata stochastic logic,” in Eighth international conference on quantitative evaluation of systems, QEST 2011, aachen, germany, 5-8 september, 2011, 2011, p. 143–144. doi:10.1109/QEST.2011.24
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/qest/BallariniDDHP11, author = {Paolo Ballarini and Hilal Djafri and Marie Duflot and Serge Haddad and Nihal Pekergin}, title = {{COSMOS:} {A} Statistical Model Checker for the Hybrid Automata Stochastic Logic}, booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, {QEST} 2011, Aachen, Germany, 5-8 September, 2011}, pages = {143--144}, year = {2011}, crossref = {DBLP:conf/qest/2011}, url = {https://doi.org/10.1109/QEST.2011.24}, doi = {10.1109/QEST.2011.24}, timestamp = {Thu, 15 Jun 2017 21:45:21 +0200}, biburl = {https://dblp.org/rec/bib/conf/qest/BallariniDDHP11}, bibsource = {dblp computer science bibliography, https://dblp.org} }
- M. Colange, S. Baarir, F. Kordon, and Y. T. -, “Crocodile: A symbolic/symbolic tool for the analysis of symmetric nets with bag,” in Applications and theory of petri nets – 32nd international conference, PETRI NETS 2011, newcastle, uk, june 20-24, 2011. proceedings, 2011, p. 338–347. doi:10.1007/978-3-642-21834-7_20
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/apn/ColangeBKT11, author = {Maximilien Colange and Souheib Baarir and Fabrice Kordon and Yann Thierry{-}Mieg}, title = {Crocodile: {A} Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag}, booktitle = {Applications and Theory of Petri Nets - 32nd International Conference, {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings}, pages = {338--347}, year = {2011}, crossref = {DBLP:conf/apn/2011}, url = {https://doi.org/10.1007/978-3-642-21834-7_20}, doi = {10.1007/978-3-642-21834-7_20}, timestamp = {Fri, 26 May 2017 00:48:46 +0200}, biburl = {https://dblp.org/rec/bib/conf/apn/ColangeBKT11}, bibsource = {dblp computer science bibliography, https://dblp.org} }
- S. Schwoon and C. Rodríguez, “Construction and sat-based verification of contextual unfoldings,” in Descriptional complexity of formal systems – 13th international workshop, DCFS 2011, gießen/limburg, germany, july 25-27, 2011. proceedings, 2011, p. 34–42. doi:10.1007/978-3-642-22600-7_3
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/dcfs/SchwoonR11, author = {Stefan Schwoon and C{\'{e}}sar Rodr{\'{\i}}guez}, title = {Construction and SAT-Based Verification of Contextual Unfoldings}, booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop, {DCFS} 2011, Gie{\ss}en/Limburg, Germany, July 25-27, 2011. Proceedings}, pages = {34--42}, year = {2011}, crossref = {DBLP:conf/dcfs/2011}, url = {https://doi.org/10.1007/978-3-642-22600-7_3}, doi = {10.1007/978-3-642-22600-7_3}, timestamp = {Fri, 19 May 2017 01:25:25 +0200}, biburl = {https://dblp.org/rec/bib/conf/dcfs/SchwoonR11}, bibsource = {dblp computer science bibliography, https://dblp.org} }
2009
- É. André, “IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata,” in Theoretical aspects of computing – ICTAC 2009, 6th international colloquium, kuala lumpur, malaysia, august 16-20, 2009. proceedings, 2009, p. 336–342. doi:10.1007/978-3-642-03466-4_22
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/ictac/Andre09, author = {{\'{E}}tienne Andr{\'{e}}}, title = {{IMITATOR:} {A} Tool for Synthesizing Constraints on Timing Bounds of Timed Automata}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings}, pages = {336--342}, year = {2009}, crossref = {DBLP:conf/ictac/2009}, url = {https://doi.org/10.1007/978-3-642-03466-4_22}, doi = {10.1007/978-3-642-03466-4_22}, timestamp = {Sat, 16 Sep 2017 12:11:27 +0200}, biburl = {https://dblp.org/rec/bib/conf/ictac/Andre09}, bibsource = {dblp computer science bibliography, https://dblp.org} }
2006
- A. Hamez, L. Hillah, F. Kordon, A. Linard, E. P. -, X. Renault, and Y. T. -, “New features in CPN-AMI 3: focusing on the analysis of complex distributed systems,” in Sixth international conference on application of concurrency to system design (ACSD 2006), 28-30 june 2006, turku, finland, 2006, p. 273–275. doi:10.1109/ACSD.2006.15
[BibTeX] [Download PDF]@inproceedings{DBLP:conf/acsd/HamezHKLPRT06, author = {Alexandre Hamez and Lom Hillah and Fabrice Kordon and Alban Linard and Emmanuel Paviot{-}Adet and Xavier Renault and Yann Thierry{-}Mieg}, title = {New features in {CPN-AMI} 3: focusing on the analysis of complex distributed systems}, booktitle = {Sixth International Conference on Application of Concurrency to System Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland}, pages = {273--275}, year = {2006}, crossref = {DBLP:conf/acsd/2006}, url = {https://doi.org/10.1109/ACSD.2006.15}, doi = {10.1109/ACSD.2006.15}, timestamp = {Thu, 25 May 2017 00:39:57 +0200}, biburl = {https://dblp.org/rec/bib/conf/acsd/HamezHKLPRT06}, bibsource = {dblp computer science bibliography, https://dblp.org} }