Publication about
Please find below some publications about .
2014
- E. André, F. Kordon, and L. Petrucci. Teaching formal methods: Experience at UPMC and
up13 with CosyVerif. 25th EAEEIE annual International Conference. pages 31-34. IEEEE, May 2014.
- F. Kordon and F. Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 4th
International Conference on Application of Concurrency to System Design - ACSD, IEEE Computer Society, June
2014.
2013
- E. André, B. Barbot, C. Démoulins,
L.-M. Hillah, F. Hulin-Hubard, F. Kordon, A. Linard, and L. Petrucci. A
Modular Approach for Reusing Formalisms in Verification Tools of
Concurrent Systems. In 15th International Conference on Formal Engineering
Methods - ICFEM, volume 8144 of Lecture Notes in Computer Science, pages
199-214, October 2013. Springer.
- E. André, Y. Lembachar, L. Petrucci, F.
Hulin-Hubard, A. Linard, L.-M. Hillah, and F. Kordon. CosyVerif : an Open
Source Extensible Verification Environment. In 18th IEEE International
Conference on Engineering of Complex Computer Systems - ICECCS, IEEE
Computer Society, pages 33-36, July 2013.
Please find below some publications related to the use of .
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), page 92, Constantine, Algeria,
November 2012. IEEE Press.
Publications About tools
Please find below some publications concerning the tools integrated in the
environment.
2012
- S. Hong, F. Kordon, E. Paviot-Adet, and S. Evangelista.
Computing a Hierarchical Static order for Decision Diagram-Based
Representation from P/T Nets. Transactions on Petri Nets and Other Models of
Concurrency (ToPNoC), V:121-140, 2012.
2011
- P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N.
Pekergin. COSMOS: a statistical model checker for the hybrid automata
stochastic logic. In Proceedings of the 8th International Conference on
Quantitative Evaluation of Systems (QEST), pages 143-144, Aachen, Germany,
Sept. 2011. IEEE Computer Society Press.
- M. Colange, S. Baarir, F. Kordon, and Y. Thierry-Mieg.
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 (Petri Nets), volume 6709 of Lecture Notes in Computer Science,
pages 338-347, Newcastle, UK, June 2011. Springer.
- S. Schwoon and C. Rodrìguez. Construction and
SAT-based verification of contextual unfoldings. In M. Holzer, M. Kutrib, and
G. Pighizzini, editors, Proceedings of the 13th International Workshop on
Descriptional Complexity of Formal Systems (DCFS), volume 6808 of
Lecture Notes in Computer Science, pages 34-42, Limburg, Germany, July
2011. Springer.
2009
- É. André. IMITATOR: A tool for synthesizing
constraints on timing bounds of timed automata. In M. Leucker and C. Morgan,
editors, Proceedings of the 6th International Colloquium on Theoretical
Aspects of Computing (ICTAC'09), volume 5684 of Lecture Notes in
Computer Science, pages 336-342, Kuala Lumpur, Malaysia, Aug. 2009.
Springer.
2006
- A. Hamez, L. Hillah, F. Kordon, A. Linard, E.
Paviot-Adet, X. Renault, and Y. Thierry-Mieg. New features in CPN-AMI 3 :
focusing on the analysis of complex distributed systems. In 6th International
Conference on Application of Concurrency to System Design (ACSD),
pages 273-275, Turku, Finland, June 2006. IEEE Computer Society.