13 citations · 14 across the 5 of their papers we have counts for
5 papers
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
Dennis Hendriks, Michel Reniers, Wan Fokkink +1
Supervisory controllers control cyber-physical systems to ensure their correct and safe operation. Synthesis-based engineering (SBE) is an approach to largely automate their design…
A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems
Dennis Hendriks, Arjan van der Meer, Wytse Oortwijn
Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to redu…
Gobra: Modular Specification and Verification of Go Programs (extended version)
Felix A. Wolf, Linard Arquint, Martin Clochard +3
Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by of…
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and e…
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software…