- Acest eveniment a trecut.
Conferința „The 16th International Symposium on Theoretical Aspects of Software Engineering”, organizată la UBB
08-07-2022, 8:00 am - 11-07-2022, 11:00 pm
Navigare în Eveniment
Facultatea de Matematică și Informatică a Universității Babeș-Bolyai din Cluj-Napoca (UBB) organizează, în perioada 8 – 10 iullie 2022, conferința „The 16th International Symposium on Theoretical Aspects of Software Engineering”.
Evenimentul se va desfășura după următorul program:
|
TASE 2022 PROGRAM |
|
|
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 |
| 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 |
| 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 |
| 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) |
Pentru mai multe informații despre acest eveniment vă invităm să accesați site-ul conferinței https://www.cs.ubbcluj.ro/tase2022/.
