Seguir
Jan Strejček
Título
Citado por
Citado por
Año
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
1812012
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
1262015
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
832005
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
522013
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
452016
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
452012
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
412005
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
402012
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
352013
Joint forces for memory safety checking
M Chalupa, J Strejček, M Vitovská
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
312018
Solving quantified bit-vector formulas using binary decision diagrams
M Jonáš, J Strejček
International Conference on Theory and Applications of Satisfiability …, 2016
302016
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
302004
Symbolic memory with pointers
M Trtik, J Strejček
International Symposium on Automated Technology for Verification and …, 2014
282014
Linear temporal logic: Expressiveness and model checking
J Strejcek
PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004
282004
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
M Chalupa, V Mihalkovič, A Řechtáčková, L Zaoral, J Strejček
International Conference on Tools and Algorithms for the Construction and …, 2022
272022
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
272018
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
262017
Evaluation of program slicing in software verification
M Chalupa, J Strejček
International Conference on Integrated Formal Methods, 101-119, 2019
232019
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 11th International …, 2013
232013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20