prof. RNDr. Jan Strejček, Ph.D.
profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
telefon: | 549 49 6941 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 89
2021
-
Backward Symbolic Execution with Loop Folding
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, rok: 2021
-
DQBDD: An Efficient BDD-Based DQBF Solver
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings, rok: 2021
-
Fast Computation of Strong Control Dependencies
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, rok: 2021
-
Symbiotic 8: Beyond Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, rok: 2021
-
Symbiotic 8: Parallel and Targeted Test Generation
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, rok: 2021
-
Symbiotic 6: generating test cases by slicing and symbolic execution
International Journal on Software Tools for Technology Transfer, rok: 2021, ročník: 23, vydání: 6, DOI
-
Symbiotic 8
Rok: 2021
2020
-
Joint Forces for Memory Safety Checking Revisited
International Journal on Software Tools for Technology Transfer (STTT), rok: 2020, ročník: 22, vydání: 2, DOI
-
LTL to self-loop alternating automata with generic acceptance and back
Theoretical Computer Science, rok: 2020, ročník: 840, vydání: Nov 2020, DOI
-
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, rok: 2020