Search results for "Timed-CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007	A Reasoning Method for Timed CSP Based on Constraint Solving.	ICFEM	2006	DBLP DOI BibTeX RDF
108	John Derrick	Timed CSP and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	Refinement, Object-Z, Timed CSP
92	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
77	John J. Zic	Time-Constrained Buffer Specifications in CSP+T and Timed CSP.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	real-time algebraic languages
74	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
74	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
65	Carsten Sühl	An Overview of the Integrated Formalism RT-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Embedded systems, Real-time, Formal methods, Z, Timed CSP
58	Xian Zhang, Yang Liu 0003, Mikhail Auguston	Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.	SSIRI	2010	DBLP DOI BibTeX RDF	Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP
57	Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante	Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Real-time Systems, Case Studies, Z, Time CSP
49	Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe 0001	Timed CSP: Theory and Practice.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software
48	Noriki Ogura, Keizo Saisho, Akira Fukuda	Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System.	APSEC	1997	DBLP DOI BibTeX RDF	process replication, distributed system, client-server system, formal description, Timed CSP
43	Wang Yi 0001, Bengt Jonsson 0001	Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.	FSTTCS	1994	DBLP DOI BibTeX RDF
42	Jinzhao Wu, Shihan Yang	Timed CSP for Safety Specification of Hybrid System.	ICYCS	2008	DBLP DOI BibTeX RDF
41	John Cooke, B. Tim Denvir	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
40	Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante	An Integrated Approach to Specification and Validation of Real-Time Systems.	FME	2001	DBLP DOI BibTeX RDF
36	William B. Gardner, Yuriy Solovyov	Supporting Timed CSP Operators in CSP++.	CPA	2012	DBLP BibTeX RDF
35	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
33	Kun Wei, Jim Woodcock 0001, Alan Burns 0001	Timed Circus: Timed CSP with the Miracle.	ICECCS	2011	DBLP DOI BibTeX RDF
33	Joël Ouaknine, James Worrell 0001	Timed CSP = Closed Timed epsilon-automata.	Nord. J. Comput.	2003	DBLP BibTeX RDF
33	Joël Ouaknine, James Worrell 0001	Timed CSP = Closed Timed Safety Automata.	EXPRESS	2002	DBLP DOI BibTeX RDF
26	Brendan P. Mahony, Jin Song Dong	Sensors and Actuators in TCOZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
25	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
25	Lichen Zhang	Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.	TASE	2011	DBLP DOI BibTeX RDF	Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP
23	Ming Zhu, Xiaoliu Cui, Guodong Fan	Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP.	J. Ubiquitous Syst. Pervasive Networks	2019	DBLP DOI BibTeX RDF
23	Ming Zhu, Jing Li 0092, Guodong Fan, Kunsheng Zhao	Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP.	EUSPN/ICTH	2018	DBLP DOI BibTeX RDF
23	Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu	Formal Verification of Behavioral AADL Models by Stateful Timed CSP.	IEEE Access	2017	DBLP DOI BibTeX RDF
23	Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe	Model checking Timed CSP.	HOWARD-60	2014	DBLP DOI BibTeX RDF
23	Lloyd Roberts, Mike Smith, Faron Moller, Markus Roggenbach	Visualising Timed CSP Train Simulations for Capacity.	TPCG	2014	DBLP DOI BibTeX RDF
23	Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu	Modeling and Verifying the TTCAN Protocol Using Timed CSP.	TASE	2014	DBLP DOI BibTeX RDF
23	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012, Ling Shi, Étienne André	Modeling and verifying hierarchical real-time systems using stateful timed CSP.	ACM Trans. Softw. Eng. Methodol.	2013	DBLP DOI BibTeX RDF
23	A. W. Roscoe 0001, Jian Huang	Checking noninterference in Timed CSP.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
23	Yuanjie Si, Jun Sun 0001, Yang Liu 0003, Ting Wang 0004	Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.	ICFEM	2013	DBLP DOI BibTeX RDF
23	Paul Howells, Mark d'Inverno	Successful Termination in Timed CSP.	CPA	2013	DBLP BibTeX RDF
23	Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.	ICFEM	2012	DBLP DOI BibTeX RDF
23	Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira 0001	A Timed CSP Model for the Time-Triggered Language Giotto.	SEW	2012	DBLP DOI BibTeX RDF
23	Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach	Safety and Line Capacity in Railways - An Approach in Timed CSP.	IFM	2012	DBLP DOI BibTeX RDF
23	Oguzcan Oguz, Jan F. Broenink, Angelika Mader	Schedulability Analysis of Timed CSP Models Using the PAT Model Checker.	CPA	2012	DBLP BibTeX RDF
23	Björn Bartels, Sabine Glesner	Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.	APSEC	2011	DBLP DOI BibTeX RDF
23	Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga	Development of an ML-based Verification Tool for Timed CSP Processes.	CPA	2011	DBLP DOI BibTeX RDF
23	Thomas Göthel, Sabine Glesner	An approach for machine-assisted verification of Timed CSP specifications.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
23	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
23	Thomas Göthel, Sabine Glesner	Machine-Checkable Timed CSP.	NASA Formal Methods	2009	DBLP BibTeX RDF
23	Joël Ouaknine, Steve A. Schneider	Timed CSP: A Retrospective.	APC 25	2005	DBLP DOI BibTeX RDF
23	Carsten Sühl	An integration of Z and Timed CSP for specifying real time embedded systems.		2002	RDF
23	N. Petalidis, D. S. Gill	Introducing monitoring events to timed-CSP.	IEE Proc. Softw.	2001	DBLP DOI BibTeX RDF
23	Carsten Sühl	RT-Z: An Integration of Z and timed CSP.	IFM	1999	DBLP DOI BibTeX RDF
23	Brendan P. Mahony, Jin Song Dong	Blending Object-Z and Timed CSP: An Introduction to TCOZ.	ICSE	1998	DBLP DOI BibTeX RDF
23	Luming Lai, Phil Watson	A Case Study in Timed CSP: The Railroad Crossing Problem.	HART	1997	DBLP DOI BibTeX RDF
23	Ahmet Feyzi Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya	Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization.	IEEE J. Sel. Areas Commun.	1996	DBLP DOI BibTeX RDF
23	Peter G. O'Donoghue, M. Elizabeth C. Hull	Using timed CSP during object oriented design of real-time systems.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
23	Jim Davies, Steve A. Schneider	A Brief History of Timed CSP.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
23	Gavin Lowe	Probabilistic and Prioritized Models of Timed CSP.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
23	Steve A. Schneider	An Operational Semantics for Timed CSP	Inf. Comput.	1995	DBLP DOI BibTeX RDF
23	Homayoun Dayani-Fard, Andrew J. Malton	Phased development of critical real-time systems in timed CSP.	CASCON	1995	DBLP BibTeX RDF
23	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
23	Gavin Lowe	Probabilities and priorities in timed CSP.		1993	RDF
23	Jim Davies, Steve A. Schneider	Factorizing Proofs in Timed CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
19	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	An XML/XSL Approach to Visualize and Animate TCOZ.	APSEC	2001	DBLP DOI BibTeX RDF	specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz
19	Jing Liu, Jin Song Dong, Jing Sun 0002	TRMCS in TCOZ.	IWSSD	2000	DBLP BibTeX RDF	real-time modeling, formal specification, CSP, Z, TCOZ
13	Tim Miller 0001, Peter McBurney	Multi-agent System Specification Using TCOZ.	MATES	2005	DBLP DOI BibTeX RDF
13	Simeon Veloudis, Nimal Nissanke	An approach to modelling and analysis of coordinated atomic actions.	ETFA	2005	DBLP DOI BibTeX RDF
13	Carsten Sühl	Applying RT-Z to Develop Safety-Critical Systems.	FASE	2000	DBLP DOI BibTeX RDF
13	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF