7 citations · 15 across the 6 of their papers we have counts for
3 papers · 1 filter
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…
Extensible Technology-Agnostic Runtime Verification
Christian Colombo, Adrian Francalanza, Ruth Mizzi +1
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and us…
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…