Detail projektu

ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols

Období řešení: 1. 10. 2001 - 31. 1. 2004

Typ projektu: grant

Kód: IST-1999-29082

Agentura: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme

Program:

Typ
grant
Řešitelé
Bouajjani Ahmed (UPAR7) , hlavní řešitel
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Publikace

2007

  • VOJNAR Tomáš. Cut-offs and Automata in Formal Verification of Infinite-State Systems. FIT Monograph 1. Brno: Fakulta informačních technologií VUT v Brně, 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, s. 16-21. Detail
  • BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Abstract Regular Model Checking. Lecture Notes in Computer Science, roč. 2004, č. 3114, s. 372-386. ISSN 0302-9743. Detail
  • MATOUŠEK Petr a SIGHIREANU Mihaela. Parametric Analysis of PGM protocol - report. Advance meeting, Paris, 2004. Detail
  • MATOUŠEK Petr. Tools for Parametric Verification. A Comparison on a Case Study. Journal of Universal Computer Science, roč. 10, č. 10, 2004, s. 1469-1495. ISSN 0948-6968. Detail
  • MATOUŠEK Petr. Tools for Parametric Verification. A Comparison on A Case Study (extended abstract). In: Proceedings of the 5th Joint Workshop on FSCBS. Stirling: University of Stirling, 2004, s. 45-55. ISBN 1-85769-197-0. Detail

2003

  • BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Lecture Notes in Computer Science, roč. 2003, č. 2761, s. 174-190. ISSN 0302-9743. Detail

2002

  • BOUAJJANI Ahmed a 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 a 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
Nahoru