Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Wenjing Chu, Shuo Chen 0010, Marcello M. Bonsangue, Zenglin Shi |
Approximately Learning Quantum Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 268-285, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa |
Stepwise Development of Paraconsistent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 327-343, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke |
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 164-182, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 146-163, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 38-58, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lara Bargmann, Heike Wehrheim |
View-Based Axiomatic Reasoning for PSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 286-304, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anton Hampus, Mattias Nyberg |
Verifying Refinement of Probabilistic Contracts Using Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 95-113, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Santos, Daniel Figueiredo 0001, Alexandre Madeira |
idDL2DL - Interval Syntax to dℒ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 240-247, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 59-76, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kenny Ballou, Elena Sherman |
Identifying Minimal Changes in the Zone Abstract Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 221-239, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 183-201, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 202-220, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Rizwan Ali, Violet Ka I Pun |
A Static Analyser for Resource Sensitive Workflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 305-312, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![Springer, 978-3-031-35256-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 248-267, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Lidström, Dilian Gurov |
Contract Based Embedded Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 77-94, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Carolyn L. Talcott |
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 1-19, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Darius Foo, Andreea Costea, Wei-Ngan Chin |
Protocol Conformance with Choreographic PlusCal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 126-145, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja |
Asynchronous Test Equivalence over Timed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 114-125, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 344-363, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Siyu Liu, Yuting Wang 0001 |
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 20-37, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 313-326, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
Equivalence of Denotational and Operational Semantics for Interaction Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 113-130, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 256-273, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Conor Reynolds, Rosemary Monahan |
Machine-Assisted Proofs for Institutions in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 180-196, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 363-380, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 131-147, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang 0001 |
Collaborative Verification of Uninterpreted Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 148-154, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 29-48, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 65-72, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jaap Boender, Goran Badevic |
Formal Verification of a Keystore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 49-64, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 326-343, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Harald König, Uwe Wolter |
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 308-325, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lungu Alexandru-Ioan, Dorel Lucanu |
Supporting Algorithm Analysis with Symbolic Execution in Alk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 406-423, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç |
A Language-Based Causal Model for Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 290-307, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chunxi Zhang, Rong Zhang, Kai Liu |
Dynamic Environment Simulation for Database Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 238-255, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe |
Practical Theory of Computation on Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 1-14, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ying Gao, Meng Wang, Bin Yu 0008 |
Dynamic Specification Mining Based on Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 220-237, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parolini, Antoine Miné |
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 73-91, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Ronny Tredup |
Complexity of Distributed Petri Net Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 15-28, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz 0001 |
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 197-204, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 92-112, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji |
Security Vulnerabilities Detection Through Assertion-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 381-387, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 155-172, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 344-362, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![Springer, 978-3-031-10362-9 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sean Kauffman, Martin Zimmermann 0002 |
The Complexity of Evaluating Nfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 388-405, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Haitao Zhang, Bowen Pu |
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 205-219, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | S. Arun-Kumar |
Extending Process Algebra with an Undefined Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 173-179, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, pp. 274-289, 2022, Springer, 978-3-031-10362-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 71-78, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hai Jin 0001 |
Research and Practice of Container System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 13-14, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 135-142, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 63-70, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ningning Chen, Huibiao Zhu, Huixing Fang |
A Proof System for HRML with Extended Hoare Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 31-38, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wang 0017, Ridha Khédri, Weikai Miao |
A Formal Engineering Approach to Product Family Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 87-94, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Qunhao Sha, Qizhe Yang, Guoqiang Li 0001 |
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 103-110, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 55-62, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 159-166, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kokichi Futatsugi |
Advances of Proof Scores in CafeOBJ : Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 3-12, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang 0001 |
An Abstract Domain to Infer Linear Absolute Value Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 47-54, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu |
Formal Modelling and Verification of the RTPS Behavior Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 127-134, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 119-126, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 175-182, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 199-206, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wei Chen 0094 |
Behind Clint and Hoare's goto Proof Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 23-30, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Program Verification: a 70+- Year History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 1-2, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wei Chen 0094 |
A wp Characterization of Jump Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 15-22, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 79-86, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE, 978-1-6654-4163-6 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sanjana Singh, Divyanjali Sharma, Subodh Sharma 0001 |
Dynamic Verification of C11 Concurrency over Multi Copy Atomics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 39-46, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lei Liang, Si Liu |
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 111-118, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao |
Encoding Induction Proof in Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 95-102, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 183-190, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 151-158, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
Featured Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 167-174, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 191-198, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 143-150, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 193-200, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 49-56, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 17-24, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mengmeng Jiang, Xiaohong Li 0001, Xiaofei Xie, Yao Zhang |
An Empirical Study in Software Verification Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 201-208, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang |
A Novel Data-Driven Approach for Generating Verified Loop Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 9-16, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Ishii, Saito Fujii |
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 105-112, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohong Chen 0007, Frédéric Mallet, Xiaoshan Liu |
Formally Verifying Sequence Diagrams for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 217-224, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 209-216, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zuohua Ding, Qingfen Zhang, Mingyue Jiang |
Metamorphic Testing of Code Search Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 177-184, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 65-72, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 89-96, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 33-40, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 97-104, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 73-80, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 25-32, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wanling Xie, Huibiao Zhu, Shengchao Qin |
An Axiomatic Approach to BigrTiMo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 41-48, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![IEEE, 978-1-7281-4086-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu |
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 185-192, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chenghao Cai, Jing Sun 0002, Gillian Dobbie |
Measuring the Quality of B Abstract Machines with ISO/IEC 25010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 169-176, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wenjing Chu, Marcello M. Bonsangue |
Learning Probabilistic Languages by k-Testable Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 129-136, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 161-168, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 137-144, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|