Peter C. Mehlitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RV | Actor-Based Runtime Verification with MESA. | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
| 2013 | ICSE | A hands-on Java PathFinder tutorial. | Peter C. Mehlitz, Neha Rungta, Willem Visser |
| 2012 | ICST | X10X: Model Checking a New Programming Language with an "Old" Model Checker. | Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
| 2008 | ISSTA | Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. | Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape |
| 2005 | ATVA | Model Checking Real Time Java Using Java PathFinder. | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
| 2005 | SEW | Design for Verification with Dynamic Assertions. | Peter C. Mehlitz, John Penix |