David M. Nicol

268 papers A* 5A 7B 34C 7Misc 48Journal 88Unranked 75

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Auto-SGCR: Automated Generation of Smart Grid Cyber Range Using IEC 61850 Standard Models. CoRR Muhammad M. Roomi, S. M. Suhail Hussain, Ee-Chien Chang, David M. Nicol, Daisuke Mashima
2025	—	`conf`	Reflection Test of Time: RINSE: the real-time immersive network simulation environment for network security exercises. SIGSIM-PADS David M. Nicol
2024	—	`conf`	DPU-LARD: DPU-Leveraged Attestation of Remote Devices for Security of OT Networks. SecureComm (4) William Kozlowski, Deming Chen, David M. Nicol
2023	J	`jnl`	CyberSAGE: The cyber security argument graph evaluation tool. Empir. Softw. Eng. William G. Temple, Yue Wu, Carmen Cheh, Yuan Li, Binbin Chen, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol
2023	J	`jnl`	Message Authentication and Provenance Verification for Industrial Control Systems. ACM Trans. Cyber Phys. Syst. Ertem Esiner, Utku Tefek, Daisuke Mashima, Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol
2023	J	`jnl`	Toward Common Weakness Enumerations in Industrial Control Systems. IEEE Secur. Priv. David M. Nicol, Gregory Shannon, Monika Akbar, Matt Bishop, Michael M. Chaney, Matthew E. Luallen
2022	J	`jnl`	Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401). Dagstuhl Reports Wentong Cai, Christopher D. Carothers, David M. Nicol, Adelinde M. Uhrmacher
2022	—	`conf`	Connectivity Preserving Anonymization of Smart Grid Network Configurations. SmartGridComm David M. Nicol
2022	A	`conf`	Exploiting monotonicity and symmetry for efficient simulation of highly dependable systems. DSN Hoang Hai Nguyen, Kartik Palani, David M. Nicol
2022	J	`jnl`	LoMoS: Less-Online/More-Offline Signatures for Extremely Time-Critical Systems. IEEE Trans. Smart Grid Ertem Esiner, Utku Tefek, Hasan S. M. Erol, Daisuke Mashima, Binbin Chen, Yih-Chun Hu, Zbigniew Kalbarczyk, David M. Nicol
2022	J	`jnl`	Mechanisms for Precise Virtual Time Advancement in Network Emulation. ACM Trans. Model. Comput. Simul. Vignesh Babu, David M. Nicol
2022	—	`conf`	Smart Grid Network Flows Best Practices Checker. SmartGridComm David M. Nicol, Emily Belovich, Atul Bohara
2022	—	`conf`	Temporally synchronized emulation of devices with simulation of networks. SIGSIM-PADS Vignesh Babu, David M. Nicol
2021	J	`jnl`	Message from IEEE S&P's Outgoing Editor in Chief. IEEE Secur. Priv. David M. Nicol
2021	J	`jnl`	The Ransomware Threat to Energy-Delivery Systems. IEEE Secur. Priv. David M. Nicol
2021	—	`conf`	vBump: Securing Ethernet-based Industrial Control System Networks with VLAN-based Traffic Aggregation. CPSIOTSEC@CCS Nils Ole Tippenhauer, Binbin Chen, Daisuke Mashima, David M. Nicol
2020	J	`jnl`	Assessment of System-Level Cyber Attack Vulnerability for Connected and Autonomous Vehicles Using Bayesian Networks. CoRR Gurcan Comert, Mashrur Chowdhury, David M. Nicol
2020	C	`conf`	Deep Reinforcement Learning for UAV-Assisted Emergency Response. MobiQuitous Isabella Lee, Vignesh Babu, Matthew Caesar, David M. Nicol
2020	B	`conf`	Estimating Loss Due to Cyber-attack in the Presence of Uncertainty. TrustCom Hoang Hai Nguyen, David M. Nicol
2020	—	`conf`	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. QEST Kartik Palani, David M. Nicol
2020	J	`jnl`	In the Petri Dish: Cybersecurity Pushed to the Edge. IEEE Secur. Priv. David M. Nicol
2020	J	`jnl`	Multiscale online media simulation with SocialCube. Comput. Math. Organ. Theory Tarek F. Abdelzaher, Jiawei Han, Yifan Hao, Andong Jing, Dongxin Liu, Shengzhong Liu, Hoang Hai Nguyen, David M. Nicol, Huajie Shao, Tianshi Wang, Shuochao Yao, Yu Zhang, Omar Malik, Stephen Dipple, James Flamino, Fred Buchanan, Sam Cohen, György Korniss, Boleslaw K. Szymanski
2020	J	`jnl`	Optimal Monitoring Strategies for Critical Infrastructure Networks. SIGMETRICS Perform. Evaluation Rev. Kartik Palani, David M. Nicol
2020	—	`conf`	Precise Virtual Time Advancement for Network Emulation. SIGSIM-PADS Vignesh Babu, David M. Nicol
2020	J	`jnl`	The Value of Useless Academic Research to the Cyberdefense of Critical Infrastructures. IEEE Secur. Priv. David M. Nicol
2019	C	`conf`	Challenges in Quantifying an Adversary's Cyber Access to Critical Infrastructures. CRITIS David M. Nicol
2019	A	`conf`	Extensions of Network Reliability Analysis. DSN Hoang Hai Nguyen, Kartik Palani, David M. Nicol
2019	—	`conf`	F-Pro: a Fast and Flexible Provenance-Aware Message Authentication Scheme for Smart Grid. SmartGridComm Ertem Esiner, Daisuke Mashima, Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol
2019	B	`conf`	Modeling Stepping Stone Attacks with Constraints in Cyber Infrastructure. GLOBECOM Marco A. Gamarra, Sachin Shetty, David M. Nicol, Laurent Njilla, Oscar R. González
2019	Misc	`conf`	SDN Resiliency to Controller Failure in Mobile Contexts. WSC David M. Nicol, Rakesh Kumar
2019	J	`jnl`	Security risk assessment for SDN-enabled smart grids. Comput. Commun. Hellen Maziku, Sachin Shetty, David M. Nicol
2019	—	`conf`	Simulation-based Analysis of Network Rules Matching. SIGSIM-PADS David M. Nicol
2018	—	`conf`	Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs. ICC Marco A. Gamarra, Sachin Shetty, David M. Nicol, Oscar Gonazlez, Charles A. Kamhoua, Laurent Njilla
2018	Misc	`conf`	Cyber Risk of Coordinated Attacks in Critical Infrastructures. WSC David M. Nicol
2018	B	`conf`	Network Coding for Critical Infrastructure Networks. ICNP Rakesh Kumar, Vignesh Babu, David M. Nicol
2018	J	`jnl`	Network Coding for Critical Infrastructure Networks. CoRR Rakesh Kumar, Vignesh Babu, David M. Nicol
2018	Misc	`conf`	On Repeatable Emulation in Virtual Testbeds. WSC Vignesh Babu, David M. Nicol
2018	J	`jnl`	Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors. ACM Trans. Model. Comput. Simul. Jereme Lamps, Vignesh Babu, David M. Nicol, Vladimir Adam, Rakesh Kumar
2018	J	`jnl`	Toward an Internet of Battlefield Things: A Resilience Perspective. Computer Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
2018	A	`conf`	Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
2017	—	`conf`	A Performance Model of Composite Synchronization. SIGSIM-PADS David M. Nicol
2017	—	`conf`	An Approach to Incorporating Uncertainty in Network Security Analysis. HotSoS Hoang Hai Nguyen, Kartik Palani, David M. Nicol
2017	J	`jnl`	An anatomy of trust in public key infrastructure. Int. J. Crit. Infrastructures Jingwei Huang, David M. Nicol
2017	Misc	`conf`	Melody: Synthesized datasets for evaluating intrusion detection systems for the smart grid. WSC Vignesh Babu, Rakesh Kumar, Hoang Hai Nguyen, David M. Nicol, Kartik Palani, Elizabeth Reed
2017	Misc	`conf`	Parallel discrete event simulation: The making of a field. WSC Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger
2016	—	`conf`	Cyber-Physical models for power grid security analysis: 8-substation case. SmartGridComm Gabriel A. Weaver, Kate Davis, Charles M. Davis, Edmond J. Rogers, Rakesh B. Bobba, Saman A. Zonouz, Robin Berthier, Peter W. Sauer, David M. Nicol
2016	—	`conf`	Efficient Monte Carlo Evaluation of SDN Resiliency. SIGSIM-PADS David M. Nicol, Rakesh Kumar
2016	Misc	`conf`	Emulation/simulation of PLC networks with the S3F network simulator. WSC Vignesh Babu, David M. Nicol
2016	—	`conf`	I Am Joe's Fridge: Scalable Identity in the Internet of Things. iThings/GreenCom/CPSCom/SmartData Prashant Anantharaman, Kartik Palani, David M. Nicol, Sean W. Smith
2016	J	`jnl`	Next-Generation Access Control for Distributed Control Systems. IEEE Internet Comput. Jun Ho Huh, Rakesh B. Bobba, Tom Markham, David M. Nicol, Julie Hull, Alexander Chernoguzov, Himanshu Khurana, Kevin Staggs, Jingwei Huang
2016	—	`conf`	Risk Assessment of Cyber Access to Physical Infrastructure in Cyber-Physical Systems. CPSS@AsiaCCS David M. Nicol
2016	—	`conf`	The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment. GraMSec Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders, Nils Ole Tippenhauer, David M. Nicol
2016	—	`conf`	Validating resiliency in Software Defined Networks for smart grids. SmartGridComm Rakesh Kumar, David M. Nicol
2015	—	`conf`	Conjoining Emulation and Network Simulators on Linux Multiprocessors. SIGSIM-PADS Jereme Lamps, Vladimir Adam, David M. Nicol, Matthew Caesar
2015	—	`conf`	Detection of x86 malware in AMI data payloads. SmartGridComm Vignesh Babu, David M. Nicol
2015	C	`conf`	Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios. PRDC Sumeet Jauhar, Binbin Chen, William G. Temple, Xinshu Dong, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol
2015	J	`jnl`	Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks. ACM Trans. Model. Comput. Simul. Dong (Kevin) Jin, David M. Nicol
2015	—	`ed.`	Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, HotSoS 2015, Urbana, IL, USA, April 21-22, 2015 HotSoS David M. Nicol
2014	Misc	`conf`	A continuous piecewise-linear NHPP intensity function estimator. WSC David M. Nicol, Lawrence M. Leemis
2014	J	`jnl`	A parallel network simulation and virtual time-based network emulation testbed. J. Simulation Dong (Kevin) Jin, Yuhao Zheng, David M. Nicol
2014	C	`conf`	Automatic Generation of Security Argument Graphs. PRDC Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
2014	J	`jnl`	Automatic Generation of Security Argument Graphs. CoRR Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
2014	—	`conf`	CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. QEST An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk
2014	—	`conf`	Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy. BigData Congress Jingwei Huang, David M. Nicol, Roy H. Campbell
2014	J	`jnl`	Designed-in Security for Cyber-Physical Systems. IEEE Secur. Priv. Sean Peisert, Jonathan Margulies, David M. Nicol, Himanshu Khurana, Chris Sawall
2014	B	`conf`	Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems. DCOSS Alefiya Hussain, Ted Faber, Robert Braden, Terry V. Benzel, Tim Yardley, Jeremy Jones, David M. Nicol, William H. Sanders, Thomas W. Edgar, Thomas E. Carroll, David O. Manz, Laura Tinnel
2014	—	`conf`	Evidence-based trust reasoning. HotSoS Jingwei Huang, David M. Nicol
2014	—	`conf`	Knowledge Discovery from Big Data for Intrusion Detection Using LDA. BigData Congress Jingwei Huang, Zbigniew T. Kalbarczyk, David M. Nicol
2014	Misc	`conf`	Modeling and analysis of stepping stone attacks. WSC David M. Nicol, Vikas Mallapura
2014	—	`ed.`	Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014 HotSoS Laurie A. Williams, David M. Nicol, Munindar P. Singh
2014	—	`conf`	TimeKeeper: a lightweight virtual time system for linux. SIGSIM-PADS Jereme Lamps, David M. Nicol, Matthew Caesar
2013	—	`conf`	A distributed monitoring architecture for AMIs: minimizing the number of monitoring nodes and enabling collided packet recovery. SEGS@CCS Incheol Shin, Jun Ho Huh, Yuseok Jeon, David M. Nicol
2013	C	`conf`	Go with the flow: toward workflow-oriented security assessment. NSPW Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol, William H. Sanders, Rui Tan, William G. Temple, Nils Ole Tippenhauer, An Hoa Vu, David K. Y. Yau
2013	—	`conf`	Grand challenges in modeling and simulation: expanding our horizons. SIGSIM-PADS Simon J. E. Taylor, Osman Balci, Wentong Cai, Margaret L. Loper, David M. Nicol, George F. Riley
2013	Misc	`conf`	Impacts of application lookahead on distributed network emulation. WSC Yuhao Zheng, Dong (Kevin) Jin, David M. Nicol
2013	—	`conf`	Parallel simulation of software defined networks. SIGSIM-PADS Dong (Kevin) Jin, David M. Nicol
2013	—	`conf`	Prevention of malware propagation in AMI. SmartGridComm Younghee Park, David M. Nicol, Huaiyu Zhu, Cheol Won Lee
2013	—	`conf`	Smart grid protocol testing through cyber-physical testbeds. ISGT Timothy M. Yardley, Robin Berthier, David M. Nicol, William H. Sanders
2013	J	`jnl`	Trust mechanisms for cloud computing. J. Cloud Comput. Jingwei Huang, David M. Nicol
2012	C	`conf`	A framework integrating attribute-based policies into role-based access control. SACMAT Jingwei Huang, David M. Nicol, Rakesh Bobba, Jun Ho Huh
2012	J	`jnl`	A virtual time system for virtualization-based network emulations and simulations. J. Simulation Yuhao Zheng, David M. Nicol, Dong (Kevin) Jin, Naoki Tanaka
2012	—	`conf`	Combating Unauthorized Load Signal Analysis with Targeted Event Masking. HICSS Thomas D. Nicol, David M. Nicol
2012	C	`conf`	Exploiting Uncertainty and Error to Accelerate Simulations. SIMULTECH David M. Nicol
2012	—	`conf`	Scaling issues for NERC CIP electronic security perimeter compliance assessment (extended abstract). ISGT David M. Nicol
2012	—	`conf`	Security and provenance in M3GS for cross-domain information sharing. MILCOM Jingwei Huang, David M. Nicol
2012	—	`conf`	The Not-So-Smart Grid: Preliminary work on identifying vulnerabilities in ANSI C12.22. GLOBECOM Workshops Shehla S. Rana, Huaiyu Zhu, Cheol Won Lee, David M. Nicol, Incheol Shin
2012	Misc	`conf`	Validation of application behavior on a virtual time integrated network emulation testbed. WSC Yuhao Zheng, Dong (Kevin) Jin, David M. Nicol
2012	B	`conf`	Virtual Time Integration of Emulation and Parallel Simulation. PADS Dong (Kevin) Jin, Yuhao Zheng, Huaiyu Zhu, David M. Nicol, Lenhard Winterrowd
2011	B	`conf`	A Virtual Time System for OpenVZ-Based Network Emulations. PADS Yuhao Zheng, David M. Nicol
2011	Misc	`conf`	An event buffer flooding attack in DNP3 controlled SCADA systems. WSC Dong (Kevin) Jin, David M. Nicol, Guanhua Yan
2011	J	`jnl`	Message from the program chairs. Perform. Evaluation David M. Nicol, Michael Huth
2011	Misc	`conf`	S3F: the Scalable Simulation Framework revisited. WSC David M. Nicol, Dong (Kevin) Jin, Yuhao Zheng
2010	J	`jnl`	A Formal-Semantics-Based Calculus of Trust. IEEE Internet Comput. Jingwei Huang, David M. Nicol
2010	—	`book`	Discrete-Event System Simulation, 5th New Internatinal Edition. Jerry Banks, John S. Carson II, Barry L. Nelson, David M. Nicol
2010	B	`conf`	Efficient Gigabit Ethernet Switch Models for Large-Scale Simulation. PADS Dong (Kevin) Jin, David M. Nicol, Matthew Caesar
2010	—	`conf`	Experiences Validating the Access Policy Tool in Industrial Settings. HICSS David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh
2010	Misc	`conf`	Fast simulation of background traffic through Fair Queueing networks. WSC Dong (Kevin) Jin, David M. Nicol
2010	Misc	`conf`	Methodologies for evaluating game theoretic defense against DDoS attacks. WSC Tanmay Khirwadkar, Kien C. Nguyen, David M. Nicol, Tamer Basar
2010	—	`conf`	Role-based differentiation for insider detection algorithms. Insider Threats@CCS Suraj Nellikar, David M. Nicol, Jai J. Choi
2010	—	`conf`	Securing the perimeter: challenges in enforcing global access control. CSIIRW David M. Nicol
2010	—	`conf`	The Koobface botnet and the rise of social malware. MALWARE Kurt Thomas, David M. Nicol
2010	B	`conf`	Validation of Radio Channel Models Using an Anechoic Chamber. PADS Yuhao Zheng, David M. Nicol
2010	A	`conf`	unFriendly: Multi-party Privacy Risks in Social Networks. Privacy Enhancing Technologies Kurt Thomas, Chris Grier, David M. Nicol
2009	Misc	`conf`	A Post-disaster Mobility Model for Delay Tolerant Networking. WSC Md. Yusuf Sarwar Uddin, David M. Nicol, Tarek F. Abdelzaher, Robin Kravets
2009	—	`conf`	A calculus of trust and its application to PKI and identity management. IDtrust Jingwei Huang, David M. Nicol
2009	J	`jnl`	A testbed for power system security evaluation. Int. J. Inf. Comput. Secur. David M. Nicol, Charles M. Davis, Thomas J. Overbye
2009	J	`jnl`	Application of trusted network technology to industrial control networks. Int. J. Crit. Infrastructure Prot. Hamed Okhravi, David M. Nicol
2009	J	`jnl`	Models of Privacy Preserving Traffic Tunneling. Simul. David M. Nicol, Nabil Schear
2009	—	`conf`	PolicyGlobe: a framework for integrating network and operating system security policies. SafeConfig Hamed Okhravi, Ryan H. Kagin, David M. Nicol
2009	—	`conf`	The Virtual Power System Testbed and Inter-Testbed Integration. CSET David C. Bergman, Dong (Kevin) Jin, David M. Nicol, Tim Yardley
2009	A	`conf`	TrustGraph: Trusted Graphics Subsystem for High Assurance Systems. ACSAC Hamed Okhravi, David M. Nicol
2008	—	`conf`	Applying Trusted Network Technology To Process Control Systems. Critical Infrastructure Protection Hamed Okhravi, David M. Nicol
2008	J	`jnl`	Efficient simulation of Internet worms. ACM Trans. Model. Comput. Simul. David M. Nicol
2008	B	`conf`	Performance Analysis of Real Traffic Carried with Encrypted Cover Flows. PADS Nabil Schear, David M. Nicol
2008	—	`conf`	Performance analysis of real traffic carried with encrypted cover flows: Invited talk 2. SpringSim David M. Nicol
2008	J	`jnl`	Usable Global Network Access Policy for Process Control Systems. IEEE Secur. Priv. David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri
2007	—	`conf`	Analysis of Local Address Scanning by Puppetnets. QEST David M. Nicol
2007	—	`conf`	Modeling and analysis of worm defense using stochastic activity networks. SpringSim (3) David M. Nicol, Steve Hanna, Frank Stratton, William H. Sanders
2007	—	`conf`	Securing Current and Future Process Control Systems. Critical Infrastructure Protection Robert K. Cunningham, Steven Cheung, Martin W. Fong, Ulf Lindqvist, David M. Nicol, Ronald Pawlowski, Eric Robinson, William H. Sanders, Sankalp Singh, Alfonso Valdes, Bradley Woodworth, Michael Zhivich
2006	—	`conf`	06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006	—	`conf`	06161 Executive Summary -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher
2006	Misc	`conf`	Detection of nuclear material at border crossings using motion correlation. WSC David M. Nicol, Rose Tsang, Heidi R. Ammerlahn, Michael M. Johnson
2006	J	`jnl`	High-Performance Simulation of Low-Resolution Network Flows. Simul. David M. Nicol, Guanhua Yan
2006	J	`jnl`	RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises (Extended Version). Simul. Michael Liljenstam, Jason Liu, David M. Nicol, Yougu Yuan, Guanhua Yan, Chris Grier
2006	—	`ed.`	Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006 Simulation and Verification of Dynamic Systems David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006	—	`conf`	The impact of stochastic variance on worm propagation and detection. WORM David M. Nicol
2005	Misc	`conf`	Advanced concepts in large-scale network simulation. WSC David M. Nicol, Michael Liljenstam, Jason Liu
2005	A*	`conf`	Aggregated path authentication for efficient BGP security. CCS Meiyuan Zhao, Sean W. Smith, David M. Nicol
2005	J	`jnl`	Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing Protocols. Simul. Jason Liu, Yougu Yuan, David M. Nicol, Robert S. Gray, Calvin C. Newport, David Kotz, Luiz Felipe Perrone
2005	J	`jnl`	Modeling and Simulation in Security Evaluation. IEEE Secur. Priv. David M. Nicol
2005	—	`conf`	Models and Analysis of Active Worm Defense. MMM-ACNS David M. Nicol, Michael Liljenstam
2005	J	`jnl`	Optimized pre-copy calibration of hard drives. SIGMETRICS Perform. Evaluation Rev. David M. Nicol
2005	Misc	`conf`	Performance analysis of binary code protection. WSC David M. Nicol, Hamed Okhravi
2005	B	`conf`	RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises. PADS Michael Liljenstam, Jason Liu, David M. Nicol, Yougu Yuan, Guanhua Yan, Chris Grier
2005	B	`conf`	Simulation of Network Traffic at Coarse Timescales. PADS David M. Nicol, Guanhua Yan
2005	J	`jnl`	The performance impact of BGP security. IEEE Netw. Meiyuan Zhao, Sean W. Smith, David M. Nicol
2004	Misc	`conf`	A BGP Attack Against Traffic Engineering. WSC Jintae Kim, Steven Y. Ko, David M. Nicol, Xenofontas A. Dimitropoulos, George F. Riley
2004	—	`conf`	Comparing Passive and Active Worm Defenses. QEST Michael Liljenstam, David M. Nicol
2004	A	`conf`	Diagnostics for Causes of Packet Loss in a High Performance Data Transfer System. IPDPS Phillip M. Dickens, Jay W. Larson, David M. Nicol
2004	J	`jnl`	Discrete event fluid modeling of background TCP traffic. ACM Trans. Model. Comput. Simul. David M. Nicol, Guanhua Yan
2004	J	`jnl`	Editorial. ACM Trans. Model. Comput. Simul. David M. Nicol
2004	Misc	`conf`	Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems. WSC Jeffrey J. Farris, David M. Nicol
2004	J	`jnl`	Evaluation of efficient security for BGP route announcements using parallel simulation. Simul. Model. Pract. Theory David M. Nicol, Sean W. Smith, Meiyuan Zhao
2004	Misc	`conf`	Fast Model-Based Penetration Testing. WSC Sankalp Singh, James Lyons, David M. Nicol
2004	J	`jnl`	Model-Based Evaluation: From Dependability to Security. IEEE Trans. Dependable Secur. Comput. David M. Nicol, William H. Sanders, Kishor S. Trivedi
2004	Misc	`conf`	On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation. WSC Michael Liljenstam, David M. Nicol
2004	Misc	`conf`	Simulation Analysis of Virtual Geographic Routing. WSC David M. Nicol, Michael E. Goldsby, Michael M. Johnson
2004	B	`conf`	Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols. PADS Jason Liu, Yougu Yuan, David M. Nicol, Robert S. Gray, Calvin C. Newport, David Kotz, L. Felipe Perrone
2003	B	`conf`	An Implementation of the SSF Scalable Simulation Framework on the Cray MTA. PADS Robert R. Henry, Simon Kahan, Jason Liu, David M. Nicol
2003	—	`conf`	Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure. Computer Performance Evaluation / TOOLS David M. Nicol, Michael Liljenstam, Jason Liu
2003	J	`jnl`	On k-ary n-cubes: Theory and Applications. Discret. Appl. Math. Weizhen Mao, David M. Nicol
2003	—	`conf`	Simulating realistic network worm traffic for worm warning system design and testing. WORM Michael Liljenstam, David M. Nicol, Vincent H. Berk, Robert S. Gray
2003	Misc	`conf`	Simulation of large scale networks I: simulation of large-scale networks using SSF. WSC David M. Nicol, Jason Liu, Michael Liljenstam, Guanhua Yan
2003	Misc	`conf`	Simulation of large scale networks II: development of an internet backbone topology for large-scale network simulations. WSC Michael Liljenstam, Jason Liu, David M. Nicol
2003	Misc	`conf`	Simulation of large scale networks II: modeling and simulation best practices for wireless ad hoc networks. WSC L. Felipe Perrone, Yougu Yuan, David M. Nicol
2003	B	`conf`	Utility Analysis of Parallel Simulation. PADS David M. Nicol
2002	B	`conf`	A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations. MASCOTS Michael Liljenstam, Yougu Yuan, Brian J. Premore, David M. Nicol
2002	B	`conf`	Analysis of composite synchronization. PADS David M. Nicol
2002	J	`jnl`	Composite Synchronization in Parallel Discrete-Event Simulation. IEEE Trans. Parallel Distributed Syst. David M. Nicol, Jason Liu
2002	B	`conf`	Lookahead revisited in wireless network simulations. PADS Jason Liu, David M. Nicol
2002	Misc	`conf`	Network modeling and simulation: a scalable simulator for TinyOS applications. WSC L. Felipe Perrone, David M. Nicol
2001	—	`conf`	Consistent modeling of distributed mutual exclusion protocol using optimistic simulation. Workshop on Parallel and Distributed Simulation Yoke-Hean Low, David M. Nicol
2001	Misc	`conf`	Fluid simulation: discrete event fluid modeling of TCP. WSC David M. Nicol
2001	—	`conf`	Learning not to share. Workshop on Parallel and Distributed Simulation Jason Liu, David M. Nicol
2001	—	`conf`	Lock-free scheduling of logical processes in parallel simulation. Workshop on Parallel and Distributed Simulation Jason Liu, David M. Nicol, King Tan
2001	Misc	`conf`	Wireless: towards high performance modeling of the 802.11 Wireless protocol. WSC Jason Liu, David M. Nicol, L. Felipe Perrone, Michael Liljenstam
2000	J	`jnl`	A geographically distributed enterprise simulation system. Future Gener. Comput. Syst. Heidi R. Ammerlahn, Michael E. Goldsby, Michael M. Johnson, David M. Nicol
2000	Misc	`conf`	Cost/benefit analysis of interval jumping in power-control simulation. WSC David M. Nicol, L. Felipe Perrone
2000	—	`conf`	Discrete-Event Simulation in Performance Evaluation. Performance Evaluation David M. Nicol
2000	B	`conf`	Safe timestamps and large-scale modeling. PADS David M. Nicol, Jason Liu, James H. Cowie
2000	B	`conf`	Using N-body Algorithms for Interference Computation in Wireless Cellular Simulations. MASCOTS L. Felipe Perrone, David M. Nicol
1999	Misc	`conf`	An investigation of out-of-core parallel discrete-event simulation. WSC Anna L. Poplawski, David M. Nicol
1999	J	`jnl`	Discrete-Event Simulation of Fluid Stochastic Petri Nets. IEEE Trans. Software Eng. Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1999	J	`jnl`	Modeling the global Internet. Comput. Sci. Eng. James H. Cowie, David M. Nicol, Andrew T. Ogielski
1999	—	`conf`	Performance Prediction of a Parallel Simulator. Workshop on Parallel and Distributed Simulation Jason Liu, David M. Nicol, Brian J. Premore, Anna L. Poplawski
1999	Misc	`conf`	Strategic directions in simulation research (panel). WSC Ernest H. Page, David M. Nicol, Osman Balci, Richard Fujimoto, Paul A. Fishwick, Pierre L'Ecuyer, Roger Smith
1999	Misc	`conf`	Towards Realistic Million-Node Internet Simulation. PDPTA James H. Cowie, Hongbo Liu, Jason Liu, David M. Nicol, Andrew T. Ogielski
1998	J	`jnl`	Distributed State Space Generation of Discrete-State Stochastic Models. INFORMS J. Comput. Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
1998	J	`jnl`	Fluid stochastic Petri nets: Theory, applications, and solution techniques. Eur. J. Oper. Res. Graham Horton, Vidyadhar G. Kulkarni, David M. Nicol, Kishor S. Trivedi
1998	B	`conf`	IDES: A Java-based Distributed Simulation Engine. MASCOTS David M. Nicol, Michael M. Johnson, Ann S. Yoshimura, Michael E. Goldsby
1998	—	`conf`	Nops: A Conservative Parallel Simulation Engine for TeD. Workshop on Parallel and Distributed Simulation Anna L. Poplawski, David M. Nicol
1998	J	`jnl`	Performing Out-of Core FFTs on Parallel Disk Systems. Parallel Comput. Thomas H. Cormen, David M. Nicol
1998	—	`conf`	Rapid Simulation of Wireless Systems. Workshop on Parallel and Distributed Simulation L. Felipe Perrone, David M. Nicol
1998	—	`conf`	Scalability, Locality, Partitioning and Synchronization PDES. Workshop on Parallel and Distributed Simulation David M. Nicol
1998	J	`jnl`	Transformation of NS TCP Models to TED. SIGMETRICS Perform. Evaluation Rev. Brian J. Premore, David M. Nicol
1997	J	`jnl`	Automated Parallelization of Discrete State-Space Generation. J. Parallel Distributed Comput. David M. Nicol, Gianfranco Ciardo
1997	J	`jnl`	Balancing contention and synchronization on the Intel Paragon. IEEE Concurrency Shahid H. Bokhari, David M. Nicol
1997	—	`conf`	Discrete-event simulation of fluid stochastic Petri nets. PNPM Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi
1997	J	`jnl`	Editorial. ACM Trans. Model. Comput. Simul. David M. Nicol
1997	J	`jnl`	Efficient Bulk-Loading of Gridfiles. IEEE Trans. Knowl. Data Eng. Scott T. Leutenegger, David M. Nicol
1997	—	`conf`	Multiprocessor Out-of-core FFTs with Distributed Memory and Parallel Disks (extended abstract). IOPADS Thomas H. Cormen, Jake Wegmann, David M. Nicol
1997	J	`jnl`	Out-of-Core FFTs with Parallel Disks. SIGMETRICS Perform. Evaluation Rev. Thomas H. Cormen, David M. Nicol
1997	Misc	`conf`	Parallel Simulation of TCP/IP Using TeD. WSC Brian J. Premore, David M. Nicol
1997	—	`conf`	Parallel Simulation: Past, Present, and Future. Annual Simulation Symposium David M. Nicol
1997	—	`conf`	Performance Modeling of the IDES Framework. Workshop on Parallel and Distributed Simulation David M. Nicol, Michael M. Johnson, Ann S. Yoshimura, Michael E. Goldsby
1997	—	`conf`	The Dark Side of Risk (what your mother never told you about Time Warp). Workshop on Parallel and Distributed Simulation David M. Nicol, X. Liu
1997	Misc	`conf`	The IDES Framework: A Case Study in Development of a Parallel Discrete-Event Simulation System. WSC David M. Nicol, Michael M. Johnson, Ann S. Yoshimura
1996	J	`jnl`	Analysis of Bounded Time Warp and Comparison with YAWNS. ACM Trans. Model. Comput. Simul. Phillip M. Dickens, David M. Nicol, Paul F. Reynolds Jr., John Mark Duva
1996	B	`conf`	Building Parallel Simulations from Serial Simulators. MASCOTS Philip Heidelberger, David M. Nicol
1996	—	`conf`	Experiments in Automated Load Balancing. Workshop on Parallel and Distributed Simulation Linda F. Wilson, David M. Nicol
1996	J	`jnl`	Isomorphic Routing on a Toroidal Mesh. INFORMS J. Comput. Weizhen Mao, David M. Nicol
1996	J	`jnl`	On Bottleneck Partitioning of k-Ary n-Cubes. Parallel Process. Lett. David M. Nicol, Weizhen Mao
1996	—	`conf`	On Extending More Parallelism to Serial Simulators. Workshop on Parallel and Distributed Simulation David M. Nicol, Philip Heidelberger
1996	J	`jnl`	Parallel Execution for Serial Simulators. ACM Trans. Model. Comput. Simul. David M. Nicol, Philip Heidelberger
1996	B	`conf`	Parallelizable Execution-Driven Simulation of Threaded Distributed Memory Parallel Computations. MASCOTS David M. Nicol, J. X. Liu
1996	J	`jnl`	Parallelized Direct Execution Simulation of Message-Passing Parallel Programs. IEEE Trans. Parallel Distributed Syst. Phillip M. Dickens, Philip Heidelberger, David M. Nicol
1996	Misc	`conf`	Principles of Conservative Parallel Simulation. WSC David M. Nicol
1996	J	`jnl`	Static Assignment of Stochastic Tasks Using Majorization. IEEE Trans. Computers David M. Nicol, Rahul Simha, Donald F. Towsley
1996	—	`conf`	Towards a Thread-Based Parallel Direct Execution Simulator. HICSS (1) Phillip M. Dickens, Matthew Haines, Piyush Mehrotra, David M. Nicol
1995	J	`jnl`	A Comparative Study of Parallel Algorithms for Simulating Continuous Time Markov Chains. ACM Trans. Model. Comput. Simul. David M. Nicol, Philip Heidelberger
1995	—	`conf`	A Heuristic for Partitioning Parallel Computation. Parallel and Distributed Computing and Systems Weizhen Mao, David M. Nicol
1995	Misc	`conf`	Automated Load Balancing in SPEEDES. WSC Linda F. Wilson, David M. Nicol
1995	J	`jnl`	Automated Parallelization of Timed Petri-Net Simulations. J. Parallel Distributed Comput. David M. Nicol, Weizhen Mao
1995	B	`conf`	Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications. MASCOTS Albert G. Greenberg, Boris D. Lubachevsky, David M. Nicol, Paul E. Wright
1995	B	`conf`	Empirical study of parallel trace-driven LRU cache simulators. PADS David M. Nicol, Eric Carr
1995	J	`jnl`	Footsteps: Trail-Blazing the Web. Comput. Networks ISDN Syst. David M. Nicol, Calum Smeaton, Alan Falconer Slater
1995	B	`conf`	Global virtual time and distributed synchronization. PADS Jeff S. Steinman, Craig A. Lee, Linda F. Wilson, David M. Nicol
1995	J	`jnl`	Noncommittal Barrier Synchronization. Parallel Comput. David M. Nicol
1995	B	`conf`	On extending parallelism to serial simulators. PADS David M. Nicol, Philip Heidelberger
1995	B	`conf`	Parallelized Network Simulators for Message-Passing Parallel Programs. MASCOTS Phillip M. Dickens, Philip Heidelberger, David M. Nicol
1995	—	`conf`	The fluid stochastic Petri net simulator. PNPM David M. Nicol, Andrew S. Miner
1994	B	`conf`	A distributed memory LAPSE: parallel simulation of message-passing programs. PADS Phillip M. Dickens, Philip Heidelberger, David M. Nicol
1994	B	`conf`	Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications. PADS Albert G. Greenberg, Boris D. Lubachevsky, David M. Nicol, Paul E. Wright
1994	J	`jnl`	Massively Parallel Algorithms for Trace-Driven Cache Simulations. IEEE Trans. Parallel Distributed Syst. David M. Nicol, Albert G. Greenberg, Boris D. Lubachevsky
1994	A*	`conf`	Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures. SIGMETRICS David M. Nicol, Shahid H. Bokhari
1994	J	`jnl`	Optimal Processor Assignment for a Class of Pipelined Computations. IEEE Trans. Parallel Distributed Syst. Alok N. Choudhary, Bhagirath Narahari, David M. Nicol, Rahul Simha
1994	B	`conf`	Parallel Simulation of Markovian Queueing Networks. MASCOTS Philip Heidelberger, David M. Nicol
1994	J	`jnl`	Parallel simulation today. Ann. Oper. Res. David M. Nicol, Richard Fujimoto
1994	J	`jnl`	Rectilinear Partitioning of Irregular Data Parallel Computations. J. Parallel Distributed Comput. David M. Nicol
1994	Misc	`conf`	Timing simulation of paragon codes using workstation clusters. WSC Phillip M. Dickens, Philip Heidelberger, David M. Nicol
1993	J	`jnl`	A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks. J. Parallel Distributed Comput. Bruno Gaujal, Albert G. Greenberg, David M. Nicol
1993	J	`jnl`	Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization. IEEE Trans. Parallel Distributed Syst. Philip Heidelberger, David M. Nicol
1993	B	`conf`	Global synchronization for optimistic parallel discrete event simulation. PADS David M. Nicol
1993	A*	`conf`	Load Balancing of Complex Stochastic Tasks Using Stochastic Majorization. INFOCOM David M. Nicol, Rahul Simha, Donald F. Towsley
1993	J	`jnl`	Optimistic Parallel Simulation of Continuous Time Markov Chains Using Uniformization. J. Parallel Distributed Comput. David M. Nicol, Philip Heidelberger
1993	A*	`conf`	Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization. SIGMETRICS David M. Nicol, Philip Heidelberger
1993	B	`conf`	Parallel algorithms for simulating continuous time Markov chains. PADS David M. Nicol, Philip Heidelberger
1993	J	`jnl`	The Cost of Conservative Synchronization in Parallel Discrete Event Simulations. J. ACM David M. Nicol
1993	Misc	`conf`	The impact of adding aggressiveness to a non-aggressive windowing protocol. WSC Phillip M. Dickens, David M. Nicol, Paul F. Reynolds Jr., John Mark Duva
1992	J	`jnl`	Conservative Parallel Simulation of Priority Class Queuing Networks. IEEE Trans. Parallel Distributed Syst. David M. Nicol
1992	J	`jnl`	Estimating the Probability of Failure When Testing Reveals No Failures. IEEE Trans. Software Eng. Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas
1992	Misc	`conf`	MIMD Parallel Simulation of Circuit-Switched Communication Networks. WSC David M. Nicol, Albert G. Greenberg, Boris D. Lubachevsky
1992	Misc	`conf`	State of the art in parallel simulation. WSC Richard M. Fujimoto, David M. Nicol
1991	J	`jnl`	Improved Algorithms for Mapping Pipelined and Parallel Computations. IEEE Trans. Computers David M. Nicol, David R. O'Hallaron
1991	Misc	`conf`	Parallel simulation of timed Petri-nets. WSC David M. Nicol, Subhas C. Roy
1991	J	`jnl`	Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations. ACM Trans. Model. Comput. Simul. David M. Nicol
1990	Misc	`conf`	A "conservative" approach to parallelizing the Sharks World simulation. WSC David M. Nicol, Scott E. Riffe
1990	J	`jnl`	A Multistage Linear Array Assignment Problem. Oper. Res. Rex K. Kincaid, David M. Nicol, Douglas R. Shier, D. Richards
1990	J	`jnl`	An Anlysis of Scatter Decomposition. IEEE Trans. Computers David M. Nicol, Joel H. Saltz
1990	B	`conf`	Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations. PPoPP David M. Nicol
1990	J	`jnl`	Optimal Dynamic Remapping of Data Parallel Computations. IEEE Trans. Computers David M. Nicol, Paul F. Reynolds Jr.
1990	J	`jnl`	Parallel Solution of Sparse One-Dimensional Dynamic Programming Problems. INFORMS J. Comput. David M. Nicol
1989	A*	`conf`	Accurate Modeling of Parallel Scientific Computations. SIGMETRICS David M. Nicol, James C. Townsend
1989	J	`jnl`	Delay point schedules for irregular parallel computations. Int. J. Parallel Program. David M. Nicol, Joel H. Saltz, James C. Townsend
1989	Misc	`conf`	Efficient aggregation of multiple PLs in distributed memory parallel simulations. WSC David M. Nicol, Chris C. Michael, Patrick Inouye
1989	J	`jnl`	Optimal Partitioning of Random Programs Across two Processors. IEEE Trans. Software Eng. David M. Nicol
1988	J	`jnl`	Dynamic Remapping of Parallel Computations with Varying Resource Demands. IEEE Trans. Computers David M. Nicol, Joel H. Saltz
1988	J	`jnl`	Expected Performance of m-Solution Backtracking. SIAM J. Comput. David M. Nicol
1988	Misc	`conf`	Implementation parallelized queueing network simulations using FORTRAN and data abstraction. WSC Keith W. Miller, David M. Nicol
1988	—	`conf`	Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks. PPOPP/PPEALS David M. Nicol
1988	A	`conf`	Principles of runtime support for parallel processors. ICS Ravi Mirchandaney, Joel H. Saltz, Roger M. Smith, David M. Nicol, Kay Crowley
1988	J	`jnl`	Problem Size, Parallel Architecture, and Optimal Speedup. J. Parallel Distributed Comput. David M. Nicol, Frank H. Willard
1987	Misc	`conf`	Performance issues for distributed battlefield simulations. WSC David M. Nicol
1987	B	`conf`	Problem Size, Parallel Architecture, and Optimal Speedup. ICPP David M. Nicol, Frank H. Willard
1987	—	`conf`	The PARTY Parallel Runtime System - Invited Talk. PP Joel H. Saltz, Ravi Mirchandaney, Roger M. Smith, David M. Nicol, Kay Crowley
1985	Misc	`conf`	An optimal repartitioning decision policy. WSC David M. Nicol, Paul F. Reynolds Jr.
1985	—	`conf`	Reduction of the effects of the communication delays in scientific algorithms on message passing MIMD architectures. PP Joel H. Saltz, Vijay K. Naik, David M. Nicol
1984	Misc	`conf`	Problem oriented protocol design. WSC David M. Nicol, Paul F. Reynolds Jr.