Items where Division is "Bernd Finkbeiner (Reactive Systems Group, RSG)" and Year is 2020

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: B | C | D | F | M | S
Number of items: 10.

B

Baumeister, Tom and Finkbeiner, Bernd and Torfah, Hazem
(2020) Explainable Reactive Synthesis.
In: Automated Technology for Verification and Analysis.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Bonakdarpour, B. and Finkbeiner, B.
(2020) Controller Synthesis for Hyperproperties.
In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

C

Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana
(2020) The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective.
UNSPECIFIED, International Conference on Principles of Knowledge Representation and Reasoning (KR)
.

D

Dimitrova, Rayna and Finkbeiner, Bernd and Torfah, Hazem
(2020) Probabilistic Hyperproperties of Markov Decision Processes.
In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

F

Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-Rüdiger
(2020) Model Checking Branching Properties on Petri Nets with Transits.
In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Passing, Noemi
(2020) Dependency-based Compositional Synthesis.
In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis

Finkbeiner, Bernd and Schmidt, Jessica and Schwenger, Maximilian
(2020) Simplex Architecture Meets RTLola.
In: 5th Workshop on Monitoring and Testing of Cyber-Physical Systems, April 13-22 2020, Sydney.
Conference: MT-CPS WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS

Frenkel, Hadar and Grumberg, Orna and Pasareanu, Corina and Sheinvald, Sarai
(2020) Assume, Guarantee or Repair.
In: TACAS 2020.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

M

Mascle, Corto and Neider, Daniel and Schwenger, Maximilian and Tabuada, Paulo and Weinert, Alexander and Zimmermann, Martin
(2020) From LTL to rLTL Monitoring: Improved Monitorability Through Robust Semantics.
In: HSCC 2020, April 21-14 2020, Sydney, Australia.
Conference: HSCC ACM International Conference on Hybrid Systems: Computation and Control

S

Seidl, Helmut and Müller, Christian and Finkbeiner, Bernd
(2020) How to Win First-Order Safety Games.
In: Verification, Model Checking, and Abstract Interpretation.
Conference: VMCAI Verification, Model Checking and Abstract Interpretation

This list was generated on Sat Dec 21 19:12:45 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.