Mohammad S. Raunak

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 24

Top Topics

Simulation Model

Artificial Intelligence

Top Venues

Publications

D. Richard Kuhn, Mohammad S. Raunak, Raghu N. Kacker, Jaganmohan Chandrasekaran, Erin Lanus, Tyler Cody, Laura J. Freeman
Assured Autonomy Through Combinatorial Methods. Computer 57 (5) (2024)
Megan M. Olsen, D. Richard Kuhn, Mohammad S. Raunak
Explaining the impact of parameter combinations in agent-based models. J. Comput. Sci. 81 (2024)
Megan M. Olsen, Mohammad S. Raunak, D. Richard Kuhn
Predicting ABM Results with Covering Arrays and Random Forests. ICCS (1) (2023)
D. Richard Kuhn, Mohammad S. Raunak, Raghu N. Kacker
Ordered t-way Combinations for Testing State-based Systems. ICSTW (2023)
Laura J. Freeman, Feras A. Batarseh, D. Richard Kuhn, Mohammad S. Raunak, Raghu N. Kacker
The Path to a Consensus on Artificial Intelligence Assurance. Computer 55 (3) (2022)
Rick Kuhn, Mohammad S. Raunak, Raghu Kacker
Combinatorial Coverage for Assured Autonomy. ISSRE Workshops (2022)
D. Richard Kuhn, Mohammad S. Raunak, Charles B. Prado, Vinay C. Patil, Raghu N. Kacker
Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions. ICST Workshops (2022)
Jaganmohan Chandrasekaran, Feras A. Batarseh, Laura J. Freeman, Raghu Kacker, Mohammad S. Raunak, Rick Kuhn
Enabling AI Adoption through Assurance. FLAIRS (2022)
Jack R. Toohey, Mohammad S. Raunak, Dave W. Binkley
From Neuron Coverage to Steering Angle: Testing Autonomous Vehicles Effectively. Computer 54 (8) (2021)
Mohammed Farhan, Caroline C. Krejci, Megan M. Olsen, Mohammad S. Raunak
Metamorphic Testing for Hybrid Simulation Validation. ANNSIM (2021)
Mohammad S. Raunak, Megan M. Olsen
Metamorphic Testing on the Continuum of Verification and Validation of Simulation Models. MET@ICSE (2021)
Mohammad S. Raunak, Rick Kuhn
Explainable Artificial Intelligence and Machine Learning. Computer 54 (10) (2021)
Rick Kuhn, Mohammad S. Raunak
Narrow Spectrum Software Testing Addressing Complexity and Trust. Computer 53 (4) (2020)
Megan M. Olsen, Mohammad S. Raunak
Increasing Validity of Simulation Models Through Metamorphic Testing. IEEE Trans. Reliab. 68 (1) (2019)
Sydney Pugh, Mohammad S. Raunak, D. Richard Kuhn, Raghu Kacker
Systematic testing of post-quantum cryptographic implementations using metamorphic testing. MET@ICSE (2019)
Megan M. Olsen, Mohammad S. Raunak, Michael Setteducati
Enabling quantified validation for model credibility. SummerSim (2018)
Nicky Mouha, Mohammad S. Raunak, D. Richard Kuhn, Raghu Kacker
Finding Bugs in Cryptographic Hash Function Implementations. IEEE Trans. Reliab. 67 (3) (2018)
Rick Kuhn, Mohammad S. Raunak, Raghu Kacker
Can Reducing Faults Prevent Vulnerabilities? Computer 51 (7) (2018)
Rick Kuhn, Mohammad S. Raunak, Raghu Kacker
What proportion of vulnerabilities can be attributed to ordinary coding errors?: poster. HotSoS (2018)
Nicky Mouha, Mohammad S. Raunak, D. Richard Kuhn, Raghu Kacker
Finding Bugs in Cryptographic Hash Function Implementations. IACR Cryptol. ePrint Arch. 2017 (2017)
Rick Kuhn, Mohammad S. Raunak, Raghu Kacker
It Doesn't Have to Be Like This: Cybersecurity Vulnerability Trends. IT Prof. 19 (6) (2017)
D. Richard Kuhn, Mohammad S. Raunak, Raghu Kacker
An Analysis of Vulnerability Trends, 2008-2016. QRS Companion (2017)
Mohammad S. Raunak, D. Richard Kuhn, Raghu Kacker
Combinatorial Testing of Full Text Search in Web Applications. QRS Companion (2017)
Megan M. Olsen, Mohammad S. Raunak
Metamorphic validation for agent-based simulation models. SummerSim (2016)
Mohammad S. Raunak, Megan M. Olsen
Simulation validation using metamorphic testing (WIP). SummerSim (2015)
Megan M. Olsen, Mohammad S. Raunak
A method for quantified confidence of DEVS validation. SpringSim (TMS-DEVS) (2015)
Mohammad S. Raunak, Megan M. Olsen
Quantifying validation of discrete event simulation models. WSC (2014)
Mohammad S. Raunak, Leon J. Osterweil
Resource Management for Complex, Dynamic Environments. IEEE Trans. Software Eng. 39 (3) (2013)
Megan M. Olsen, Mohammad S. Raunak
A framework for simulation validation coverage. WSC (2013)
Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise
Developing discrete event simulations from rigorous process definitions. SpringSim (TMS-DEVS) (2011)
Christian Murphy, Mohammad S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
On effective testing of health care simulation software. SEHC@ICSE (2011)
Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman
Simulating patient flow through an Emergency Department using process-driven discrete event simulation. SEHC@ICSE (2009)
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil
Definition and Analysis of Election Processes. SPW/ProSim (2006)
Mohammad S. Raunak, Leon J. Osterweil
Process Definition Language Support for Rapid Simulation Prototyping. ISPW (2005)
Mohammad S. Raunak, Prashant J. Shenoy, Pawan Goyal, Krithi Ramamritham, Puru Kulkarni
Implications of proxy caching for provisioning networks and servers. IEEE J. Sel. Areas Commun. 20 (7) (2002)
Bhuvan Urgaonkar, Anoop George Ninan, Mohammad S. Raunak, Prashant J. Shenoy, Krithi Ramamritham
Maintaining Mutual Consistency for Cached Web Objects. ICDCS (2001)
Mohammad S. Raunak, Prashant J. Shenoy, Pawan Goyal, Krithi Ramamritham
Implications of proxy caching for provisioning networks and servers. SIGMETRICS (2000)