TraceContract: A Scala DSL for Trace Analysis von Barringer, Howard, Havelund, Klaus

Volltext

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors von Barringer, Howard, Falcone, Yliès, Havelund, Klaus, Reger, Giles, Rydeheard, David

Volltext

A Survey of Verification Techniques for Parallel Programs von Barringer, Howard

Volltext

Rule Systems for Run-time Monitoring: from Eagle to RuleR von Barringer, Howard, Rydeheard, David, Havelund, Klaus

Volltext

Statistical Model Checking: An Overview von Legay, Axel, Delahaye, Benoît, Bensalem, Saddek

Volltext

An Entry Point for Formal Methods: Specification and Analysis of Event Logs von Barringer, Howard, Groce, Alex, Havelund, Klaus, Smith, Margaret

Volltext

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings von Banieqbal, B, Barringer, H, Pnueli, A

Volltext

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Volltext

Rule-Based Runtime Verification von Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Sen, Koushik

Volltext

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings von Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Rosu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai

Volltext

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time von Bodden, Eric, Lam, Patrick, Hendren, Laurie

Volltext

Advances in Temporal Logic von Barringer, Howard, Fisher, Michael, Gabbay, Dov M, Gough, Graham

Volltext

Reactivity and Grammars: An Exploration von Barringer, Howard, Rydeheard, David, Gabbay, Dov

Volltext

Modal and Temporal Argumentation Networks von Barringer, Howard, Gabbay, Dov M.

Volltext

Copilot: A Hard Real-Time Runtime Monitor von Pike, Lee, Goodloe, Alwyn, Morisset, Robin, Niller, Sebastian

Volltext

Learning to divide and conquer: applying the L algorithm to automate assume-guarantee reasoning von Păsăreanu, Corina S., Giannakopoulou, Dimitra, Bobaru, Mihaela Gheorghiu, Cobleigh, Jamieson M., Barringer, Howard

Volltext

You Should Better Enforce Than Verify von Falcone, Yliès

Volltext

Temporal logic with fixed points von Banieqbal, Behnam, Barringer, Howard

Volltext

Component Verification with Automatically Generated Assumptions von Giannakopoulou, Dimitra, Păsăreanu, Corina S., Barringer, Howard

Volltext

Combining test case generation and runtime verification von Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich

Volltext