9 citations · 21 across the 7 of their papers we have counts for
11 papers
Incorporating Monitors in Reactive Synthesis without Paying the Price
Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarat…
Transforming Data Flow Diagrams for Privacy Compliance (Long Version)
Hanaa Alshareef, Sandro Stucki, Gerardo Schneider
Recent regulations, such as the European General Data Protection Regulation (GDPR), put stringent constraints on the handling of personal data. Privacy, like security, is a non-fun…
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
Farzane Karami, Olaf Owe, Gerardo Schneider
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…
Gray-box Monitoring of Hyperproperties (Extended Version)
Sandro Stucki, César Sánchez, Gerardo Schneider +1
Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtime verification is an appealing alternative. Logics for hyper…
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…