Publications

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}
}