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, […]
Category: Research
Post related to my research activities.
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 […]
@MTV2 day of the French working group on software engineering, in Paris
Today, I’m at the MTV2 day of the French working group on software engineering. The MTV2 day deals with testing methods for verification and validation of software systems. I’ll present our recent work on Monitoring Decentralised Specifications, which I have also recently presented at ISSTA 2017. The presented slides can be downloaded by following this link. […]
@Konstantin Selyunin’s Ph.D. defense in Vienna, Austria
I am at Konstantin Selyunin’s Ph.D. defense in Vienna, Austria. Konstantin’s thesis is entitled Neural Models For Monitoring and Control with Applications in Automotive Domain. The abstract of his thesis is below: Cyber-physical systems (CPS), which incorporate physical as well as computational components, are a grand challenge of academia and industry in terms of their development, […]
SAC SVT 2018: the list of accepted papers is out
The list of papers accepted at the Software Verification and Testing track at SAC 2018 is out and available at: http://sac-svt-2018.imag.fr/?page_id=140 Thanks to all the track members for their thorough reviews and in-depth discussions of the papers. Thanks to all authors for their submissions. SAC 2018 will be held in Pau, France April 9 – 13, 2018.
@ISSRE 2017 for our paper on Interactive Runtime Verification
I’m at ISSRE 2017 in Toulouse, France, for the presentation of our paper on Interactive Runtime Verification and attending the talks of the day. Our paper on Interactive Runtime Verification (i-RV) can be downloaded here. Verde, our open-source tool for i-RV, can be retrieved and experimented with our interactive tutorial by following this link. Our interactive […]
Lecturing @ ETR (French summer school)
ETR is a well-known Frenh summer school on real-time systems and formal methods. I am giving a tutorial talk in the formal methods track about Runtime Enforcement of Timed Properties. The companion tutorial can be found in the proceedings and the electronic version can be downloaded here.
Decentralized Enforcement of Document Lifecycle Constraints
Our journal paper entitled Decentralized Enforcement of Document Lifecycle Constraints has been accepted for publication in Information Systems, an Elsevier journal. Below is an abstract of the paper: Artifact-centric workflows describe possible executions of a business process through constraints expressed from the point of view of the documents exchanged between principals. A sequence of manipulations is deemed […]
DATE 2018: Model-based Design and Verification for Embedded Systems
CALL FOR PAPERS *************** Topic E3: Model-based Design and Verification for Embedded Systems ********************************************************* at DATE 2018, Dresden, GE March 19 – 23, 2018 https://www.date-conference.com/call-for-papers#The-Conference https://www.date-conference.com/group/tpc/members/2018/E3 DATE 2018, will take place from 19 to 23 March, 2018, at the International Congress Center in Dresden, Germany. The conference addresses all aspects of research into technologies for […]