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
1782012
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
1202015
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
522013
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
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
The stuttering principle revisited
A Kučera, J Strejček
Acta Informatica 41, 415-434, 2005
402005
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
392012
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
332012
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
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
282018
Linear temporal logic: Expressiveness and model checking
J Strejcek
PhD thesis, Faculty of Informatics, Masaryk University in Brno, 2004
282004
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
272014
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
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
252018
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
232022
Evaluation of program slicing in software verification
M Chalupa, J Strejček
International Conference on Integrated Formal Methods, 101-119, 2019
212019
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 11th International …, 2013
212013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20