38th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Tallinn, Estonia March 27-31, 2023 SAC 2023 website: https://www.sigapp.org/sac/sac2023/ SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 ==== Important dates ==== Oct. 1, 2022 – Submission of regular papers and SRC research abstracts Nov. 19, 2022 – Notification Dec. 6, 2022 – Camera-ready version Dec. 6, 2022 […]
News
Decentralised Runtime Verification of Timed Regular Expressions
Our paper Decentralised Runtime Verification of Timed Regular Expressions has been accepted for publication in TIME 2022, the 29th International Symposium on Temporal Representation and Reasoning. The abstract of the paper is below: Ensuring the correctness of distributed cyber-physical systems at runtime requires monitoring properties over their behaviour. In a decentralised setting, such behaviour consists of […]
Runtime Enforcement for IEC 61499 Applications
Our paper Runtime Enforcement for IEC 61499 Applications has been accepted for publication in the proceedings of SEFM 2022, the 20th International Conference on Software Engineering and Formal Methods. The abstract is below: Industrial automation is a complex process involving various stakeholders. The international standard IEC 61499 helps to specify distributed automation using a generic architectural model, […]
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks
Our paper DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks has been accepted for publication in AITest 2022, the 4th international conference on Artificial Intelligence Testing. The abstract of our paper is below: Deep learning systems recently achieved unprecedented success in various industries. However, DNNs still exhibit some erroneous behaviors, which lead […]
Bounded-Memory Runtime Enforcement
Our paper Bounded-Memory Runtime Enforcement has been accepted for publication in SPIN 2022, the 28th International Symposium on Model Checking of Software. The abstract of the paper is below: Runtime Enforcement (RE) is a monitoring technique to ensure that a system obeys a set of formal requirements (properties). RE employs an enforcer (a safety wrapper […]
Capturing Program Models with BISM
Our paper Capturing Program Models with BISM has been accepted for publication in the Software Verification and Testing Track of the The 37th ACM Symposium on Applied Computing (SAC 2022). This is joint work with Chukri Soueiidi.
Probabilistic Model Checking of BPMN Processes at Runtime
Our paper Probabilistic Model Checking of BPMN Processes at Runtime has been accepted for publication in the proceedings of the 17th International Conference on integrated Formal Methods 7-10 June 2022, Lugano, Switzerland. Business Process Model and Notation (BPMN) is a standard business process modelling language that allows users to describe a set of structured tasks, […]
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Our paper From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes, which is an invited paper to WRLA 2022 @ ETAPS, should be public soon. Gwen Salaun is the invited author. The abstract of the paper is below: Business process optimisation is a strategic activity in organisations because of its potential to […]
In the Program Committee of VECoS
I am in the program committee of VECoS 2022. http://vecos-world.org/2022/ Please consider submitting.
In the program committee of NFM 2022
I am appointed to the program committee of NFM 2022, NASA Formal Methods 2022. https://nfm2022.caltech.edu/