Search results for "FDR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	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
98	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
88	Anshuman Chandra, Krishnendu Chakrabarty	Test Data Compression and Test Resource Partitioning for System-on-a-Chip Using Frequency-Directed Run-Length (FDR) Codes.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	decompression architecture, precomputed test sets, test set encoding, system-on-a-chip test, variable-to-variable-length codes, Automatic test equipment (ATE), embedded core testing
75	Michael Leuschel, Marc Fontaine	Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.	ICFEM	2008	DBLP DOI BibTeX RDF	Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method
75	Anshuman Chandra, Krishnendu Chakrabarty	Frequency-Directed Run-Length (FDR) Codes with Application to System-on-a-Chip Test Data Compression.	VTS	2001	DBLP DOI BibTeX RDF
66	Jing Zhao, Hongwei Liu 0002, Gang Cui, Xiao-Zong Yang	Software Reliability Growth Model from Testing to Operation.	ICSM	2005	DBLP DOI BibTeX RDF
63	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
62	Mark B. Josephs	Gate-level modelling and verification of asynchronous circuits using CSPM and FDR.	ASYNC	2007	DBLP DOI BibTeX RDF
59	A. W. Roscoe 0001	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
53	Pei Jung Chung, Johann F. Böhme, Christoph F. Mecklenbräuker, Alfred O. Hero III	Detection of the Number of Signals Using the Benjamini-Hochberg Procedure.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
53	Min Xu, Rastislav Bodík, Mark D. Hill	A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay.	ISCA	2003	DBLP DOI BibTeX RDF
50	Michelle Liou, Hong-Ren Su, Arthur C. Tsai	Decision Thresholds in Functional MR Image Analysis.	BMEI (2)	2008	DBLP DOI BibTeX RDF	Reproducibility analysis, ROC, FDR, SPM
50	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
50	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
49	David E. Dodds	Single-Ended FDR to Locate and Specifically Identify DSL Loop Impairments.	ICC	2007	DBLP DOI BibTeX RDF
49	David E. Dodds, Muhammad Shafique, Bernardo Celaya	TDR and FDR Identification of Bad Splices in Telephone Cables.	CCECE	2006	DBLP DOI BibTeX RDF
49	Jonathan Lawrence	Practical Application of CSP and FDR to Software Design.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
45	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
44	Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli	NeurT-FDR: Controlling FDR by Incorporating Feature Hierarchy.	CoRR	2021	DBLP BibTeX RDF
40	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
40	Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George	A Translation from RSL to CSP.	SCCC	2008	DBLP DOI BibTeX RDF
40	Guanghui Yan, Zhanhuai Li, Liu Yuan	On Combining Fractal Dimension with GA for Feature Subset Selecting.	MICAI	2006	DBLP DOI BibTeX RDF
40	Guanghui Yan, Zhanhuai Li, Liu Yuan	The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique.	ADMA	2006	DBLP DOI BibTeX RDF
40	Jing Zhao, Hongwei Liu 0002, Gang Cui, Xiao-Zong Yang	Software Reliability Growth Model Considering Testing Profile and Operation Profile.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
40	Yubin Bao, Ge Yu 0001, Huanliang Sun, Daling Wang	Performance Optimization of Fractal Dimension Based Feature Selection Algorithm.	WAIM	2004	DBLP DOI BibTeX RDF
40	Anshuman Chandra, Krishnendu Chakrabarty, Rafael A. Medina	How Effective are Compression Codes for Reducing Test Data Volume?	VTS	2002	DBLP DOI BibTeX RDF
36	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
36	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
36	Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
36	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
36	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
36	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
36	Gavin Lowe, A. W. Roscoe 0001	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
36	Jan Peleska 0001, 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
36	Jan Peleska 0001	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
35	Jianhua Feng, Guoliang Li	A Test Data Compression Method for System-on-a-Chip.	DELTA	2008	DBLP DOI BibTeX RDF	FDR code, Hybrid Run-length code, MFDR code, Test data compression
35	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
35	A. W. Roscoe 0001, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
35	Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi	Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR.	AINA	2005	DBLP DOI BibTeX RDF
35	Paul N. Somerville	Step-Down FDR Procedures for Large Numbers of Hypotheses.	PARA	2004	DBLP DOI BibTeX RDF
35	Il-Gon Kim, Jin-Young Choi	Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking.	AINA (2)	2004	DBLP DOI BibTeX RDF
35	Geoff Kassel, Graeme Smith 0001	Model Checking Object-Z Classes: Some Experiments with FDR.	APSEC	2001	DBLP DOI BibTeX RDF
35	Michael Leuschel, Thierry Massart, Andrew Currie	How to Make FDR Spin LTL Model Checking of CSP by Refinement.	FME	2001	DBLP DOI BibTeX RDF
35	Michael Goldsmith, Irfan Zakiuddin	Critical Systems Validation and Verification with CSP and FDR.	FM-Trends	1998	DBLP DOI BibTeX RDF
35	Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed	Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.	FASE	1998	DBLP DOI BibTeX RDF
26	José M. Peña 0001	Learning Gaussian Graphical Models of Gene Networks with False Discovery Rate Control.	EvoBIO	2008	DBLP DOI BibTeX RDF
26	Juntao Li, Jianhua Liu, Karuturi R. Krishna Murthy	Stepped Linear Regression to Accurately Assess Statistical Significance in Batch Confounded Differential Expression Analysis.	ISBRA	2008	DBLP DOI BibTeX RDF	Batch effect, Microarray, SAM, Differential expression
26	Erhan Baki Ermis, Venkatesh Saligrama	Adaptive statistical sampling methods for decentralized estimation and detection of localized phenomena.	IPSN	2005	DBLP DOI BibTeX RDF
26	Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas	Operational Semantics for Model Checking Circus.	FM	2005	DBLP DOI BibTeX RDF
26	Philippa J. Hopcroft, Guy H. Broadfoot	Combining the Box Structure Development Method and CSP.	ASE	2004	DBLP DOI BibTeX RDF
26	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
26	Kalyan Veeramachaneni, Thanmaya Peram, Chilukuri K. Mohan, Lisa Ann Osadciw	Optimization Using Particle Swarms with Near Neighbor Interactions.	GECCO	2003	DBLP DOI BibTeX RDF
26	Muan Yong Ng, Michael J. Butler	Tool Support for Visualizing CSP in UML.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, CSP, class diagram, state diagram
26	Philippa J. Broadfoot, A. W. Roscoe 0001	Capturing Parallel Attacks within the Data Independence Framework.	CSFW	2002	DBLP DOI BibTeX RDF
26	Heike Wehrheim	Data Abstraction Techniques in the Validation of CSP-OZ Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Integrated formal methods, CSP-OZ, Verification, Data abstraction
26	Shiyong Lu, Scott A. Smolka	Model Checking the Secure Electronic Transaction (SET) Protocol.	MASCOTS	1999	DBLP DOI BibTeX RDF	Electronic Commerce Protocols, Formal Modeling and Analysis Techniques, Model Checking
26	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Alexandre Mota 0001, Augusto Sampaio	Model-Checking CSP-Z.	FASE	1998	DBLP DOI BibTeX RDF
23	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
23	Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe 0001	Automating Data Independence.	ESORICS	2000	DBLP DOI BibTeX RDF	model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper
22	Jasin Machkour, Daniel P. Palomar, Michael Muma	FDR-Controlled Portfolio Optimization for Sparse Financial Index Tracking.	CoRR	2024	DBLP DOI BibTeX RDF
22	Chaoyang Zhang, Shibao Sun, Wenmao Hu, Pengcheng Zhao	FDR-TransUNet: A novel encoder-decoder architecture with vision transformer for improved medical image segmentation.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
22	Tran Manh Hoang, Le The Dung, Ba Cao Nguyen, Nguyen Van Vinh, Gia Thien Luu	Secrecy analysis of cooperative NOMA-FDR systems with imperfect CSI and colluding eavesdroppers.	Comput. Networks	2023	DBLP DOI BibTeX RDF
22	Junfeng Cui, Guanghui Wang 0011, Changliang Zou, Zhaojun Wang	Change-point testing for parallel data sets with FDR control.	Comput. Stat. Data Anal.	2023	DBLP DOI BibTeX RDF
22	Lathan Liou, Milena Hornburg, David S. Robertson 0001	Global FDR control across multiple RNAseq experiments.	Bioinform.	2023	DBLP DOI BibTeX RDF
22	Meshi Bashari, Amir Epstein, Yaniv Romano, Matteo Sesia	Derandomized Novelty Detection with FDR Control via Conformal E-values.	CoRR	2023	DBLP DOI BibTeX RDF
22	Martin Gölz, Abdelhak M. Zoubir, Visa Koivunen	Spatial Inference Using Censored Multiple Testing with Fdr Control.	ICASSP	2023	DBLP DOI BibTeX RDF
22	Fabian Scheidt, Jasin Machkour, Michael Muma	Solving FDR-Controlled Sparse Regression Problems with Five Million Variables on a Laptop.	CAMSAP	2023	DBLP DOI BibTeX RDF
22	Jasin Machkour, Michael Muma, Daniel P. Palomar	The Informed Elastic Net for Fast Grouped Variable Selection and FDR Control in Genomics Research.	CAMSAP	2023	DBLP DOI BibTeX RDF
22	Meshi Bashari, Amir Epstein, Yaniv Romano, Matteo Sesia	Derandomized novelty detection with FDR control via conformal e-values.	NeurIPS	2023	DBLP BibTeX RDF
22	Yingli Pan	Feature screening and FDR control with knockoff features for ultrahigh-dimensional right-censored data.	Comput. Stat. Data Anal.	2022	DBLP DOI BibTeX RDF
22	Yanhong Wu	Isolating changed panels and estimating common change point after sequential detection with FDR control.	Commun. Stat. Simul. Comput.	2022	DBLP DOI BibTeX RDF
22	Eun-Gyoung Kim, Sung-Ho Kim	An improvement of FDR for edge detection by applying EM method.	Intell. Data Anal.	2022	DBLP DOI BibTeX RDF
22	Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli	Probabilistic Model Incorporating Auxiliary Covariates to Control FDR.	CoRR	2022	DBLP DOI BibTeX RDF
22	Taejoo Ahn, Licong Lin, Song Mei	Near-optimal multiple testing in Bayesian linear models with finite-sample FDR control.	CoRR	2022	DBLP DOI BibTeX RDF
22	Haoyu Wei, Xiaoyu Lei, Huiming Zhang	Inference and FDR Control for Simulated Ising Models in High-dimension.	CoRR	2022	DBLP BibTeX RDF
22	Lin Qiu, Nils Murrugarra-Llerena, Vítor Silva 0004, Lin Lin 0003, Vernon M. Chinchilli	Probabilistic Model Incorporating Auxiliary Covariates to Control FDR.	CIKM	2022	DBLP DOI BibTeX RDF
22	Anzhen Qin, Dongfeng Ning, Zhandong Liu, Aiwang Duan	Analysis of the Accuracy of an FDR Sensor in Soil Moisture Measurement under Laboratory and Field Conditions.	J. Sensors	2021	DBLP DOI BibTeX RDF
22	Daniel Fiser, Daniel Gnad 0001, Michael Katz 0001, Jörg Hoffmann 0001	Custom-Design of FDR Encodings: The Case of Red-Black Planning.	IJCAI	2021	DBLP DOI BibTeX RDF
22	Brijesh Dongol, Jay Le-Papin	Checking Opacity and Durable Opacity with FDR.	SEFM	2021	DBLP DOI BibTeX RDF
22	Kristen Emery, Syamand Hasam, William Stafford Noble, Uri Keich	Multiple Competition-Based FDR Control and Its Application to Peptide Detection.	RECOMB	2020	DBLP DOI BibTeX RDF
22	M. Omar Al-Kadri, Adnan Aijaz, Arumugam Nallanathan	X-FDR: A Cross-Layer Routing Protocol for Multihop Full-Duplex Wireless Networks.	IEEE Wirel. Commun.	2019	DBLP DOI BibTeX RDF
22	Daniel Morgan, Andreas Tjärnberg, Torbjörn E. M. Nordling, Erik L. L. Sonnhammer	A generalized framework for controlling FDR in gene regulatory network inference.	Bioinform.	2019	DBLP DOI BibTeX RDF
22	Liping Chen, Lili Zhangzhong, Wengang Zheng, Jinxing Yu, Zehan Wang, Long Wang 0015, Chao Huang 0002	Data-Driven Calibration of Soil Moisture Sensor Considering Impacts of Temperature: A Case Study on FDR Sensors.	Sensors	2019	DBLP DOI BibTeX RDF
22	Artur Oliveira Gomes, Andrew Butterfield	Circus2CSP: A Tool for Model-Checking Circus Using FDR.	FM	2019	DBLP DOI BibTeX RDF
22	Jamsheed Manja Ppallan, Karthikeyan Arunachalam, Sweta Jaiswal, Dronamraju Siva Sabareesh, Sungki Seo, Madhan Raj Kanagarathinam	Flare-DNS Resolver (FDR) for optimizing DNS lookup overhead in mobile devices.	CCNC	2019	DBLP DOI BibTeX RDF
22	Jinjin Tian, Aaditya Ramdas	ADDIS: an adaptive discarding algorithm for online FDR control with conservative nulls.	NeurIPS	2019	DBLP BibTeX RDF
22	Alexej Gossmann, Pascal Zille, Vince D. Calhoun, Yu-Ping Wang 0002	FDR-Corrected Sparse Canonical Correlation Analysis With Applications to Imaging Genomics.	IEEE Trans. Medical Imaging	2018	DBLP DOI BibTeX RDF
22	Joshua N. Sampson, Simina M. Boca, Steven C. Moore, Ruth Heller	FWER and FDR control when testing multiple mediators.	Bioinform.	2018	DBLP DOI BibTeX RDF
22	Wesley Tansey, Yixin Wang, David M. Blei, Raul Rabadan	Black Box FDR.	CoRR	2018	DBLP BibTeX RDF
22	M. Omar Al-Kadri, Adnan Aijaz, Arumugam Nallanathan	X-FDR: A Cross-Layer Routing Protocol for Multi-hop Full-Duplex Wireless Networks.	CoRR	2018	DBLP BibTeX RDF
22	Amir Hassan Ghaseminejad Tafreshi	A non-parametric maximum for number of selected features: objective optima for FDR and significance threshold with application to ordinal survey analysis.	J. Big Data	2018	DBLP DOI BibTeX RDF
22	Xinwei Sun 0001, Lingjing Hu, Fandong Zhang, Yuan Yao 0011, Yizhou Wang 0001	FDR-HS: An Empirical Bayesian Identification of Heterogenous Features in Neuroimage Analysis.	MICCAI (1)	2018	DBLP DOI BibTeX RDF
22	Roman Zoun, Kay Schallert, Atin Janki, Rohith Ravindran, Gabriel Campero Durand, Wolfram Fenske, David Broneske, Robert Heyer, Dirk Benndorf, Gunter Saake	Streaming FDR Calculation for Protein Identification.	ADBIS (Short Papers and Workshops)	2018	DBLP DOI BibTeX RDF
22	Wesley Tansey, Yixin Wang, David M. Blei, Raul Rabadan	Black Box FDR.	ICML	2018	DBLP BibTeX RDF
22	Yong He, Xinsheng Zhang, Pingping Wang, Liwen Zhang	High dimensional Gaussian copula graphical model with FDR control.	Comput. Stat. Data Anal.	2017	DBLP DOI BibTeX RDF
22	Haibing Zhao, Wing Kam Fung	FDR control under block dependence.	Commun. Stat. Simul. Comput.	2017	DBLP DOI BibTeX RDF
22	Nezamoddin Nezamoddini-Kachouie, Xihong Lin, Armin Schwartzman	FDR control of detected regions by multiscale matched filtering.	Commun. Stat. Simul. Comput.	2017	DBLP DOI BibTeX RDF
22	Kulwardhan Singh, Teek Parval Sharma	FDR: fault detection and recovery scheme for wireless sensor networks using virtual grid.	Int. J. Parallel Emergent Distributed Syst.	2017	DBLP DOI BibTeX RDF
22	Murat Moran, Dan S. Wallach	Verification of STAR-Vote and Evaluation of FDR and ProVerif.	CoRR	2017	DBLP BibTeX RDF