 | 2011 |
|---|
| 10 |       | Miroslav Svéda,
Ondrej Rysavy,
Gayan de Silva,
Petr Matousek,
Jaroslav Ráb:
Reachability Analysis in Dynamically Routed Networks.
ECBS 2011: 197-205 |
| 9 | | Matej Grégr,
Petr Matousek,
Miroslav Svéda,
Tomas Podermanski:
Practical IPv6 monitoring-challenges and techniques.
Integrated Network Management 2011: 650-653 |
| 2010 |
|---|
| 8 |  | Miroslav Svéda,
Ondrej Rysavy,
Petr Matousek,
Jaroslav Ráb,
Rudolf Cejka:
Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties.
DCNET/OPTICS 2010: 5-11 |
| 7 | | Gayan de Silva,
Petr Matousek,
Ondrej Rysavy,
Miroslav Svéda:
Formal analysis approach on networks with dynamic behaviours.
ICUMT 2010: 545-551 |
| 6 | | Petr Matousek,
Ondrej Rysavy,
Gayan de Silva,
Martin Danko:
Combination of simulation and formal methods to analyse network survivability.
SimuTools 2010: 57 |
| 2008 |
|---|
| 5 | | Petr Matousek,
Jaroslav Ráb,
Ondrej Rysavy,
Miroslav Svéda:
A Formal Model for Network-Wide Security Analysis.
ECBS 2008: 171-181 |
| 2006 |
|---|
| 4 | | Ales Smrcka,
Vojtech Rehák,
Tomás Vojnar,
David Safránek,
Petr Matousek,
Z. Rehák:
Verifying VHDL Designs with Multiple Clocks in SMV.
FMICS/PDMC 2006: 148-164 |
| 2005 |
|---|
| 3 | | Petr Matousek,
Ales Smrcka,
Tomás Vojnar:
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.
CHARME 2005: 371-375 |
| 2004 |
|---|
| 2 | | Petr Matousek:
Tools for Parametric Verification. A Comparison on a Case Study.
J. UCS 10(10): 1469-1494 (2004) |
| 2003 |
|---|
| 1 | | Petr Matousek:
Verification of Workflow Specification Standards.
ICEIS Doctoral Consortium 2003: 8-11 |
Data released under the ODC-BY 1.0 license — See also our legal information page