Project Details
ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols
Project Period: 1. 10. 2001 - 31. 1. 2004
Project Type: grant
Code: IST-1999-29082
Agency: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme
Program:
Type
grant
Team members
Bouajjani Ahmed
(UPAR7)
, research leader
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Publications
2007
- VOJNAR Tomáš. Cut-offs and Automata in Formal Verification of Infinite-State Systems. FIT Monograph 1. Brno: Faculty of Information Technology BUT, 2007. ISBN 978-80-214-3547-6. Detail
2004
- MATOUŠEK Petr. A New Data Structure Based on Intervals. In: Proceedings of MOVEP'04. Bruxelles, 2004, pp. 16-21. Detail
- BOUAJJANI Ahmed, HABERMEHL Peter and VOJNAR Tomáš. Abstract Regular Model Checking. Lecture Notes in Computer Science, vol. 2004, no. 3114, pp. 372-386. ISSN 0302-9743. Detail
- MATOUŠEK Petr and SIGHIREANU Mihaela. Parametric Analysis of PGM protocol. Advance meeting, Paris, 2004. Detail
- MATOUŠEK Petr. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, vol. 10, no. 10, 2004, pp. 1469-1495. ISSN 0948-6968. Detail
- MATOUŠEK Petr. Tools for Parametric Verification: A Comparison on a Case Study. In: Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004, pp. 45-55. ISBN 1-85769-197-0. Detail
2003
- BOUAJJANI Ahmed, HABERMEHL Peter and VOJNAR Tomáš. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, vol. 2003, no. 2761, pp. 174-190. ISSN 0302-9743. Detail
2002
- BOUAJJANI Ahmed and VOJNAR Tomáš. Automata with Parameterized Arrays and Parameterized Networks of Automata. Paris: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme, 2002. Detail
- BOUAJJANI Ahmed, HABERMEHL Peter and VOJNAR Tomáš. Verification of Parameterized Concurrent Systems with Resource Sharing. Paris: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme, 2002. Detail