Qiwen Xu

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...