| [FJ12] |
Bernd Finkbeiner and Swen Jacobs. Lazy Synthesis. VMCAI 2012. |
| [DFKRS12] |
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, and Helmut Seidl. Model Checking Information Flow in Reactive Systems. VMCAI 2012. |
| [FP12] |
Bernd Finkbeiner and Hans-Jörg Peter. Template-based Controller Synthesis for Timed Systems. TACAS 2012. |
| [Ehl11e] |
Rüdiger Ehlers. Symbolic Bounded Synthesis. FMSD. Extended journal version of [Ehl10c]. |
| [FRSZ11] |
John Fearnley, Markus N. Rabe, Sven Schewe and Lijun Zhang. Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011. |
| [EF11b] |
Rüdiger Ehlers and Bernd Finkbeiner. Monitoring Realizability. RV 2011. |
| [KF11b] |
Lars Kuhtz and Bernd Finkbeiner. Weak Kripke Structures and LTL. CONCUR 2011. |
| [Ehl11d] |
Rüdiger Ehlers. Small witnesses, accepting lassos and winning strategies in omega-automata and games. AVACS Technical Report No. 80, SFB/TR 14 AVACS, also appeared as arXiv/CoRR: 1108.0315. |
| [RS11] |
Markus N. Rabe and Sven Schewe. Finite Optimal Control for Time-bounded Reachability in CTMDPs and Continuous-time Markov Games. Acta Informatica. |
| [PEM11] |
Hans-Jörg Peter, Rüdiger Ehlers, and Robert Mattmüller. Synthia: Verification and Synthesis for Timed Automata. CAV 2011. |
| [DF11] |
Werner Damm and Bernd Finkbeiner. Does It Pay to Extend the Perimeter of a World Model?. FM 2011. |
| [EF11] |
Rüdiger Ehlers and Bernd Finkbeiner. Reactive Safety. GandALF 2011. |
| [Ehl11c] |
Rüdiger Ehlers. Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. NFM 2011. |
| [Ehl11b] |
Rüdiger Ehlers. Unbeast: Symbolic Bounded Synthesis. TACAS 2011. |
| [Ehl11a] |
Rüdiger Ehlers. Experimental Aspects of Synthesis. iWIGP 2011. |
| [K10] |
Lars Kuhtz. Model Checking Finite Paths and Trees. PhD Thesis. |
| [EFGP10] |
Rüdiger Ehlers, Daniel Fass, Michael Gerke, and Hans-Jörg Peter. Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams. RTSS 2010. |
| [Ger10] |
Michael Gerke. Zone State Diagrams. Master Thesis. |
| [EGP10] |
Rüdiger Ehlers, Michael Gerke, and Hans-Jörg Peter. Making the Right Cut in Model Checking Data-Intensive Timed Systems. ICFEM 2010. |
| [RSZ10] |
Markus Rabe, Sven Schewe, and Lijun Zhang. Efficient Approximation of Optimal Control for Markov Games – early arXiv version. arXiv/CoRR: 1011.0397. |
| [EF10] |
Rüdiger Ehlers and Bernd Finkbeiner. On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010. |
| [GEFP10] |
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter. Model Checking the FlexRay Physical Layer Protocol. FMICS 2010. |
| [EMP10] |
Rüdiger Ehlers, Robert Mattmüller, and Hans-Jörg Peter. Combining Symbolic Representations for Solving Timed Games. FORMATS 2010. |
| [FS10] |
Bernd Finkbeiner and Sven Schewe. Coordination Logic. CSL 2010. |
| [Ehl10d] |
Rüdiger Ehlers. Minimising Deterministic Büchi Automata Precisely using SAT Solving. SAT 2010. |
| [Ehl10c] |
Rüdiger Ehlers. Symbolic Bounded Synthesis. CAV 2010. |
| [FPS10] |
Bernd Finkbeiner, Hans-Jörg Peter, and Sven Schewe. Synthesising Certificates in Networks of Timed Automata. IET SEN 2010. |
| [RS10a] |
Markus Rabe, and Sven Schewe. Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. QAPL, 2010. |
| [Ehl10b] |
Rüdiger Ehlers. Short Witnesses and Accepting Lassos in omega-automata. LATA 2010. |
| [RS10b] |
Markus Rabe, and Sven Schewe. Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games. arXiv/CoRR: 1004.4005. |
| [DKFW10] |
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010. |
| [Ehl10a] |
Rüdiger Ehlers. Generalised Rabin(1) synthesis. arXiv/CoRR: 1003.1684. |
| [PM09] |
Hans-Jörg Peter and Robert Mattmüller. Component-based Abstraction Refinement for Timed Controller Synthesis. RTSS 2009. |
| [DF09] |
Rayna Dimitrova and Bernd Finkbeiner. Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009. |
| [Abel09] |
Andreas Abel. From Uppaal to Slab. Bachelor Thesis. |
| [KF09] |
Lars Kuhtz and Bernd Finkbeiner. LTL Path Checking is Efficiently Parallelizable. ICALP 2009. Best paper award. |
| [FK09] |
Bernd Finkbeiner and Lars Kuhtz. Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009. |
| [Had09] |
Walid Haddad. Verifying Networks of Phase Event Automata. Master Thesis. |
| [Fas09] |
Daniel Fass. Clock Matrix Diagrams. Bachelor Thesis. |
| [Dah09] |
Daniel Dahrendorf. Symbolic Encodings of Timed Games with Incomplete Information. Master Thesis. |
| [BDFW08] |
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. Slicing Abstractions. FI 2008. |
| [DF08] |
Rayna Dimitrova and Bernd Finkbeiner. Abstraction Refinement for Games with Incomplete Information. FSTTCS 08. |
| [FPS08b] |
Bernd Finkbeiner, Hans-Jörg Peter, and Sven Schewe. Synthesizing Certificates in Networks of Timed Automata. RTSS 2008. |
| [DFP08] |
Klaus Dräger, Bernd Finkbeiner, and Andreas Podelski. Directed Model Checking with Distance-preserving Abstractions. STTT 2008. |
| [DF08b] |
Klaus Dräger and Bernd Finkbeiner. Subsequence Invariants. AVACS Technical Report 42. |
| [DF08a] |
Klaus Dräger and Bernd Finkbeiner. Subsequence Invariants. CONCUR 2008. |
| [FPS08a] |
Bernd Finkbeiner, Hans-Jörg Peter, and Sven Schewe. RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008. |
| [S08c] |
Sven Schewe. Synthesis of Distributed Systems. PhD Thesis. |
| [S08b] |
Sven Schewe. An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL 2008. |
| [DP08] |
Rayna Dimitrova and Andreas Podelski. Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?. VMCAI 2008. |
| [S08a] |
Sven Schewe. ATL* Satisfiability is 2EXPTIME-complete. ICALP 2008. |
| [E07] |
Franziska Ebert. Translation Validation for Optimizing Compilers. Universität des Saarlandes. Diploma Thesis. |
| [FGP07] |
Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko (editors). Proceedings of the Third Workshop on Model Based Testing. |
| [FGP08] |
Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko (editors). Proceedings of the Fourth Workshop on Model Based Testing. |
| [KDHFDPB07] |
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, and Gerd Behrmann. UPPAAL/DMC – Abstraction-based Heuristics for Directed Model Checking. TACAS 2007. |
| [S07] |
Sven Schewe. Solving Parity Games in Big Steps. FSTTCS 2007. |
| [FS07] |
Bernd Finkbeiner and Sven Schewe. SMT-Based Synthesis of Distributed Systems. AFM 2007. |
| [SF07c] |
Sven Schewe and Bernd Finkbeiner. Distributed Synthesis for Alternating-Time Logics. ATVA 2007. |
| [BDFW07] |
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. Slicing Abstractions. FSEN 2007. Best paper award. |
| [SF07b] |
Sven Schewe and Bernd Finkbeiner. Bounded Synthesis. ATVA 2007. |
| [SF07a] |
Sven Schewe and Bernd Finkbeiner. Semi-Automatic Distributed Synthesis. International Journal of Foundations of Computer Science. |
| [Bri07] |
Dominik Brill. Deductive Model Checking with Transition Constraint Systems. Diploma Thesis. |
| [Had07] |
Walid Haddad. Inequality Constraints on Synchronization Counters. Bachelor Thesis. |
| [FGP06] |
Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko (editors). Proceedings of the Second Workshop on Model Based Testing. |
| [S06] |
Sven Schewe. Synthesis for Probabilistic Environments. ATVA 2006. |
| [CK06] |
Amin Coja-Oghlan and Lars Kuhtz. An improved algorithm for approximating the chromatic number of Gn,p. Information Processing Letters, volume 99, issue 6, 30 September 2006, pages 234-238. |
| [HMS06] |
Malte Helmert, Robert Mattmüller, and Sven Schewe. Selective Approaches for Solving Weak Games. ATVA 2006. |
| [FSB06] |
Bernd Finkbeiner, Sven Schewe and Matthias Brill. Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006. |
| [SF06b] |
Sven Schewe and Bernd Finkbeiner. Satisfiability and Finite Model Property for the Alternating-Time µ-Calculus. CSL 2006. |
| [CZ06] |
Domenico Cantone and Calogero G. Zarba. A decision procedure for monotone functions over bounded and complete lattices. TARSKI 2006. |
| [KMZ06] |
Deepak Kapur, Rupak Majumdar, and Calogero G. Zarba. Interpolation for data structures. FSE 2006. |
| [RZ06] |
Silvio Ranise and Calogero G. Zarba. A theory of singly-linked lists and its extensible decision procedure. SEFM 2006. |
| [SF06a] |
Sven Schewe and Bernd Finkbeiner. Synthesis of Asynchronous Systems. LOPSTR 2006. |
| [DFP06] |
Klaus Dräger, Bernd Finkbeiner, and Andreas Podelski. Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006. |
| [BFGS06] |
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, and Henny Sipma (editors). Proceedings of the Fifth Workshop on Runtime Verification. |
| [Fie06] |
Arnaud Fietzke. Learning Minimal Requirements for Compositional Verification. Bachelor Thesis. |
| [Bue06] |
Sven Bünte. Automatic Abstraction of Synchronization Sequences. Bachelor Thesis. |
| [Pet05] |
Hans-Jörg Peter. Controller Program Synthesis for Industrial Machines. Diploma Thesis. |
| [Reg05] |
Jens Regenberg. Synthesis of Reactive Systems. Diploma Thesis. |
| [Mau05] |
Tobias Maurer. Distributed Games For Reactive Systems. Diploma Thesis. |
| [M05] |
Ghulam Mujtaba. Monitoring Execution Traces using Metric Alternating Automata. Universität des Saarlandes. Diploma Thesis. |
| [E05] |
Pavel Emeliyanenko. Automatic Verification of Conditions for Absence of Interrupts. Universität des Saarlandes. Bachelor Thesis. |
| [FS05b] |
Bernd Finkbeiner and Sven Schewe. Semi-Automatic Distributed Synthesis. ATVA 2005. |
| [FS05a] |
Bernd Finkbeiner and Sven Schewe. Uniform Distributed Synthesis. LICS 2005. |
| [DSS+05] |
Ben d’Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna. LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005. |
| [FSS05] |
Bernd Finkbeiner, Sriram Sankaranarayanan and Henny Sipma. Collecting Statistics over Runtime Executions. FMSD 2005. Journal version of [FSS02]. |
| [K04b] |
Lars Kuhtz. Colouring Gn,p and Spectral Techniques. Humboldt Universität zu Berlin. Diploma Thesis. |
| [FS04] |
Bernd Finkbeiner and Henny Sipma. Checking Finite Traces using Alternating Automata. FMSD 2004. Journal version of [FS01]. |
| [CJ04] |
J. Creci and L. Pottier. Gb: une procédure de décision pour le système Coq. JFLA 2004. |
| [FSS02] |
Bernd Finkbeiner, Sriram Sankaranarayanan and Henny Sipma. Collecting Statistics over Runtime Executions. RV 2002. |
| [FK01] |
Bernd Finkbeiner and Ingolf Krüger. Using Message Sequence Charts for Component-Based Formal Verification. SAVCBS 2001. |
| [FS01] |
Bernd Finkbeiner and Henny Sipma. Checking Finite Traces using Alternating Automata. RV 2001. |
| [F01] |
Bernd Finkbeiner. Language Containment Checking with Nondeterministic BDDs. TACAS 2001. |
| [BFMS00] |
Anca Browne, Bernd Finkbeiner, Zohar Manna and Henny Sipma. The `Cash-Point Service’: A Verification Case Study Using STeP. FAC 2000. |
| [BBC+00] |
Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma and Tomás E. Uribe. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. FMSD 2000. |
| [MBB+99] |
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Mark Pichora, Henny B. Sipma and Tomás E. Uribe. An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. TOOLS 1999. |
| [MCF+98] |
Zohar Manna, Michael A. Colón, Bernd Finkbeiner, Henny B. Sipma and Tomás E. Uribe. Abstraction and Modular Verification of Infinite-State Reactive Systems. RTSE 1998. |
| [FMS98] |
Bernd Finkbeiner, Zohar Manna and Henny B. Sipma. Deductive Verification of Modular Systems. COMPOS 1997. |
