|
Friday, July 8, 2022
|
|
8:30 – 9:00
|
Registration
|
|
9:00 – 9:20
|
Opening Ceremony (Aula Magna)
|
|
9:25-10:25
|
Keynote 1 (Aula Magna)
SMT Solving: Historical Roots, Recent Developments and Future Directions
Erika Abraham (RWTH Aachen University, Germany)
|
|
10:25-10:40
|
Coffee Break
|
|
10:40- 12:20
|
Session 1 (Aula Magna)
|
|
10:40 – 11:10
|
Extending SYSML with refinement and decomposition mechanisms to generate EVENT-B specifications
Racem Bougacha, Régine Laleau, Simon Collart-Dutilleul and Rahma Ben Ayed
|
|
11:10 – 11:40
|
A Language-based Causal Model for Safety
Marcello Bonsangue
, Georgiana Caltais, Hui Feng and Hünkar Can Tunç
|
|
11:40 – 12:00
|
Optimizing Trans-Compilers in Runtime Verification makes Sense – Sometimes
Hannes Kallwies, Martin Leucker, Meiko Prilop and Malte Schmitz
|
|
12:00 – 12:20
|
Collaborative Verification of Uninterpreted Programs
Yide Du, Weijiang Hong, Zhenbang Chen and Ji Wang
|
|
12:30 – 13:30
|
Lunch (Academic College Restaurant)
|
|
13:40 – 15:20
|
Session 2 (Nicolae Iorga Amphitheater)
|
|
13:40 – 14:10
|
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Kim Guldstrand Larsen, Anders Mariegaard,
Stefan Schmid
and
Jiri Srba
|
|
14:10 – 14:40
|
Dynamic Specification Mining based on Transformer
Ying Gao, Meng Wang and Bin Yu
|
|
14:40 – 15:00
|
Extending process algebra with an undefined action
S. Arun-Kumar
|
|
15:00 – 15:20
|
Security vulnerabilities detection through assertion-based approach
Salim Yahia Kissi, Ameur-Boulifa Rabéa and Yassamine Seladji
|
|
15:20 – 15:35
|
Coffee Break
|
|
15:35 – 17:25
|
Session 3 (Nicolae Iorga Amphitheater)
|
|
15:35 – 16:05
|
Complexity of Distributed Petri Net Synthesis
Raymond Devillers and Ronny Tredup
|
|
16:05 – 16:35
|
The Complexity of Evaluating nfer
Sean Kauffman
and
Martin Zimmermann
|
|
16:35 – 17:05
|
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen and
Jiri Srba
|
|
17:05 – 17:25
|
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification
Nicholas Moore
and
Mark Lawford
|
|
18:30 – 21:00
|
Banquet (DoubleTree by Hilton Hotel Cluj – City Plaza)
|
|
Saturday, July 9, 2022
|
|
9:00 -10:00
|
Keynote 2 (Nicolae Iorga Amphitheater)
Neural Network Discrimination: Evaluation, Mitigation and Certification
Sun Jun (Singapore Management University, Singapore)
|
|
10:00-10:15
|
Coffee Break
|
|
10:15-11:45
|
Session 4 (Nicolae Iorga Amphitheater)
|
|
10:15 – 10:45
|
Repairing Adversarial Texts through Perturbation
Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi and Jin Song Dong
|
|
10:45 – 11:15
|
On Verification of Smart Contracts via Model Checking
Yulong Bao,
Xue-Yang Zhu
, Wenhui Zhang, Wuwei Shen, Pengfei Sun and Yingqi Zhao
|
|
11:15 – 11:45
|
Automatic Classification of Bug Reports Based on Multiple Text Information and Reports’ Intention
Fanqi Meng, Xuesong Wang, Jingdong Wang and Peifang Wang
|
|
11:55- 12:55
|
Lunch (Academic College Restaurant)
|
|
13:00 – 14:00
|
Keynote 3 (Nicolae Iorga Amphitheater)
Practical Theory of Computation on Structures
Klaus-Dieter Schewe
(Zhejiang University, UIUC Institute, China)
|
|
14:00 – 14:10
|
Coffee Break
|
|
14:10 – 15:40
|
Session 5 (Nicolae Iorga Amphitheatre)
|
|
14:10 – 14:40
|
Supporting Algorithm Analysis with Symbolic Execution in Alk
Alexandru-Ioan Lungu and Dorel Lucanu
|
|
14:40 – 15:10
|
Equivalence of Denotational and Operational Semantics for Interaction Languages
Erwan Mahé, Christophe Gaston and Pascale Le Gall
|
|
15:10 – 15:40
|
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
Harald König and
Uwe Wolter
|
|
15:40 -15:55
|
Coffee Break
|
|
15:55 – 17:55
|
Session 6 (Nicolae Iorga Amphitheater)
|
|
15:55 – 16:25
|
Machine-Assisted Proofs for Institutions in Coq
Conor Reynolds and
Rosemary Monahan
|
|
16:25 – 16:55
|
Development of monitoring systems for anomaly detection using ASTD specifications
Chaymae El Jabri, Marc Frappier, Thibaud Ecarot and Pierre-Martin Tardif
|
|
16:55 – 17:25
|
Formal Verification of a Keystore
Jaap Boender and Goran Badevic
|
|
17:25 – 17:55
|
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks
Francesco Parolini
and
Antoine Miné
|
|
18:00 – 19:00
|
Visit of the town
|
|
19:00 – 20:30
|
Dinner (Academic College Restaurant)
|
|
Sunday, July 10, 2022
|
|
9:00-10:00
|
Keynote 4 (Nicolae Iorga Amphitheater)
Rigorous System Design for AI Software
Saddek Bensalem
(University Grenoble Alpes, VERIMAG, Grenoble, France)
|
|
10:00-10:15
|
Coffee Break
|
|
10:15-12:15
|
Session 7 (Nicolae Iorga Amphitheater)
|
|
10:15 – 10:45
|
MSDetector: A Static PHP Webshell Detection System based on Deep-Learning
Bai Jun Cheng, Yan Hui Guo, Yan Ren, Gang Yang and Guo Sheng Xu
|
|
10:45 – 11:15
|
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming
Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang and Zhenbing Zeng
|
|
11:15 – 11:45
|
Dynamic Environment Simulation for Database Performance Evaluation
Chunxi Zhang, Rong Zhang and Kai Liu
|
|
11:45 – 12:15
|
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs
Haitao Zhang and Bowen Pu
|
|
12:20 – 13:20
|
Lunch (Academic College Restaurant)
|
