Temporal Assertions with Parametrised Propositions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Volker Stolz. Temporal Assertions with Parametrised Propositions. In Oleg Sokolsky, Serdar Tasiran, editors, Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers. Volume 4839 of Lecture Notes in Computer Science, pages 176-187, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

Temporal Assertions with Parametrized PropositionsVolker Stolz. logcom, 20(3):743-757, 2010. [doi]

Temporal Assertions using AspectJVolker Stolz, Eric Bodden. ENTCS, 144(4):109-124, 2006. [doi]

Temporal assertions for sequential and concurrent programsVolker Stolz. PhD thesis, RWTH Aachen University, 2007. [doi]

runs on WebDSL