Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zhiwu Xu 0001, Xiongya Hu, Yida Tao, Shengchao Qin |
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chenyi Zhang, Jun Pang 0001 |
Characterising Probabilistic Alternating Simulation for Concurrent Games. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yu Zhang, Xiaohong Li 0001 |
The Scheme of Security Requirement Acquisition Based on Knowledge Graph. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shiraj Arora, M. V. Panduranga Rao |
The Bouquet Algorithm for Model Checking Unbounded Until Properties. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kai Zhang, Yongtai Zhang, Liwei Zhang, Hongyu Gao, Rongjie Yan, Jun Yan 0009 |
Neuron Activation Frequency Based Test Case Prioritization. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gaigai Tang, Lianxiao Meng, Huiqiang Wang, Shuangyin Ren, Qiang Wang 0020, Lin Yang, Weipeng Cao |
A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Husák, Filip Zavoral, Jan Kofron |
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du |
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li Hao, Jianqi Shi, Ting Su 0001, Yanhong Huang |
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen |
A Logical Approach for the Schedulability Analysis of CCSL. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Méry, Shengchao Qin (eds.) |
2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019 |
TASE |
2019 |
DBLP BibTeX RDF |
|
1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuhan Nie, Zhiping Shi 0002, Aixuan Wu, Ximeng Li 0003, Guohui Wang, Yong Guan |
A HOL Theory of the Differential for Matrix Functions. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda |
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zuxi Chen, Huixing Fang, Xiangyu Luo |
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz 0001, Volker Stolz, Daniel Thoma |
Non-Intrusive MC/DC Measurement Based on Traces. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bingqing Xu, Qin Li 0002, Tong Guo, Yi Ao, Dehui Du |
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang |
Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
A Denotational Semantics for Dynamic Architectures. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André |
Formalizing Time4sys using parametric timed automata. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xinhua Zhu, Qingting Xu, Lanfang Zhang, Han Deng, Hongchao Chen |
A Common Semantic Scoring Method for Chinese Subjective Questions. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Siteng Cao, Yongxin Zhao, Ling Shi |
Software Complexity Reduction by Automated Refactoring Schema. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lihui Tang, Lulu Wang 0001, Bixin Li |
Identify Blackboard Pattern Based on Ontology. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Abderrahmane Feliachi, Julien Ordioni |
Certified Embedding of B Models in an Integrated Verification Framework. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yucheng Fang, Huibiao Zhu, Jiaqi Yin |
Verifying Opacity of a Modified PSTM. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiyue Zhang, Yi Li 0010, Weijiang Hong, Meng Sun 0002 |
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gaojian Hao, Feng Li, Wei Huo, Qing Sun 0011, Wei Wang, Xinhua Li, Wei Zou |
Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing Tools. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yufei Zhao, Longtao He, Zhoujun Li 0001, Liqun Yang, Hao Dong, Chao Li, Yu Wang |
Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in China. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dehui Du, Yao Wang, Yi Ao, Biao Chen |
An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ping Wang, Jiwei Yan, Xi Deng, Jun Yan 0009, Jian Zhang 0001 |
Understanding Ineffective Events and Reducing Test Sequences for Android Applications. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan 0009 |
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohong Chen 0007, Xi Wu, Mengyao Zhao, Haiying Sun |
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zuxing Gu, Min Zhou 0001, Jiecheng Wu, Yu Jiang 0001, Jiaxiang Liu 0001, Ming Gu 0001 |
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yilin Xu, Weimin Ge, Xiaohong Li 0001, Zhiyong Feng 0002, Xiaofei Xie, Yude Bai |
A Co-Occurrence Recommendation Model of Software Security Requirement. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yu Zhang 0086, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie |
Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum Superposition. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Xu, Xi Wu 0005, Huibiao Zhu, Miroslav Popovic |
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0010, Meng Sun 0002 |
Distributed Mediator. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhiwu Xu 0001, Kerong Ren, Fu Song |
Android Malware Family Classification and Characterization Using CFG and DFG. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Gardy |
Low complexity and large interactions are possible in Strategy logic. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junxiu Liu, Zhewei Liang, Yuling Luo, Jiadong Huang, Su Yang |
Hardware Tripartite Synapse Architecture based on Stochastic Computing. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Baijun Wu |
Efficient Counter-factual Type Error Debugging. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arpit Sharma 0002 |
Stuttering for Markov Automata. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jim J. Longstaff, Mengda He |
ABAC Requirements Engineering for Database Applications. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
Verifying Graph Transformations with Guarded Logics. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Qin Ma 0002, Pierre Kelsen |
Decomposing Models Through Dependency Graphs. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Winter, Graeme Smith 0001, John Derrick |
Observational Models for Linearizability Checking on Weak Memory Models. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki |
Formalization and Verification of AUTOSAR OS Standard's Memory Protection. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie |
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Machigashira, Akio Nakata |
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xue-Yang Zhu |
Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chunhua Yang 0004, E. James Whitehead Jr. |
A Taxonomy of Code Changes Occurring within a Statement or a Signature. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Martina Olliaro |
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Niannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang 0086, Mingsong Zhou, Chengcheng Lv |
RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Feng Wang, Fu Song, Min Zhang 0002, Xiaoran Zhu, Jun Zhang |
KRust: A Formal Executable Semantics of Rust. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Reza Mousavi 0001, Mahsa Varshosaz |
Telling Lies in Process Algebra. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Yu, Jianmin Jiang, Zhong Hong |
Decomposition and Composition of Sequence Diagrams. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Fei, Huibiao Zhu, Xin Li |
Modeling and Verification of NLSR Protocol using UPPAAL. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001, Chenyi Zhang, Jifeng He 0001, Jian Weng 0001 (eds.) |
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 |
TASE |
2018 |
DBLP BibTeX RDF |
|
1 | Vlad Rusu, Gilles Grimaud, Michaël Hauspie |
Proving Partial-Correctness and Invariance Properties of Transition-System Models. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Jeffery, Martin Berger 0001 |
Asynchronous Sessions with Implicit Functions and Messages. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
On Syntactic and Semantic Dependencies in Service-Oriented Architectures. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Semantics of Real-Time Trigger-Response Properties in Event-B. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Wenjun Du, Zhengfeng Yang, Huibiao Zhu |
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mengda He, Shengchao Qin, João F. Ferreira 0001 |
Towards a Program Logic for C11 Release-Sequences. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Beohar, Barbara König 0001, Sebastian Küpper, Alexandra Silva 0001 |
Conditional transition systems with upgrades. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shichao Liu, Ying Jiang |
Modeling and reasoning about wireless networks: A graph-based calculus approach. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bingqing Xu, Qin Li 0002 |
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |
Optimizing backbone filtering. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Liu, Tingting Hu, Zongyan Qiu |
Automatic fine-grained locking generation for shared data structures. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ning Ge 0002, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur |
Formal development process of safety-critical embedded human machine interface systems. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Deng, Yuan Feng 0001 |
Bisimulations for probabilistic linear lambda calculi. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ning Ge 0002, Marc Pantel, Silvano Dal-Zilio |
Formal verification of user-level real-time property patterns. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Mallet, Min Zhang 0002, Eric Madelaine (eds.) |
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017 |
TASE |
2017 |
DBLP BibTeX RDF |
|
1 | Juliana Bowles, Marco B. Caminati, Suhyun Cha |
An integrated framework for verifying multiple care pathways. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
SCADE 6: A formal language for embedded critical software development (invited paper). |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki |
Assembly program verification for multiprocessors with relaxed memory model using SMT solver. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa |
Formal specification of security guidelines for program certification. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, Shengchao Qin |
Time-sensitive information flow control in timed event-B. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
On the semantics of temporal specifications of component-behavior for dynamic architectures. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tian-Ming Bu, Hengyang Wu, Yixiang Chen |
Computing behavioural distance for fuzzy transition systems. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Vasileios Koutavas |
A safety and liveness theory for total reversibility. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jian Liu, Ying Jiang, Yanyun Chen |
VMDV: A 3D visualization tool for modeling, demonstration, and verification. |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Formal methods for software testing (invited paper). |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alimujiang Yasen, Kazunori Ueda |
Hypergraph Representation of Lambda-Terms. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shichao Liu, Ying Jiang |
Value-Passing CCS for Trees: A Theory for Concurrent Systems. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier |
Cost-Utility Analysis in Probabilistic Models. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin |
Automatic Conversion and Verification System Based on AADL Scheduling Model. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio |
A Suspension-Trace Semantics for CSP. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar 0004 |
From Traces to Proofs: Proving Concurrent Programs Safe. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
Verifying OSEK/VDX OS Design Using Its Formal Specification. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Morteza Mohaqeqi, Mohammad Reza Mousavi 0001 |
Sound Test-Suites for Cyber-Physical Systems. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Gammaitoni, Pierre Kelsen, Qin Ma 0002 |
Agile Validation of Higher Order Transformations Using F-Alloy. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Weiguang Wang, Hao Sun, Qingkai Zeng 0002 |
SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae |
A Term Rewriting Approach to Analyze High Level Petri Nets. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li, Guang Zhu, Yong Feng |
The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa |
Termination and Boundedness for Well-Structured Pushdown Systems. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0010, Meng Sun 0002, Yiwu Wang |
Active Learning from Blackbox to Timed Connectors. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|