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í: 86
2023
-
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, rok: 2023
-
Symbiotic-Witch 2
Rok: 2023
-
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II, rok: 2023
2022
-
Case Study on Verification-Witness Validators: Where We Are and Where We Go
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings, rok: 2022
-
Symbiotic 9.1
Rok: 2022
-
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, rok: 2022
-
Symbiotic-Witch: A Klee-Based Violation Witness Checker
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, rok: 2022
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