Publications

[1] Xiao Wang, Hanna Krasowski, and Matthias Althoff
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles
24rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2021), pages 466–472. IEEE, September 2021. [ DOI | pdf | code | url ]
[2] Javier Esparza, Stefan Kiefer, Jan Kretínský, and Maximilian Weininger
Enforcing ω-Regular Properties in Markov Chains by Restarting
32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of LIPIcs, pages 5:1–5:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, August 2021. [ DOI | pdf | url ]
[3] Kush Grover, Fernando S Barbosa, Jana Tumova, and Jan Kretínský
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments
Conference on Robotics-Science and Systems (RSS 2021), Virtual, July 2021. RSS Foundation-Robotics Science & Systems Foundation. [ DOI | pdf | url ]
[4] Hanna Krasowski and Matthias Althoff
Temporal Logic Formalization of Marine Traffic Rules
32nd IEEE Intelligent Vehicles Symposium (IV 2021), pages 186–192. IEEE, July 2021. [ DOI | pdf | code ]
[5] Katharina Kreuzer and Manuel Eberl
Van der Waerden's Theorem
Archive of Formal Proofs, June 2021. [ url ]
[6] Niloofar Jahanshahi, Pushpak Jagtap, and Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions
IEEE Control Systems Letter, 5(1):253–258, June 2021. [ DOI | url ]
[7] Mark Wetzlinger, Adrian Kulmburg, and Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems
HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, pages 16:1–16:11. ACM, May 2021. [ DOI | pdf | code | url ]
[8] Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates, May 2021. [ preprint ]
[9] Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani
Formal Verification of Hyperproperties for Control Systems
Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CAADCPS '21, page 29–30. ACM, May 2021. [ DOI ]
[10] Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications, March 2021. [ preprint ]
[11] Niloofar Jahanshahi, Abolfazl Lavaei, and Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
CoRR, abs/2103.05906, March 2021. [ preprint ]
[12] Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems, January 2021. [ preprint ]
[13] Vahid Hashemi, Jan Křetínský, Stefanie Mohr, and Emmanouil Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks
Runtime Verification, pages 254–264, Cham, 2021. Springer International Publishing. [ DOI | pdf ]
[14] Stefanie Mohr, Konstantina Drainas, and Juergen Geist
Assessment of Neural Networks for Stream-Water-Temperature Prediction
CoRR, abs/2110.04254, 2021. [ preprint ]
[15] Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, and Vesal Vojdani
Improving Thread-Modular Abstract Interpretation
28th International Symposium on Static Analysis (SAS 2021), volume 12913 of LNCS, pages 359–383. Springer, 2021. [ DOI | code | preprint ]
[16] Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, and Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution)
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), volume 12652 of LNCS, pages 438–442. Springer, 2021. [ DOI ]
[17] Philipp Czerner, Roland Guttenberg, Martin Helfrich, and Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing
40th ACM Symposium on Principles of Distributed Computing (PODC 2021), pages 115–125. ACM, 2021. [ DOI | pdf ]
[18] Philipp Czerner and Javier Esparza
Lower Bounds on the State Complexity of Population Protocols
40th ACM Symposium on Principles of Distributed Computing (PODC 2021), pages 45–54. ACM, 2021. [ DOI | pdf ]
[19] Dirk Beyer
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), LNCS 12652, pages 401–422. Springer, 2021. [ DOI | url ]
[20] Daniel Baier, Dirk Beyer, and Karlheinz Friedberger
JavaSMT 3: Interacting with SMT Solvers in Java
33rd International Conference on Computer-Aided Verification (CAV 2021), LNCS 12760, pages 1–13. Springer, 2021. [ DOI | pdf | url ]
[21] Dirk Beyer, Karlheinz Friedberger, and Stephan Holzner
PJBDD: A BDD Library for Java and Multi-Threading
19th International Symposium on Automated Technology for Verification and Analysis (ATVA21 2021). Springer, 2021. [ DOI | pdf ]
[22] Philipp Czerner and Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols
24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), volume 12650 of LNCS, pages 164–183. Springer, 2021. [ DOI | pdf | preprint | slides ]
[23] Mark Wetzlinger, Niklas Kochdumper, and Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
59th IEEE Conference on Decision and Control (CDC), pages 5145–5152, December 2020. [ DOI | pdf | preprint ]
[24] Dirk Beyer and Karlheinz Friedberger
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), pages 50–62. ACM, November 2020. [ DOI | pdf | preprint | url ]
[25] Javier Esparza, Martin Helfrich, Stefan Jaax, and Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), volume 12302 of LNCS, pages 550–556. Springer, October 2020. [ DOI | preprint | url ]
[26] Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, and Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
32nd International Conference on Computer Aided Verification (CAV 2020), volume 12225 of LNCS, pages 372–397. Springer, October 2020. [ DOI | preprint | url ]
[27] Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, and Maximilian Weininger
Automata Tutor v3
32nd International Conference on Computer Aided Verification (CAV 2020), volume 12225 of LNCS, pages 3–14. Springer, October 2020. [ DOI | pdf | preprint | url ]
[28] Pranav Ashok, Vahid Hashemi, Jan Kretínský, and Stefanie Mohr
DeepAbstract: Neural Network Abstraction for Accelerating Verification
18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), volume 12302 of LNCS, pages 92–107. Springer, October 2020. [ DOI | preprint ]
[29] Dirk Beyer, Marie-Christine Jakobs, and Thomas Lemberger
Difference Verification with Conditions
18th International Conference on Software Engineering and Formal Methods (SEFM 2020, LNCS 12310, pages 133–154. Springer, September 2020. [ DOI | pdf | slides | url ]
[30] Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems
21st IFAC World Congress, July 2020.
[31] Niloofar Jahanshahi, Pushpak Jagtap, and Majid Zamani
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions
21st IFAC World Congress (IFAC-V 2020), July 2020. [ DOI | pdf ]
[32] Dirk Beyer and Martin Spiessl
MetaVal: Witness Validation via Verification
32nd International Conference on Computer Aided Verification (CAV 2020), LNCS 12225, pages 165–177. Springer, July 2020. [ DOI | code ]
[33] Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, and Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), volume 154 of LIPIcs, pages 40:1–40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, March 2020. [ DOI | preprint | url ]
[34] Helmut Seidl, Julian Erhard, and Ralf Vogler
Incremental Abstract Interpretation
From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement, volume 12065 of LNCS, pages 132–148. Springer, March 2020. [ DOI ]
[35] Dirk Beyer and Sudeep Kanav
An Interface Theory for Program Verification
9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020), LNCS 12476, pages 168–186. Springer, 2020. [ DOI | slides | url ]
[36] Dirk Beyer and Karlheinz Friedberger
Violation Witnesses and Result Validation for Multi-Threaded Programs
9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020), LNCS 12476, pages 449–470. Springer, 2020. [ DOI | slides | url ]
[37] Hanna Krasowski, Xiao Wang, and Matthias Althoff
Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction
23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020), pages 1–7, 2020. [ DOI | pdf ]
[38] Mahathi Anand, Pushpak Jagtap, and Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates
58th IEEE Conference on Decision and Control (CDC 2019), pages 4373–4378. IEEE, December 2019. [ DOI ]

This file was generated by bibtex2html 1.99.