2013 5th International Workshop on Principles of Engineering Service Oriented Systems (PESOS 2013) : San Francisco, California, USA, 26 May 2013 ; [part of the 35th International...

Veröffentlicht 2013

Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs

von Dawes, Joshua Heneage
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Towards Log Shicing

von Dawes, Joshua Heneage
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)

A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection

von Shin, Donghwan
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Software engineering and formal methods : SEFM 2015 collocated workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers

Veröffentlicht 2015