Results 191 to 200 of about 8,146 (201)

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Software and Systems Modeling, 2013
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen   +2 more
exaly  

Runtime verification of concurrency-specific correctness criteria

International Journal on Software Tools for Technology Transfer, 2011
Shaz Qadeer, Serdar Tasiran, Qadeer Shaz   +2 more
exaly  

Runtime Verification of Statechart Implementations

2005
Gergely Pintér, István Majzik
openaire   +1 more source

Runtime Verification

2017
openaire   +1 more source

Event-based runtime verification of java programs

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2005
Marcelo D'Amorim, Klaus Havelund
exaly  

Runtime Verification

2009
openaire   +1 more source

Runtime Verification

2008
openaire   +1 more source

Runtime verification of cryptographic protocols

Computers and Security, 2010
exaly  

Runtime Verification

2015
openaire   +1 more source

Runtime Verification and Runtime Enforcement

openaire   +1 more source