Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yliès Falcone

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Third International Competition on Runtime Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

COST Action IC1402 Runtime Verification Beyond Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

More Testable Properties

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

Preface to the Special Section on Improving Software Quality Through Formal Methods

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2020English

Monitoring Decentralized Specifications

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy