| 2012 |
| |
O. Lengal,
J. Simacek, and
T. Vojnar.
VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata.
In Proc. of 18th International Conference on Tools and Algorithms for the Construction and Analysis
of Systems---TACAS'12, Talinn, Estonia, volume 7214 of LNCS, pages 79--94, 2012. Springer-Verlag. 2012.
|
| 2011 |
| |
P. Habermehl,
L. Holik,
J. Simacek,
A. Rogalewicz, and
T. Vojnar.
Forest Automata for Verification
of Heap Manipulation.
In Proc. of 23rd International Conference on Computer Aided
Verification---CAV'11,
Cliff Lodge, Snowbird, Utah, USA, volume 6806 of LNCS, pages 424--440, 2011. Springer-Verlag.
An extended version appeared as the technical report
FIT-TR-2011-01,
FIT BUT, Brno, Czech Republic, 2011.
The associated tool called Forester is available
here.
|
| |
L. Holik,
O. Lengal,
J. Simacek, and
T. Vojnar.
Efficient
Inclusion Checking on Explicit and Semi-Symbolic Tree Automata.
In Proc. of 9th International Symposium on Automated Technology for Verification and
Analysis---ATVA'11,
Taipei, Taiwan, volume 6996 of LNCS, pages 243--258, 2011. Springer-Verlag.
More details and some post-ATVA extension of the approach can be found in the technical report
FIT-TR-2011-04,
FIT BUT, Brno, Czech Republic, 2011.
|
| 2010 |
| |
L. Holik, and
J. Simacek.
Optimizing an LTS-Simulation Algorithm.
Computing and Informatics, 2010(7):1337--1348, 2010, ISSN 1335-9150.
|
| |
J. Simacek,
L. Sekanina,
L. Starecek.
Evolutionary Design of
Reconfiguration Strategies to Reduce the Test Application Time. In Proc.
of 9th International Conference on Evolvable Systems: From Biology to
Hardware---ICES'10, Berlin, Germany, pages 214--225, 2010,
Springer-Verlag.
|
| 2009 |
| |
L. Holik, and
J. Simacek.
Optimizing an LTS-Simulation Algorithm. In Proc. of 5th Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science---MEMICS'09,
Znojmo, Czech Republic, pages 93--101, 2009. FI MU. An extended
version appeared as the technical report
FIT-TR-2009-03 (including corrected
complexity formulae),
FIT BUT, Brno, Czech Republic, 2009.
|
| 2008 |
| |
T. Masopust,
A. Meduna,
J. Simacek.
Two Power-Decreasing Derivation Restrictions
in Generalized Scattered Context Grammars. Acta Cybernetica, 18(4):783--793, 2008,
ISSN 0324-721X.
|
Faculty of Information Technology
