Search results for "FDR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peilei Ye	Study on Formalizing Unified Modeling Language Activity Diagrams in FDR.	MVHI	2010	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, UML Activity Diagrams
1	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
1	Leo Freitas, Jim Woodcock	FDR Explorer.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
1	Michelle Liou, Hong-Ren Su, Arthur C. Tsai	Decision Thresholds in Functional MR Image Analysis.	BMEI	2008	DBLP DOI BibTeX RDF	Reproducibility analysis, ROC, FDR, SPM
1	Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.	COMPSAC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim	The Vulnerabilities Analysis and Design of the Security Protocol for RFID System.	CIT	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi	Security and Privacy Analysis of RFID Systems Using Model Checking.	HPCC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
1	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
1	Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi	Model-Based Analysis of Money Accountability in Electronic Purses.	WINE	2005	DBLP DOI BibTeX RDF	e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper
1	Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin	Watchdog Transformations for Property-Oriented Model-Checking.	FME	2003	DBLP DOI BibTeX RDF	Watchdog Transformation, Model-Checking, Compression, CSP, FDR, State Explosion Problem
1	Ernst-Rüdiger Olderog, Heike Wehrheim	Specification and Inheritance in CSP-OZ.	FMCO	2002	DBLP DOI BibTeX RDF	failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR
1	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
1	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading. (PDF / PS)	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
1	Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe	Automating Data Independence.	ESORICS	2000	DBLP DOI BibTeX RDF	model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper
1	Gavin Lowe, A. W. Roscoe	Using CSP to Detect Errors in the TMN Protocol.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	protocol failure, model checking, cryptography, Security protocols, CSP, key establishment, FDR
1	Jan Peleska	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
1	Jan Peleska, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
1	A. W. Roscoe	Modelling and verifying key-exchange protocols using CSP and FDR.	CSFW	1995	DBLP DOI BibTeX RDF	model-checking, formal specification, protocols, formal verification, process algebra, CSP, communicating sequential processes, FDR, key-exchange protocols