I have been invited to the Programme Committee of FDL 2020 which will be held in Kiel, Germany, on September 7-9, 2020. Please consider submitting.
Category: Research
Post related to my research activities.
Special issue on improving software quality through formal methods in Springer Software Quality Journal
Our special issue improving software quality through formal methods in Springer Software Quality Journal is out. The special issue is devoted to the use of formal methods for improving the quality of software systems. The included articles focus on the use of runtime techniques, such as runtime verification and trace analysis. Following an open call, […]
In the program committee of IFIP-ICTSS 2020
I have been invited to the program committee of IFIP ICTSS 2020, the 32nd IFIP International Conference On Testing Software And Systems, 6-8 October, 2020, Napoli, Italy. IFIP – ICTSS is a well established conference where researchers, practitioners and educators gather together to present and discuss the most recent innovations, experiences and open challenges in […]
A survey of challenges for runtime verification from advanced application domains (beyond software)
The paper A survey of challenges for runtime verification from advanced application domains (beyond software) has been published in Formal Methods in System Design, a Springer journal. The paper can be downloaded by following this link. This is joint work with César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Adrian Francalanza, […]
Tutorial @ RV 2019, Porto
Today, I have presented a tutorial on Runtime Enforcement of Timed Properties at RV 2019. This tutorial summarizes a line of work on the topic with colleagues and also introduces a taxonomy for runtime enforcement. The tutorial material (including slides, papers, and a virtual machine with TiPeX pre-installed) can be obtained here.
Invited talk @ IST Austria, Vienna
I gave a talk at IST Austria on our recent work on the monitoring of decentralized specifications and its application to the monitoring of smart homes. Thank you IST Austria for the nice welcome and to Tom Henziger and Guy Avni for the invitation. Handout of the slides can be downloaded here.
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
The paper On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation has been accepted for publication in TOSEM, the ACM Transactions on Software Engineering and Methodology. We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of […]
Detecting Fault Injection Attacks with Runtime Verification
The paper Detecting Fault Injection Attacks with Runtime Verification has been accepted for publication in SPRO’19, the 3rd International Workshop on Software PROtection, which will be held on 15 Nov 2019, in conjunction with CCS’19. The abstract is below: Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models […]
On the Runtime Enforcement of Timed Properties
The tutorial paper On the Runtime Enforcement of Timed Properties has been accepted for publication in Runtime Verification 2019. Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior of systems at runtime. We are interested in such behaviors described by specifications that feature timing constraints formalized in what is generally referred […]
DATE 2020 – Topic E3 – Call for Papers
================================================================= DATE 2020 – Call for Papers 09 – 13 March 2020, Grenoble, France Topic E3 Model-Based Design, Verification and Security for Embedded Systems www.date-conference.com ================================================================== For more details and submission instructions, please visit the DATE 2020 Website at www.date-conference.com. == Overview of DATE 2020 The 23rd DATE conference and exhibition is the main European […]