According to our database1, Qiwen Xu authored at least 27 papers between 1994 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs.
Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018
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