Problem oriented protocol design. - David M. Nicol; Paul F. Reynolds Jr. (WSC, 1984)

Reduction of the effects of the communication delays in scientific algorithms on message passing MIMD architectures. - Joel H. Saltz; Vijay K. Naik; David M. Nicol (PP, 1985)

An optimal repartitioning decision policy. - David M. Nicol; Paul F. Reynolds Jr. (WSC, 1985)

The PARTY Parallel Runtime System - Invited Talk. - Joel H. Saltz; Ravi Mirchandaney; Roger M. Smith; David M. Nicol; Kay Crowley (PP, 1987)

Performance issues for distributed battlefield simulations. - David M. Nicol (WSC, 1987)

Principles of runtime support for parallel processors. - Ravi Mirchandaney; Joel H. Saltz; Roger M. Smith; David M. Nicol; Kay Crowley (ICS, 1988)

Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks. - David M. Nicol (PPOPP/PPEALS, 1988)

Implementation parallelized queueing network simulations using FORTRAN and data abstraction. - Keith W. Miller 001; David M. Nicol (WSC, 1988)

Problem Size, Parallel Architecture, and Optimal Speedup. - David M. Nicol; Frank H. Willard (J. Parallel Distributed Comput., 1988)

Expected Performance of m-Solution Backtracking. - David M. Nicol (SIAM J. Comput., 1988)

Dynamic Remapping of Parallel Computations with Varying Resource Demands. - David M. Nicol; Joel H. Saltz (IEEE Trans. Computers, 1988)

Accurate Modeling of Parallel Scientific Computations. - David M. Nicol; James C. Townsend (SIGMETRICS, 1989)

Efficient aggregation of multiple PLs in distributed memory parallel simulations. - David M. Nicol; Chris C. Michael; Patrick Inouye (WSC, 1989)

Delay point schedules for irregular parallel computations. - David M. Nicol; Joel H. Saltz; James C. Townsend (Int. J. Parallel Program., 1989)

Optimal Partitioning of Random Programs Across two Processors. - David M. Nicol (IEEE Trans. Software Eng., 1989)

Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations. - David M. Nicol (PPoPP, 1990)

A "conservative" approach to parallelizing the Sharks World simulation. - David M. Nicol; Scott E. Riffe (WSC, 1990)

Parallel Solution of Sparse One-Dimensional Dynamic Programming Problems. - David M. Nicol (INFORMS J. Comput., 1990)

A Multistage Linear Array Assignment Problem. - Rex K. Kincaid; David M. Nicol; Douglas R. Shier; D. Richards (Oper. Res., 1990)

Optimal Dynamic Remapping of Data Parallel Computations. - David M. Nicol; Paul F. Reynolds Jr. (IEEE Trans. Computers, 1990)

An Anlysis of Scatter Decomposition. - David M. Nicol; Joel H. Saltz (IEEE Trans. Computers, 1990)

Parallel simulation of timed Petri-nets. - David M. Nicol; Subhas C. Roy (WSC, 1991)

Improved Algorithms for Mapping Pipelined and Parallel Computations. - David M. Nicol; David R. O'Hallaron (IEEE Trans. Computers, 1991)

Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations. - David M. Nicol (ACM Trans. Model. Comput. Simul., 1991)

State of the art in parallel simulation. - Richard M. Fujimoto; David M. Nicol (WSC, 1992)

MIMD Parallel Simulation of Circuit-Switched Communication Networks. - David M. Nicol; Albert G. Greenberg; Boris D. Lubachevsky (WSC, 1992)

Conservative Parallel Simulation of Priority Class Queuing Networks. - David M. Nicol (IEEE Trans. Parallel Distributed Syst., 1992)

Estimating the Probability of Failure When Testing Reveals No Failures. - Keith W. Miller 001; Larry J. Morell; Robert E. Noonan; Stephen K. Park; David M. Nicol; Branson W. Murrill; Jeffrey M. Voas (IEEE Trans. Software Eng., 1992)

Load Balancing of Complex Stochastic Tasks Using Stochastic Majorization. - David M. Nicol; Rahul Simha; Donald F. Towsley (INFOCOM, 1993)

Global synchronization for optimistic parallel discrete event simulation. - David M. Nicol (PADS, 1993)

Parallel algorithms for simulating continuous time Markov chains. - David M. Nicol; Philip Heidelberger (PADS, 1993)

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization. - David M. Nicol; Philip Heidelberger (SIGMETRICS, 1993)

The impact of adding aggressiveness to a non-aggressive windowing protocol. - Phillip M. Dickens; David M. Nicol; Paul F. Reynolds Jr.; John Mark Duva (WSC, 1993)

The Cost of Conservative Synchronization in Parallel Discrete Event Simulations. - David M. Nicol (J. ACM, 1993)

A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks. - Bruno Gaujal; Albert G. Greenberg; David M. Nicol (J. Parallel Distributed Comput., 1993)

Optimistic Parallel Simulation of Continuous Time Markov Chains Using Uniformization. - David M. Nicol; Philip Heidelberger (J. Parallel Distributed Comput., 1993)

Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization. - Philip Heidelberger; David M. Nicol (IEEE Trans. Parallel Distributed Syst., 1993)

Parallel Simulation of Markovian Queueing Networks. - Philip Heidelberger; David M. Nicol (MASCOTS, 1994)

A distributed memory LAPSE: parallel simulation of message-passing programs. - Phillip M. Dickens; Philip Heidelberger; David M. Nicol (PADS, 1994)

Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications. - Albert G. Greenberg; Boris D. Lubachevsky; David M. Nicol; Paul E. Wright (PADS, 1994)

Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures. - David M. Nicol; Shahid H. Bokhari (SIGMETRICS, 1994)

Timing simulation of paragon codes using workstation clusters. - Phillip M. Dickens; Philip Heidelberger; David M. Nicol (WSC, 1994)

Parallel simulation today. - David M. Nicol; Richard Fujimoto (Ann. Oper. Res., 1994)

Rectilinear Partitioning of Irregular Data Parallel Computations. - David M. Nicol (J. Parallel Distributed Comput., 1994)

Optimal Processor Assignment for a Class of Pipelined Computations. - Alok N. Choudhary; Bhagirath Narahari; David M. Nicol; Rahul Simha (IEEE Trans. Parallel Distributed Syst., 1994)

Massively Parallel Algorithms for Trace-Driven Cache Simulations. - David M. Nicol; Albert G. Greenberg; Boris D. Lubachevsky (IEEE Trans. Parallel Distributed Syst., 1994)

Parallelized Network Simulators for Message-Passing Parallel Programs. - Phillip M. Dickens; Philip Heidelberger; David M. Nicol (MASCOTS, 1995)

Empirical study of parallel trace-driven LRU cache simulators. - David M. Nicol; Eric Carr (PADS, 1995)

On extending parallelism to serial simulators. - David M. Nicol; Philip Heidelberger (PADS, 1995)

Global virtual time and distributed synchronization. - Jeff S. Steinman; Craig A. Lee; Linda F. Wilson; David M. Nicol (PADS, 1995)

A Heuristic for Partitioning Parallel Computation. - Weizhen Mao; David M. Nicol (Parallel and Distributed Computing and Systems, 1995)

The fluid stochastic Petri net simulator. - David M. Nicol; Andrew S. Miner (PNPM, 1995)

Automated Load Balancing in SPEEDES. - Linda F. Wilson; David M. Nicol (WSC, 1995)

Footsteps: Trail-Blazing the Web. - David M. Nicol; Calum Smeaton; Alan Falconer Slater (Comput. Networks ISDN Syst., 1995)

Automated Parallelization of Timed Petri-Net Simulations. - David M. Nicol; Weizhen Mao (J. Parallel Distributed Comput., 1995)

Noncommittal Barrier Synchronization. - David M. Nicol (Parallel Comput., 1995)

A Comparative Study of Parallel Algorithms for Simulating Continuous Time Markov Chains. - David M. Nicol; Philip Heidelberger (ACM Trans. Model. Comput. Simul., 1995)

Towards a Thread-Based Parallel Direct Execution Simulator. - Phillip M. Dickens; Matthew Haines; Piyush Mehrotra; David M. Nicol (HICSS (1), 1996)

Building Parallel Simulations from Serial Simulators. - Philip Heidelberger; David M. Nicol (MASCOTS, 1996)

Parallelizable Execution-Driven Simulation of Threaded Distributed Memory Parallel Computations. - David M. Nicol; J. X. Liu (MASCOTS, 1996)

On Extending More Parallelism to Serial Simulators. - David M. Nicol; Philip Heidelberger (Workshop on Parallel and Distributed Simulation, 1996)

Experiments in Automated Load Balancing. - Linda F. Wilson; David M. Nicol (Workshop on Parallel and Distributed Simulation, 1996)

Principles of Conservative Parallel Simulation. - David M. Nicol (WSC, 1996)

Isomorphic Routing on a Toroidal Mesh. - Weizhen Mao; David M. Nicol (INFORMS J. Comput., 1996)

On Bottleneck Partitioning of k-Ary n-Cubes. - David M. Nicol; Weizhen Mao (Parallel Process. Lett., 1996)

Static Assignment of Stochastic Tasks Using Majorization. - David M. Nicol; Rahul Simha; Donald F. Towsley (IEEE Trans. Computers, 1996)

Analysis of Bounded Time Warp and Comparison with YAWNS. - Phillip M. Dickens; David M. Nicol; Paul F. Reynolds Jr.; John Mark Duva (ACM Trans. Model. Comput. Simul., 1996)

Parallel Execution for Serial Simulators. - David M. Nicol; Philip Heidelberger (ACM Trans. Model. Comput. Simul., 1996)

Parallelized Direct Execution Simulation of Message-Passing Parallel Programs. - Phillip M. Dickens; Philip Heidelberger; David M. Nicol (IEEE Trans. Parallel Distributed Syst., 1996)

Parallel Simulation: Past, Present, and Future. - David M. Nicol (Annual Simulation Symposium, 1997)

Multiprocessor Out-of-core FFTs with Distributed Memory and Parallel Disks (extended abstract). - Thomas H. Cormen; Jake Wegmann; David M. Nicol (IOPADS, 1997)

Performance Modeling of the IDES Framework. - David M. Nicol; Michael M. Johnson; Ann S. Yoshimura; Michael E. Goldsby (Workshop on Parallel and Distributed Simulation, 1997)

The Dark Side of Risk (what your mother never told you about Time Warp). - David M. Nicol; X. Liu (Workshop on Parallel and Distributed Simulation, 1997)

The IDES Framework: A Case Study in Development of a Parallel Discrete-Event Simulation System. - David M. Nicol; Michael M. Johnson; Ann S. Yoshimura (WSC, 1997)

Parallel Simulation of TCP/IP Using TeD. - Brian J. Premore; David M. Nicol (WSC, 1997)

Balancing contention and synchronization on the Intel Paragon. - Shahid H. Bokhari; David M. Nicol (IEEE Concurrency, 1997)

Automated Parallelization of Discrete State-Space Generation. - David M. Nicol; Gianfranco Ciardo (J. Parallel Distributed Comput., 1997)

Out-of-Core FFTs with Parallel Disks. - Thomas H. Cormen; David M. Nicol (SIGMETRICS Perform. Evaluation Rev., 1997)

Efficient Bulk-Loading of Gridfiles. - Scott T. Leutenegger; David M. Nicol (IEEE Trans. Knowl. Data Eng., 1997)

IDES: A Java-based Distributed Simulation Engine. - David M. Nicol; Michael M. Johnson; Ann S. Yoshimura; Michael E. Goldsby (MASCOTS, 1998)

Scalability, Locality, Partitioning and Synchronization PDES. - David M. Nicol (Workshop on Parallel and Distributed Simulation, 1998)

Rapid Simulation of Wireless Systems. - L. Felipe Perrone; David M. Nicol (Workshop on Parallel and Distributed Simulation, 1998)

Nops: A Conservative Parallel Simulation Engine for TeD. - Anna L. Poplawski; David M. Nicol (Workshop on Parallel and Distributed Simulation, 1998)

Fluid stochastic Petri nets: Theory, applications, and solution techniques. - Graham Horton; Vidyadhar G. Kulkarni; David M. Nicol; Kishor S. Trivedi (Eur. J. Oper. Res., 1998)

Distributed State Space Generation of Discrete-State Stochastic Models. - Gianfranco Ciardo; Joshua Gluckman; David M. Nicol (INFORMS J. Comput., 1998)

Performing Out-of Core FFTs on Parallel Disk Systems. - Thomas H. Cormen; David M. Nicol (Parallel Comput., 1998)

Transformation of NS TCP Models to TED. - Brian J. Premore; David M. Nicol (SIGMETRICS Perform. Evaluation Rev., 1998)

Performance Prediction of a Parallel Simulator. - Jason Liu 001; David M. Nicol; Brian J. Premore; Anna L. Poplawski (Workshop on Parallel and Distributed Simulation, 1999)

Towards Realistic Million-Node Internet Simulation. - James H. Cowie; Hongbo Liu 005; Jason Liu 001; David M. Nicol; Andrew T. Ogielski (PDPTA, 1999)

Strategic directions in simulation research (panel). - Ernest H. Page; David M. Nicol; Osman Balci; Richard Fujimoto; Paul A. Fishwick; Pierre L'Ecuyer; Roger Smith (WSC, 1999)

An investigation of out-of-core parallel discrete-event simulation. - Anna L. Poplawski; David M. Nicol (WSC, 1999)

Modeling the global Internet. - James H. Cowie; David M. Nicol; Andrew T. Ogielski (Comput. Sci. Eng., 1999)

Discrete-Event Simulation of Fluid Stochastic Petri Nets. - Gianfranco Ciardo; David M. Nicol; Kishor S. Trivedi (IEEE Trans. Software Eng., 1999)

Discrete-Event Simulation in Performance Evaluation. - David M. Nicol (Performance Evaluation, 2000)

Using N-body Algorithms for Interference Computation in Wireless Cellular Simulations. - L. Felipe Perrone; David M. Nicol (MASCOTS, 2000)

Safe timestamps and large-scale modeling. - David M. Nicol; Jason Liu 001; James H. Cowie (PADS, 2000)

Cost/benefit analysis of interval jumping in power-control simulation. - David M. Nicol; L. Felipe Perrone (WSC, 2000)

A geographically distributed enterprise simulation system. - Heidi R. Ammerlahn; Michael E. Goldsby; Michael M. Johnson; David M. Nicol (Future Gener. Comput. Syst., 2000)

Learning not to share. - Jason Liu 001; David M. Nicol (Workshop on Parallel and Distributed Simulation, 2001)

Lock-free scheduling of logical processes in parallel simulation. - Jason Liu 001; David M. Nicol; King Tan (Workshop on Parallel and Distributed Simulation, 2001)

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation. - Yoke-Hean Low; David M. Nicol (Workshop on Parallel and Distributed Simulation, 2001)

Wireless: towards high performance modeling of the 802.11 Wireless protocol. - Jason Liu 001; David M. Nicol; L. Felipe Perrone; Michael Liljenstam (WSC, 2001)

Fluid simulation: discrete event fluid modeling of TCP. - David M. Nicol (WSC, 2001)

A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations. - Michael Liljenstam; Yougu Yuan; Brian J. Premore; David M. Nicol (MASCOTS, 2002)

Lookahead revisited in wireless network simulations. - Jason Liu 001; David M. Nicol (PADS, 2002)

Analysis of composite synchronization. - David M. Nicol (PADS, 2002)

Network modeling and simulation: a scalable simulator for TinyOS applications. - L. Felipe Perrone; David M. Nicol (WSC, 2002)

Composite Synchronization in Parallel Discrete-Event Simulation. - David M. Nicol; Jason Liu 001 (IEEE Trans. Parallel Distributed Syst., 2002)

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure. - David M. Nicol; Michael Liljenstam; Jason Liu 001 (Computer Performance Evaluation / TOOLS, 2003)

An Implementation of the SSF Scalable Simulation Framework on the Cray MTA. - Robert R. Henry; Simon Kahan; Jason Liu 001; David M. Nicol (PADS, 2003)

Utility Analysis of Parallel Simulation. - David M. Nicol (PADS, 2003)

Simulating realistic network worm traffic for worm warning system design and testing. - Michael Liljenstam; David M. Nicol; Vincent H. Berk; Robert S. Gray (WORM, 2003)

Simulation of large scale networks II: development of an internet backbone topology for large-scale network simulations. - Michael Liljenstam; Jason Liu 001; David M. Nicol (WSC, 2003)

Simulation of large scale networks I: simulation of large-scale networks using SSF. - David M. Nicol; Jason Liu 001; Michael Liljenstam; Guanhua Yan (WSC, 2003)

Simulation of large scale networks II: modeling and simulation best practices for wireless ad hoc networks. - L. Felipe Perrone; Yougu Yuan; David M. Nicol (WSC, 2003)

On k-ary n-cubes: Theory and Applications. - Weizhen Mao; David M. Nicol (Discret. Appl. Math., 2003)

Diagnostics for Causes of Packet Loss in a High Performance Data Transfer System. - Phillip M. Dickens; Jay W. Larson; David M. Nicol (IPDPS, 2004)

Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols. - Jason Liu 001; Yougu Yuan; David M. Nicol; Robert S. Gray; Calvin C. Newport; David Kotz; L. Felipe Perrone (PADS, 2004)

Comparing Passive and Active Worm Defenses. - Michael Liljenstam; David M. Nicol (QEST, 2004)

Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems. - Jeffrey J. Farris; David M. Nicol (WSC, 2004)

A BGP Attack Against Traffic Engineering. - Jintae Kim; Steven Y. Ko; David M. Nicol; Xenofontas A. Dimitropoulos; George F. Riley (WSC, 2004)

On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation. - Michael Liljenstam; David M. Nicol (WSC, 2004)

Simulation Analysis of Virtual Geographic Routing. - David M. Nicol; Michael E. Goldsby; Michael M. Johnson (WSC, 2004)

Fast Model-Based Penetration Testing. - Sankalp Singh; James Lyons; David M. Nicol (WSC, 2004)

Evaluation of efficient security for BGP route announcements using parallel simulation. - David M. Nicol; Sean W. Smith; Meiyuan Zhao (Simul. Model. Pract. Theory, 2004)

Model-Based Evaluation: From Dependability to Security. - David M. Nicol; William H. Sanders; Kishor S. Trivedi (IEEE Trans. Dependable Secur. Comput., 2004)

Editorial. - David M. Nicol (ACM Trans. Model. Comput. Simul., 2004)

Discrete event fluid modeling of background TCP traffic. - David M. Nicol; Guanhua Yan (ACM Trans. Model. Comput. Simul., 2004)

Aggregated path authentication for efficient BGP security. - Meiyuan Zhao; Sean W. Smith; David M. Nicol (CCS, 2005)

Models and Analysis of Active Worm Defense. - David M. Nicol; Michael Liljenstam (MMM-ACNS, 2005)

RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises. - Michael Liljenstam; Jason Liu 001; David M. Nicol; Yougu Yuan; Guanhua Yan; Chris Grier (PADS, 2005)

Simulation of Network Traffic at Coarse Timescales. - David M. Nicol; Guanhua Yan (PADS, 2005)

Advanced concepts in large-scale network simulation. - David M. Nicol; Michael Liljenstam; Jason Liu 001 (WSC, 2005)

Performance analysis of binary code protection. - David M. Nicol; Hamed Okhravi (WSC, 2005)

Modeling and Simulation in Security Evaluation. - David M. Nicol (IEEE Secur. Priv., 2005)

The performance impact of BGP security. - Meiyuan Zhao; Sean W. Smith; David M. Nicol (IEEE Netw., 2005)

Optimized pre-copy calibration of hard drives. - David M. Nicol (SIGMETRICS Perform. Evaluation Rev., 2005)

Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing Protocols. - Jason Liu 001; Yougu Yuan; David M. Nicol; Robert S. Gray; Calvin C. Newport; David Kotz; Luiz Felipe Perrone (Simul., 2005)

06161 Abstracts Collection – Simulation and Verification of Dynamic Systems. - David M. Nicol; Corrado Priami; Hanne Riis Nielson; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

06161 Executive Summary – Simulation and Verification of Dynamic Systems. - Hanne Riis Nielson; David M. Nicol; Corrado Priami; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

The impact of stochastic variance on worm propagation and detection. - David M. Nicol (WORM, 2006)

Detection of nuclear material at border crossings using motion correlation. - David M. Nicol; Rose Tsang; Heidi R. Ammerlahn; Michael M. Johnson (WSC, 2006)

RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises (Extended Version). - Michael Liljenstam; Jason Liu 001; David M. Nicol; Yougu Yuan; Guanhua Yan; Chris Grier (Simul., 2006)

High-Performance Simulation of Low-Resolution Network Flows. - David M. Nicol; Guanhua Yan (Simul., 2006)

Securing Current and Future Process Control Systems. - 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 (Critical Infrastructure Protection, 2007)

Analysis of Local Address Scanning by Puppetnets. - David M. Nicol (QEST, 2007)

Modeling and analysis of worm defense using stochastic activity networks. - David M. Nicol; Steve Hanna; Frank Stratton; William H. Sanders (SpringSim (3), 2007)

Applying Trusted Network Technology To Process Control Systems. - Hamed Okhravi; David M. Nicol (Critical Infrastructure Protection, 2008)

Performance Analysis of Real Traffic Carried with Encrypted Cover Flows. - Nabil Schear; David M. Nicol (PADS, 2008)

Performance analysis of real traffic carried with encrypted cover flows: Invited talk 2. - David M. Nicol (SpringSim, 2008)

Usable Global Network Access Policy for Process Control Systems. - David M. Nicol; William H. Sanders; Sankalp Singh; Mouna Seri (IEEE Secur. Priv., 2008)

Efficient simulation of Internet worms. - David M. Nicol (ACM Trans. Model. Comput. Simul., 2008)

TrustGraph: Trusted Graphics Subsystem for High Assurance Systems. - Hamed Okhravi; David M. Nicol (ACSAC, 2009)

A calculus of trust and its application to PKI and identity management. - Jingwei Huang 002; David M. Nicol (IDtrust, 2009)

PolicyGlobe: a framework for integrating network and operating system security policies. - Hamed Okhravi; Ryan H. Kagin; David M. Nicol (SafeConfig, 2009)

The Virtual Power System Testbed and Inter-Testbed Integration. - David C. Bergman; Dong (Kevin) Jin; David M. Nicol; Tim Yardley (CSET, 2009)

A Post-disaster Mobility Model for Delay Tolerant Networking. - Md. Yusuf Sarwar Uddin; David M. Nicol; Tarek F. Abdelzaher; Robin Kravets (WSC, 2009)

Application of trusted network technology to industrial control networks. - Hamed Okhravi; David M. Nicol (Int. J. Crit. Infrastructure Prot., 2009)

A testbed for power system security evaluation. - David M. Nicol; Charles M. Davis; Thomas J. Overbye (Int. J. Inf. Comput. Secur., 2009)

Models of Privacy Preserving Traffic Tunneling. - David M. Nicol; Nabil Schear (Simul., 2009)

Discrete-Event System Simulation, 5th New Internatinal Edition. - Jerry Banks; John S. Carson II; Barry L. Nelson; David M. Nicol (Pearson Education, 2010)

Role-based differentiation for insider detection algorithms. - Suraj Nellikar; David M. Nicol; Jai J. Choi (Insider Threats@CCS, 2010)

Securing the perimeter: challenges in enforcing global access control. - David M. Nicol (CSIIRW, 2010)

Experiences Validating the Access Policy Tool in Industrial Settings. - David M. Nicol; William H. Sanders; Mouna Seri; Sankalp Singh (HICSS, 2010)

The Koobface botnet and the rise of social malware. - Kurt Thomas; David M. Nicol (MALWARE, 2010)

Efficient Gigabit Ethernet Switch Models for Large-Scale Simulation. - Dong (Kevin) Jin; David M. Nicol; Matthew Caesar 001 (PADS, 2010)

Validation of Radio Channel Models Using an Anechoic Chamber. - Yuhao Zheng; David M. Nicol (PADS, 2010)

unFriendly: Multi-party Privacy Risks in Social Networks. - Kurt Thomas; Chris Grier; David M. Nicol (Privacy Enhancing Technologies, 2010)

Fast simulation of background traffic through Fair Queueing networks. - Dong (Kevin) Jin; David M. Nicol (WSC, 2010)

Methodologies for evaluating game theoretic defense against DDoS attacks. - Tanmay Khirwadkar; Kien C. Nguyen; David M. Nicol; Tamer Basar (WSC, 2010)

A Formal-Semantics-Based Calculus of Trust. - Jingwei Huang 002; David M. Nicol (IEEE Internet Comput., 2010)

A Virtual Time System for OpenVZ-Based Network Emulations. - Yuhao Zheng; David M. Nicol (PADS, 2011)

An event buffer flooding attack in DNP3 controlled SCADA systems. - Dong (Kevin) Jin; David M. Nicol; Guanhua Yan (WSC, 2011)

S3F: the Scalable Simulation Framework revisited. - David M. Nicol; Dong (Kevin) Jin; Yuhao Zheng (WSC, 2011)

Message from the program chairs. - David M. Nicol; Michael Huth 001 (Perform. Evaluation, 2011)

The Not-So-Smart Grid: Preliminary work on identifying vulnerabilities in ANSI C12.22. - Shehla S. Rana; Huaiyu Zhu 002; Cheol Won Lee; David M. Nicol; Incheol Shin (GLOBECOM Workshops, 2012)

Combating Unauthorized Load Signal Analysis with Targeted Event Masking. - Thomas D. Nicol; David M. Nicol (HICSS, 2012)

Scaling issues for NERC CIP electronic security perimeter compliance assessment (extended abstract). - David M. Nicol (ISGT, 2012)

Security and provenance in M3GS for cross-domain information sharing. - Jingwei Huang 002; David M. Nicol (MILCOM, 2012)

Virtual Time Integration of Emulation and Parallel Simulation. - Dong (Kevin) Jin; Yuhao Zheng; Huaiyu Zhu 002; David M. Nicol; Lenhard Winterrowd (PADS, 2012)

A framework integrating attribute-based policies into role-based access control. - Jingwei Huang 002; David M. Nicol; Rakesh Bobba; Jun Ho Huh (SACMAT, 2012)

Exploiting Uncertainty and Error to Accelerate Simulations. - David M. Nicol (SIMULTECH, 2012)

Validation of application behavior on a virtual time integrated network emulation testbed. - Yuhao Zheng; Dong (Kevin) Jin; David M. Nicol (WSC, 2012)

A virtual time system for virtualization-based network emulations and simulations. - Yuhao Zheng; David M. Nicol; Dong (Kevin) Jin; Naoki Tanaka (J. Simulation, 2012)

A distributed monitoring architecture for AMIs: minimizing the number of monitoring nodes and enabling collided packet recovery. - Incheol Shin; Jun Ho Huh; Yuseok Jeon; David M. Nicol (SEGS@CCS, 2013)

Smart grid protocol testing through cyber-physical testbeds. - Timothy M. Yardley; Robin Berthier; David M. Nicol; William H. Sanders (ISGT, 2013)

Go with the flow: toward workflow-oriented security assessment. - Binbin Chen 001; Zbigniew Kalbarczyk; David M. Nicol; William H. Sanders; Rui Tan 001; William G. Temple; Nils Ole Tippenhauer; An Hoa Vu; David K. Y. Yau (NSPW, 2013)

Parallel simulation of software defined networks. - Dong (Kevin) Jin; David M. Nicol (SIGSIM-PADS, 2013)

Grand challenges in modeling and simulation: expanding our horizons. - Simon J. E. Taylor; Osman Balci; Wentong Cai 001; Margaret L. Loper; David M. Nicol; George F. Riley (SIGSIM-PADS, 2013)

Prevention of malware propagation in AMI. - Younghee Park; David M. Nicol; Huaiyu Zhu 002; Cheol Won Lee (SmartGridComm, 2013)

Impacts of application lookahead on distributed network emulation. - Yuhao Zheng; Dong (Kevin) Jin; David M. Nicol (WSC, 2013)

Trust mechanisms for cloud computing. - Jingwei Huang 002; David M. Nicol (J. Cloud Comput., 2013)

Knowledge Discovery from Big Data for Intrusion Detection Using LDA. - Jingwei Huang 002; Zbigniew T. Kalbarczyk; David M. Nicol (BigData Congress, 2014)

Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy. - Jingwei Huang 002; David M. Nicol; Roy H. Campbell (BigData Congress, 2014)

Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems. - 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 (DCOSS, 2014)

Evidence-based trust reasoning. - Jingwei Huang 002; David M. Nicol (HotSoS, 2014)

TimeKeeper: a lightweight virtual time system for linux. - Jereme Lamps; David M. Nicol; Matthew Caesar 001 (SIGSIM-PADS, 2014)

Automatic Generation of Security Argument Graphs. - Nils Ole Tippenhauer; William G. Temple; An Hoa Vu; Binbin Chen 001; David M. Nicol; Zbigniew Kalbarczyk; William H. Sanders (PRDC, 2014)

CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. - An Hoa Vu; Nils Ole Tippenhauer; Binbin Chen 001; David M. Nicol; Zbigniew Kalbarczyk (QEST, 2014)

A continuous piecewise-linear NHPP intensity function estimator. - David M. Nicol; Lawrence M. Leemis (WSC, 2014)

Modeling and analysis of stepping stone attacks. - David M. Nicol; Vikas Mallapura (WSC, 2014)

Designed-in Security for Cyber-Physical Systems. - Sean Peisert; Jonathan Margulies; David M. Nicol; Himanshu Khurana; Chris Sawall (IEEE Secur. Priv., 2014)

A parallel network simulation and virtual time-based network emulation testbed. - Dong (Kevin) Jin; Yuhao Zheng; David M. Nicol (J. Simulation, 2014)

Conjoining Emulation and Network Simulators on Linux Multiprocessors. - Jereme Lamps; Vladimir Adam; David M. Nicol; Matthew Caesar 001 (SIGSIM-PADS, 2015)

Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios. - Sumeet Jauhar; Binbin Chen 001; William G. Temple; Xinshu Dong; Zbigniew T. Kalbarczyk; William H. Sanders; David M. Nicol (PRDC, 2015)

Detection of x86 malware in AMI data payloads. - Vignesh Babu; David M. Nicol (SmartGridComm, 2015)

Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks. - Dong (Kevin) Jin; David M. Nicol (ACM Trans. Model. Comput. Simul., 2015)

Risk Assessment of Cyber Access to Physical Infrastructure in Cyber-Physical Systems. - David M. Nicol (CPSS@AsiaCCS, 2016)

The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment. - Xinshu Dong; Sumeet Jauhar; William G. Temple; Binbin Chen 001; Zbigniew Kalbarczyk; William H. Sanders; Nils Ole Tippenhauer; David M. Nicol (GraMSec@CSF, 2016)

I Am Joe's Fridge: Scalable Identity in the Internet of Things. - Prashant Anantharaman; Kartik Palani; David M. Nicol; Sean W. Smith (iThings/GreenCom/CPSCom/SmartData, 2016)

Efficient Monte Carlo Evaluation of SDN Resiliency. - David M. Nicol; Rakesh Kumar 002 (SIGSIM-PADS, 2016)

Validating resiliency in Software Defined Networks for smart grids. - Rakesh Kumar 002; David M. Nicol (SmartGridComm, 2016)

Cyber-Physical models for power grid security analysis: 8-substation case. - Gabriel A. Weaver; Kate Davis 001; Charles M. Davis; Edmond J. Rogers; Rakesh B. Bobba; Saman A. Zonouz; Robin Berthier; Peter W. Sauer; David M. Nicol (SmartGridComm, 2016)

Emulation/simulation of PLC networks with the S3F network simulator. - Vignesh Babu; David M. Nicol (WSC, 2016)

Next-Generation Access Control for Distributed Control Systems. - Jun Ho Huh; Rakesh B. Bobba; Tom Markham; David M. Nicol; Julie Hull; Alexander Chernoguzov; Himanshu Khurana; Kevin Staggs; Jingwei Huang 002 (IEEE Internet Comput., 2016)

An Approach to Incorporating Uncertainty in Network Security Analysis. - Hoang Hai Nguyen; Kartik Palani; David M. Nicol (HotSoS, 2017)

A Performance Model of Composite Synchronization. - David M. Nicol (SIGSIM-PADS, 2017)

Melody: Synthesized datasets for evaluating intrusion detection systems for the smart grid. - Vignesh Babu; Rakesh Kumar 002; Hoang Hai Nguyen; David M. Nicol; Kartik Palani; Elizabeth Reed (WSC, 2017)

Parallel discrete event simulation: The making of a field. - Richard M. Fujimoto; Rajive L. Bagrodia; Randal E. Bryant; K. Mani Chandy; David R. Jefferson; Jayadev Misra; David M. Nicol; Brian W. Unger (WSC, 2017)

An anatomy of trust in public key infrastructure. - Jingwei Huang; David M. Nicol (Int. J. Crit. Infrastructures, 2017)

Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs. - Marco A. Gamarra; Sachin Shetty; David M. Nicol; Oscar Gonazlez; Charles A. Kamhoua; Laurent Njilla (ICC, 2018)

Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. - 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; et al. (ICDCS, 2018)

Network Coding for Critical Infrastructure Networks. - Rakesh Kumar 002; Vignesh Babu; David M. Nicol (ICNP, 2018)

On Repeatable Emulation in Virtual Testbeds. - Vignesh Babu; David M. Nicol (WSC, 2018)

Cyber Risk of Coordinated Attacks in Critical Infrastructures. - David M. Nicol (WSC, 2018)

Toward an Internet of Battlefield Things: A Resilience Perspective. - 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; et al. (Computer, 2018)

Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors. - Jereme Lamps; Vignesh Babu; David M. Nicol; Vladimir Adam; Rakesh Kumar 002 (ACM Trans. Model. Comput. Simul., 2018)

Challenges in Quantifying an Adversary's Cyber Access to Critical Infrastructures. - David M. Nicol (CRITIS, 2019)

Extensions of Network Reliability Analysis. - Hoang Hai Nguyen; Kartik Palani; David M. Nicol (DSN, 2019)

Modeling Stepping Stone Attacks with Constraints in Cyber Infrastructure. - Marco A. Gamarra; Sachin Shetty; David M. Nicol; Laurent Njilla; Oscar R. González (GLOBECOM, 2019)

Simulation-based Analysis of Network Rules Matching. - David M. Nicol (SIGSIM-PADS, 2019)

F-Pro: a Fast and Flexible Provenance-Aware Message Authentication Scheme for Smart Grid. - Ertem Esiner; Daisuke Mashima; Binbin Chen 001; Zbigniew Kalbarczyk; David M. Nicol (SmartGridComm, 2019)

SDN Resiliency to Controller Failure in Mobile Contexts. - David M. Nicol; Rakesh Kumar 002 (WSC, 2019)

Security risk assessment for SDN-enabled smart grids. - Hellen Maziku; Sachin Shetty; David M. Nicol (Comput. Commun., 2019)

Deep Reinforcement Learning for UAV-Assisted Emergency Response. - Isabella Lee; Vignesh Babu; Matthew Caesar 001; David M. Nicol (MobiQuitous, 2020)

Precise Virtual Time Advancement for Network Emulation. - Vignesh Babu; David M. Nicol (SIGSIM-PADS, 2020)

Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. - Kartik Palani; David M. Nicol (QEST, 2020)

Estimating Loss Due to Cyber-attack in the Presence of Uncertainty. - Hoang Hai Nguyen; David M. Nicol (TrustCom, 2020)

Multiscale online media simulation with SocialCube. - Tarek F. Abdelzaher; Jiawei Han 001; Yifan Hao; Andong Jing; Dongxin Liu; Shengzhong Liu; Hoang Hai Nguyen; David M. Nicol; Huajie Shao; Tianshi Wang; Shuochao Yao; Yu Zhang 044; et al. (Comput. Math. Organ. Theory, 2020)

Assessment of System-Level Cyber Attack Vulnerability for Connected and Autonomous Vehicles Using Bayesian Networks. - Gurcan Comert; Mashrur Chowdhury; David M. Nicol (CoRR, 2020)

The Value of Useless Academic Research to the Cyberdefense of Critical Infrastructures. - David M. Nicol (IEEE Secur. Priv., 2020)

In the Petri Dish: Cybersecurity Pushed to the Edge. - David M. Nicol (IEEE Secur. Priv., 2020)

Optimal Monitoring Strategies for Critical Infrastructure Networks. - Kartik Palani; David M. Nicol (SIGMETRICS Perform. Evaluation Rev., 2020)

vBump: Securing Ethernet-based Industrial Control System Networks with VLAN-based Traffic Aggregation. - Nils Ole Tippenhauer; Binbin Chen 001; Daisuke Mashima; David M. Nicol (CPSIOTSEC@CCS, 2021)

Message from IEEE S&P's Outgoing Editor in Chief. - David M. Nicol (IEEE Secur. Priv., 2021)

The Ransomware Threat to Energy-Delivery Systems. - David M. Nicol (IEEE Secur. Priv., 2021)

Exploiting monotonicity and symmetry for efficient simulation of highly dependable systems. - Hoang Hai Nguyen; Kartik Palani; David M. Nicol (DSN, 2022)

Temporally synchronized emulation of devices with simulation of networks. - Vignesh Babu; David M. Nicol (SIGSIM-PADS, 2022)

Connectivity Preserving Anonymization of Smart Grid Network Configurations. - David M. Nicol (SmartGridComm, 2022)

Smart Grid Network Flows Best Practices Checker. - David M. Nicol; Emily Belovich; Atul Bohara (SmartGridComm, 2022)

Mechanisms for Precise Virtual Time Advancement in Network Emulation. - Vignesh Babu; David M. Nicol (ACM Trans. Model. Comput. Simul., 2022)

LoMoS: Less-Online/More-Offline Signatures for Extremely Time-Critical Systems. - Ertem Esiner; Utku Tefek; Hasan S. M. Erol; Daisuke Mashima; Binbin Chen 001; Yih-Chun Hu; Zbigniew Kalbarczyk; David M. Nicol (IEEE Trans. Smart Grid, 2022)

Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401). - Wentong Cai 001; Christopher D. Carothers; David M. Nicol; Adelinde M. Uhrmacher (Dagstuhl Reports, 2022)

CyberSAGE: The cyber security argument graph evaluation tool. - William G. Temple; Yue Wu; Carmen Cheh; Yuan Li; Binbin Chen 001; Zbigniew T. Kalbarczyk; William H. Sanders; David M. Nicol (Empir. Softw. Eng., 2023)

Toward Common Weakness Enumerations in Industrial Control Systems. - David M. Nicol; Gregory Shannon; Monika Akbar; Matt Bishop; Michael M. Chaney; Matthew E. Luallen (IEEE Secur. Priv., 2023)

Message Authentication and Provenance Verification for Industrial Control Systems. - Ertem Esiner; Utku Tefek; Daisuke Mashima; Binbin Chen 001; Zbigniew Kalbarczyk; David M. Nicol (ACM Trans. Cyber Phys. Syst., 2023)

Reflection Test of Time: RINSE: the real-time immersive network simulation environment for network security exercises. - David M. Nicol (SIGSIM-PADS, 2025)

Auto-SGCR: Automated Generation of Smart Grid Cyber Range Using IEC 61850 Standard Models. - Muhammad M. Roomi; S. M. Suhail Hussain; Ee-Chien Chang; David M. Nicol; Daisuke Mashima (CoRR, 2025)