Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Designs with Angelic Nondeterminism. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barry Jay, Jose Vergara |
Growing a Language in Pattern Calculus. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gongzheng Lu, Huaikou Miao |
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Haiyu Pan, Min Zhang 0007, Yixiang Chen |
Bisimulation for Lattice-valued Transition Systems. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Zuo |
Incorporating Constraints to Software System Survivability Specification and Proof. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nan Ye, Xin Chen 0027, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li |
Regression Test Cases Generation Based on Automatic Model Revision. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi |
File Parsing Vulnerability Detection with Symbolic Execution. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Florian Lorber, Stefan Tiran |
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nan Qu |
On model construction for modal mu-calculus. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rui Wang 0024, Min Zhou 0001, Liangze Yin, Lianyi Zhang, Jiaguang Sun 0001, Ming Gu 0001, Marius Bozga |
Modeling and Validation of PLC-Controlled Systems: A Case Study. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yosr Jarraya, Mourad Debbabi |
Formal Specification and Probabilistic Verification of SysML Activity Diagrams. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Wang 0005, Geguang Pu, Jianwen Li, Bin Gu 0006 |
A Type System for SPARDL. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tianyong Wu, Jun Yan 0009, Jian Zhang 0001 |
A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson |
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo 0005, Huibiao Zhu, Huixing Fang, Xin Ye |
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Frédéric Mallet, Miaomiao Zhang |
Formal Specification of Hybrid MARTE Statecharts. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0005, Maolin Tang |
Recognising the Capacities of Dynamic Reconfiguration for the QoS Assurance of Running Systems in Concurrent and Parallel Environments. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wanghu Chen, Jing Li |
Agile Services Oriented Virtualization of Web Services. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Granville Barnett, Shengchao Qin |
Moverness for Locks and Transactions. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic |
Strong Preservation by Model Deformation. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Thiry, Frédéric Fondement, Pierre-Alain Muller |
Categorical Reasoning about Meta-models. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
A Calculus of Higher Order Safe Ambients and Its Bisimulations. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wang 0003, Adrian Rutle, Wendy MacCaull |
A Formal Diagrammatic Approach to Timed Workflow Modelling. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Cristina David |
From Verification to Specification Inference. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay |
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tao Pang, Zhenhua Duan, Cong Tian |
Symbolic Model Checking for Propositional Projection Temporal Logic. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Qing Yao, Yuqing Sun 0001 |
An Approach for Process Variability Control in Business Process Management. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin |
Statement-Coverage Testing for Nondeterministic Concurrent Programs. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Fu, Feng Wang 0039, Xiaoyan Liu, Kaifan Ji, Ping Zou |
Dataflow Weaknesses Analysis of Scientific Workflow Based on Fault Tree. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira |
Executing Model Checking Counterexamples in Simulink. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mark Harman |
Overview of TASE 2012 Talk on Search Based Software Engineering. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Bollig, Normann Decker, Martin Leucker |
Frequency Linear-time Temporal Logic. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Qin Shu, Shuling Wang, Yijing Liu |
Verifying OO Programs by Linking Algebraic and Abstract Specifications. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su |
A Succinct and Efficient Implementation of a 2^32 BDD Package. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ryuta Arisaka, Shengchao Qin |
LBI Cut Elimination Proof with BI-MultiCut. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen |
Dynamic Solution of Linear Constraints for Test Case Generation. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Zongyan Qiu, Hongli Yang (eds.) |
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China |
TASE |
2012 |
DBLP BibTeX RDF |
|
1 | Sun Meng |
Connectors as Designs: The Time Dimension. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João F. Ferreira 0001, Guanhua He, Shengchao Qin |
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jianxin Xue, Huan Long, Guoqiang Li 0001 |
An Improved Full Abstraction Approach to Analyzing Locality Semantics. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Mahadevan Subramaniam |
Model-Based Test Generation Using Evolutional Symbolic Grammar. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Barakat, Stefan Kowalewski, Thomas Noll 0001 |
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Meixian Chen, Jean-François Monin |
Formal Verification of Netlog Protocols. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rodger Burmeister, Steffen Helke |
The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Huixing Fang, Jian Guo 0005, Huibiao Zhu, Jianqi Shi |
Formal Verification and Simulation: Co-verification for Subway Control Systems. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Qian Li 0003, Péter Schaffer, Jun Pang 0001, Sjouke Mauw |
Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shengchao Qin, Aziem Chawdhary, Wei Xiong 0007, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
Towards an Axiomatic Verification System for JavaScript. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bo Wei, Zhi Jin, Didar Zowghi |
An Automatic Reasoning Mechanism for NFR Goal Models. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu |
Analysis of WS-BPEL Processes in PRISM. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
QoS, WS-BPEL, Probabilistic Model-Checking, PRISM |
1 | Zhenhua Duan, C.-H. Luke Ong (eds.) |
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 |
TASE |
2011 |
DBLP BibTeX RDF |
|
1 | Hui Kong 0004, Hehua Zhang, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001 |
Proving Computational Geometry Algorithms in TLA+2. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant |
1 | Haiyu Pan, Min Zhang 0007, Yixiang Chen, Hengyang Wu |
Approximate Bisimulation for Metric Doubly Labeled Transition System. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhao 0011, Xiaoqing Jin, Gianfranco Ciardo |
A Symbolic Algorithm for Shortest EG Witness Generation. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Witness generation, Model checking, Decision diagrams |
1 | Haibin Zhang |
Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
multirate hybrid automata, timed computation tree logic, model checking, hybrid systems |
1 | Yijing Liu, Ali Hong, Zongyan Qiu |
Inheritance and Modularity in Specification and Verification of OO Programs. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Verification, Object Orientation, Specification, Abstraction, Modularity, Separation Logic |
1 | Cong Tian, Zhenhua Duan |
Focus Game for Projection Temporal Logic. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li 0002, Huibiao Zhu, Jianqi Shi |
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo |
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhaopeng Li, Yang Zhang, Yiyun Chen |
A Method to Generate Verification Condition Generator. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Action Function, Program Verification, Hoare Logic, Verification Condition |
1 | Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
A Categorical Modeling Approach of Aspect-Oriented Systems. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Algebraic Specification, Category Theory, Aspect-Oriented Modeling, Modular Reasoning |
1 | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
An Approach to Regression Test Selection of Adaptive EFSM Tests. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Gao, Ying Jiang |
Model Checking: A Coalgebraic Approach. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John C. Reynolds |
Making Program Logics Intelligible. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Lau, Uwe Nestmann |
Java Goes TLA+. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
Undesirable Aspect Interactions: A Prevention Policy. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yi Wang, Zhoujun Li, Tao Guo |
Program Slicing Stored XSS Bugs in Web Application. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Carle, Christine Choppy, Romain Kervarc |
Behaviour Recognition Using Chronicles. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
chronicle recognition modelling, distributed simulation processing, coloured Petri nets |
1 | Wenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang |
Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Romeikat, Bernhard Bauer |
Formal Specification of Domain-Specific ECA Policy Models. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
formal specification, model-driven engineering, policy-based management |
1 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu |
An Approach to Handling Failure Recovery in Service Composition and Its Analysis. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Petri nets, service composition, aspect orientation, Failure recovery |
1 | Haihe Shi, Jinyun Xue |
A Generative Approach to Searching Algorithmic Programs Development. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
generative techniques, PAR method, generic domain component, searching algorithm |
1 | Yunni Xia, Gang Dai, Fangfang Tang, Qingsheng Zhu |
A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lichen Zhang |
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP |
1 | Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu 0001 |
Modeling and Analyzing the (mu)TESLA Protocol Using CSP. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja |
Test Case Generation Using PDA. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Test generation, dynamic testing, static testing |
1 | Si Liu 0001, Yongxin Zhao, Huibiao Zhu, Qin Li 0002 |
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja |
A Tagging Protocol for Asynchronous Testing. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Synchronous testing, asynchronous testing, queue context, tagging protocol |
1 | Shengbo Chen, Huaikou Miao |
Modeling and Verifying for Frameset-Based Web Applications. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Web Frameset, Model Checking, Web Applications, FSM |
1 | Ming Ma |
Model Checking for Protocols Using Verds. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Verds, model checking, protocol verification |
1 | Ling Yin, Jing Liu 0012, Zuohua Ding |
Modeling and Prototyping Business Processes in AutoPA. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
AutoPA, Prototyping, Validation |
1 | Shaoying Liu |
Automatic Specification-Based Testing: Challenges and Possibilities. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Automatic testing, model-based testing, functional testing, Specification-based testing, black-box testing |
1 | Honghao Gao, Huaikou Miao, Hongwei Zeng |
Research on Web Service Composition Using Probabilistic Abstraction Refinement. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Steffen Helke |
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Longfei Zhu, Min Zhang 0002, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhou 0001, Fei He 0001, Ming Gu 0001 |
An Efficient Resolution Based Algorithm for SAT. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Li 0001, Yonggen Gu, Xiuting Tao, Jie Tao |
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
exchange protocols, game theory, fairness, game tree |
1 | Hung Ledang, Hubert Dubois |
Proving Model Transformations. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raghava Rao Mukkamala, Thomas T. Hildebrandt |
From Dynamic Condition Response Structures to Büchi Automata. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yongxin Zhao, Zheng Wang 0005, Geguang Pu, Huibiao Zhu |
A Formal Model for Service Choreography with Exception Handling and Finalization. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu |
Probabilistic Model of System Survivability. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fei He 0001, He Zhu 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 |
Compositional Abstraction Refinement for Timed Systems. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan |
A Certifying Compiler for Clike Subset of C Language. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laïd Kahloul, Allaoua Chaoui, Karim Djouani |
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hai Wan, Xiaoyu Song, Ming Gu 0001 |
Parameterized Specification and Verification of PLC Systems in Coq. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen |
Towards Practical Modeling of Web Applications and Generating Tests. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxiao Yang, Zhenhua Duan |
Axiomatic Temporal Logic Programs Verification. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jianjun Xu, Qingping Tan, Wanwei Liu |
Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental Invariant Generation for Compositional Design. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chen-Wei Wang, Jim Davies, James Welch |
A Guarded Workflow Language and Its Formal Semantics. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|