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
1362012
Reachability analysis of multithreaded software with asynchronous communication
A Bouajjani, J Esparza, S Schwoon, J Strejček
International Conference on Foundations of Software Technology and …, 2005
832005
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
642015
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, 24-39, 2013
442013
The stuttering principle revisited
A Kučera, J Strejček
Acta Informatica 41 (7-8), 415-434, 2005
382005
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
302012
Extended process rewrite systems: Expressiveness and reachability
M Křetínský, V Řehák, J Strejček
International Conference on Concurrency Theory, 355-370, 2004
292004
Compositional approach to suspension and other improvements to LTL translation
T Babiak, T Badie, A Duret-Lutz, M Křetínský, J Strejček
International SPIN Workshop on Model Checking of Software, 81-98, 2013
282013
Symbiotic: synergy of instrumentation, slicing, and symbolic execution
J Slaby, J Strejček, M Trtík
International Conference on Tools and Algorithms for the Construction and …, 2013
222013
Checking properties described by state machines: On synergy of instrumentation, slicing, and symbolic execution
J Slabý, J Strejček, M Trtík
International Workshop on Formal Methods for Industrial Critical Systems …, 2012
222012
SYMBIOTIC 5: boosted instrumentation
M Chalupa, M Vitovská, J Strejček
International Conference on Tools and Algorithms for the Construction and …, 2018
202018
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
202016
Linear temporal logic: Expressiveness and model checking
J Strejcek
PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004
202004
Symbiotic 4: beyond reachability
M Chalupa, M Vitovská, M Jonáš, J Slaby, J Strejček
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
Comparison of LTL to deterministic Rabin automata translators
F Blahoudek, M Křetínský, J Strejček
International Conference on Logic for Programming Artificial Intelligence …, 2013
182013
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL
A Kučera, J Strejček
Computer Science Logic, 535-557, 2002
182002
Solving quantified bit-vector formulas using binary decision diagrams
M Jonáš, J Strejček
International Conference on Theory and Applications of Satisfiability …, 2016
172016
Symbolic memory with pointers
M Trtik, J Strejček
International Symposium on Automated Technology for Verification and …, 2014
172014
Joint forces for memory safety checking
M Chalupa, J Strejček, M Vitovská
International Symposium on Model Checking Software, 115-132, 2018
162018
On decidability of LTL model checking for process rewrite systems
L Bozzelli, M Křetínský, V Řehák, J Strejček
Acta informatica 46 (1), 1-28, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20