Follow
Jan Strejček
Title
Cited by
Cited by
Year
LTL to Büchi Automata Translation: Fast and More Deterministic
T Babiak, M Křetínský, V Řehák, J Strejček
TACAS 2012: 18th International Conference on Tools and Algorithms for the …, 2012
1712012
The Hanoi Omega-Automata Format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ...
CAV, 479-486, 2015
1132015
Reachability analysis of multithreaded software with asynchronous communication
A Bouajjani, J Esparza, S Schwoon, J Strejček
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
822005
Effective translation of LTL to deterministic Rabin automata: Beyond the (F, G)-fragment
T Babiak, F Blahoudek, M Křetínský, J Strejček
Automated Technology for Verification and Analysis: 11th International …, 2013
512013
Compositional approach to suspension and other improvements to LTL translation
T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
442013
The stuttering principle revisited
A Kučera, J Strejček
Acta Informatica 41, 415-434, 2005
422005
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
International Conference on Tools and Algorithms for the Construction and …, 2016
402016
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
382012
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution: (Competition Contribution)
J Slaby, J Strejček, M Trtík
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
312013
Checking properties described by state machines: On synergy of instrumentation, slicing, and symbolic execution
J Slabý, J Strejček, M Trtík
Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012
312012
Linear temporal logic: Expressiveness and model checking
J Strejcek
PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004
292004
Extended process rewrite systems: Expressiveness and reachability
M Křetínský, V Řehák, J Strejček
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
292004
Joint forces for memory safety checking
M Chalupa, J Strejček, M Vitovská
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
272018
Solving quantified bit-vector formulas using binary decision diagrams
M Jonáš, J Strejček
International Conference on Theory and Applications of Satisfiability …, 2016
272016
Symbolic memory with pointers
M Trtik, J Strejček
International Symposium on Automated Technology for Verification and …, 2014
262014
Symbiotic 5: Boosted Instrumentation: (Competition Contribution)
M Chalupa, M Vitovská, J Strejček
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
232018
Symbiotic 4: Beyond Reachability: (Competition Contribution)
M Chalupa, M Vitovská, M Jonáš, J Slaby, J Strejček
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
232017
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 11th International …, 2013
212013
Comparison of LTL to deterministic Rabin automata translators
F Blahoudek, M Křetínský, J Strejček
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
202013
Evaluation of program slicing in software verification
M Chalupa, J Strejček
International Conference on Integrated Formal Methods, 101-119, 2019
192019
The system can't perform the operation now. Try again later.
Articles 1–20