1![Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA](https://www.pdfsearch.io/img/43c7f3ff7bd788d5829bc244c60deb3c.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:10
|
---|
2![Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA](https://www.pdfsearch.io/img/80b6bd994dd59bc5332935542c3c4815.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
3![Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov](https://www.pdfsearch.io/img/4689d7655a3ce86da17164bce49bdac8.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
4![Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology](https://www.pdfsearch.io/img/fa1e968bae8a698264065168b9cda0a4.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:45:03
|
---|
5![Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena](https://www.pdfsearch.io/img/5b1e4bec2dbcd5fe5c09f378ab806751.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:43
|
---|
6![Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract](https://www.pdfsearch.io/img/5a1268cb89ed1bb4eb16b1f1b3bd9069.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:29:11
|
---|
7![Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov](https://www.pdfsearch.io/img/3bc79929845863da2741797d87ebd266.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
8![Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C](https://www.pdfsearch.io/img/c8992c13edcdc967e8c38dd7801628c9.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:15
|
---|
9![A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst](https://www.pdfsearch.io/img/7d72bd9f0e4dd019db1067932bb8c53d.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2012-12-17 05:23:36
|
---|
10![Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA](https://www.pdfsearch.io/img/af209d1253a732443fcf95babd07f671.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2015-01-06 12:33:50
|
---|