Implications of proxy caching for provisioning networks and servers. - Mohammad S. Raunak 001; Prashant J. Shenoy; Pawan Goyal 001; Krithi Ramamritham (SIGMETRICS, 2000)

Maintaining Mutual Consistency for Cached Web Objects. - Bhuvan Urgaonkar; Anoop George Ninan; Mohammad S. Raunak 001; Prashant J. Shenoy; Krithi Ramamritham (ICDCS, 2001)

Implications of proxy caching for provisioning networks and servers. - Mohammad S. Raunak 001; Prashant J. Shenoy; Pawan Goyal 001; Krithi Ramamritham; Puru Kulkarni (IEEE J. Sel. Areas Commun., 2002)

Process Definition Language Support for Rapid Simulation Prototyping. - Mohammad S. Raunak 001; Leon J. Osterweil (ISPW, 2005)

Definition and Analysis of Election Processes. - Mohammad S. Raunak 001; Bin Chen 018; Amr Elssamadisy; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Simulating patient flow through an Emergency Department using process-driven discrete event simulation. - M. S. Raunak 001; Leon J. Osterweil; Alexander E. Wise; Lori A. Clarke; Philip L. Henneman (SEHC@ICSE, 2009)

On effective testing of health care simulation software. - Christian Murphy; M. S. Raunak 001; Andrew L. King; Sanjian Chen; Christopher Imbriano; Gail E. Kaiser; Insup Lee 001; Oleg Sokolsky; Lori A. Clarke; Leon J. Osterweil (SEHC@ICSE, 2011)

Developing discrete event simulations from rigorous process definitions. - M. S. Raunak 001; Leon J. Osterweil; Alexander E. Wise (SpringSim (TMS-DEVS), 2011)

A framework for simulation validation coverage. - Megan M. Olsen; M. S. Raunak 001 (WSC, 2013)

Resource Management for Complex, Dynamic Environments. - M. S. Raunak 001; Leon J. Osterweil (IEEE Trans. Software Eng., 2013)

Quantifying validation of discrete event simulation models. - M. S. Raunak 001; Megan M. Olsen (WSC, 2014)

A method for quantified confidence of DEVS validation. - Megan M. Olsen; M. S. Raunak 001 (SpringSim (TMS-DEVS), 2015)

Simulation validation using metamorphic testing (WIP). - M. S. Raunak 001; Megan M. Olsen (SummerSim, 2015)

Metamorphic validation for agent-based simulation models. - Megan M. Olsen; M. S. Raunak 001 (SummerSim, 2016)

An Analysis of Vulnerability Trends, 2008-2016. - D. Richard Kuhn; M. S. Raunak 001; Raghu Kacker (QRS Companion, 2017)

Combinatorial Testing of Full Text Search in Web Applications. - M. S. Raunak 001; D. Richard Kuhn; Raghu Kacker (QRS Companion, 2017)

It Doesn't Have to Be Like This: Cybersecurity Vulnerability Trends. - Rick Kuhn; M. S. Raunak 001; Raghu Kacker (IT Prof., 2017)

What proportion of vulnerabilities can be attributed to ordinary coding errors?: poster. - Rick Kuhn; M. S. Raunak 001; Raghu Kacker (HotSoS, 2018)

Enabling quantified validation for model credibility. - Megan M. Olsen; M. S. Raunak 001; Michael Setteducati (SummerSim, 2018)

Can Reducing Faults Prevent Vulnerabilities? - Rick Kuhn; M. S. Raunak 001; Raghu Kacker (Computer, 2018)

Finding Bugs in Cryptographic Hash Function Implementations. - Nicky Mouha; M. S. Raunak 001; D. Richard Kuhn; Raghu Kacker (IEEE Trans. Reliab., 2018)

Systematic testing of post-quantum cryptographic implementations using metamorphic testing. - Sydney Pugh; M. S. Raunak 001; D. Richard Kuhn; Raghu Kacker (MET@ICSE, 2019)

Increasing Validity of Simulation Models Through Metamorphic Testing. - Megan M. Olsen; M. S. Raunak 001 (IEEE Trans. Reliab., 2019)

Narrow Spectrum Software Testing Addressing Complexity and Trust. - Rick Kuhn; M. S. Raunak 001 (Computer, 2020)

Metamorphic Testing for Hybrid Simulation Validation. - Mohammed Farhan; Caroline C. Krejci; Megan M. Olsen; M. S. Raunak 001 (ANNSIM, 2021)

Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models. - M. S. Raunak 001; Megan M. Olsen (MET@ICSE, 2021)

Explainable Artificial Intelligence and Machine Learning. - M. S. Raunak 001; Rick Kuhn (Computer, 2021)

From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively. - Jack R. Toohey; M. S. Raunak 001; Dave W. Binkley (Computer, 2021)

Enabling AI Adoption through Assurance. - Jaganmohan Chandrasekaran; Feras A. Batarseh; Laura J. Freeman; Raghu Kacker; M. S. Raunak 001; Rick Kuhn (FLAIRS, 2022)

Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions. - D. Richard Kuhn; M. S. Raunak 001; Charles B. Prado; Vinay C. Patil; Raghu N. Kacker (ICST Workshops, 2022)

Combinatorial Coverage for Assured Autonomy. - Rick Kuhn; M. S. Raunak 001; Raghu Kacker (ISSRE Workshops, 2022)

The Path to a Consensus on Artificial Intelligence Assurance. - Laura J. Freeman; Feras A. Batarseh; D. Richard Kuhn; M. S. Raunak 001; Raghu N. Kacker (Computer, 2022)

Predicting ABM Results with Covering Arrays and Random Forests. - Megan M. Olsen; M. S. Raunak 001; D. Richard Kuhn (ICCS (1), 2023)

Ordered t-way Combinations for Testing State-based Systems. - D. Richard Kuhn; M. S. Raunak 001; Raghu N. Kacker (ICSTW, 2023)

Explaining the impact of parameter combinations in agent-based models. - Megan M. Olsen; D. Richard Kuhn; M. S. Raunak 001 (J. Comput. Sci., 2024)

Assured Autonomy Through Combinatorial Methods. - D. Richard Kuhn; M. S. Raunak 001; Raghu N. Kacker; Jaganmohan Chandrasekaran; Erin Lanus; Tyler Cody; Laura J. Freeman (Computer, 2024)

AI Failures. - M. S. Raunak 001; D. Richard Kuhn (Computer, 2024)

Data Frequency Coverage Impact on AI Performance. - Erin Lanus; Brian Lee; Jaganmohan Chandrasekaran; Laura J. Freeman; M. S. Raunak 001; Raghu N. Kacker; D. Richard Kuhn (ICSTW, 2025)

A Combinatorial Approach to Reduce Machine Learning Dataset Size. - Megan M. Olsen; M. S. Raunak 001; D. Richard Kuhn; Hans Van Lierop; Fenrir Badorf; Francis Durso (ICSTW, 2025)

Measuring and Visualizing Dataset Coverage for Machine Learning. - D. Richard Kuhn; M. S. Raunak 001; Raghu N. Kacker (Computer, 2025)