Підписатись
Jan Strejček
Jan Strejček
Masaryk University
Підтверджена електронна адреса в fi.muni.cz - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
1852012
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
1292015
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
542013
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
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
Abstracting path conditions
J Strejček, M Trtík
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
442012
The stuttering principle revisited
A Kučera, J Strejček
Acta Informatica 41, 415-434, 2005
402005
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
392012
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
342013
Solving quantified bit-vector formulas using binary decision diagrams
M Jonáš, J Strejček
International Conference on Theory and Applications of Satisfiability …, 2016
322016
Joint forces for memory safety checking
M Chalupa, J Strejček, M Vitovská
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
312018
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
252017
Compact symbolic execution
J Slaby, J Strejček, M Trtík
Automated Technology for Verification and Analysis: 11th International …, 2013
232013
Seminator 2 can complement generalized Büchi automata via improved semi-determinization
F Blahoudek, A Duret-Lutz, J Strejček
International Conference on Computer Aided Verification, 15-27, 2020
212020
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20