Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luca Franceschini

RML: Runtime Monitoring Language

2019English

Related publications

Compensation-Aware Runtime Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Survey of Runtime Monitoring Instrumentation Techniques

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2017English

COST Action IC1402 Runtime Verification Beyond Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Runtime Monitoring of Message-Based Workflows With Data

2008English

Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

SuperContra: Cross-Language, Cross-Runtime Contracts as a Service

2015English

Language Constructs and Runtime Systems for Compositional Parallel Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Runtime Monitoring of Malicious Code in a Net-Work

2010English

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy