UM

Browse/Search Results:  1-10 of 11 Help

Selected(0)Clear Items/Page:    Sort:
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li Q.;  Wang J.;  Xu Q.;  Huang Y.;  Zhu H.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Emergent Behaviors  Hybrid Relational Modelling Language  Refinement  Swarm Robotic Systems  
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Analysis and verification  Maria  Petri net  Security protocol  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Formal object-oriented analysis and design of an online ticketing system Conference paper
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, MACAO, PEOPLES R CHINA, DEC 04-07, 2001
Authors:  Li X.;  Liu Z.;  Guo Z.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
E-commerce  Formal Techniques  Liveness  Object-orientation  Safety  Uml  
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic  
Specification and simulation of a concurrent real-time system Journal article
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings, 1999,Page: 197-204
Authors:  Li Xiaoshan
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Specification and simulation of a concurrent real-time system Conference paper
Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, CA, USA, USA, 17-18 May 1999
Authors:  Li X.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Interval Temporal Logic  Concurrent Real-time Systems  Executable Speci cation  Simulation And Veri cation  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:5/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification  
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Formal Aspects of Computing, 1997,Volume: 9,Issue: 2,Page: 149-174
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Compositionality  Concurrency  Deadlock freedom  Partial and total correctness  Rely-Guarantee formalism  Soundness and completeness  Specification and verification