Search results for "FDR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao	Bootstrapping multi-party ad-hoc security.	SAC	2006	DBLP DOI BibTeX RDF	bootstrapping security, pervasive computing
13	Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang	Secrecy Analysis of Purchase Transaction in Electronic Purses.	AINA (1)	2006	DBLP DOI BibTeX RDF
13	Satish Narayanasamy, Cristiano Pereira, Brad Calder	Recording shared memory dependencies using strata.	ASPLOS	2006	DBLP DOI BibTeX RDF	strata, debugging, dependencies, shared memory, logging, replay
13	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
13	Il-Gon Kim, Debmalya Biswas	Application of Model Checking to AXML System's Security: A Case Study.	WS-FM	2006	DBLP DOI BibTeX RDF
13	William Simmonds, Tim Hawkins	The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library.	TGC	2005	DBLP DOI BibTeX RDF
13	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
13	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
13	Liat Ben-Tovim Jones, Richard Bean 0001, Geoffrey J. McLachlan, Justin Xi Zhu	Application of Mixture Models to Detect Differentially Expressed Genes.	IDEAL	2005	DBLP DOI BibTeX RDF
13	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
13	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
13	Andreas Quandt, Alexander Ploner, Chuen Seng Tan, Janne Lehtiö, Yudi Pawitan	ProSpect: An R Package for Analyzing SELDI Measurements Identifying Protein Biomarkers.	CompLife	2005	DBLP DOI BibTeX RDF
13	Holger Rasch, Heike Wehrheim	Checking the Validity of Scenarios in UML Models.	FMOODS	2005	DBLP DOI BibTeX RDF
13	Kun Wei, James Heather	Towards Verification of Timed Non-repudiation Protocols.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
13	Nobuo Ezaki, Kimiyasu Kiyota, Bui Truong Minh, Marius Bulacu, Lambert Schomaker	Improved Text-Detection Methods for a Camera-based Text Reading System for Blind Persons.	ICDAR	2005	DBLP DOI BibTeX RDF
13	Joy N. Reed, Jane E. Sinclair, A. W. Roscoe 0001	Responsiveness of interoperating components.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Refinement, CSP, Deadlock, Responsiveness, Component-based systems
13	Christie Bolton, Gavin Lowe	Analyses of the Reverse Path Forwarding Routing Algorithm.	DSN	2004	DBLP DOI BibTeX RDF
13	Aleksandar S. Dimovski, Ranko Lazic 0001	CSP Representation of Game Semantics for Second-Order Idealized Algol.	ICFEM	2004	DBLP DOI BibTeX RDF
13	Sadie Creese	Industrial Strength CSP: Opportunities and Challenges in Model-Checking.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
13	Michael Goldsmith	Operational Semantics for Fun and Profit.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
13	Xiao Yang	Qvalue Method May Not Always Control False Discovery Rate in Genomics Applications.	CSB	2004	DBLP DOI BibTeX RDF
13	Sheng Zhong, Lu Tian, Cheng Li, Kai-Florian Storch, Wing Hung Wong	Comparative Analysis of Gene Sets in the Gene Ontology Space under the Multiple Hypothesis Testing Framework.	CSB	2004	DBLP DOI BibTeX RDF	False Discovery Rate, Q-value, GoSurfer, Data Mining, Visualization, Microarray, Gene Ontology
13	Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington	An Environment for Building a System out of its Requirements.	ASE	2004	DBLP DOI BibTeX RDF
13	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	How to Verify Dynamic Properties of Information Systems.	SEFM	2004	DBLP DOI BibTeX RDF
13	Guy H. Broadfoot, Philippa J. Broadfoot	Academia and industry meet: Some experiences of formal methods in practice.	APSEC	2003	DBLP DOI BibTeX RDF
13	Seiji Kajihara, Yasumi Doi, Lei Li 0036, Krishnendu Chakrabarty	On Combining Pinpoint Test Set Relaxation and Run-Length Codes for Reducing Test Data Volume.	ICCD	2003	DBLP DOI BibTeX RDF
13	Muan Yong Ng, Michael J. Butler	Towards Formalizing UML State Diagrams in CSP.	SEFM	2003	DBLP DOI BibTeX RDF
13	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
13	Gordon Thomas Rohrmair, Gavin Lowe	Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area.	FASec	2002	DBLP DOI BibTeX RDF
13	Joël Ouaknine	Digitisation and Full Abstraction for Dense-Time Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
13	Tadeusz Cichocki, Janusz Górski	Formal Support for Fault Modelling and Analysis.	SAFECOMP	2001	DBLP DOI BibTeX RDF
13	Joy N. Reed, Jane E. Sinclair	Combining Independent Specifications.	FASE	2001	DBLP DOI BibTeX RDF
13	Heike Wehrheim	Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.	FASE	2000	DBLP DOI BibTeX RDF
13	Jan Peleska 0001, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	1999	DBLP DOI BibTeX RDF	Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation
13	Hui Shi 0001, Jan Peleska 0001, Michel Kouvaras	Combining Methods for the Analysis of a Fault-Tolerant System.	PRDC	1999	DBLP DOI BibTeX RDF
13	Bettina Buth, Jan Peleska 0001, Hui Shi 0001	Combining Methods for the Livelock Analysis of a Fault-Tolerant System.	AMAST	1998	DBLP DOI BibTeX RDF
13	Gavin Lowe	A Hierarchy of Authentication Specification.	CSFW	1997	DBLP DOI BibTeX RDF
13	David M. Jackson	Experiences in Embedded Scheduling.	FME	1996	DBLP DOI BibTeX RDF
13	Catherine A. Meadows	Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches.	ESORICS	1996	DBLP DOI BibTeX RDF
13	Andrew Simpson	A Formal Specification of an Automatic Train Protection System.	FME	1994	DBLP DOI BibTeX RDF
13	Chong-Min Kyung, Josef Widder, Dieter A. Mlynski	Adaptive Cluster Growth (ACG): a new algorithm for circuit packing in rectilinear region.	EURO-DAC	1990	DBLP DOI BibTeX RDF