Search results for "TASE"

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

Publications at "TASE"( http://dblp.L3S.de/Venues/TASE )