TASE

Keyphrases

Publications

2023

Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE (2023)
Shengyang Yao, Qin Li
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. TASE (2023)
Jaime Santos, Daniel Figueiredo, Alexandre Madeira
idDL2DL - Interval Syntax to dℒ. TASE (2023)
Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi
Approximately Learning Quantum Automata. TASE (2023)
Yulin Wu, Zhiwu Xu, Shengchao Qin
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE (2023)
Darius Foo, Andreea Costea, Wei-Ngan Chin
Protocol Conformance with Choreographic PlusCal. TASE (2023)
Muhammad Rizwan Ali, Violet Ka I Pun
A Static Analyser for Resource Sensitive Workflow Models. TASE (2023)
Anton Hampus, Mattias Nyberg
Verifying Refinement of Probabilistic Contracts Using Timed Automata. TASE (2023)
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE (2023)
Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
Verifying Chips Design at RTL Level. TASE (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE (2023)
Puneet Bhateja
Asynchronous Test Equivalence over Timed Processes. TASE (2023)
Siyu Liu, Yuting Wang
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. TASE (2023)
Kenny Ballou, Elena Sherman
Identifying Minimal Changes in the Zone Abstract Domain. TASE (2023)
Vivek Nigam, Carolyn L. Talcott
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE (2023)
Christian Lidström, Dilian Gurov
Contract Based Embedded Software Design. TASE (2023)
Chenyang Zhu, Jinyu Zhu, Yujie Cai, Fang Wang
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. TASE (2023)
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa
Stepwise Development of Paraconsistent Processes. TASE (2023)
Lara Bargmann, Heike Wehrheim
View-Based Axiomatic Reasoning for PSO. TASE (2023)
Fangting Liao, Shun Long, Weiheng Zhu, Wenzhu Chen, Silei Cao, Xinyi Guan
MTCD: An Efficient Cloning Detection Technique Based on Method Table. TASE (2023)
Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. TASE (2023)

volume 13931, 2023

Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings TASE 13931 (2023)

2022

volume 13299, 2022

Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings TASE 13299 (2022)