Items where authors include "Finkbeiner, B."

Proceedings Paper

Virtema, J., Hofmann, J., Finkbeiner, B. et al. (2 more authors) (2021) Linear-time temporal logic with team semantics: expressivity and complexity. In: Bojańczyk, M. and Chekuri, C., (eds.) 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 15-17 Dec 2021, Virtual Conference. Leibniz International Proceedings in Informatics (LIPIcs), 213 . Schloss Dagstuhl , 52:1-52:17. ISBN 9783959772150

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Approximate automata for omega-regular languages. In: Chen, Y.-F., Cheng, C.-H. and Esparza, J., (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019. Automated Technology for Verification and Analysis, 28-31 Oct 2019, Taipei, Taiwan. Lecture Notes in Computer Science (11781). Springer , pp. 334-349. ISBN 9783030317836

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Synthesizing approximate implementations for unrealizable specifications. In: Dillig, I. and Tasiran, S., (eds.) Computer Aided Verification - 31st International Conference, CAV 2019. Computer Aided Verification, 15-18 Jul 2019, New York City, NY, USA. Lecture Notes in Computer Science, 1 (11561). Springer , pp. 241-258. ISBN 9783030255398

Dimitrova, R. and Finkbeiner, B. (2013) Lossy channel games under incomplete information. In: Mogavero, F., Murano , A. and Vardi, M.Y., (eds.) Proceedings 1st International Workshop on Strategic Reasoning. 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. Electronic Proceedings in Theoretical Computer Science (EPTCS) (112). Open Publishing Association , pp. 43-51.

Dimitrova, R., Finkbeiner, B. and Rabe, M.N. (2012) Monitoring temporal information flow. In: Margaria, T. and Steffen, B., (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012, 15-18 Oct 2012, Heraklion, Crete, Greece. Lecture Notes in Computer Science, 1 (7609). Springer , pp. 342-357. ISBN 9783642340253

Dimitrova, R. and Finkbeiner, B. (2012) Counterexample-guided synthesis of observation predicates. In: Jurdziński, M. and Ničković, D., (eds.) Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, 18-20 Sep 2012, London, UK. Lecture Notes in Computer Science (7595). Springer , pp. 107-122. ISBN 9783642333644

Dimitrova, R., Finkbeiner, B., Kovacs, M. et al. (2 more authors) (2012) Model checking information flow in reactive systems. In: Kuncak, V. and Rybalchenko, A., (eds.) Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Verification, Model Checking, and Abstract Interpretation - VMCAI 2012, 22-24 Jan 2012, Philadelphia, PA, USA. Lecture Notes in Computer Science (7148). Springer , pp. 169-185. ISBN 9783642279393

Dimitrova, R. and Finkbeiner, B. (2009) Synthesis of fault-tolerant distributed systems. In: Liu, Z. and Ravn, A.P., (eds.) Automated Technology for Verification and Analysis - ATVA 2009. Automated Technology for Verification and Analysis - ATVA 2009, 14-16 Oct 2009, Macao, China. Lecture Notes in Computer Science (5799). Springer , pp. 321-336. ISBN 9783642047602

Dimitrova, R. and Finkbeiner, B. (2008) Abstraction refinement for games with incomplete information. In: Hariharan, R., Mukund, M. and Vinay, V., (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 09-11 Dec 2008, Bangalore, India. Leibniz International Proceedings in Informatics (LIPIcs), 2 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 175-186. ISBN 9783939897088