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)
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
Back to top