A long history of publications in simulation and modeling of computer systems

 
Publications are arranged in general topical categories. You can use the links below to find the publications appropriate for a given category.

Many papers have icons which lead to downloads of pdf files. Some of these are local and point to prepublication versions of the papers. Some point to ACM or IEEE databases, and you will need membership access to get these. We will of course provide you with a copy of any paper we can, if requested .

Large-Scale Modeling Simulation Kernel Theory
Worms BGP Wireless
Security Analysis


Large-Scale Modeling top
A Testbed for Power System Security Evaluation
David M. Nicol, Matt Davis, Tom Overbye
International Journal of Information and Computer Security


GPU Coprocessing for WIreless Networking Simulation
Scot Bai, David M. Nicol
Proceedings of the 2009 Symposium on Application Acceleration in High Performance Computing
July 2009

Tradeoffs Between Model Abstraction, Execution Speed, and Accuracy
David Nicol
Proceedings of the European Modeling and Simulation Symposium
Barcelona, Spain, October 2006, pp. 13-20

Advanced Concepts in Network Simulation
D. Nicol, M. Liljenstam and J. Liu
Proceedings of 2005 Winter Simulation Conference
Orlando, FL, December 2005

Simulation of Network Traffic at Coarse Time-scales
D.M. Nicol and G. Yan
Proceedings of the 2005 Conference on Principles of Advanced and Distributed Simulation
Monterey, CA, June 2005

On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation
Michael Liljenstam and David M. Nicol
Proceedings of the 2004 Winter Simulation Conference
Washington, DC, December 2004

Simulation Analysis of Virtual Geographic Routing
David M. Nicol, Michael E. Goldsby and Michael M. Johnson
Proceedings of the 2004 Winter Simulation Conference
Washington, DC, December 2004

Diagnostics for Causes of Packet Loss in a High Performance Data Transfer System
P. Dickens and D. Nicol
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004)
IEEE Computer Society,Santa Fe, New Mexico 2004

Comparing Passive and Active Worm Defenses
Michael Liljenstam and David M. Nicol
Proceedings of the 2004 Conference on Quantitative Evaluation of Systems
Sept. 2004

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure
D. M. Nicol, M. Liljenstam and J. Liu
Proceedings of the Performance Tools 2003 Conference
Sept. 2003

Simulation of Large-Scale Networks Using SSF
David M. Nicol, Jason Liu and Micheal Liljenstam
Proceedings of the 2003 Winter Simulation Conference
New Orleans, LA, Dec. 2003, 650-657

Simulation Analysis of Virtual Geographic Routing
David M. Nicol, Michael E. Goldsby, and Michael M. Johnson
Proceedings of the 2004 Winter Simulation Conference
December, 2004

Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems
Jeffery J. Farris and David M. Nicol
Proceedings of the 2004 Winter Simulation Conference
December, 2004

Utility Analysis of Network Simulators
David M. Nicol
International Journal of Simulation : Systems, Science, and Technology
To appear. 2003

Discrete-Event Fluid Modeling of TCP Background Traffic
David M. Nicol and Guanhua Yan
ACM TOMACS
To appear. 2003

Utility Analysis of Parallel Simulation
David M. Nicol
2003 Conference on Parallel and Distributed Simulation
San Diego, CA , June, 2003

Using Simulation to Understand Dynamic Connectivity at the Core of the Internet
David M. Nicol and Brian Premore and Andy Ogielski
Proceedings of UKSim 2003
Cambridge University, England , April, 2003

Scalability of Garbage Collection in Java-based Discrete-Event Simulators
David M. Nicol
Proceedings of UKSim 2003
Cambridge University, England , April, 2003

Scalablity of Network Simulators Revisited
David M. Nicol
Proceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference
Orlando, FL , February, 2003

A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations ,
M. Liljenstam and Y. Yuan and B. Premore and D. Nicol
Proceedings of the Tenth IEEE/ACM Symposium on Modeling, Analysis, and Simulation of Computer Telecommunication Systems
Fort Worth, TX, October, 2002

Challenges in Using Simulation to Explain Global Routing Instabilities
David Nicol
2002 Conference on Grand Challenges in Simulation
San Antonio, TX, January, 2002

Discrete-Event Fluid Modeling of TCP
David Nicol
2001 Winter Simulation Conference
Arlington, VA , December, 2001

Simulation Modeling of Large-Scale Ad-hoc Sensor Networks
Jason Liu and David Nicol and Felipe Perrone and Michael Liljenstam and Chip Elliot and Dave Pearson
European Interoperability Workshop 2001
London England, June, 2001

Learning Not to Share
David Nicol and Jason Liu
2001 Conference on Parallel and Distributed Simulation
Lake Arrowhead,CA, May, 2001, 26-55

A Geographically Distributed Enterprise System
Heidi Ammerlahn and David Nicol and Michael Goldsby and Michael Johnson
Future Generation Computer Systems
17(2): 135-146, October 2000

Modeling the Global Internet
James Cowie and David Nicol and Andy Ogielski
IEEE Computing in Science and Engineering
1(1): 42-50, Jan.-Feb. 1999

Simulation of Fluid Stochastic Petri Nets
Gianfranco Ciardo and David Nicol and Kishor Trivedi
IEEE Transactions on Software Engineering
25(2): 207-217, March/April 1999

An Investigation of Out-Of-Core Parallel Discrete-Event Simulation
Anna Poplawski and David Nicol
1999 Winter Simulation Conference
Phoenix, AZ, December, 1999, 524-530

Towards Realistic Million-Node Internet Simulations
James Cowie and David Nicol and Hongbo Liu and Jason Liu and Andy Ogielski
1999 Int'l Conference on Parallel and Distributed Processing Techniques and Applications
Las Vegas, June, 1999

Modeling 100,000 Nodes and Beyond: Self-Validating and Design
Andrew Ogielski and James Cowie and David Nicol
DARPA/NIST and Workshop on and Validiation of Large-Scale Network and Simulation Models
Reston, VA, May, 1999

Fluid-based Simulation of Communication Networks using SSF
David Nicol and Michael Goldsby and Michael Johnson
1999 SCS European Simulation Conference
Erlangen, Germany, October, 1999

Fluid Stochastic Petri Nets: Theory Applications and Solution Techniques
Graham Horton and David Nicol and V. Kulkarni and Kishor Trivedi
European Journal of Operational Research
105(1): 184-201, February 1998

Distributed State Space Generation of Discrete-State Stochastic Models
Gianfranco Ciardo and David Nicol and Josh Gluckman
INFORMS Journal on Computing
10(1): 82-93, January 1998

Scalability, Locality, Partitioning, and Synchronization
David Nicol
1998 Workshop on Parallel and Distributed Simulation
Banff, Canada, June, 1998, 4-11

Automated Parallelization of Discrete State-space Generation
David Nicol and Gianfranco Ciardo
Journal of Parallel and Distributed Computing
47: 153-167, 47 1997

Discrete-Event Simulation of Fluid Stochastic Petri Nets
Gianfranco Ciardo and David Nicol and Kishor Trivedi
1997 Petri Nets and Performance Modeling Symposium
1997, 217-225

Modeling TCP with the TeD Parallel Simulation Language
Brian Premore and David Nicol
1997 Winter Simulation Conference
Atlanta, GA, December, 1997, 437-443

The IDES Framework: A case study in Development of a Parallel
David Nicol and Michael Johnson and Anne Yoshimura
1997 Winter Simulation Conference
Atlanta, GA, December, 1997, 93-99

Parallelized Direct Execution Simulation of Message Passing Programs
Phillip Dickens and David Nicol and Philip Heidelberger
IEEE Transactions on Parallel and Distributed Systems
7(10): 1090-1105, October 1996

Integrating Reliability Analysis with a Performance Tool
David Nicol and Dan Palumbo and Michael Ulrey
Communications in Reliability Maintainability and Supportability


A Comparative Study of Parallel Algorithms for Simulating Continuous Time Markov Chains
David Nicol and Philip Heidelberger
ACM Transactions on Modeling and Computer Simulation
5(4): 326-354, October 1995

Automated Parallel Simulation of Timed Petri-Nets
David Nicol
Journal of Parallel and Distributed Computing
29(1): 60-74, August 1995

Parallelized Network Simulators for Message-Passing Parallel Programs
Phillip Dickens and David Nicol and Philip Heidelberger
1995 MASCOTS Conference
January, 1995, 18-20

Timing Simulation of Paragon Codes Using Workstation Clusters
Phillip Dickens and Philip Heidelberger and David Nicol
1994 Winter Simulation Conference
Orlando, FL, December, 1994, 1347-1353

A Distributed Memory LAPSE:Parallel Simulation of Message-Passing Programs
Phillip Dickens and David Nicol and Philip Heidelberger
1994 Workshop on Parallel and Distributed Simulation
Edinbourgh, Scotland, July, 1994, 32-38

Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications
Albert Greenberg and David Nicol and Boris Lubachevsky and Paul Wright
1994 Workshop on Parallel and Distributed Simulation
Edinbourgh, Scotland, July, 1994, 187-194

A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks
Bruno Gaujal and Albert Greenberg and David Nicol
Journal of Parallel and Distributed Computing
18( 4): 484-500, August 1993

Optimistic Parallel Simulation of Markov Chains Using Uniformization
David Nicol and Philip Heidelberger
Journal of Parallel and Distributed Computing
18(4): 395-410, August 1993

Conservative Parallel Simulation of Markov Chains Using Uniformization
Philip Heidelberger and David Nicol
IEEE Transactions on Parallel and Distributed Systems
4(8): 906-921, August 1993

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization
David Nicol and Philip Heidelberger
1993 ACM SIGMETRICS Conference
Santa Clara, CA, May, 1993, 135-145

Parallel Algorithms for Simulating Continuous Time Markov Chains
David Nicol and Philip Heidelberger
1993 Workshop on Parallel and Distributed Simulation
San Diego, CA, May, 1993, 11-18

MIMD Parallel Simulation of Circuit Switched Communication Networks
David Nicol and Albert Greenberg and Boris Lubachevsky
1992 Winter Simulation Conference
Arlington, VA, December, 1992, 629-636

Simultaneous Parallel Simulations of Continuous Time Markov Chains at Multiple Parameter Settings
Philip Heidelberger and David Nicol
1991 Winter Simulation Conference
Phoenix, AZ, December, 1991, 602-607

Parallel Simulation of Timed Petri-Nets
David Nicol and Subhas Roy
1991 Winter Simulation Conference
Phoenix, AZ, December, 1991, 574-583

Generation and Analysis of Large Reliability Models
Dan Palumbo and David Nicol
Proceedings of IEEE/AIAA Ninth Digital Avionics Systems Conference
Virginia Beach, VA, 1990, 350-354

Simulation Kernel top
A Testbed for Power System Security Evaluation
David M. Nicol, Matt Davis, Tom Overbye
International Journal of Information and Computer Security


High Performance Simulation of Low-Resolution Network Flows
David M. Nicol and Guanhua Yan
Simulation : Transactions of the Society for Modeling and Simulation International
82(1):21-42, January 2006

Simulation of Large-Scale Networks Using SSF
David M. Nicol, Jason Liu and Micheal Liljenstam
Proceedings of the 2003 Winter Simulation Conference
New Orleans, LA, Dec. 2003, 650-657

An Implementation of the SSF Scalable Simulation Framework on the Cray MTA
R. Henry and S. Kahan and J. Liu and David Nicol
2003 Conference on Parallel and Distributed Simulation
San Diego, CA, June, 2003,

Scalability of Garbage Collection in Java-based Discrete-Event Simulators
David M. Nicol
Proceedings of UKSim 2003
Cambridge University, England , April, 2003

Scalablity of Network Simulators Revisited
David M. Nicol
Proceedings of the Communication Networks and Distributed Systems Modeling and Simulation Conference
Orlando, FL , February, 2003

Composite Synchronization for Parallel Discrete Event Simulation
David Nicol and Jason Liu
IEEE Transactions on Parallel and Distributed Systems
13(5), May 2002

Analysis of Composite Synchronization
David Nicol
2002 Conference on Parallel and Distributed Simulation
Washington, D.C., May, 2002, 115-124

Lookahead Revisited in Parallel Wireless Simulations
Jason Liu and David Nicol
2002 Conference on Parallel and Distributed Simulation
Washington, D.C., May, 2002, 79-88

Learning Not to Share
David Nicol and Jason Liu
2001 Conference on Parallel and Distributed Simulation
Lake Arrowhead,CA, May, 2001, 26-55

Consistent Modeling of Distributed Mutual Exclusion Protocol Using Optimistic Synchronization
Malcolm Low and David Nicol
2001 Conference on Parallel and
Lake Arrowhead,CA, May, 2001, 137-144

Lock-free Scheduling of Logical Processes in Parallel Simulation
Jason Liu and David Nicol
2001 Conference on Parallel and Distributed Simulation
Lake Arrowhead, CA, May, 2000, 22-24

Safe Time-stamps and Large Scale Modeling
David Nicol and James Cowie and Jason Liu
2000 Workshop on Parallel and Distributed Simulation
Bologna, Italy, May, 2000, 71-78

Modeling the Global Internet
James Cowie and David Nicol and Andy Ogielski
IEEE Computing in Science and Engineering
1(1): 42-50, Jan.-Feb. 1999

An Investigation of Out-Of-Core Parallel Discrete-Event Simulation
Anna Poplawski and David Nicol
1999 Winter Simulation Conference
Phoenix, AZ, December, 1999, 524-530

Performance Prediction of a Parallel Simulator
Jason Liu and David Nicol and Brian Premore and Anna Poplawski
1999 Workshop on Parallel and Distributed Simulation (PADS)
Atlanta, GA., May, 1999, 156-164

Transformation of ns TCP Models to TED
Brian Premore and David Nicol
ACM Performance Evaluation Review
25(4): 40-48, March 1998

Nops: A Conservative Simulation Engine for TeD
Anna Poplawski and David Nicol
1998 Workshop on Parallel and Distributed Simulation
Banff, CA, June, 1998, 180-187

The IDES Framework: A case study in Development of a Parallel
David Nicol and Michael Johnson and Anne Yoshimura
1997 Winter Simulation Conference
Atlanta, GA, December, 1997, 93-99

The Dark Side of Risk (what your mother never told you about Time Warp)
David Nicol and Jason Liu
1997 Workshop on Parallel and Distributed Simulation
Lockenhaus, Austria, May, 1997, 188-195

Parallelized Direct Execution Simulation of Message Passing Programs
Phillip Dickens and David Nicol and Philip Heidelberger
IEEE Transactions on Parallel and Distributed Systems
7(10): 1090-1105, October 1996

Analytic Comparison of Bounded Time Warp and YAWNS
Phillip Dickens and David Nicol and Paul Reynolds and Mark Duva
ACM Transactions on Modeling and Computer Simulation
6(4): 297-320, October 1996

Parallel Execution for Serial Simulators
David Nicol and Philip Heidelberger
ACM Transactions on Modeling and Computer Simulation
6(3): 210-242, July 1996

Principles of Conservative Parallel Simulation
David Nicol
1996 Winter Simulation Conference
Coronado, CA, December, 1996, 128-135

Experiments in Automated Load Balancing of Parallel Simulation
Linda Wilson and David Nicol
1996 Workshop on Parallel and Distributed Simulation
Philadelphia,PA, May, 1996, 4-11

On Extending More Parallelism to Serial Simulators
Philip Heidelberger and David Nicol
1996 Workshop on Parallel and Distributed Simulation
Philadelphia, PA , May, 1996, 202-206

Parallelizable Execution-Driven Simulation of Threaded Distributed Memory Parallel Computations
David Nicol and Jason Liu
1996 MASCOTS Conference
San Jose, CA, 1996, 174-178

Building Parallel Simulations from Serial Simulators
Philip Heidelberger and David Nicol
1996 MASCOTS Conference
Santa Barbara, CA, 1996, 2-4

A Comparative Study of Parallel Algorithms for Simulating Continuous Time Markov Chains
David Nicol and Philip Heidelberger
ACM Transactions on Modeling and Computer Simulation
5(4): 326-354, October 1995

Automated Load Balancing in SPEEDES
Linda Wilson and David Nicol
1995 Winter Simulation Conference
Washington, D.C., December, 1995, 590-596

Towards A Thread-Based Parallel Direct Execution Simulator
Phillip Dickens and David Nicol and Matthew Haines and Piyush Mehotra
29th Hawaii Int'l Conf. of System Science
1995

On Extending Parallelism to Serial Simulations
David Nicol and Philip Heidelberger
1995 Workshop on Parallel and Distributed Simulation
Lake Placid, NY, June, 1995, 60-67

Global Virtual Time and Distributed Synchronization
Jeff Steinman and David Nicol and Craig Lee and Linda Wilson
1995 Workshop on Parallel and Distributed Simulation
Lake Placid, NY, June, 1995, 139-148

Parallelized Network Simulators for Message-Passing Parallel Programs
Phillip Dickens and David Nicol and Philip Heidelberger
1995 MASCOTS Conference
January, 1995, 18-20

Parallel Simulation Today
David Nicol and Richard Fujimoto
Annals of Operations Research
53: 249-286, December 1994

A Distributed Memory LAPSE:Parallel Simulation of Message-Passing Programs
Phillip Dickens and David Nicol and Philip Heidelberger
1994 Workshop on Parallel and Distributed Simulation
Edinbourgh, Scotland, July, 1994, 32-38

Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications
Albert Greenberg and David Nicol and Boris Lubachevsky and Paul Wright
1994 Workshop on Parallel and Distributed Simulation
Edinbourgh, Scotland, July, 1994, 187-194

The Impact of Adding Aggressiveness to a Non-Aggressive Windowing Protocol
Phillip Dickens and David Nicol and Paul Reynolds, Jr. and Mark Duva
1993 Winter Simulation Conference
San Diego, CA, December, 1993, 731-739

Optimistic Parallel Simulation of Markov Chains Using Uniformization
David Nicol and Philip Heidelberger
Journal of Parallel and Distributed Computing
18(4): 395-410, August 1993

Conservative Parallel Simulation of Markov Chains Using Uniformization
Philip Heidelberger and David Nicol
IEEE Transactions on Parallel and Distributed Systems
4(8): 906-921, August 1993

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization
David Nicol and Philip Heidelberger
1993 ACM SIGMETRICS Conference
Santa Clara, CA, May, 1993, 135-145

Parallel Algorithms for Simulating Continuous Time Markov Chains
David Nicol and Philip Heidelberger
1993 Workshop on Parallel and Distributed Simulation
San Diego, CA, May, 1993, 11-18

Conservative Parallel Simulation of Priority Class Queueing Networks
David Nicol
IEEE Transactions on Parallel and Distributed Systems
3(3): 294-303, May 1992

Inflated Speedups in Parallel Simulations via malloc()
David Nicol
International Journal on Simulation
2: 413-426

Simultaneous Parallel Simulations of Continuous Time Markov Chains at Multiple Parameter Settings
Philip Heidelberger and David Nicol
1991 Winter Simulation Conference
Phoenix, AZ, December, 1991, 602-607

Parallel Simulation of Timed Petri-Nets
David Nicol and Subhas Roy
1991 Winter Simulation Conference
Phoenix, AZ, December, 1991, 574-583

High Performance Parallelized Discrete Event Simulation of a Stochastic Queueing Network
David Nicol
1988 Winter Simulation Conference
San Diego, CA, December, 1988, 306-314

The Implementation of a Parallelized Simulation of Queueing Networks using Fortran and Abstract Data Types
Keith Miller and David Nicol
1988 Winter Simulation Conference
San Diego, CA, December, 1988, 333-338

Parallel Discrete-Event Simulation of Stochastic Queueing Networks
David Nicol and proceedings of and the
ACM SIGPLAN Conference on Parallel Programming
New Haven, CT, July, 1988, 124-137

Theory top
Models of Privacy Preserving Traffic Tunneling
David M. Nicol and Nabil Schear
Simulation
85(9):589-607, 2009

Utility Analysis of Network Simulators
David M. Nicol
International Journal of Simulation : Systems, Science, and Technology
To appear. 2003

On k-ary n-cubes: Theory and Applications
Weizhen Mao and David M. Nicol
Discrete Applied Mathematics
129(1): 171-193, 2003

Utility Analysis of Parallel Simulation
David M. Nicol
2003 Conference on Parallel and Distributed Simulation
San Diego, CA , June, 2003

Composite Synchronization for Parallel Discrete Event Simulation
David Nicol and Jason Liu
IEEE Transactions on Parallel and Distributed Systems
13(5), May 2002

Analysis of Composite Synchronization
David Nicol
2002 Conference on Parallel and Distributed Simulation
Washington, D.C., May, 2002, 115-124

Consistent Modeling of Distributed Mutual Exclusion Protocol Using Optimistic Synchronization
Malcolm Low and David Nicol
2001 Conference on Parallel and
Lake Arrowhead,CA, May, 2001, 137-144

Safe Time-stamps and Large Scale Modeling
David Nicol and James Cowie and Jason Liu
2000 Workshop on Parallel and Distributed Simulation
Bologna, Italy, May, 2000, 71-78

Simulation of Fluid Stochastic Petri Nets
Gianfranco Ciardo and David Nicol and Kishor Trivedi
IEEE Transactions on Software Engineering
25(2): 207-217, March/April 1999

Performance Prediction of a Parallel Simulator
Jason Liu and David Nicol and Brian Premore and Anna Poplawski
1999 Workshop on Parallel and Distributed Simulation (PADS)
Atlanta, GA., May, 1999, 156-164

Fluid Stochastic Petri Nets: Theory Applications and Solution Techniques
Graham Horton and David Nicol and V. Kulkarni and Kishor Trivedi
European Journal of Operational Research
105(1): 184-201, February 1998

Scalability, Locality, Partitioning, and Synchronization
David Nicol
1998 Workshop on Parallel and Distributed Simulation
Banff, Canada, June, 1998, 4-11

IDES: A Java-based Distributed Simulation Engine
David Nicol and Michael Johnson and Ann Yoshimura
1998 International Workshop on Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)
Montreal, Canada, 1998, 233-240

The Dark Side of Risk (what your mother never told you about Time Warp)
David Nicol and Jason Liu
1997 Workshop on Parallel and Distributed Simulation
Lockenhaus, Austria, May, 1997, 188-195

Performance Modeling of the IDES Framework
David Nicol and M. Johnson and M. Goldsby and A. Yoshimura
1997 Workshop on Parallel and Distributed Simulation
Lockenhaus, Austria, June, 1997, 38-45

Analytic Comparison of Bounded Time Warp and YAWNS
Phillip Dickens and David Nicol and Paul Reynolds and Mark Duva
ACM Transactions on Modeling and Computer Simulation
6(4): 297-320, October 1996

Static Assignment of Complex Tasks using Stochastic Majorization
David Nicol and Rahul Simha and Don Towsley
IEEE Transactions on Computers
45(6): 730-741, June 1996

On Bottleneck Partitioning of k-ary n-cubes
David Nicol and Weizhen Mao
Parallel Processing Letters
6(6): 389-399, June 1996

Non-committal Barrier Synchronization
David Nicol
Parallel Computing
21: 529-549, 1995

Empirical Study of Parallel Trace-Driven Cache Simulators
David Nicol and Eric Carr
1995 Workshop on Parallel and Distributed Simulation
Lake Placid, NY, June, 1995, 166-169

Global Virtual Time and Distributed Synchronization
Jeff Steinman and David Nicol and Craig Lee and Linda Wilson
1995 Workshop on Parallel and Distributed Simulation
Lake Placid, NY, June, 1995, 139-148

Massively Parallel Algorithms for Trace-Driven Cache Simulations
David Nicol and Albert Greenberg and Boris Lubachevsky
IEEE Transactions on Parallel and Distributed Systems
5(8): 849-859, August 1994

Assignment of Processors for Pipeline Computations
Alok Choudhary and Bhagirath Harahari and David Nicol and Rahul Simha
IEEE Transactions on Parallel and Distributed Systems
5(4): 439-445, April 1994

Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures
David Nicol and Shahid Bokhari
1994 ACM SIGMETRICS Conference
Nashville, TN , May, 1994, 252-260

The Impact of Adding Aggressiveness to a Non-Aggressive Windowing Protocol
Phillip Dickens and David Nicol and Paul Reynolds, Jr. and Mark Duva
1993 Winter Simulation Conference
San Diego, CA, December, 1993, 731-739

A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks
Bruno Gaujal and Albert Greenberg and David Nicol
Journal of Parallel and Distributed Computing
18( 4): 484-500, August 1993

Optimistic Parallel Simulation of Markov Chains Using Uniformization
David Nicol and Philip Heidelberger
Journal of Parallel and Distributed Computing
18(4): 395-410, August 1993

Conservative Parallel Simulation of Markov Chains Using Uniformization
Philip Heidelberger and David Nicol
IEEE Transactions on Parallel and Distributed Systems
4(8): 906-921, August 1993

The Cost of Conservative Synchronization in Parallel Discrete-Event Simulations
David Nicol
Journal of the ACM
40(2): 304-333, April 1993

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization
David Nicol and Philip Heidelberger
1993 ACM SIGMETRICS Conference
Santa Clara, CA, May, 1993, 135-145

Parallel Algorithms for Simulating Continuous Time Markov Chains
David Nicol and Philip Heidelberger
1993 Workshop on Parallel and Distributed Simulation
San Diego, CA, May, 1993, 11-18

Optimistic Global Synchronization for Parallel Discrete-Event Simulations
David Nicol
1993 Workshop on Parallel and Distributed Simulation
San Diego, CA, May, 1993, 27-34

Load Balancing Using Stochastic Majorization
David Nicol and Rahul Simha and Don Towsley
1993 INFOCOMM
1993, 1306-1313

Conservative Parallel Simulation of Priority Class Queueing Networks
David Nicol
IEEE Transactions on Parallel and Distributed Systems
3(3): 294-303, May 1992

MIMD Parallel Simulation of Circuit Switched Communication Networks
David Nicol and Albert Greenberg and Boris Lubachevsky
1992 Winter Simulation Conference
Arlington, VA, December, 1992, 629-636

Communication Efficient Global Load Balancing
David Nicol
1992 Scalable High Performance Computing Conference
Williamsburg, VA, 1992, 292-299

Massively Parallel Algorithms for Trace-Driven Cache Simulations
David Nicol and Albert Greenberg and Boris Lubachevsky
1992 Workshop on Parallel and Distributed Simulation
Newport Beach, CA, 1992, 3-11

Improved Algorithms for Mapping Pipelined and Parallel Algorithms
David Nicol and David O'Hallaron
IEEE Transactions on Computers
40(3): 295-306, March 1991

Simultaneous Parallel Simulations of Continuous Time Markov Chains at Multiple Parameter Settings
Philip Heidelberger and David Nicol
1991 Winter Simulation Conference
Phoenix, AZ, December, 1991, 602-607

Performance Bounds on Self-Initiating Parallel Discrete Event Simulations
David Nicol
ACM Transactions on Modeling and Computer Simulation
1(1): 24-50, 1990

A Multi-stage Linear Array Assignment Problem
Rex Kincaid and David Nicol and Dana Richards and Doug Shier
Operations Research
38(6): 993-1005, Nov.-Dec. 1990

An Analysis of Scatter Decomposition
David Nicol and Joel Saltz
IEEE Transactions on Computers
39(11): 1337-1345, November 1990

Parallelization of Sparse Dynamic Programming Problems
David Nicol
ORSA Journal on Computing
2(2): 162-173, Spring 1990

Optimal Dynamic Remapping of Data Parallel Computations
David Nicol and Paul Reynolds, Jr.
IEEE Transactions on Computers
39(2): 206-219, February 1990

Performance Analysis of Massively Parallel Discrete-Event Simulations
David Nicol
SIGPLAN Symposium on the Practice and Principles of Parallel Programming
Seattle, WA, March, 1990

Optimal Partitioning of Random Programs Across Two Processors
David Nicol
IEEE Transactions on Software Engineering
15(2): 134-141, February 1989

Dynamic Remapping of Parallel Computations with Varying Resource Demands
David Nicol and Joel Saltz
IEEE Transactions on Computers
37(9): 1073-1087, September 1988

Problem Size, Parallel Architecture, and Optimal Speedup
David Nicol and Frank Willard
Journal of Parallel and Distributed Computing
5: 404-420, August 1988

Expected Performance of m-Solution Backtracking
David Nicol
SIAM Journal on Computing
17(1): 114-127, February 1988

Parallel Discrete-Event Simulation of Stochastic Queueing Networks
David Nicol and proceedings of and the
ACM SIGPLAN Conference on Parallel Programming
New Haven, CT, July, 1988, 124-137

Problem Oriented Protocol Design
David Nicol and Paul Reynolds
1984 Winter Simulation Conference,


Worms top
High Performance Simulation of Internet Worms
David M. Nicol
ACM Transactions on Modeling and Computer Simulation
January 2007

The Impact of Stochastic Variability on Worm Detection
David M. Nicol
Proceedings of ACM Worm 2006
Alexandria, VA, November 2006

Top Speed of Flash Worms Revisited
David M. Nicol
Proceedings of the European Modeling and Simulation Symposium
Barcelona, Spain, October 2006, pp. 21-30

Implementation and Instrumentation of a Flash-Worm
Steve Hanna and David M. Nicol
Proceedings of 2006 DETER Community Workshop
Arlington, VA, June 2006, pp. 91-94

Models and Analysis of Active Worm Defense
D. Nicol
Proceedings of Mathematical Methods, Models and Architectures for Computer Networks Security Workshop
St. Petersburg, Russia, September 2005

Comparing Passive and Active Worm Defenses
Michael Liljenstam and David M. Nicol
Proceedings of the 2004 Conference on Quantitative Evaluation of Systems
Sept. 2004

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure
D. M. Nicol, M. Liljenstam and J. Liu
Proceedings of the Performance Tools 2003 Conference
Sept. 2003

Models of Active Worm Defenses
David M. Nicol, Michael Liljenstam
2004 IPSI Studenica Conference
June 2004

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure
D. M. Nicol and M. Liljenstam and J. Liu
Proceedings of the Performance Tools 2003 Conference
To appear. September, 2003

Simulating Realistic Network Worm Traffic for Worm Warning System Design and Testing
M. Liljenstam and D. M. Nicol and V. Berk and R. Gray
Proceedings of the 2003 Workshop on Rapid Malcode (WORM)
To appear. Washington, DC, October, 2003

A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations ,
M. Liljenstam and Y. Yuan and B. Premore and D. Nicol
Proceedings of the Tenth IEEE/ACM Symposium on Modeling, Analysis, and Simulation of Computer Telecommunication Systems
Fort Worth, TX, October, 2002

BGP top
Efficient Path Authentication for Border Gateway Protocol (BGP) Security
Meiyuan Zhou, Sean W. Smith and David M. Nicol
Department of Defense Information Assurance Newsletter
9(3):14-18, Fall 2006

Aggregated Path Authentication for Efficient BGP Security
M. Zhao, S. Smith and D. Nicol
Proceedings of the 2005 ACM Conference on Computer and Communications Security (CCS 2005)
Alexandria, VA, November 2005

Evaluating the Performance Impact of PKI on BGP Security
M. Zhao, S. Smith and D. Nicol
4th Annual PKI R&D Workshop
Gaithersburg, MD, April 2005

A BGP Attack Against Traffic Engineering
J. Kim, S.Y. Ko, D.M. Nicol, X.A. Dimitropoulos, and G.F. Riley
Proceedings of the 2004 Winter Simulation Conference
December, 2004

Evaluation of Efficient Security for BGP Route Announcements using Parallel Simulation
David M. Nicol, Sean W. Smith, Meiyuan Zhao
Simulation : Practice and Theory
Summer 2004

Using Simulation to Understand Dynamic Connectivity at the Core of the Internet
David M. Nicol and Brian Premore and Andy Ogielski
Proceedings of UKSim 2003
Cambridge University, England , April, 2003

Challenges in Using Simulation to Explain Global Routing Instabilities
David Nicol
2002 Conference on Grand Challenges in Simulation
San Antonio, TX, January, 2002

Wireless top
GPU Coprocessing for WIreless Networking Simulation
Scot Bai, David M. Nicol
Proceedings of the 2009 Symposium on Application Acceleration in High Performance Computing
July 2009

Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing Protocols
J. Liu, Y. Yuan, D. M. Nicol, R. S. Gray, C. C. Newport, D. Kotz, and L. F. Perrone
Simulation : Transactions of the Society for Modeling and Simulation International
81(4):307-323, 2005

Simulation Analysis of Virtual Geographic Routing
David M. Nicol, Michael E. Goldsby, and Michael M. Johnson
Proceedings of the 2004 Winter Simulation Conference
December, 2004

Lookahead Revisited in Parallel Wireless Simulations
Jason Liu and David Nicol
2002 Conference on Parallel and Distributed Simulation
Washington, D.C., May, 2002, 79-88

Towards High Performance Modeling of the 802.11 Wireless Protocol
Jason Liu and David Nicol and Felipe Perrone and Michael Liljenstam
2001 Winter Simulation Conference
Arlington, VA , December, 2001

Simulation Modeling of Large-Scale Ad-hoc Sensor Networks
Jason Liu and David Nicol and Felipe Perrone and Michael Liljenstam and Chip Elliot and Dave Pearson
European Interoperability Workshop 2001
London England, June, 2001

Cost/Benefit Analysis of Interval Jumping in Power-Control Simulation
David Nicol and Felipe Perrone
2000 Winter Simulation Conference
Orlando, FL, December, 2000, 425-431

Using N-body Algorithms for Interference Computation in Wireless Cellular Simulations
Felipe Perrone and David Nicol
2000 MASCOTS Conference
San Fransisco, CA, August, 2000, 49-56

Rapid Simulation of Wireless Systems
Felipe Perrone and David Nicol
1998 Workshop on Parallel and Distributed Simulation
Banff, Canada, June, 1998, 170-177

Security Analysis top
Useable Global Network Access Policy for Process Control Networks
David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri
IEEE Security and Privacy
6(6):30-36, Nov.-Dec. 2008

A Testbed for Power System Security Evaluation
David M. Nicol, Matt Davis, Tom Overbye
International Journal of Information and Computer Security


Models of Privacy Preserving Traffic Tunneling
David M. Nicol and Nabil Schear
Simulation
85(9):589-607, 2009

A Calculus of Trust and Its Applications to PKI and Identity Management
Jingwei Huang and David M. Nicol
Proceedings of 2009 IDTrust
April 2009

Experiences Validating the Access Policy Tool in Industrial Settings
David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri
Proceedings of the 2010 Hawaii International Conference on System Science
January 2010

PolicyGlobe: A Framework for Integrating Network and Operating System Security
Hamed Okhravi, David Nicol, Ryan Kagin
Proceedings of CCS 2009 Workshop on Assurable and Useable Security Configuration (SAFECONFIG)
November 2009

Detection of Nuclear Material at Border Crossings by Correlating Movement and Radition Measurements
David M. Nicol, Rose Tsang, Heidi Ammerlahn and Michael Johnson
Proceedings of the 2006 Winter Simulation Conference
Monterey, CA, December 2006, pp. 536-544

SCADA Cyber-security Testbed Development
C. M. Davis, J. E. Tate, H. Okhravi, C. Grier, T. J. Overbye, and D. Nicol
Proceedings of the 2006 North American Power Symposium
Carbondale, IL, September 2006

Sensor Fusion Algorithms for the Detection of Nuclear Material at Border Crossings
David M. Nicol, Rose Tsang, Heidi Ammerlahn and Michael Johnson
Sensors, and Command, Control, Communications, and Intelligence (C3I) Technologies for Homeland Security and Homeland Defense V. Edited by Carapezza, Edward M.. Proceedings of the SPIE
Orlando, FL, May 2006, pp. 62011O

RINSE : The Real-Time Immersive Network Simulation Environment for Network Security Exercises
M. Liljenstam, J. Liu, D.M. Nicol, Y. Yuan, G. Yan and C. Grier
Simulation : Transactions of the Society for Modeling and Simulation International
82(1):43-59, January 2006

Performance analysis of binary code protection
D. Nicol and H. Okhravi
Proceedings of 2005 Winter Simulation Conference
Orlando, FL, December 2005

RINSE: the Real-time Interactive Network Simulation Environment for Network Security Exercises
M. Liljenstam, D.M. Nicol, Y. Yuan, G. Yan and J. Liu
Proceedings of the 2005 Conference on Principles of Advanced and Distributed Simulation
Monterey, CA, June 2005

Model-Based Evaluation: From Dependability to Security
David M. Nicol, William H. Sanders and Kishor S. Trivedi
IEEE Trans. on Dependability and Security
1(1):48-65, 2004

Fast Model-Based Penetration Testing
Sankalp Singh, James Lyons, and David M. Nicol
Proceedings of the 2004 Winter Simulation Conference
December, 2004

A BGP Attack Against Traffic Engineering
J. Kim, S.Y. Ko, D.M. Nicol, X.A. Dimitropoulos, and G.F. Riley
Proceedings of the 2004 Winter Simulation Conference
December, 2004

overview | people | projects | software | papers | connections | positions | contact | etc