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. […]
News
@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 […]
GREP: Games for the Runtime Enforcement of Properties
The paper entitled GREP: Games for the Runtime Enforcement of Properties has been accepted for publication in the proceedings of ICTSS 2017, the 29th IFIP International Conference on Testing Software and Systems. Below is an abstract of the paper: We present GREP, a tool for the runtime enforcement of (timed) properties. GREP takes an execution sequence as […]
Interactive Runtime Verification – when Interactive Debugging Meets Runtime Verification
The paper entitled Interactive Runtime Verification has been accepted for publication in the proceedings of ISSRE 2017, the 28th International Symposium on Software Reliability Engineering (ISSRE) – IEEE. ISSRE will be held in Toulouse (France), October 23-26, 2017. Below is an abstract of the paper: Runtime Verification consists in studying a system at runtime, looking for […]
Verifying Policy Enforcers
Our paper entitled Verifying Policy Enforcers has been accepted for publication in RV 2017, the 17th international conference on Runtime Verification. Below is the abstract of the paper: Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing […]