Încarc Evenimente
  • Acest eveniment a trecut.

Conferința „The 16th International Symposium on Theoretical Aspects of Software Engineering”, organizată la UBB

8 iulie, 8:00 am - 11 iulie, 11:00 pm

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

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)

 

 Pentru mai multe informații despre acest eveniment vă invităm să accesați site-ul conferinței https://www.cs.ubbcluj.ro/tase2022/.

 

Detalii

Începe:
8 iulie, 8:00 am
Se termină:
11 iulie, 11:00 pm
Eveniment Categories:
,