M. S. Raunak

According to our database, M. S. Raunak authored at least 37 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

AI Failures.

M. S. Raunak, D. Richard Kuhn

Computer, November, 2024

Assured Autonomy Through Combinatorial Methods.

D. Richard Kuhn, M. S. Raunak, Raghu N. Kacker, Jaganmohan Chandrasekaran, Erin Lanus, Tyler Cody, Laura J. Freeman

Computer, May, 2024

Explaining the impact of parameter combinations in agent-based models.

Megan M. Olsen, D. Richard Kuhn, M. S. Raunak

J. Comput. Sci., 2024

2023

Ordered t-way Combinations for Testing State-based Systems.

D. Richard Kuhn, M. S. Raunak, Raghu N. Kacker

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

Predicting ABM Results with Covering Arrays and Random Forests.

Megan M. Olsen, M. S. Raunak, D. Richard Kuhn

Proceedings of the Computational Science - ICCS 2023, 2023

2022

The Path to a Consensus on Artificial Intelligence Assurance.

Laura J. Freeman, Feras A. Batarseh, D. Richard Kuhn, M. S. Raunak, Raghu N. Kacker

Computer, 2022

Combinatorial Coverage for Assured Autonomy.

Rick Kuhn, M. S. Raunak, Raghu Kacker

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions.

D. Richard Kuhn, M. S. Raunak, Charles B. Prado, Vinay C. Patil, Raghu N. Kacker

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Enabling AI Adoption through Assurance.

Jaganmohan Chandrasekaran, Feras A. Batarseh, Laura J. Freeman, Raghu Kacker, M. S. Raunak, Rick Kuhn

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively.

Jack R. Toohey, M. S. Raunak, Dave W. Binkley

Computer, 2021

Explainable Artificial Intelligence and Machine Learning.

M. S. Raunak, Rick Kuhn

Computer, 2021

Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models.

M. S. Raunak, Megan M. Olsen

Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

Metamorphic Testing for Hybrid Simulation Validation.

Mohammed Farhan, Caroline C. Krejci, Megan M. Olsen, M. S. Raunak

Proceedings of the Annual Modeling and Simulation Conference, 2021

2020

Narrow Spectrum Software Testing Addressing Complexity and Trust.

Rick Kuhn, M. S. Raunak

Computer, 2020

2019

Increasing Validity of Simulation Models Through Metamorphic Testing.

Megan M. Olsen, M. S. Raunak

IEEE Trans. Reliab., 2019

Systematic testing of post-quantum cryptographic implementations using metamorphic testing.

Sydney Pugh, M. S. Raunak, D. Richard Kuhn, Raghu Kacker

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018

Finding Bugs in Cryptographic Hash Function Implementations.

Nicky Mouha, M. S. Raunak, D. Richard Kuhn, Raghu Kacker

IEEE Trans. Reliab., 2018

Can Reducing Faults Prevent Vulnerabilities?

Rick Kuhn, M. S. Raunak, Raghu Kacker

Computer, 2018

Enabling quantified validation for model credibility.

Megan M. Olsen, M. S. Raunak, Michael Setteducati

Proceedings of the 50th Computer Simulation Conference, 2018

What proportion of vulnerabilities can be attributed to ordinary coding errors?: poster.

Rick Kuhn, M. S. Raunak, Raghu Kacker

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2017

It Doesn't Have to Be Like This: Cybersecurity Vulnerability Trends.

Rick Kuhn, M. S. Raunak, Raghu Kacker

IT Prof., 2017

Combinatorial Testing of Full Text Search in Web Applications.

M. S. Raunak, D. Richard Kuhn, Raghu Kacker

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

An Analysis of Vulnerability Trends, 2008-2016.

D. Richard Kuhn, M. S. Raunak, Raghu Kacker

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Metamorphic validation for agent-based simulation models.

Megan M. Olsen, M. S. Raunak

Proceedings of the Summer Computer Simulation Conference, 2016

2015

Simulation validation using metamorphic testing (WIP).

M. S. Raunak, Megan M. Olsen

Proceedings of the Conference on Summer Computer Simulation, 2015

A method for quantified confidence of DEVS validation.

Megan M. Olsen, M. S. Raunak

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014

Quantifying validation of discrete event simulation models.

M. S. Raunak, Megan M. Olsen

Proceedings of the 2014 Winter Simulation Conference, 2014

2013

Resource Management for Complex, Dynamic Environments.

M. S. Raunak, Leon J. Osterweil

IEEE Trans. Software Eng., 2013

A framework for simulation validation coverage.

Megan M. Olsen, M. S. Raunak

Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

2011

Developing discrete event simulations from rigorous process definitions.

M. S. Raunak, Leon J. Osterweil, Alexander E. Wise

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

On effective testing of health care simulation software.

Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2009

Simulating patient flow through an Emergency Department using process-driven discrete event simulation.

M. S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

2006

Definition and Analysis of Election Processes.

Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil

Proceedings of the Software Process Change, 2006

2005

Process Definition Language Support for Rapid Simulation Prototyping.

Mohammad S. Raunak, Leon J. Osterweil

Proceedings of the Unifying the Software Process Spectrum, 2005

2002

Implications of proxy caching for provisioning networks and servers.

Mohammad S. Raunak, Prashant J. Shenoy, Pawan Goyal, Krithi Ramamritham, Puru Kulkarni

IEEE J. Sel. Areas Commun., 2002

2001

Maintaining Mutual Consistency for Cached Web Objects.

Bhuvan Urgaonkar, Anoop George Ninan, Mohammad S. Raunak, Prashant J. Shenoy, Krithi Ramamritham

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Implications of proxy caching for provisioning networks and servers.

Mohammad S. Raunak, Prashant J. Shenoy, Pawan Goyal, Krithi Ramamritham

Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000