Jan Strejček
Název
Citace
Citace
Rok
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
1402012
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
742015
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
452013
The stuttering principle revisited
A Kučera, J Strejček
Acta Informatica 41 (7-8), 415-434, 2005
402005
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
302013
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
292012
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
Solving quantified bit-vector formulas using binary decision diagrams
M Jonáš, J Strejček
International Conference on Theory and Applications of Satisfiability …, 2016
232016
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
232012
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
Linear temporal logic: Expressiveness and model checking
J Strejcek
PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004
222004
SYMBIOTIC 5: boosted instrumentation
M Chalupa, M Vitovská, J Strejček
International Conference on Tools and Algorithms for the Construction and …, 2018
212018
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
212016
Symbolic memory with pointers
M Trtik, J Strejček
International Symposium on Automated Technology for Verification and …, 2014
202014
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
192013
Joint forces for memory safety checking
M Chalupa, J Strejček, M Vitovská
International Symposium on Model Checking Software, 115-132, 2018
182018
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
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis, 193-207, 2013
172013
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20