LEADER 04917nam 22008055 450 001 9910484840603321 005 20251226200316.0 010 $a3-540-77395-9 024 7 $a10.1007/978-3-540-77395-5 035 $a(CKB)1000000000490928 035 $a(SSID)ssj0000319894 035 $a(PQKBManifestationID)11243383 035 $a(PQKBTitleCode)TC0000319894 035 $a(PQKBWorkID)10338254 035 $a(PQKB)10162444 035 $a(DE-He213)978-3-540-77395-5 035 $a(MiAaPQ)EBC4976700 035 $a(MiAaPQ)EBC5576389 035 $a(MiAaPQ)EBC6710486 035 $a(Au-PeEL)EBL4976700 035 $a(CaONFJC)MIL134284 035 $a(OCoLC)1024255873 035 $a(Au-PeEL)EBL5576389 035 $a(OCoLC)759004476 035 $a(Au-PeEL)EBL6710486 035 $a(PPN)123731828 035 $a(MiAaPQ)EBC336873 035 $a(EXLCZ)991000000000490928 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRuntime Verification $e7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /$fedited by Oleg Sokolsky, Serdar Tasiran 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (VIII, 218 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4839 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77394-0 327 $aInvited Paper -- PSL for Runtime Verification: Theory and Practice -- AOP-Related Papers -- On the Semantics of Matching Trace Monitoring Patterns -- Collaborative Runtime Verification with Tracematches -- Static and Dynamic Detection of Behavioral Conflicts Between Aspects -- Escaping with Future Variables in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification -- ARVE: Aspect-Oriented Runtime Verification Environment -- Core Runtime Verification Papers -- From Runtime Verification to Evolvable Systems -- Rule Systems for Run-Time Monitoring: From Eagle to RuleR -- The Good, the Bad, and the Ugly, But How Ugly Is Ugly? -- Translation Validation of System Abstractions -- Instrumentation of Open-Source Software for Intrusion Detection -- Statistical Runtime Checking of Probabilistic Properties -- Temporal Assertions with Parametrised Propositions -- Rollback Atomicity -- Runtime Checking for Program Verification. 330 $aRuntime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (CAV) in 2001?2003 and 2005?2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4839 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer science 606 $aElectronic data processing$xManagement 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aIT Operations 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aElectronic data processing$xManagement. 615 14$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aIT Operations. 676 $a604.2028 702 $aSokolsky$b Oleg 702 $aTasiran$b Serdar 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484840603321 996 $aRuntime Verification$9772115 997 $aUNINA