I will be chairing DATE track E3 on Model-Based Design, Verification and Security for Embedded Systems. Todd Austin at the University of Michigan will co-chair the track. The general call for papers to DATE 2019 is available here. DATE 2019 will be held on March 25 – 29, 2019, in the marvelous Firenze, Italy. More details to […]
News
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems
The paper entitled Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework has been accepted for publication in Journal of Logical and Algebraic Methods in Programming (Elsevier) The abstract of the paper is below: We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the […]
@ Galatasaray University, Istanbul, Turkey
I’ll spend 3 days at Galatasaray University for an introductory course to the semantics of programming languages.
@ SAC SVT 2018
Today, I’ll be co-chairing the Software Verification and Testing track at the the 33rd ACM/SIGAPP Symposium On Applied Computing. The program is available at this link.
VORTEX 2018, July 16-21, 2018
VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers) ================================================================================= Runtime verification (RV) is an approach to software verification concerned with monitoring and analysis of software and hardware under execution. Recently, RV has gained more traction as an effective and promising approach to ensure software reliability, bridging a gap between formal verification and conventional testing; monitoring a system […]
Successful 2nd School on Runtime Verification
We had a successful 2nd School on Runtime Verification in Praz sur Arly, in the beautiful French Alps, organized by the COST action IC1402 Runtime Verification beyond Monitoring (ARVI) and Inria. Slides of the lectures as well as recorded lecture videos shall be uploaded soon. Thanks to all lecturers and participants for the passionating lectures and lively […]
RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France
The RV Summit in Praz sur Arly near Grenoble, France starts. It will run from March 19 to March 23, 2018. The RV Summit will feature 2 events: the 2nd ARVI COST School on Runtime Verification on March 19-21, co-organized and sponsored by COST Action IC1402 ArVi, Inria and Persyval-Lab; School Webpage. an ARVI COST meeting on […]
Track on Runtime Verification and Enforcement at IsoLA 2018
Update: the track will be held on November 7. With Ezio Bartocci (TU Wien, Austria), we will be chairing the track RV-TheToP: Runtime Verification from the Theory To the industry Practice. Runtime verification. Runtime Verification (RV) has gained much focus, from both the research community and practitioners. Roughly speaking, RV combines a set of theories, […]
Lectures on Runtime Verification
We are happy to announce our Springer LNCS tutorial book, Lectures on Runtime Verification – introductory and advanced topics, co-edited by Ezio Bartocci and myself. The book is available on Springer Website. The book contains introductory and advanced lectures on Runtime Verification authored by members of the COST Action IC 1402, ArVi, Runtime Verification beyond […]
@Matthieu Renard’s Ph.D. thesis defence in Bordeaux, France
Today I’m at the defence of Matthieu Renard Ph.D. thesis in Bordeaux, France. Matthieu’s thesis is entitled Runtime Enforcement of (Timed) Properties with Uncontrollable Events. This thesis studies the runtime enforcement of timed properties when some events are uncontrollable. This work falls in the domain of runtime verification, which includes all the techniques and tools […]