Peter C. Mehlitz

13 papers A* 2A 2B 2C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Smoke or cloud: Real-time satellite image segmentation in a wildfire data integration application.
Comput. Geosci.
Sequoia R. Andrade, Nastaran Shafiei, Peter C. Mehlitz
2023 J jnl
Concurrent runtime verification of data rich events.
Int. J. Softw. Tools Technol. Transf.
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2020 B conf
Actor-Based Runtime Verification with MESA.
RV
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2014 J jnl
Extending JPF to verify distributed systems.
ACM SIGSOFT Softw. Eng. Notes
Nastaran Shafiei, Peter C. Mehlitz
2013 A* conf
A hands-on Java PathFinder tutorial.
ICSE
Peter C. Mehlitz, Neha Rungta, Willem Visser
2013 J jnl
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng.
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
2012 J jnl
Modeling class loaders in Java PathFinder version 7.
ACM SIGSOFT Softw. Eng. Notes
Nastaran Shafiei, Peter C. Mehlitz
2012 A conf
X10X: Model Checking a New Programming Language with an "Old" Model Checker.
ICST
Milos Gligoric, Peter C. Mehlitz, Darko Marinov
2011 A* conf
JPF-AWT: Model checking GUI applications.
ASE
Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma
2008 A conf
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.
ISSTA
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
2005 C conf
Design for Verification with Dynamic Assertions.
SEW
Peter C. Mehlitz, John Penix
2005 — conf
Model Checking Programs with Java PathFinder.
SPIN
Willem Visser, Peter C. Mehlitz
2005 B conf
Model Checking Real Time Java Using Java PathFinder.
ATVA
Gary Lindstrom, Peter C. Mehlitz, Willem Visser