# Qiwen Xu

According to our database

^{1}, Qiwen Xu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Recent advances in metaheuristic algorithms: Does the Makara dragon exist?

The Journal of Supercomputing, 2016

2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

A Formal Model for a Hybrid Programming Language.

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

2013

Formal Analysis of AODV Using Rely-Guarantee.

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2010

Rate monotonic scheduling re-analysed.

Inf. Process. Lett., 2010

2008

Formalising Scheduling Theories in Duration Calculus.

Nord. J. Comput., 2008

2004

Completeness of temporal logics over infinite intervals.

Discrete Applied Mathematics, 2004

Checking Interval Based Properties for Reactive Systems.

Proceedings of the Verification, 2004

2003

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.

Formal Asp. Comput., 2003

2000

An Operational Semantics of a Simulator Algorithm.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

An Animatable Operational Semantics of the Verilog Hardware Description Language.

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Modeling and Verification of a Network Player System with DCValid.

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

A Formal Proof of the Rate Monotonic Scheduler.

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

1998

Refinement of Fair Action Systems.

Acta Inf., 1998

Toward a theory of sequential hybrid programs.

Proceedings of the Programming Concepts and Methods, 1998

Towards a Formal Semantics of Verilog Using Duration Calculus.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.

Formal Asp. Comput., 1997

Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.

Proceedings of the Hybrid and Real-Time Systems, 1997

Rigorous Design of a Fault Diagnosis and Isolation Algorithm.

Proceedings of the Hybrid Systems V, 1997

Compositional Reasoning Using the Assumption-Commitment Paradigm.

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995

Hierarchical Design of a Chemical Concentration Control System.

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Layering of Real-Time Distributed Processes.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

On Unifying Assumption-Commitment Style Proof Rules for Concurrency.

Proceedings of the CONCUR '94, 1994