| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Cong Tian, Zhenhua Duan |
Focus Game for Projection Temporal Logic. |
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 | 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 | John C. Reynolds |
Making Program Logics Intelligible. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Honghao Gao, Huaikou Miao, Hongwei Zeng |
Research on Web Service Composition Using Probabilistic Abstraction Refinement. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 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 | Guoqiang Li, 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 | Yang Zhao, 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 | 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 | 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 | Bo Wei, Zhi Jin, Didar Zowghi |
An Automatic Reasoning Mechanism for NFR Goal Models. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianhua Gao, Ying Jiang |
Model Checking: A Coalgebraic Approach. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi |
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
Proving Computational Geometry Algorithms in TLA+2. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant |
| 1 | Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu |
Modeling and Analyzing the (mu)TESLA Protocol Using CSP. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Ma |
Model Checking for Protocols Using Verds. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Verds, model checking, protocol verification |
| 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 | Graeme Smith, Steffen Helke |
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. |
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 | Puneet Bhateja |
Test Case Generation Using PDA. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Test generation, dynamic testing, static testing |
| 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 | 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 | Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li |
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Lau, Uwe Nestmann |
Java Goes TLA+. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu |
Approximate Bisimulation for Metric Doubly Labeled Transition System. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhou, Fei He, Ming Gu |
An Efficient Resolution Based Algorithm for SAT. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 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 | Ling Yin, Jing Liu, Zuohua Ding |
Modeling and Prototyping Business Processes in AutoPA. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
AutoPA, Prototyping, Validation |
| 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 | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
Towards an Axiomatic Verification System for JavaScript. |
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 | 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 | 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 | 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 | Hai Wan, Xiaoyu Song, Ming Gu |
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 | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental Invariant Generation for Compositional Design. |
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 | Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang (eds.) |
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 |
TASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chen-Wei Wang, Jim Davies, James Welch |
A Guarded Workflow Language and Its Formal Semantics. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu |
Runtime Verification with Multi-valued Formula Rewriting. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, Thomas Göthel |
Specification, Verification and Implementation of Business Processes Using CSP. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Vassev, Mike Hinchey, Paddy Nixon |
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
Compositional Abstraction Refinement for Timed Systems. |
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 | Raghava Rao Mukkamala, Thomas T. Hildebrandt |
From Dynamic Condition Response Structures to Büchi Automata. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu |
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunhe Wang, Bo Jiang, Li Jiao |
Property Checking for 1-Place-Unbounded Petri Nets. |
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 | Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang |
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu |
A Formal Model for Service Choreography with Exception Handling and Finalization. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zining Cao |
Bisimulations for Open Processes in Higher Order p-Calculus. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxiao Yang, Zhenhua Duan |
Axiomatic Temporal Logic Programs Verification. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Emil Vassev |
The Art of Developing Autonomic Systems - The ASSL Approach. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung Ledang, Hubert Dubois |
Proving Model Transformations. |
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 | 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 | Huaikou Miao, Pan Liu, Jia Mei |
An Improved Algorithm for Building the Characterizing Set. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shikun Chen, Zhoujun Li, Mengjun Li |
Constructing Program Invariants via Solving QBF. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Martens, Mila E. Majster-Cederbaum |
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | T. M. Rabehaja, Jeff W. Sanders |
Refinement Algebra with Explicit Probabilism. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Chunqing Chen |
Integrating Specification and Programs for System Modeling and Verification. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Kelsen, Qin Ma 0002 |
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani |
Modeling Fault Tolerant Services in Service-Oriented Architecture. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
Test Data Generation for Derived Types in C Program. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang |
Verifying Semistructured Data Normalization Using SWRL. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li |
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Gherghina, Cristina David |
Automated Verification Using Unified Control Flows. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Pang, Jun Sun 0001, Jianhua Zhao |
Verification of Population Ring Protocols in PAT. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner |
Verifying the Implementation of an Operating System Scheduler. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Qichao Liu, Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeff Gray, Alan P. Sprague, Dejan Hrncic |
MARS: Metamodel Recovery from Multi-tiered Models Using Grammar Inference. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
Fault-Based Test Case Generation for Component Connectors. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Istvan Knoll, Anders P. Ravn, Arne Skou |
Semantics for Communicating Actors with Interdependent Real-Time Deadlines. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Song, Huaikou Miao |
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy-Vincent Jourdan, Gregor von Bochmann |
On Testing 1-Safe Petri Nets. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen |
Verification and Performance Analysis for Embedded Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li |
A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Li, Shoji Yuen, Masakazu Adachi |
Environmental Simulation of Real-Time Systems with Nested Interrupts. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanfang Ma, Min Zhang, Yixiang Chen |
Parameterized Bisimulation Infinite Evolution Mechanism. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu |
Exploring Topological Structure of Boolean Expressions for Test Data Selection. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Che-Sheng Lin, Gwan-Hwan Hwang |
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga, Mark Timmer |
Interpreting a Successful Testing Process: Risk and Actual Coverage. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang, Jing Ying |
Improve Semantic Web Services Discovery through Similarity Search in Metric Space. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yu Zhang, Yong Li |
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyu Jiang, Yu Guo, Yiyun Chen |
The Logical Approach to Low-Level Stack Reasoning. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyi Wang, Zongyan Qiu |
A Tool for Estimating Memory Usage. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani |
Towards Automated Software Verification Using Model Checking Techniques. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Stephan Merz, Ming Gu |
Specifying and Verifying PLC Systems with TLA+. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Shengchao Qin (eds.) |
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China |
TASE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Weisong Li |
Algorithms for Computing Weak Bisimulation Equivalence. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")