@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 […]

Read More

@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, […]

Read More

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 […]

Read More

COST Action IC 1402 ARVI: meeting in Prague

We will have a two-day meeting related to the COST Action Runtime Verification beyond Monitoring (ARVI). The purposes of the meeting include: A meeting of the Management Committee (MC). A workshop on contract monitoring. The program of the meeting can be found here. My roles during the meeting are twofold: I am representing France in the MC. […]

Read More

Call for Participation: SAC-SVT 2017

SAC-SVT 2017 Software Verification and Testing 2017 A Track of the ACM Symposium on Applied Computing Marrakech, Morocco, April 3 – 7, 2017 http://antares.sip.ucm.es/svt2017/ Scope For the past thirsty years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the […]

Read More