doc. Mgr. Radek Pelánek, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: B408
Botanická 554/68a
602 00 Brno
telefon: | 549 49 6991 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 96
2006
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), rok: 2006, ročník: 8, vydání: 3
-
Reduction and Abstraction Techniques for Model Checking
Rok: 2006, počet stran: 160 s.
-
Test Input Generation for Java Containers using State Matching
International Symposium on International Symposium on Software Testing and Analysis, rok: 2006
2005
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, rok: 2005
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, rok: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, rok: 2005
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, rok: 2005
-
Test input generation for red-black trees using abstraction
Automated Software Engineering, rok: 2005
2004
-
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), rok: 2004
-
Typical Structural Properties of State Spaces
SPIN Workshop 2004, rok: 2004