Drafts
report COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Core Aspects of Monitoring (Activity Report of Working Group 1)
workshop paper Stream Characteristics for First-Order Monitoring
demo paper InstaCluster: Building A Big Data Cluster in Minutes
2024
2019
2018
2015
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.