Publications

[1] 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 ]
[2] Philipp Czerner and Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols
CoRR, abs/2101.03780, January 2021. [ preprint ]
[3] 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 ]
[4] 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 ]
[5] 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 ]
[6] 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 ]
[7] Loris D'Antoni, Martin Helfrich, Jan Kretinsky, 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 ]
[8] 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 ]
[9] 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, October 2020. [ DOI ]
[10] 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, October 2020. [ DOI | slides | url ]
[11] Dirk Beyer, Marie-Christine Jakobs, and Thomas Lemberger
Difference Verification with Conditions
18th International Conference on Software Engineering and Formal Methods (SEFM 2020, Virtual, Netherlands, September 14-18), LNCS 12310, pages 133–154. Springer, September 2020. [ DOI | pdf | slides | url ]
[12] 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.
[13] Niloofar Jahanshahi, Pushpak Jagtap, and Majid Zamani
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions
21st IFAC World Congress, July 2020.
[14] Dirk Beyer and Martin Spiessl
MetaVal: Witness Validation via Verification
32nd International Conference on Computer Aided Verification (CAV 2020), part 2, LNCS 12225, pages 165–177. Springer, July 2020. [ DOI | code ]
[15] 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 ]
[16] 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 ]
[17] 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 ]
[18] 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.