Publications
conference paper Proactive Real-Time First-Order Enforcement
workshop paper Towards an Enforceable GDPR Specification
journal paper Efficient Evaluation of Arbitrary Relational Calculus Queries
conference paper Model-driven Privacy
conference paper User-Controlled Privacy: Taint, Track, and Control
conference paper Enforcing the GDPR
conference paper Is Modeling Access Control Worth It?
conference paper Metric First-order Temporal Logic with Complex Data Types
conference paper Correct and Efficient Policy Monitoring, a Retrospective
conference paper Monitoring the Internet Computer
conference paper Real-time Policy Enforcement with Metric First-Order Temporal Logic
conference paper Verified First-Order Monitoring with Recursive Rules
conference paper Practical Relational Calculus Query Evaluation
journal paper A Taxonomy for Classifying Runtime Verification Tools
journal paper Scalable Online First-Order Monitoring
conference paper A Benchmark Generator for Online First-Order Monitoring
conference paper Scalable Online Monitoring of Distributed Systems
conference paper A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic
journal paper A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
conference paper A Formally Verified Monitor For Metric First-Order Temporal Logic
journal paper Almost Event-Rate Independent Monitoring
conference paper Multi-Head Monitoring of Metric Temporal Logic
conference paper Adaptive Online First-Order Monitoring
conference paper HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics
conference paper A Taxonomy for Classifying Runtime Verification Tools
conference paper Scalable Online First-Order Monitoring
workshop paper AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
workshop paper On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
conference paper Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
conference paper HyperSpark: A Software Engineering Approach to Parallel Metaheuristics
conference paper Efficient Large-scale Trace Checking Using MapReduce
thesis Trace checking of quantitative properties
conference paper Offline Trace Checking of Quantitative Properties of Service-Based Applications
conference paper Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce
workshop paper Towards the formalization of properties of cloud-based elastic systems
conference paper SMT-Based Checking of SOLOIST over Sparse Traces
thesis Verification of quantitative properties of service-based applications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2014
2012
IEEE Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therin are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.ACM Copyright Notice
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.