13 citations · 14 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 1 cited
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…
cs.SE2019
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…