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