Jirí Simácek

According to our database1, Jirí Simácek authored at least 14 papers between 2008 and 2017.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Run Forester, Run Backwards! - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Forester: Shape Analysis Using Tree Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013
Fully Automated Shape Analysis Based on Forest Automata
CoRR, 2013

The Tree Width of Separation Logic with Recursive Definitions
CoRR, 2013

Fully Automated Shape Analysis Based on Forest Automata.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

The Tree Width of Separation Logic with Recursive Definitions.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes).
PhD thesis, 2012

Forest automata for verification of heap manipulation.
Formal Methods in System Design, 2012

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011
Forest Automata for Verification of Heap Manipulation.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Evolutionary Design of Reconfiguration Strategies to Reduce the Test Application Time.
Proceedings of the Evolvable Systems: From Biology to Hardware, 2010

2008
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars.
Acta Cybern., 2008


  Loading...