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: conferences
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.
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 […]
ISSTA & SPIN 2017 – Call for Participation
*************************************************************************** ISSTA & SPIN 2017 CALL FOR PARTICIPATION 26th ACM SIGSOFT International Symposium on Software Testing and Analysis http://conf.researchr.org/home/issta-2017 24th International SPIN Symposium on Model Checking of Software http://conf.researchr.org/home/spin-2017 July 10-14, 2017, Santa Barbara, California, USA *************************************************************************** ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and […]
SPIN 2017: the list of accepted papers is available
The list of papers accepted to SPIN 2017 is available online at http://conf.researchr.org/info/spin-2017/accepted-papers SPIN 2017 is the 24th International SPIN Symposium on Model Checking of Software. SPIN 2017 will be held in beautiful Santa Barbara, California in July in conjunction with ISSTA.
In the PC of RV 2017
I have been invited to the PC of RV 2017, The 17th International Conference on Runtime Verification, September 13 – 16, 2017 Seattle, USA. http://rv2017.cs.manchester.ac.uk
SPIN 2017: 2nd Call for Papers
SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The […]
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 […]