| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wenjing Chu, Shuo Chen 0010, Marcello M. Bonsangue, Zenglin Shi |
Approximately Learning Quantum Automata.  |
TASE  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa |
Stepwise Development of Paraconsistent Processes. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke |
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wu Wang, Nan Zhang 0001, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu |
Verifying Chips Design at RTL Level. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Du, Peiyang Li, Lian Song, W. K. Chan 0001, Bo Jiang 0001 |
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lara Bargmann, Heike Wehrheim |
View-Based Axiomatic Reasoning for PSO. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Hampus, Mattias Nyberg |
Verifying Refinement of Probabilistic Contracts Using Timed Automata. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Santos, Daniel Figueiredo 0001, Alexandre Madeira |
idDL2DL - Interval Syntax to dℒ. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyang Zhu 0001, Jinyu Zhu, Yujie Cai, Fang Wang 0010 |
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenny Ballou, Elena Sherman |
Identifying Minimal Changes in the Zone Abstract Domain. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyang Yao, Qin Li 0002 |
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiaowen Jia, Yi Lv, Peng Wu 0002, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang 0069 |
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Rizwan Ali, Violet Ka I Pun |
A Static Analyser for Resource Sensitive Workflow Models. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina David, Meng Sun 0002 (eds.) |
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang 0001, Wenjing Yang 0002, Bai Xue 0001 |
Safety Verification for Neural Networks Based on Set-Boundary Analysis. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Lidström, Dilian Gurov |
Contract Based Embedded Software Design. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Carolyn L. Talcott |
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Darius Foo, Andreea Costea, Wei-Ngan Chin |
Protocol Conformance with Choreographic PlusCal. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Bhateja |
Asynchronous Test Equivalence over Timed Processes. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulin Wu, Zhiwu Xu 0001, Shengchao Qin |
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Siyu Liu, Yuting Wang 0001 |
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangting Liao, Shun Long, Weiheng Zhu, Wenzhu Chen, Silei Cao, Xinyi Guan |
MTCD: An Efficient Cloning Detection Technique Based on Method Table. |
TASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
Equivalence of Denotational and Operational Semantics for Interaction Languages. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Conor Reynolds, Rosemary Monahan |
Machine-Assisted Proofs for Institutions in Coq. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fanqi Meng, Xuesong Wang, Jingdong Wang 0002, Peifang Wang |
Automatic Classification of Bug Reports Based on Multiple Text Information and Reports' Intention. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang 0001 |
Collaborative Verification of Uninterpreted Programs. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoliang Dong, Jingyi Wang 0004, Jun Sun 0001, Sudipta Chattopadhyay 0001, Xinyu Wang 0001, Ting Dai, Jie Shi, Jin Song Dong |
Repairing Adversarial Texts Through Perturbation. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Moore, Mark Lawford |
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Boender, Goran Badevic |
Formal Verification of a Keystore. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng |
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald König, Uwe Wolter |
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lungu Alexandru-Ioan, Dorel Lucanu |
Supporting Algorithm Analysis with Symbolic Execution in Alk. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç |
A Language-Based Causal Model for Safety. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunxi Zhang, Rong Zhang, Kai Liu |
Dynamic Environment Simulation for Database Performance Evaluation. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe |
Practical Theory of Computation on Structures. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Gao, Meng Wang, Bin Yu 0008 |
Dynamic Specification Mining Based on Transformer. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Parolini, Antoine Miné |
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Ronny Tredup |
Complexity of Distributed Petri Net Synthesis. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz 0001 |
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao |
On Verification of Smart Contracts via Model Checking. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji |
Security Vulnerabilities Detection Through Assertion-Based Approach. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Baijun Cheng, Yanhui Guo, Yan Ren, Gang Yang, Guosheng Xu 0001 |
MSDetector: A Static PHP Webshell Detection System Based on Deep-Learning. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid 0001, Jirí Srba |
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Florin Craciun (eds.) |
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kauffman, Martin Zimmermann 0002 |
The Complexity of Evaluating Nfer. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Zhang, Bowen Pu |
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Arun-Kumar |
Extending Process Algebra with an Undefined Action. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif |
Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianzhu Zhao, Jing Liu 0012, Xiang Chen, Tengfei Li 0002, Junfeng Sun, Lipeng Zhang |
Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Jin 0001 |
Research and Practice of Container System. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhui Zhang, Xue-Yang Zhu, Yulong Bao |
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingwen Lin, Yao Zhang, Sen Chen 0001, Fu Song, Xiaofei Xie, Xiaohong Li 0001, Lintan Sun |
Inferring Loop Invariants for Multi-Path Loops. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Chen, Huibiao Zhu, Huixing Fang |
A Proof System for HRML with Extended Hoare Logic. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wang 0017, Ridha Khédri, Weikai Miao |
A Formal Engineering Approach to Product Family Modeling. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qunhao Sha, Qizhe Yang, Guoqiang Li 0001 |
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianqian Zhang, Yao Zhang, Xiao-Hong Li 0001, Bin Wu 0002 |
Discovering Properties about Arrays via Path Dependence Analysis. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Leifeng He, Guanjun Liu |
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kokichi Futatsugi |
Advances of Proof Scores in CafeOBJ : Invited Paper. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang 0001 |
An Abstract Domain to Infer Linear Absolute Value Equalities. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu |
Formal Modelling and Verification of the RTPS Behavior Module. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinghui Lyu, Yude Bai, Zhenchang Xing, Xiaohong Li 0001, Weimin Ge |
A Character-Level Convolutional Neural Network for Predicting Exploitability of Vulnerability. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Manisha Jain, Leandro Gomes 0001, Alexandre Madeira, Luís Soares Barbosa |
Towards a specification theory for fuzzy modal logic. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiajia Yang, Xiaohong Chen 0007, Ling Yin |
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0094 |
Behind Clint and Hoare's goto Proof Rule. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Program Verification: a 70+- Year History. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0094 |
A wp Characterization of Jump Statements. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti 0001, Madiel Conserva Filho, Menghan Zhang |
Transforming RoboSim Models into UPPAAL. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | |
International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021 |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjana Singh, Divyanjali Sharma, Subodh Sharma 0001 |
Dynamic Verification of C11 Concurrency over Multi Copy Atomics. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Liang, Si Liu |
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao |
Encoding Induction Proof in Dafny. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu |
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin |
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay |
Featured Games. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiling Feng, Xiaohong Chen 0007, Qin Li 0002, Yongxin Zhao |
RE2B: Enhancing Correctness of Both Requirements and Design Models. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea, Thai Son Hoang |
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. |
TASE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda |
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
Real-time MTL with durations as SMT with applications to schedulability analysis. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiming Guo, Xin Chen 0032, Dongjin Yu |
Defect Report Severity Prediction Based on Genetic Algorithms and Convolutional Neural Network. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengmeng Jiang, Xiaohong Li 0001, Xiaofei Xie, Yao Zhang |
An Empirical Study in Software Verification Tools. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang |
A Novel Data-Driven Approach for Generating Verified Loop Invariants. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Ishii, Saito Fujii |
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaohong Chen 0007, Frédéric Mallet, Xiaoshan Liu |
Formally Verifying Sequence Diagrams for Safety Critical Systems. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenglin Xu, Peidai Xie, Yongjun Wang |
AT-ROP: Using static analysis and binary patch technology to defend against ROP attacks based on return instruction. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Qingfen Zhang, Mingyue Jiang |
Metamorphic Testing of Code Search Engines. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yao Li 0011, Wenbing Tang 0001, Bochen Chen, Zuohua Ding |
Tracking a Ground Moving Target with UAV Based on Interval Type-2 Fuzzy Logic. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao |
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Yang, Zhou Chen, Yiqing Feng, Zhifang Liao, Zhigang Hu, Jun Long |
WLeidenRDF: RDF Data Query Method based on Semantic-Enhanced Graph-Clustering Algorithm. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianlin Wang, Chao Peng 0004, Zhenbing Zeng |
A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyuan Wu, Aijuan Qian, Xiaoju Dong, Yanling Zhang |
Feature-oriented Design of Visual Analytics System for Interpretable Deep Learning based Intrusion Detection. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Feifei Xu, Guanqun Ding, Wenkai Zhang, Shanlin Zhou |
RKC-H: A Rich Knowledge Based Model for Multi-turn Dialogue Generation. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanling Xie, Huibiao Zhu, Shengchao Qin |
An Axiomatic Approach to BigrTiMo. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiaki Aoki, Qin Li (eds.) |
International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020 |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyan Mu |
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenghao Cai, Jing Sun 0002, Gillian Dobbie |
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Chu, Marcello M. Bonsangue |
Learning Probabilistic Languages by k-Testable Machines. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Guang Mao, Hao Wang, Gao-Jie Han, Xiaofang Zhang |
Droidlens: Robust and Fine-Grained Detection for Android Code Smells. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Yang, Li Wang, Zhigang Hu, Yanwen Wang, Jun Long |
Automatic Tagging for Open Source Software by Utilizing Package Dependency Information. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license