An Algebra of Modular Systems
Markov chains and Markov decision processes in Isabelle/HOL
A Formal Study of Collaborative Access Control in Distributed Datalog
Distributed Algorithms as Combinatorial Structures
Resolution-based Methods for Linear Temporal Reasoning
FWF (Austrian Science Fund) project “Algorithms and Complexity of Constraint Languages” at Vienna University of Technology
The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.