Zongyan Qiu

According to our database1, Zongyan Qiu authored at least 77 papers between 1997 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Automatic fine-grained locking generation for shared data structures.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016
Identifying XML Schema Constraints Using Temporal Logic.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Coq Implementation of OO Verification Framework VeriJ.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Comparison Between Model Fields and Abstract Predicates.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

Automatic Annotating and Checking of Dynamic Ownership.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015
A dynamic stochastic model for automatic grammar-based test generation.
Softw., Pract. Exper., 2015

Verifying Interaction between Methods in Classes.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Go Model and Object Oriented Programming.
Proceedings of the Programming Languages, 2015

2014
Program verification and testing technologies.
STTT, 2014

Rely-Guarantee Based Reasoning for Message-Passing Programs.
Sci. Ann. Comp. Sci., 2014

Trace-Based Temporal Verification for Message-Passing Programs.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Locating fault-inducing patterns from structural inputs.
Proceedings of the Symposium on Applied Computing, 2014

Automated Test Oracle Generation via Denotational Semantics.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Modular Reasoning for Message-Passing Programs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci., 2013

Confinement framework for encapsulating objects.
Frontiers Comput. Sci., 2013

Automatic Grammar-Based Test Generation.
Proceedings of the Testing Software and Systems, 2013

Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012
S2N: Model Transformation from SPIN to NuSMV - (Tool Paper).
Proceedings of the Model Checking Software - 19th International Workshop, 2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Modular Verification of OO Programs with Interfaces.
Proceedings of the Formal Methods and Software Engineering, 2012

Performance Analysis of Data Gathering Protocol Using PRISM.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Towards an Axiomatic Verification System for JavaScript.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Inheritance and Modularity in Specification and Verification of OO Programs.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Analysis of WS-BPEL Processes in PRISM.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

WP Semantics and Behavioral Subtyping.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Verification of Scalable Synchronous Queue.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Generating Scenarios from Web Service Choreography.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010
A semantic model of confinement and Locality theorem.
Frontiers Comput. Sci. China, 2010

Stack Bound Inference for Abstract Java Bytecode.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Framework for Integrating Human Processes with Business Artifacts.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
Proceedings of the 10th International Conference on Quality Software, 2010

A Separation Logic for OO Programs.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
J. Comput. Sci. Technol., 2009

Graph transformations for object-oriented refinement.
Formal Asp. Comput., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.
Proceedings of the TASE 2009, 2009

A Tool for Estimating Memory Usage.
Proceedings of the TASE 2009, 2009

Verification of channel passing in choreography with model checking.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Towards Scalable Compositional Test Generation.
Proceedings of the Ninth International Conference on Quality Software, 2009

2008
Reasoning about Channel Passing in Choreography.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Generic Model for Confinement and its Application.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Verifying BPEL-Like Programs with Hoare Logic.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Formal Use of Design Patterns and Refactoring.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Formal Model of Human Workflow.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

An Approach to Check Choreography with Channel Passing in WS-CDL.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.
Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Towards the theoretical foundation of choreography.
Proceedings of the 16th International Conference on World Wide Web, 2007

Commutability of Design Pattern Instantiation and Integration.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A QoS View ofWeb Service Choreography.
Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
From Statecharts to Verilog: a formal approach to hardware/software co-specification.
ISSE, 2006

Towards the Semantics and Verification of BPEL4WS.
Electr. Notes Theor. Comput. Sci., 2006

Towards the Formal Model and Verification of Web Service Choreography Description Language.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

Patterns with Algebraic Properties in BPEL0.
Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Safety for FJ and FGJ.
Proceedings of the Theoretical Aspects of Computing, 2006

Model Checking Dynamic UML Consistency.
Proceedings of the Formal Methods and Software Engineering, 2006

Type Checking Choreography Description Language.
Proceedings of the Formal Methods and Software Engineering, 2006

A Type System for the Relational Calculus of Object Systems.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005
Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Asp. Comput., 2005

Integrating Time and Resource into Circus.
Electr. Notes Theor. Comput. Sci., 2005

POST: A Case Study for an Incremental Development in rCOS.
Proceedings of the Theoretical Aspects of Computing, 2005

Semantics of BPEL4WS-Like Fault and Compensation Handling.
Proceedings of the FM 2005: Formal Methods, 2005

2004
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003
The Equivalence of Statecharts.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
Bit Vector Encoding of N-Queen Problem.
SIGPLAN Notices, 2002

An Algebraic Hardware/Software Partitioning Algorithm.
J. Comput. Sci. Technol., 2002

Hardware/Software Partitioning in Verilog.
Proceedings of the Formal Methods and Software Engineering, 2002

2001
Constructing Hardware/Software Interface Using Protocol Converters.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1997
Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique.
SIGPLAN Notices, 1997

Garment: A Mechanism for Abstraction and Encapsulation of Languages.
SIGPLAN Notices, 1997


  Loading...