The manuscript entitled Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation has been accepted for publication in Formal Aspects of Computing, a Springer journal. The abstract of the paper is below: This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent components that […]
News
Predictive runtime enforcement
The manuscript entitled Predictive runtime enforcement has been accepted for publication in Formal Methods in System Design, a Springer journal. Abstract: Runtime enforcement (RE) is a technique to ensure that the (untrustworthy) output of a black-box system satisfies some desired properties. In RE, the output of the running system, modeled as a sequence of events, is fed into […]
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.
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 […]
SAC-SVT 2017: list of accepted papers
The following papers were accepted by the SAC-SVT 2017 Programme Committee. Thanks to all PC members and reviewers. Mohamed Amine Aouadhi, Benoît Delahaye and Arnaud Lanoix. Moving from Event-B to Probabilistic Event-B Huu-Vu Nguyen and Tayssir Touili. CARET Model Checking For Pushdown Systems Rudolf Ramler, Thomas Wetzlmaier and Claus Klammer. An Empirical Study on the […]
SPIN 2017: 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 […]
Publicity chair of SPIN 2017
I will be the publicity chair of SPIN 2017, the 24th International Symposium on Model Checking of Software; this year collocated with ISSTA. Checkout the SPIN 2017 Website at http://conf.researchr.org/home/spin-2017
A high-level modeling language for the efficient design, implementation, and testing of Android applications
The paper entitled A high-level modeling language for the efficient design, implementation, and testing of Android applications has been accepted for publication in Software Tools for Technology Transfer, a Springer journal, and is now available for download. Developing mobile applications remains difficult, time consuming, and error prone, in spite of the number of existing platforms and […]