699 citations
- Centre National de la Recherche ScientifiqueFR34 papers
- Max Planck Institute for InformaticsDE33 papers
- German Research Centre for Artificial IntelligenceDE24 papers
- Forschungszentrum JülichDE17 papers
- Karlsruhe Institute of TechnologyDE16 papers
- Helmholtz Center for Information SecurityDE14 papers
- RWTH Aachen UniversityDE14 papers
- University of KaiserslauternDE14 papers
- University of StuttgartDE12 papers
- ETH ZurichCH11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Iowa State UniversityUS10 papers
7 papers · 2 filters
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
Swen Jacobs, Nicolas Basset, Roderick Bloem +11
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe th…
Symbolic vs. Bounded Synthesis for Petri Games
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch +1
Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic…
Proceedings Sixth Workshop on Synthesis
Dana Fisman, Swen Jacobs
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…
A Hierarchy of Scheduler Classes for Stochastic Automata
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns +1
Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are def…
Causality-based Model Checking
Bernd Finkbeiner, Andrey Kupriyanov
Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-ef…
Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, Helmut Seidl +1
We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description…