Commit c26401a6 authored by Daniel Stan's avatar Daniel Stan
Browse files


parent d91354e4
......@@ -35,7 +35,7 @@ Schedule and location:
- Database theory
- Modal and Temporal Logic
Some papers will be distributed at the kickoff meeting.
Some papers will be distributed at the kickoff meeting: [suggestions](/pub/ws19sem/blob/master/
## Instructors
- Prof. Anthony Lin
......@@ -45,7 +45,7 @@ Some papers will be distributed at the kickoff meeting.
The below schedule will be completed with information about the topics.
- 05.11.2019: **kickoff** meeting
- 05.11.2019: **kickoff** meeting: [Slides](/pub/ws19sem/blob/master/kickoff.pdf)
- 19.11.2019: [Burcu Özkan]( **Trace Aware Random Testing of Distributed Systems**
- 03.11.2019
## Parameterized systems
Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725
Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model checking parameterized asynchronous shared-memory systems. Formal Methods in System Design 50(2-3): 140-167 (2017)
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier:
Distributed Local Strategies in Broadcast Networks. CONCUR 2015: 44-57
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos:
Modularity for decidability of deductive verification with applications to distributed systems. PLDI 2018: 662-677
## Bisimulation relations
Jean-Claude Fernandez:
An Implementation of an Efficient Algorithm for Bisimulation Equivalence. Sci. Comput. Program. 13(1): 219-236 (1989)
Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs:
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18(2): 13:1-13:34 (2017)
## Efficient Bisimulation metric computation
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS 2013: 1-15
## Interfacing models
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94: 63-97 (2018)
Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120
## SMT-based model checking
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
Christian Dehnert, Joost-Pieter Katoen, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47
File added
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment