News

Call for papers: SAC-SVT 2023

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

Read More

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

Read More

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

Read More

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

Read More

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

Read More