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: Event
@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.
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 […]
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. […]
Invited lecture at ETR 2017
I have been invited to lecture at ETR 2017 : École d’Été Temps Réel (Summer school on real-time systems), which will be help Aug. 28 – Sept. 1 2017 in Paris, France. My lecture will concern runtime verification and enforcement for real-time systems.
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 […]
In the Programme Committee of TASE 2017
I will be a member of the Programme Committee of TASE 2017, the Eleventh International Symposium on Theoretical Aspects of Software Engineering which will be held September 13-15, 2017 in Nice, France. Information about TASE 2017 can be found at: http://tase2017.unice.fr