{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:56Z","timestamp":1761597056781},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_15","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"176-187","source":"Crossref","is-referenced-by-count":13,"title":["Temporal Assertions with Parametrised Propositions"],"prefix":"10.1007","author":[{"given":"Volker","family":"Stolz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Simon, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: OOPSLA 2005 (2005)","DOI":"10.1145\/1094811.1094839"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","first-page":"188","volume-title":"RV 2007","author":"H. Barrigner","year":"2007","unstructured":"Barrigner, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from EAGLE to RULER. In: Sokolsky, O., Tasiran, S. (eds.) RV 2007. LNCS, vol.\u00a04128, pp. 188\u2013201. Springer, Heidelberg (2007)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Bernhard Steffen and Giorgio Levi, editors, 5th Intl. Conf. on Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, Springer, Heidelberg (2004)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11678779_15","volume-title":"Hardware and Software, Verification and Testing","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic deadlock analysis of multi-threaded programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) Hardware and Software, Verification and Testing. LNCS, vol.\u00a03875, Springer, Heidelberg (2006)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_25","volume-title":"ECOOP 2007","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L., Lhot\u00e1k, O.: A staged static program analysis to improve the performance of runtime monitoring. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, Springer, Heidelberg (2007)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"5th Intl. Symp. on Software Composition (SC 2006)","author":"E. Bodden","year":"2006","unstructured":"Bodden, E., Stolz, V.: Tracechecks: Defining semantic interfaces with temporal logic. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, Springer, Heidelberg (2006)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Douence, R., Fradet, P., S\u00fcdholt, M.: Composition, reuse and interaction analysis of stateful aspects. In: Murphy, G.C., Lieberherr, K.J. (eds.) Proc. of the 3rd Intl. Conf. on Aspect-oriented software development (AOSD 2004). ACM (2004)","DOI":"10.1145\/976270.976288"},{"key":"15_CR8","series-title":"ENTCS","volume-title":"RV 2002","author":"B. Finkbeiner","year":"2002","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.: Collecting statistics over runtime executions. In: Havelund, K., Ro\u015fu, G. (eds.) Semantics of Concurrent Computation. ENTCS, vol.\u00a070, Elsevier, Amsterdam (2002)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/10722468","volume-title":"SPIN Model Checking and Software Verification","author":"K. Havelund","year":"2000","unstructured":"Havelund, K.: Using Runtime Analysis to Guide Model Checking of Java Programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN Model Checking and Software Verification. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co.\u00a0 (2003)","DOI":"10.1109\/MS.2003.1241372"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA 2005 (2005)","DOI":"10.1145\/1094811.1094840"},{"key":"15_CR12","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)"},{"key":"15_CR13","volume-title":"RV 2004. Proceedings of the Fourth Workshop on Runtime Verification","author":"V. Stolz","year":"2005","unstructured":"Stolz, V., Huch, F.: Runtime Verification of Concurrent Haskell Programms. In: Havelund, K., Ro\u015fu, G. (eds.) Stochastic Automata: Stability, Nondeterminism and Prediction, vol.\u00a0113, Elsevier, Amsterdam (2005)"},{"key":"15_CR14","unstructured":"Stolz, V.: Temporal assertions for sequential and concurrent programs. Technical Report AIB-2007-15, RWTH Aachen University, August 2007. PhD thesis(2007), http:\/\/aib.informatik.rwth-aachen.de\/2007\/2007-15.pdf"},{"key":"15_CR15","series-title":"ENTCS","volume-title":"RV 2005. 5th Workshop on Runtime Verification","author":"V. Stolz","year":"2005","unstructured":"Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. In: Barringer, H., Finkbeiner, B., Gurevich, Y., Sipma, H. (eds.) ISSAC 1982 and EUROCAM 1982. ENTCS, vol.\u00a0144, Elsevier, Amsterdam (2005)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Logics for Concurrency: Structure versus Automata","author":"M.Y. Vardi","year":"1996","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency: Structure versus Automata. LNCS, vol.\u00a01043, Springer, Heidelberg (1996)"},{"key":"15_CR17","volume-title":"Proc. of the 12th ACM SIGSOFT Intl. Symp. on Foundations of Software Engineering","author":"R.J. Walker","year":"2004","unstructured":"Walker, R.J., Viggers, K.: Implementing protocols via declarative event patterns. In: Taylor, R.N., Dwyer, M.B. (eds.) Proc. of the 12th ACM SIGSOFT Intl. Symp. on Foundations of Software Engineering, ACM Press, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:32Z","timestamp":1619521832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_15","relation":{},"subject":[]}}