Qiwen Xu

According to our database1, Qiwen Xu
  • authored at least 26 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 


On csauthors.net:


BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Recent advances in metaheuristic algorithms: Does the Makara dragon exist?
The Journal of Supercomputing, 2016

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

A Formal Model for a Hybrid Programming Language.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

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

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

Rate monotonic scheduling re-analysed.
Inf. Process. Lett., 2010

Formalising Scheduling Theories in Duration Calculus.
Nord. J. Comput., 2008

Completeness of temporal logics over infinite intervals.
Discrete Applied Mathematics, 2004

Checking Interval Based Properties for Reactive Systems.
Proceedings of the Verification, 2004

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.
Formal Asp. Comput., 2003

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

A Formal Proof of the Rate Monotonic Scheduler.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

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

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

Hierarchical Design of a Chemical Concentration Control System.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

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