Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. |
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 | Mike Hinchey, Emil Vassev |
The Art of Developing Autonomic Systems - The ASSL Approach. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lin Zhao, Tao Tang 0004, 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 | Hong Zhu 0002 |
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. |
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 | Yunhe Wang 0003, Bo Jiang, Li Jiao |
Property Checking for 1-Place-Unbounded Petri Nets. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jing Liu, Doron A. 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 | Tannaz Alinaghi, Camellia Ghoroghi, Ahmad Sabouri, Reza Basseda |
A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work Flows. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao |
Modular Development of Certified System Software. |
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 | Dong-Wook Kim, Tae-Sung Jung, Dae-Won Kim, Seong-Hyeuk Nam, Hyuk-Ryul Kwon, Sang-Haeng Choi, Hyung-Dae Koh, Han-Suk Choi, Hong-Seog Park |
G-BLAST: BLAST Manager in an Heterogeneous Distributed Environment. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Wang 0005, 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 | 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 | Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002 |
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jueliang Hu, Zuohua Ding, Jing Liu 0012, Ling Yin |
Measuring the Survivability of Object-Oriented Software. |
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 | Shikun Chen, Zhoujun Li 0001, Mengjun Li |
Constructing Program Invariants via Solving QBF. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guanhua He, Chenguang Luo |
Heap Memory Requirements Analysis via Separation Logic. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jun Sun 0001 |
Towards Expressive Specification and Efficient Model Checking. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gherghina, Cristina David |
Automated Verification Using Unified Control Flows. |
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 | Weisong Li |
Algorithms for Computing Weak Bisimulation Equivalence. |
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 | 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 | Yang Liu 0003, Jun Pang 0001, Jun Sun 0001, Jianhua Zhao |
Verification of Population Ring Protocols in PAT. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanfang Ma, Min Zhang 0007, Yixiang Chen |
Parameterized Bisimulation Infinite Evolution Mechanism. |
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 | Guoqiang Li 0001, Shoji Yuen, Masakazu Adachi |
Environmental Simulation of Real-Time Systems with Nested Interrupts. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. Majchrzak, Herbert Kuchen |
Automated Test Case Generation Based on Coverage Analysis. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jinwei Wang, Huazhi Sun, Jianping Fan 0003 |
DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed Computing. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dehui Du, Ling Yin |
Probabilistic Coordination Language for Component Dynamic Composition. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephen C. Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler |
Merging of Use Case Models: Semantic Foundations. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu |
Enforcing Constraints on Life Cycles of Business Artifacts. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shengyi Wang, Zongyan Qiu |
A Tool for Estimating Memory Usage. |
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 | Rhys Owen, Hugh Anderson |
Data Structure Shape Inference and Verification for OO Programs. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hehua Zhang, Stephan Merz, Ming Gu 0001 |
Specifying and Verifying PLC Systems with TLA+. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
Consistency Checking for LSC Specifications. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lian Yu, Wei Zhao 0003, Xiangdong Fan, Jun Zhu |
Exploring Topological Structure of Boolean Expressions for Test Data Selection. |
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 | 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 | Yan Xiao, Zhenhua Duan, Pengcheng Nie |
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems. |
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 | Mariëlle Stoelinga, Mark Timmer |
Interpreting a Successful Testing Process: Risk and Actual Coverage. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Saqib Iqbal, Gary Allen |
Representing Aspects in Design. |
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 | Ming Fu, Yu Zhang 0086, Yong Li |
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu |
Program Repair as Sound Optimization of Broken Programs. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Wu 0001, Fanwei Zhu, Jia Lv, Tao Jiang 0034, Jing Ying |
Improve Semantic Web Services Discovery through Similarity Search in Metric Space. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda |
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Verification and Performance Analysis for Embedded Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hong Pan, Yi Lv, Huimin Lin |
Environment Abstraction with State Clustering and Parameter Truncating. |
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 | Wen Su, Fan Yang, Huibiao Zhu, Qin Li 0002 |
Modeling MapReduce with CSP. |
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 | Hugh Anderson, Siau-Cheng Khoo |
Improving Responsiveness of Hard Real-Time Embedded Systems. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Qichao Liu, Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeff Gray 0001, Alan P. Sprague, Dejan Hrncic |
MARS: Metamodel Recovery from Multi-tiered Models Using Grammar Inference. |
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 | Yuxin Deng, Jean-François Monin |
Verifying Self-stabilizing Population Protocols with Coq. |
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 | Xinyu Jiang, Yu Guo, Yiyun Chen |
The Logical Approach to Low-Level Stack Reasoning. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Shan, Hong Zhu 0002 |
Semantics of Metamodels in UML. |
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 | Andrew Butterfield, Pawel Gancarski, Jim Woodcock 0001 |
State Visibility and Communication in Unifying Theories of Programming. |
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 | Corinna Spermann, Michael Leuschel |
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction |
1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Bounded Model Checking of Compositional Processes. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Compositional Processes, Tool, Bounded Model Checking |
1 | Takashi Kitamura 0001, Huimin Lin |
Specifying Properties for Modular Pi-Calculus. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, process algebra, Modal Logics |
1 | Jun Pang 0001, Zhengqin Luo, Yuxin Deng |
On Automatic Verification of Self-Stabilizing Population Protocols. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Spin, Population protocols |
1 | Hai-Feng Guo |
A Memoized Strategy for Preference Logic Programs. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Preference logic programming, tabled resolution, declarative language |
1 | Gang Yu |
Implementing Higher-Order Control in Java. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
FANF, transformation, exception handling, continuation |
1 | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu |
A Bigraphical Model of WSBPEL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001 |
An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Aspect-Oriented System, Empirical Study, Maintainability, Coupling Metrics |
1 | Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu |
Reasoning about Channel Passing in Choreography. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen |
Time-Abstracting Bisimulation for Probabilistic Timed Automata. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
time-abstracting bisimulation, probabilistic timed automata |
1 | Taolue Chen, Jaco van de Pol, Yanjing Wang 0001 |
PDL over Accelerated Labeled Transition Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
1 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Airport Security Regulations, UML, Certification, Formal Proofs, Focal |
1 | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
Verifying BPEL-Like Programs with Hoare Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhua Duan, Nan Zhang 0001 |
A Complete Axiomatization of Propositional Projection Temporal Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
temporal logic, completeness, projection, inference rules, axiom |
1 | Joost-Pieter Katoen |
Perspectives in Probabilistic Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Lanoix |
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Multi-agents systems, Verification, Specification, Event-B, Platooning |
1 | Yang Zhao, John Boyland |
A Fundamental Permission Interpretation for Ownership Types. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Ownership, Permission |
1 | Li Li, Ming Gu 0001, Xiaoyu Song, Jianmin Wang 0001 |
Effective Predicate Abstraction for Program Verification. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
program verification, predicate abstraction |
1 | Zheng Fu, Graeme Smith 0001 |
Towards More Flexible Development of Z Specifications. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lianwei Guan, Xingyu Li, Hao Hu 0001 |
A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
aspect dependency, shared join point, Petri net, conflict, aspect-oriented modeling |
1 | Sakgasit Ramingwong, A. S. M. Sajeev |
A Multidimensional Model for Mum Effect in Offshore Outsourcing. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
mum effect, project management, culture, risk, offshore outsourcing |
1 | Xiaoxia Cao, Huaikou Miao, Qingguo Xu |
Modeling and Refining the Service-Oriented Requirement. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shuling Wang, Zongyan Qiu |
A Generic Model for Confinement and its Application. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
confined types, object orientation, ownership, confinement |
1 | |
Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China |
TASE |
2008 |
DBLP BibTeX RDF |
|
1 | Ricardo A. C. de Souza, Roberto Souto Maior de Barros |
A Model-Driven Method for the Development of Web Applications User Interaction Layer. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
User Interface, Web Applications, Model-Driven Development |
1 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts |
1 | Wei Li 0022 |
A Logical Framework for Software Testing. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Liannan Lin, Jinzhao Wu, Xiang Xu |
Open Logic Based on Partial-Ordered Partition Model. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
open logic, requirements engineering, belief revision, Nonmonotonic logic, default reasoning |
1 | Hui Ruan, Jian Zhang 0001, Jun Yan 0009 |
Test Data Generation for C Programs with String-Handling Functions. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
program testing, test data generation, character string |
1 | Huaikou Miao, Zhong-sheng Qian, Bo Song |
Towards Automatically Generating Test Paths for Web Application Testing. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma |
Symbolic Model Checking APSL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Symbolic model checking, PSL |