Bernd Finkbeiner

According to our database1, Bernd Finkbeiner
  • authored at least 100 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Petri games: Synthesis of distributed systems with causal memory.
Inf. Comput., 2017

Verifying Security Policies in Multi-agent Workflows with Loops.
CoRR, 2017

Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, 2017

Encodings of Bounded Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The First-Order Logic of Hyperproperties.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Monitoring Hyperproperties.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Stream Runtime Monitoring on UAS.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
Proceedings of the Programming Languages and Systems, 2017

Vehicle Platooning Simulations with Functional Reactive Programming.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

BoSy: An Experimentation Framework for Bounded Synthesis.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Synthesis of Reactive Systems.
Proceedings of the Dependable Software Systems Engineering, 2016

The First-Order Logic of Hyperproperties.
CoRR, 2016

Bounded Cycle Synthesis.
CoRR, 2016

Deciding Hyperproperties.
CoRR, 2016

What You Really Need To Know About Your Neighbor.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
Acta Inf., 2016

A Stream-Based Specification Language for Network Monitoring.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification for HyperLTL.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Facets of Software Doping.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Verifying hyperproperties of hardware systems.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Deciding Hyperproperties.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Bounded Cycle Synthesis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Synthesizing Skeletons for Reactive Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Detecting Unrealizability of Distributed Fault-tolerant Systems.
Logical Methods in Computer Science, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Adam: Causality-Based Synthesis of Distributed Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Bounded Synthesis for Petri Games.
Proceedings of the Correct System Design, 2015

2014
The linear-hyper-branching spectrum of temporal logics.
it - Information Technology, 2014

Petri Games: Synthesis of Distributed Systems with Causal Memory.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Temporal Logics for Hyperproperties.
CoRR, 2014

Monitoring Parametric Temporal Logic.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Detecting Unrealizable Specifications of Distributed Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Fast DQBF Refutation.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Temporal Logics for Hyperproperties.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Counting Models of Linear-Time Temporal Logic.
Proceedings of the Language and Automata Theory and Applications, 2014

Automatic Compositional Synthesis of Distributed Systems.
Proceedings of the FM 2014: Formal Methods, 2014

Causal Termination of Multi-threaded Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Bounded synthesis.
STTT, 2013

Lossy Channel Games under Incomplete Information
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

A Temporal Logic for Hyperproperties.
CoRR, 2013

Causality-Based Verification of Multi-threaded Programs.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Relational abstract interpretation for the verification of 2-hypersafety properties.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Transforming Undecidable Synthesis Problems into Decidable Problems.
Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
Logical Methods in Computer Science, 2012

Lazy Synthesis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Model Checking Information Flow in Reactive Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Template-Based Controller Synthesis for Timed Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
Proceedings of the Infotech@Aerospace 2012, 2012

Monitoring Temporal Information Flow.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The Complexity of Bounded Synthesis for Timed Control with Partial Observability.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Counterexample-Guided Synthesis of Observation Predicates.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Reactive Safety
Proceedings of Second International Symposium on Games, 2011

Monitoring Realizability.
Proceedings of the Runtime Verification - Second International Conference, 2011

Does It Pay to Extend the Perimeter of a World Model?
Proceedings of the FM 2011: Formal Methods, 2011

Weak Kripke Structures and LTL.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Synthesising certificates in networks of timed automata.
IET Software, 2010

Preface.
Electr. Notes Theor. Comput. Sci., 2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

On the Virtue of Patience: Minimizing Büchi Automata.
Proceedings of the Model Checking Software, 2010

Model Checking the FlexRay Physical Layer Protocol.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Coordination Logic.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009
Directed model checking with distance-preserving abstractions.
STTT, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Monitor Circuits for LTL with Bounded and Unbounded Future.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

LTL Path Checking Is Efficiently Parallelizable.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Synthesis of Fault-Tolerant Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Slicing Abstractions.
Fundam. Inform., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

RESY: Requirement Synthesis for Compositional Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Synthesizing Certificates in Networks of Timed Automata.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Abstraction Refinement for Games with Incomplete Information.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Subsequence Invariants.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Semi-automatic Distributed Synthesis.
Int. J. Found. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Slicing Abstractions.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

07011 Abstracts Collection -- Runtime Verification.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Executive Summary -- Runtime Verification.
Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

Bounded Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Distributed Synthesis for Alternating-Time Logics.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Preface.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Directed Model Checking with Distance-Preserving Abstractions.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Synthesis of Asynchronous Systems.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Automatic Synthesis of Assumptions for Compositional Model Checking.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005
Collecting Statistics Over Runtime Executions.
Formal Methods in System Design, 2005

LOLA: Runtime Monitoring of Synchronous Systems.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Uniform Distributed Synthesis.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Semi-automatic Distributed Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Checking Finite Traces Using Alternating Automata.
Formal Methods in System Design, 2004

2002
Collecting Statistics over Runtime Executions.
Electr. Notes Theor. Comput. Sci., 2002

2001
Checking Finite Traces using Alternating Automata.
Electr. Notes Theor. Comput. Sci., 2001

Language Containment Checking with Nondeterministic BDDs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.
Formal Methods in System Design, 2000

The 'Cash-Point' Service: A Verification Case Study Using STeP.
Formal Asp. Comput., 2000

1997
Abstraction and Modular Verification of Infinite-State Reactive Systems.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Deductive Verification of Modular Systems.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997


  Loading...