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 […]
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 […]
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, […]
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 […]
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 […]
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.
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, […]
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 […]