M
Mohammad Raunak
Researcher at Loyola University Maryland
Publications - 42
Citations - 428
Mohammad Raunak is an academic researcher from Loyola University Maryland. The author has contributed to research in topics: Computer science & Verification and validation of computer simulation models. The author has an hindex of 10, co-authored 34 publications receiving 368 citations. Previous affiliations of Mohammad Raunak include Loyola University Chicago & University of Massachusetts Amherst.
Papers
More filters
Proceedings ArticleDOI
Simulating patient flow through an Emergency Department using process-driven discrete event simulation
TL;DR: Preliminary results suggest that the proposed architecture provides considerable ease of use and flexibility for specifying a wider range of simulation problems, thus creating the possibility of carrying out a wide range of comparisons of different approaches to ED improvement.
Proceedings ArticleDOI
Maintaining mutual consistency for cached Web objects
TL;DR: This work argues that techniques for maintaining consistency of individual objects are not sufficient; a proxy should employ additional mechanisms to ensure that related Web objects are mutually consistent with one another, and formally defines the notion of mutual consistency and the semantics provided by a mutual consistency mechanism.
Journal ArticleDOI
Finding Bugs in Cryptographic Hash Function Implementations
TL;DR: This work revisits the National Institute of Standards and Technology hash function competition, which was used to develop the SHA-3 standard, and applies a new testing strategy to all available reference implementations, and develops four tests motivated by the cryptographic properties that a hash function should satisfy.
Proceedings ArticleDOI
On effective testing of health care simulation software
Christian Murphy,Mohammad Raunak,Andrew King,Sanjian Chen,Christopher Imbriano,Gail E. Kaiser,Insup Lee,Oleg Sokolsky,Lori A. Clarke,Leon J. Osterweil +9 more
TL;DR: This paper presents an approach to systematically testing simulation software in the absence of test oracles, and evaluates the effectiveness of the technique.
Journal ArticleDOI
Resource Management for Complex, Dynamic Environments
TL;DR: An approach to the specification and management of the agents and resources that are required to support the execution of complex systems and processes is described and the ROMEO prototype resource management system is presented as an example of how this framework can be instantiated.