An overview of the MOP runtime verification framework
This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from specified properties and are used in conjunction with t...
Uloženo v:
| Vydáno v: | International journal on software tools for technology transfer Ročník 14; číslo 3; s. 249 - 289 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer-Verlag
01.06.2012
Springer Nature B.V |
| Témata: | |
| ISSN: | 1433-2779, 1433-2787 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from specified properties and are used in conjunction with the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code, such as information logging or runtime recovery. Two instances of MOP are presented: JavaMOP (for Java programs) and BusMOP (for monitoring PCI bus traffic). The architecture of MOP is discussed, and an explanation of parametric trace monitoring and its implementation is given. A comprehensive evaluation of JavaMOP attests to its efficiency, especially in comparison with similar systems. The implementation of BusMOP is discussed in detail. In general, BusMOP imposes no runtime overhead on the system it is monitoring. |
|---|---|
| AbstractList | Issue Title: Runtime Verification This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from specified properties and are used in conjunction with the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code, such as information logging or runtime recovery. Two instances of MOP are presented: JavaMOP (for Java programs) and BusMOP (for monitoring PCI bus traffic). The architecture of MOP is discussed, and an explanation of parametric trace monitoring and its implementation is given. A comprehensive evaluation of JavaMOP attests to its efficiency, especially in comparison with similar systems. The implementation of BusMOP is discussed in detail. In general, BusMOP imposes no runtime overhead on the system it is monitoring.[PUBLICATION ABSTRACT] This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from specified properties and are used in conjunction with the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code, such as information logging or runtime recovery. Two instances of MOP are presented: JavaMOP (for Java programs) and BusMOP (for monitoring PCI bus traffic). The architecture of MOP is discussed, and an explanation of parametric trace monitoring and its implementation is given. A comprehensive evaluation of JavaMOP attests to its efficiency, especially in comparison with similar systems. The implementation of BusMOP is discussed in detail. In general, BusMOP imposes no runtime overhead on the system it is monitoring. |
| Author | Griffith, Dennis Chen, Feng Meredith, Patrick O’Neil Jin, Dongyun Roşu, Grigore |
| Author_xml | – sequence: 1 givenname: Patrick O’Neil surname: Meredith fullname: Meredith, Patrick O’Neil email: pmeredit@cs.uiuc.edu, pmeredit@gmail.com organization: Department of Computer Science, University of Illinois at Urbana-Champaign – sequence: 2 givenname: Dongyun surname: Jin fullname: Jin, Dongyun organization: Department of Computer Science, University of Illinois at Urbana-Champaign – sequence: 3 givenname: Dennis surname: Griffith fullname: Griffith, Dennis organization: Department of Computer Science, University of Illinois at Urbana-Champaign – sequence: 4 givenname: Feng surname: Chen fullname: Chen, Feng organization: Department of Computer Science, University of Illinois at Urbana-Champaign – sequence: 5 givenname: Grigore surname: Roşu fullname: Roşu, Grigore organization: Department of Computer Science, University of Illinois at Urbana-Champaign |
| BookMark | eNp9kM9LwzAUx4MouE3_AG8FL16qec3aJMcx_AWTedBzSNNUM9tkJu2G_72ZFZGBHl5eIJ_Py-M7RofWWY3QGeBLwJhehXhinmKAWJylxQEawZSQNKOMHv7cKT9G4xBWGAMtKB-hfGYTt9F-Y_Q2cXXSverkYfmY-N52ptVJfDK1UbIzzia1l63eOv92go5q2QR9-t0n6Pnm-ml-ly6Wt_fz2SJVhOAiBamByizPcC4lUyynkpQcU0VkWehKc8oJZ5VSVSFxVWe8gqpQlKuqxIqWQCboYpi79u6916ETrQlKN4202vVBACZAcD6leUTP99CV672N20UKCMuBERYpGCjlXQhe12LtTSv9R4TELkgxBClikGIXpCiiQ_ccZbqvQDovTfOvmQ1miL_YF-1_7_SX9Ak1nIfZ |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2019_100515 crossref_primary_10_4018_jmcmc_2013070103 crossref_primary_10_1007_s10703_016_0241_z crossref_primary_10_1109_TCAD_2019_2935062 crossref_primary_10_1007_s10009_017_0454_5 crossref_primary_10_1016_j_scico_2022_102878 crossref_primary_10_1007_s10817_018_9494_0 crossref_primary_10_1145_3355609 crossref_primary_10_1145_2555670_2464159 crossref_primary_10_1016_j_jpdc_2017_09_003 crossref_primary_10_1016_j_jss_2021_110962 crossref_primary_10_1016_j_scico_2019_03_003 crossref_primary_10_1109_ACCESS_2020_3003087 crossref_primary_10_1109_TSMC_2018_2814539 crossref_primary_10_1109_MC_2023_3322902 crossref_primary_10_1109_TITS_2017_2779565 crossref_primary_10_1007_s10009_023_00713_2 crossref_primary_10_1007_s10703_017_0275_x crossref_primary_10_1017_S0956796823000096 crossref_primary_10_1007_s00236_022_00435_z crossref_primary_10_1007_s10703_012_0171_3 crossref_primary_10_1016_j_scico_2015_02_001 crossref_primary_10_1007_s10009_014_0309_2 crossref_primary_10_1109_TSC_2015_2491286 crossref_primary_10_1109_JSYST_2016_2614599 crossref_primary_10_1007_s00165_021_00545_4 crossref_primary_10_1109_TII_2016_2573762 crossref_primary_10_1007_s10009_011_0218_6 crossref_primary_10_1007_s10009_015_0380_3 crossref_primary_10_1007_s10009_023_00706_1 crossref_primary_10_1007_s10703_014_0217_9 crossref_primary_10_1007_s41870_022_01047_z crossref_primary_10_1016_j_parco_2023_103034 crossref_primary_10_1007_s10703_023_00429_8 crossref_primary_10_1145_2700529 crossref_primary_10_1145_3649834 crossref_primary_10_2168_LMCS_8_1_9_2012 crossref_primary_10_1145_2699444 crossref_primary_10_1007_s10009_021_00626_y crossref_primary_10_1109_TII_2017_2788901 crossref_primary_10_1007_s10009_021_00608_0 crossref_primary_10_1007_s10270_013_0323_y crossref_primary_10_1007_s10703_018_0317_z crossref_primary_10_1016_j_cosrev_2023_100594 crossref_primary_10_1007_s10270_020_00780_y crossref_primary_10_1016_j_jss_2024_112138 crossref_primary_10_1007_s10009_019_00531_5 crossref_primary_10_1007_s10703_012_0174_0 crossref_primary_10_1007_s10703_018_00327_4 crossref_primary_10_1007_s10009_021_00609_z crossref_primary_10_1109_TPDS_2022_3215854 crossref_primary_10_1016_j_jss_2025_112518 |
| Cites_doi | 10.1007/s10009-003-0117-6 10.1145/363347.363387 10.1016/S1571-0661(04)00253-1 10.1145/1167473.1167488 10.1145/1094811.1094841 10.1007/3-540-45337-7_18 10.1109/ASE.2008.25 10.1145/1094811.1094839 10.1007/978-3-540-24730-2_35 10.1007/978-3-642-00768-2_23 10.1007/978-3-540-73589-2_25 10.1016/B978-0-12-417750-5.50022-1 10.1007/978-3-540-24622-0_5 10.1109/SFCS.1977.32 10.1007/3-540-46002-0_24 10.1109/ASE.2009.50 10.1145/1103845.1094840 10.1145/1082983.1083249 10.1007/978-3-540-73370-6_20 10.1145/1297027.1297070 10.1145/1297027.1297069 10.1109/ASE.2001.989799 10.1007/10722468_19 10.1145/1629335.1629367 10.1145/1509239.1509243 10.1016/S1571-0661(04)00247-6 10.1007/978-3-540-89247-2_4 10.1007/BFb0053381 10.1007/s10515-010-0063-y 10.1016/S1571-0661(04)81045-4 10.1109/RTSS.2008.43 10.1007/978-3-540-30482-1_31 10.1145/367845.367996 10.1016/S1571-0661(04)81051-X 10.1007/s10515-005-6205-y 10.1007/978-3-540-30569-9_3 10.1093/logcom/exn076 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag 2011 Springer-Verlag 2012 |
| Copyright_xml | – notice: Springer-Verlag 2011 – notice: Springer-Verlag 2012 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U |
| DOI | 10.1007/s10009-011-0198-6 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni Edition) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student Research Library Prep (ProQuest) SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database ProQuest Research Library Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Research Library China ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering collection ProQuest Central Basic |
| DatabaseTitle | CrossRef Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | Research Library Prep Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Architecture |
| EISSN | 1433-2787 |
| EndPage | 289 |
| ExternalDocumentID | 2662463221 10_1007_s10009_011_0198_6 |
| Genre | Feature |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D MBDVC PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c3306-1ae17a25205aa8c857a3b907c3ab6ede979398dccd6a0df29d1d6c79cdb0c7b13 |
| IEDL.DBID | RSV |
| ISSN | 1433-2779 |
| IngestDate | Sun Nov 09 10:40:14 EST 2025 Tue Nov 04 20:16:11 EST 2025 Sat Nov 29 08:08:43 EST 2025 Tue Nov 18 22:38:19 EST 2025 Fri Feb 21 02:33:56 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Real time systems Monitoring Runtime verification Testing |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c3306-1ae17a25205aa8c857a3b907c3ab6ede979398dccd6a0df29d1d6c79cdb0c7b13 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 1013851838 |
| PQPubID | 46652 |
| PageCount | 41 |
| ParticipantIDs | proquest_miscellaneous_1031305475 proquest_journals_1013851838 crossref_primary_10_1007_s10009_011_0198_6 crossref_citationtrail_10_1007_s10009_011_0198_6 springer_journals_10_1007_s10009_011_0198_6 |
| PublicationCentury | 2000 |
| PublicationDate | 20120600 |
| PublicationDateYYYYMMDD | 2012-06-01 |
| PublicationDate_xml | – month: 6 year: 2012 text: 20120600 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationTitleAbbrev | Int J Softw Tools Technol Transfer |
| PublicationYear | 2012 |
| Publisher | Springer-Verlag Springer Nature B.V |
| Publisher_xml | – name: Springer-Verlag – name: Springer Nature B.V |
| References | Abercrombie, P., Karaorman, M.: jContractor: Bytecode instrumentation techniques for implementing DBC in Java. In Runtime Verification (RV’02), ENTCS, vol. 70, Elsevier, Amsterdam (2002) Bodden, E., Hendren, L., Lhoták, O.: A staged static program analysis to improve the performance of runtime monitoring. In: European Conference on Object-Oriented Programming (ECOOP’07), LNCS, vol. 4609, pp. 525–549. Springer, Berlin (2007) Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: European Conference on Object-Oriented Programming (ECOOP’01), LNCS, vol. 2072, pp. 327–353. Springer, Berlin (2001) HavelundK.NunezM.RoşuG.WolffB.Formal Approaches to Testing and Runtime Verification (FATES/RV’06), LNCS, vol. 42642006BerlinSpringer BarringerH.FinkbeinerB.GurevichY.SipmaH.Runtime Verification (RV’05), ENTCS, vol. 1442005AmsterdamElsevier Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: European Conference on Object-Oriented Programming (ECOOP’97), LNCS, vol. 1241, pp. 220–242. Springer, Berlin (1997) PCI SIG. Conventional PCI 3.0, PCI-X 2.0 and PCI-E 2.0 Specifications. http://www.pcisig.com Chen, F., Roşu, G.: Parametric trace slicing and monitoring. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09), LNCS, vol. 5505, pp. 246–261. Springer, Berlin (2009) Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV’01), ENTCS, vol. 55, pp. 97–114. Elsevier, Amsterdam (2001) Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 365–383. ACM, New York (2005) AspectJ. http://eclipse.org/aspectj Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Model Checking and Software Verification (SPIN’00), LNCS, vol. 1885, pp. 323–330. Springer, Berlin (2000) HavelundK.RosuG.Efficient monitoring of safety propertiesJ. Softw. Tools Technol. Transf.20046215817310.1007/s10009-003-0117-6 Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and returns. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’04), LNCS, vol. 2988, pp. 467–481. Springer, Berlin (2004) Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV’01), ENTCS, vol. 55, Elsevier, Amsterdam (2001) HavelundK.RoşuG.Runtime Verification (RV’02), ENTCS, vol. 702002AmsterdamElsevier Bodden, E.: J-LO, a tool for runtime-checking temporal assertions. Master’s thesis, RWTH Aachen University, Aachen (2005) Pellizzoni, R., Meredith, P., Caccamo, M., Roşu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: Real-Time System Symposium (RTSS’08), pp. 481–491. IEEE, New York (2008) Chen, F., Roşu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV’03), ENTCS, vol. 89, pp. 108–127. Elsevier, Amsterdam (2003) Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from EAGLE to RULER. J. Logic Comput. (2008) Soot website. http://www.sable.mcgill.ca/soot ISO/IEC 14977:1996, Information technology—syntactic metalanguage—Extended BNF. ISO, Geneva, Switzerland Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’05), pp. 345–364. ACM, New York (2005) Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanović, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’06), pp. 169–190. ACM, New York (2006) Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Europoean Conference on Real-Time Systems (ECRTS’99) (1999) RoşuG.HavelundK.Rewriting-based techniques for runtime verificationJ. Autom. Softw Eng.2004122151197 Sen, K., Roşu, G.: Generating optimal monitors for extended regular expressions. In: Runtime Verification (RV’03), ENTCS, vol. 89, pp. 162–181. Elsevier, Amsterdam (2003) Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS’04), LNCS, vol. 3362, pp. 49–69. Springer, Berlin (2004) Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Verification, Model Checking, and Abstract Interpretation (VMCAI’04), LNCS, vol. 2937, pp. 44–57. Springer, Berlin (2004) Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 589–608. ACM, New York (2007) Goldsmith, S., O’Callahan, R., Aiken, A.: Relational queries over program traces. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’05), pp. 385–402. ACM, New York (2005) d’AmorimM.HavelundK.Event-based runtime verification of Java programsACM SIGSOFT Softw. Eng. Notes20053041710.1145/1082983.1083249 Chen, F., Roşu, G.: MOP: An efficient and generic runtime verification framework. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 569–588. ACM, New York (2007) MeredithP.JinD.ChenF.RoşuG.Efficient monitoring of parametric context-free patternsJ. Autom. Softw. Eng.201017214918010.1007/s10515-010-0063-y HavelundK.RoşuG.Runtime Verification (RV’04), ENTCS, vol. 1132004AmsterdamElsevier Vallée-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java optimization framework. In: IBM Centre for Advanced Studies Conference (CASCON’99), pp. 125–135. ACM, New York (1999) AspectC++. http://www.aspectc.org Eagle Technology. PCI 703 Series User’s Manual. http://www.eagledaq.com/display_product_36.htm Pnueli, A.: The temporal logic of programs. In Foundations of Computer Science (FOCS’77), pages 46–57. IEEE, New York (1977) Havelund, K., Roşu, G.: Synthesizing Monitors for Safety Properties. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’02), LNCS, vol. 2280, pp. 342–356. Springer, Berlin (2002) Eiffel Language. http://www.eiffel.com JBoss. http://www.jboss.org Pellizzoni, R., Meredith, P., Nam, M.-Y., Sun, M., Caccamo, M., Sha, L.: Handling mixed-criticality in soc-based real-time embedded systems. In: Embedded Software (Emsoft’09), pp. 235–244 (2009) Bartetzko, D., Fischer, C., Moller, M., Wehrheim, H.: Jass-Java with Assertions. In: Runtime Verification (RV’01), ENTCS, vol. 55, pp. 103–117. Elsevier, Amsterdam (2001) HoareC.Communicating Sequential Processes1985New YorkPrentice-Hall Intl.0637.68007 MeyerB.Object-Oriented Software Construction20002New JerseyPrentice Hall Pellizzoni, R., Buy, B.D., Caccamo, M., Sha, L.: Coscheduling of real-time tasks and PCI bus transactions. Technical report, University of Illinois at Urbana-Champaign. http://netfiles.uiuc.edu/rpelliz2/www/techreps/ (2008) Xilinx, Inc. Virtex-4 ML455 PCI/PCI-X Development Kit User Guide. http://www.xilinx.com/support/documentation/boards_and_kits/ug084.pdf Chen, F., Meredith, P., Jin, D., Roşu, G.: Efficient formalism-independent monitoring of parametric properties. In: Automated Software Engineering (ASE’09), pp. 383–394. IEEE, New York (2009) Chaudhuri, S., Alur, R.: Instumenting C programs with nested word monitors. In: Model Checking Software (SPIN’07), LNCS, vol. 4595, pp. 279–283. Springer, Berlin (2007) Bison. http://www.gnu.org/software/bison Hopcroft, J.E.: An n log n algorithm for minimizing states in a finite automaton. Technical report (1971) SokolskyO.ViswanathanM.Runtime Verification (RV’03), ENTCS, vol. 892003AmsterdamElsevier Meredith, P., Jin, D., Chen, F., Roşu, G.: Efficient monitoring of parametric context-free patterns. In: Automated Software Engineering (ASE ’08), pp. 148–157. IEEE, New York (2008) Havelund, K., Roşu, G.: Monitoring programs using rewriting. In: Automated Software Engineering (ASE’01), pp. 135–143. IEEE, New York (2001) Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’00), pp. 105–106. ACM, New York (2000) Roşu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties—this time with calls and returns. In: Runtime Verification (RV’08), LNCS, vol. 5289, pp. 51–68. Springer, Berlin (2008) AhoA.V.SethiR.UllmanJ.D.Compilers, Principles, Techniques, and Tools1986New YorkAddison-Wesley215246 Lu, H., Forin, A.: The design and implementation of P2V, an architecture for zero-overhead online verification of software programs. Technical Report MSR-TR-2007–99, Microsoft Research (2007) Chen, F., D’Amorim, M., Roşu, G.: A formal monitoring-based framework for software development and analysis. In: International Conference on Formal Engineering Methods (ICFEM’04), LNCS, vol. 3308, pp. 357–372. Springer, Berlin (2004) Bodden, E., Chen, F., Roşu, G.: Dependent advice: A general approach to optimizing history-based aspects. In: Aspect-Oriented Software Development (AOSD’09), pp. 3–14. ACM, New York (2009) ThompsonK.Regular expression search algorithmCommun. ACM19681164194220164.4620510.1145/363347.363387 198_CR28 198_CR26 198_CR27 198_CR25 (198_CR33) 2002 (198_CR34) 2004 198_CR31 198_CR32 198_CR30 198_CR39 198_CR38 198_CR35 B. Meyer (198_CR49) 2000 C. Hoare (198_CR37) 1985 K. Thompson (198_CR60) 1968; 11 198_CR44 198_CR45 198_CR42 198_CR43 198_CR40 198_CR41 (198_CR9) 2005 A.V. Aho (198_CR2) 1986 198_CR46 198_CR47 P. Meredith (198_CR48) 2010; 17 G. Roşu (198_CR55) 2004; 12 198_CR11 198_CR12 198_CR56 198_CR53 198_CR10 198_CR54 198_CR51 198_CR52 (198_CR29) 2006 198_CR50 198_CR4 198_CR19 M. d’Amorim (198_CR24) 2005; 30 198_CR5 198_CR17 198_CR3 198_CR18 198_CR15 198_CR59 198_CR1 198_CR16 K. Havelund (198_CR36) 2004; 6 198_CR13 198_CR57 198_CR14 198_CR8 198_CR6 198_CR7 (198_CR58) 2003 198_CR22 198_CR23 198_CR20 198_CR21 198_CR62 198_CR61 |
| References_xml | – reference: Chen, F., Roşu, G.: Parametric trace slicing and monitoring. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09), LNCS, vol. 5505, pp. 246–261. Springer, Berlin (2009) – reference: Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Model Checking and Software Verification (SPIN’00), LNCS, vol. 1885, pp. 323–330. Springer, Berlin (2000) – reference: Roşu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties—this time with calls and returns. In: Runtime Verification (RV’08), LNCS, vol. 5289, pp. 51–68. Springer, Berlin (2008) – reference: Bison. http://www.gnu.org/software/bison/ – reference: AspectJ. http://eclipse.org/aspectj/ – reference: AhoA.V.SethiR.UllmanJ.D.Compilers, Principles, Techniques, and Tools1986New YorkAddison-Wesley215246 – reference: Bodden, E.: J-LO, a tool for runtime-checking temporal assertions. Master’s thesis, RWTH Aachen University, Aachen (2005) – reference: Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: European Conference on Object-Oriented Programming (ECOOP’01), LNCS, vol. 2072, pp. 327–353. Springer, Berlin (2001) – reference: Vallée-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a Java optimization framework. In: IBM Centre for Advanced Studies Conference (CASCON’99), pp. 125–135. ACM, New York (1999) – reference: Pellizzoni, R., Meredith, P., Nam, M.-Y., Sun, M., Caccamo, M., Sha, L.: Handling mixed-criticality in soc-based real-time embedded systems. In: Embedded Software (Emsoft’09), pp. 235–244 (2009) – reference: Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’05), pp. 345–364. ACM, New York (2005) – reference: Meredith, P., Jin, D., Chen, F., Roşu, G.: Efficient monitoring of parametric context-free patterns. In: Automated Software Engineering (ASE ’08), pp. 148–157. IEEE, New York (2008) – reference: ThompsonK.Regular expression search algorithmCommun. ACM19681164194220164.4620510.1145/363347.363387 – reference: Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’00), pp. 105–106. ACM, New York (2000) – reference: Chen, F., Meredith, P., Jin, D., Roşu, G.: Efficient formalism-independent monitoring of parametric properties. In: Automated Software Engineering (ASE’09), pp. 383–394. IEEE, New York (2009) – reference: RoşuG.HavelundK.Rewriting-based techniques for runtime verificationJ. Autom. Softw Eng.2004122151197 – reference: HavelundK.NunezM.RoşuG.WolffB.Formal Approaches to Testing and Runtime Verification (FATES/RV’06), LNCS, vol. 42642006BerlinSpringer – reference: BarringerH.FinkbeinerB.GurevichY.SipmaH.Runtime Verification (RV’05), ENTCS, vol. 1442005AmsterdamElsevier – reference: MeyerB.Object-Oriented Software Construction20002New JerseyPrentice Hall – reference: SokolskyO.ViswanathanM.Runtime Verification (RV’03), ENTCS, vol. 892003AmsterdamElsevier – reference: Xilinx, Inc. Virtex-4 ML455 PCI/PCI-X Development Kit User Guide. http://www.xilinx.com/support/documentation/boards_and_kits/ug084.pdf – reference: Chen, F., Roşu, G.: MOP: An efficient and generic runtime verification framework. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 569–588. ACM, New York (2007) – reference: HavelundK.RoşuG.Runtime Verification (RV’04), ENTCS, vol. 1132004AmsterdamElsevier – reference: Abercrombie, P., Karaorman, M.: jContractor: Bytecode instrumentation techniques for implementing DBC in Java. In Runtime Verification (RV’02), ENTCS, vol. 70, Elsevier, Amsterdam (2002) – reference: Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV’01), ENTCS, vol. 55, pp. 97–114. Elsevier, Amsterdam (2001) – reference: Havelund, K., Roşu, G.: Synthesizing Monitors for Safety Properties. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’02), LNCS, vol. 2280, pp. 342–356. Springer, Berlin (2002) – reference: HavelundK.RosuG.Efficient monitoring of safety propertiesJ. Softw. Tools Technol. Transf.20046215817310.1007/s10009-003-0117-6 – reference: d’AmorimM.HavelundK.Event-based runtime verification of Java programsACM SIGSOFT Softw. Eng. Notes20053041710.1145/1082983.1083249 – reference: Havelund, K., Roşu, G.: Monitoring programs using rewriting. In: Automated Software Engineering (ASE’01), pp. 135–143. IEEE, New York (2001) – reference: Pellizzoni, R., Buy, B.D., Caccamo, M., Sha, L.: Coscheduling of real-time tasks and PCI bus transactions. Technical report, University of Illinois at Urbana-Champaign. http://netfiles.uiuc.edu/rpelliz2/www/techreps/ (2008) – reference: Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV’01), ENTCS, vol. 55, Elsevier, Amsterdam (2001) – reference: Eiffel Language. http://www.eiffel.com/ – reference: Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 589–608. ACM, New York (2007) – reference: MeredithP.JinD.ChenF.RoşuG.Efficient monitoring of parametric context-free patternsJ. Autom. Softw. Eng.201017214918010.1007/s10515-010-0063-y – reference: Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Europoean Conference on Real-Time Systems (ECRTS’99) (1999) – reference: Chaudhuri, S., Alur, R.: Instumenting C programs with nested word monitors. In: Model Checking Software (SPIN’07), LNCS, vol. 4595, pp. 279–283. Springer, Berlin (2007) – reference: Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’07), pp. 365–383. ACM, New York (2005) – reference: Hopcroft, J.E.: An n log n algorithm for minimizing states in a finite automaton. Technical report (1971) – reference: JBoss. http://www.jboss.org – reference: Sen, K., Roşu, G.: Generating optimal monitors for extended regular expressions. In: Runtime Verification (RV’03), ENTCS, vol. 89, pp. 162–181. Elsevier, Amsterdam (2003) – reference: Bodden, E., Chen, F., Roşu, G.: Dependent advice: A general approach to optimizing history-based aspects. In: Aspect-Oriented Software Development (AOSD’09), pp. 3–14. ACM, New York (2009) – reference: Pnueli, A.: The temporal logic of programs. In Foundations of Computer Science (FOCS’77), pages 46–57. IEEE, New York (1977) – reference: Pellizzoni, R., Meredith, P., Caccamo, M., Roşu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: Real-Time System Symposium (RTSS’08), pp. 481–491. IEEE, New York (2008) – reference: Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from EAGLE to RULER. J. Logic Comput. (2008) – reference: Goldsmith, S., O’Callahan, R., Aiken, A.: Relational queries over program traces. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’05), pp. 385–402. ACM, New York (2005) – reference: Chen, F., D’Amorim, M., Roşu, G.: A formal monitoring-based framework for software development and analysis. In: International Conference on Formal Engineering Methods (ICFEM’04), LNCS, vol. 3308, pp. 357–372. Springer, Berlin (2004) – reference: PCI SIG. Conventional PCI 3.0, PCI-X 2.0 and PCI-E 2.0 Specifications. http://www.pcisig.com – reference: Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and returns. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’04), LNCS, vol. 2988, pp. 467–481. Springer, Berlin (2004) – reference: Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Verification, Model Checking, and Abstract Interpretation (VMCAI’04), LNCS, vol. 2937, pp. 44–57. Springer, Berlin (2004) – reference: ISO/IEC 14977:1996, Information technology—syntactic metalanguage—Extended BNF. ISO, Geneva, Switzerland – reference: Soot website. http://www.sable.mcgill.ca/soot/ – reference: AspectC++. http://www.aspectc.org/ – reference: Bartetzko, D., Fischer, C., Moller, M., Wehrheim, H.: Jass-Java with Assertions. In: Runtime Verification (RV’01), ENTCS, vol. 55, pp. 103–117. Elsevier, Amsterdam (2001) – reference: Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanović, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’06), pp. 169–190. ACM, New York (2006) – reference: Bodden, E., Hendren, L., Lhoták, O.: A staged static program analysis to improve the performance of runtime monitoring. In: European Conference on Object-Oriented Programming (ECOOP’07), LNCS, vol. 4609, pp. 525–549. Springer, Berlin (2007) – reference: Eagle Technology. PCI 703 Series User’s Manual. http://www.eagledaq.com/display_product_36.htm – reference: Lu, H., Forin, A.: The design and implementation of P2V, an architecture for zero-overhead online verification of software programs. Technical Report MSR-TR-2007–99, Microsoft Research (2007) – reference: Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS’04), LNCS, vol. 3362, pp. 49–69. Springer, Berlin (2004) – reference: Chen, F., Roşu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV’03), ENTCS, vol. 89, pp. 108–127. Elsevier, Amsterdam (2003) – reference: HoareC.Communicating Sequential Processes1985New YorkPrentice-Hall Intl.0637.68007 – reference: Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: European Conference on Object-Oriented Programming (ECOOP’97), LNCS, vol. 1241, pp. 220–242. Springer, Berlin (1997) – reference: HavelundK.RoşuG.Runtime Verification (RV’02), ENTCS, vol. 702002AmsterdamElsevier – start-page: 215 volume-title: Compilers, Principles, Techniques, and Tools year: 1986 ident: 198_CR2 – ident: 198_CR62 – ident: 198_CR43 – volume: 6 start-page: 158 issue: 2 year: 2004 ident: 198_CR36 publication-title: J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-003-0117-6 – volume: 11 start-page: 419 issue: 6 year: 1968 ident: 198_CR60 publication-title: Commun. ACM doi: 10.1145/363347.363387 – ident: 198_CR31 doi: 10.1016/S1571-0661(04)00253-1 – ident: 198_CR14 doi: 10.1145/1167473.1167488 – ident: 198_CR28 doi: 10.1145/1094811.1094841 – volume-title: Formal Approaches to Testing and Runtime Verification (FATES/RV’06), LNCS, vol. 4264 year: 2006 ident: 198_CR29 – ident: 198_CR41 doi: 10.1007/3-540-45337-7_18 – ident: 198_CR47 doi: 10.1109/ASE.2008.25 – ident: 198_CR3 doi: 10.1145/1094811.1094839 – volume-title: Runtime Verification (RV’04), ENTCS, vol. 113 year: 2004 ident: 198_CR34 – ident: 198_CR4 doi: 10.1007/978-3-540-24730-2_35 – ident: 198_CR23 doi: 10.1007/978-3-642-00768-2_23 – ident: 198_CR17 doi: 10.1007/978-3-540-73589-2_25 – ident: 198_CR38 doi: 10.1016/B978-0-12-417750-5.50022-1 – ident: 198_CR10 doi: 10.1007/978-3-540-24622-0_5 – ident: 198_CR54 doi: 10.1109/SFCS.1977.32 – ident: 198_CR35 doi: 10.1007/3-540-46002-0_24 – volume-title: Object-Oriented Software Construction year: 2000 ident: 198_CR49 – ident: 198_CR15 – ident: 198_CR20 doi: 10.1109/ASE.2009.50 – volume-title: Runtime Verification (RV’05), ENTCS, vol. 144 year: 2005 ident: 198_CR9 – ident: 198_CR6 – volume-title: Communicating Sequential Processes year: 1985 ident: 198_CR37 – ident: 198_CR46 doi: 10.1145/1103845.1094840 – volume: 30 start-page: 1 issue: 4 year: 2005 ident: 198_CR24 publication-title: ACM SIGSOFT Softw. Eng. Notes doi: 10.1145/1082983.1083249 – ident: 198_CR18 doi: 10.1007/978-3-540-73370-6_20 – ident: 198_CR7 doi: 10.1145/1297027.1297070 – ident: 198_CR22 doi: 10.1145/1297027.1297069 – ident: 198_CR32 doi: 10.1109/ASE.2001.989799 – ident: 198_CR39 – ident: 198_CR25 doi: 10.1007/10722468_19 – ident: 198_CR5 – ident: 198_CR30 doi: 10.1016/S1571-0661(04)00253-1 – ident: 198_CR26 – ident: 198_CR53 doi: 10.1145/1629335.1629367 – ident: 198_CR16 doi: 10.1145/1509239.1509243 – ident: 198_CR12 doi: 10.1016/S1571-0661(04)00247-6 – ident: 198_CR56 doi: 10.1007/978-3-540-89247-2_4 – ident: 198_CR50 – ident: 198_CR45 – volume-title: Runtime Verification (RV’02), ENTCS, vol. 70 year: 2002 ident: 198_CR33 – ident: 198_CR42 doi: 10.1007/BFb0053381 – volume: 17 start-page: 149 issue: 2 year: 2010 ident: 198_CR48 publication-title: J. Autom. Softw. Eng. doi: 10.1007/s10515-010-0063-y – volume-title: Runtime Verification (RV’03), ENTCS, vol. 89 year: 2003 ident: 198_CR58 – ident: 198_CR61 – ident: 198_CR13 – ident: 198_CR40 – ident: 198_CR21 doi: 10.1016/S1571-0661(04)81045-4 – ident: 198_CR59 – ident: 198_CR52 doi: 10.1109/RTSS.2008.43 – ident: 198_CR51 – ident: 198_CR27 – ident: 198_CR19 doi: 10.1007/978-3-540-30482-1_31 – ident: 198_CR44 doi: 10.1145/367845.367996 – ident: 198_CR1 – ident: 198_CR57 doi: 10.1016/S1571-0661(04)81051-X – volume: 12 start-page: 151 issue: 2 year: 2004 ident: 198_CR55 publication-title: J. Autom. Softw Eng. doi: 10.1007/s10515-005-6205-y – ident: 198_CR8 doi: 10.1007/978-3-540-30569-9_3 – ident: 198_CR11 doi: 10.1093/logcom/exn076 |
| SSID | ssj0017679 |
| Score | 2.3947155 |
| Snippet | This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental... Issue Title: Runtime Verification This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 249 |
| SubjectTerms | Architecture Buses (vehicles) Computer programming Computer programs Computer Science Dynamical systems Dynamics Java (programming language) Monitoring Monitors Runtime Verification Software Software Engineering Software Engineering/Programming and Operating Systems Systems management Technology transfer Theory of Computation |
| SummonAdditionalLinks | – databaseName: Advanced Technologies & Aerospace Database dbid: P5Z link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT8MwDI5gcODCeIrBQEHiBIrUNk3SnNCEmDjA2AHQxKVKk1SaBN3Yg9-Pk7YbILEL5zgPxXb8JXZshC4ks0aYjBKeBYzEWnGigsASgBqJyljOpM9b8HIver1kMJD96sFtWoVV1meiP6jNSLs3ctDukAI6SGhyPf4grmqU865WJTTW0UYYAdYHee6z14UXQXCfaw8gASWRELL2apZf57xbwP8qkwnhP-3SEmz-8o96s9Nt_nfBO2i7Apy4U0rILlqzxR5q1sUccKXb-4h1CuzCOd2oeJRjAIb44bGPXWaC4bvF0OSiijwjcV6HdB2g5-7t080dqWoqEE2pK7mjbChUxKKAKZXohAlFM7gga6oybo2VoK8yMVobrgKTR9KEhmshtckCLbKQHqJGMSrsEcIqt3BfpMZIo2MgUdpKynLKFTc2tryFgnpHU10lHHd1L97SZapkx4QUmJA6JqTQ5XLRZVxm21hF3K43Pq0Ub5oud72FzhfNoDLOD6IKO5o7GgqWm8WCtdBVzd7vQ_wx4fHqCU_QFqCpqIwja6PGbDK3p2hTf86G08mZl8wvwI3oXA priority: 102 providerName: ProQuest |
| Title | An overview of the MOP runtime verification framework |
| URI | https://link.springer.com/article/10.1007/s10009-011-0198-6 https://www.proquest.com/docview/1013851838 https://www.proquest.com/docview/1031305475 |
| Volume | 14 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: P5Z dateStart: 20021001 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: K7- dateStart: 20021001 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M7S dateStart: 20021001 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: BENPR dateStart: 20021001 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Research Library customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M2O dateStart: 20021001 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED-c-uCL8xPnx4jgkxLomubrcYpDULex6Ri-lDRJYaCdbOrfb9K1c4oK-pKXXNJyl2t-6V1-B3AiqTXcJASzJKA40ophFQQWO6ghVEJTKnPegsENb7fFcCi7xT3uaZntXoYk8y_1wmW3_Ed-fg9MCswqsOK5S3zZgl5_MA8dcJYT7DkcQHDIuSxDmd9N8Xkz-kCYX4Ki-V7Tqv7rLTdgvYCWqDlbC5uwZLMtqJZlG1DhxdtAmxnyiZs-KIDGKXIQEN12ushzEIyeLHJdPn8oNxlKy-StHbhvXd5dXOGiegLWhPjiOso2uAppGFClhBaUK5K4o7AmKmHWWOk8UwqjtWEqMGkoTcMwzaU2SaB50iC7sJyNM7sHSKXWnQyJMdLoyIkobSWhKWGKGRtZVoOgVGOsC2pxX-HiMf4gRfZqiZ1aYq-W2A05nQ95nvFq_CZ8WNomLlxs6nPTiIOLgogaHM-7nXP4iIfK7PjVyxC3R9OI0xqclfZanOKHB-7_SfoA1hyMCmcJZIew_DJ5tUewqt9eRtNJHVbOL9vdXh0q1xy79jbs-Jb3XdulD_V89b4Drlji7Q |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3fb9MwED6NDQle2BggyrrNk8YLyFISx3b8ME3V2NRqXdeHgSpegmM70iRIx7qB9k_xN3JO4haQtrc-8OxfSb7z-bvc-Q5gX3FnpS0YFUXEaWq0oDqKHEWqkemCl1zVeQs-DeVolE0marwCv8JdGB9WGXRirajt1Ph_5Li7Y4bsIGPZ4dV36qtGee9qKKHRiMWpu_uJJtvsYPAB8X2bJCfHF0d92lYVoAZtd0Fj7WKpE55EXOvMZFxqVqCJaJguhLNOocSqzBpjhY5smSgbW2GkMraIjCxihvM-gjWkEcorgjH_PPdaSFHn9kMKwmgipQpe1OaqXu2GqG-xqYyKv8_BBbn9xx9bH3Mn6__bB9qAZy2hJr1mBzyHFVdtwnooVkFa3fUCeK8iPlzVvwWZlgSJLzk7HxOfeeHymyPY5KOmakElZQhZewkfl_Lwr2C1mlbuNRBdOrSHmbXKmhS7aOMU4yUTWliXOtGBKCCYmzahuq_r8TVfpIL2oOcIeu5Bz3HIu_mQqyabyEOduwHovFUss3yBcgf25s2oEryfR1dueuv7MGQmPJW8A--DOP05xT0Lvnl4wV140r84G-bDweh0C54ic0yamLkurN5c37pteGx-3FzOrnfqXUHgy7Kl7DfBZEb- |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB5RQFUvBUoRy9NI5dLKIoljOz5UCAGrImDZA1TcUsd2JCSaBRaK-Gv8uo6TeBcqwY1Dz34lmc_jbzLjGYAvijsrbcGoKCJOU6MF1VHkKFKNTBe85KrOW_DzSPZ62fm56k_AY7gL48Mqg06sFbUdGP-PHHd3zJAdZCzbKtuwiP5ed_vqmvoKUt7TGsppNBA5dA_3aL4Nvx_soaw3k6S7f7r7g7YVBqhBO17QWLtY6oQnEdc6MxmXmhVoLhqmC-GsU4helVljrNCRLRNlYyuMVMYWkZFFzHDedzAlU858OOFxcjLyYEhR5_lDOsJoIqUKHtXm2l7tkqhvtKmMiudn4pjo_uObrY-87sz__LFm4WNLtMlOszPmYMJVn2AmFLEgrU6bB75TER_G6t-IDEqChJgcn_SJz8hw8dsRbPLRVDWASRlC2T7D2Zs8_AJMVoPKLQLRpUM7mVmrrEmxizZOMV4yoYV1qRMdiII0c9MmWvf1Pi7zcYpoD4AcAZB7AOQ45OtoyFWTZeS1zitB6HmrcIb5WOId2Bg1o6rw_h9ducGd78OQsfBU8g58C9B6OsULCy69vuA6vEdw5UcHvcNl-ICEMmlC6VZg8vbmzq3CtPlzezG8Was3CIFfbw2yv5UVT58 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+overview+of+the+MOP+runtime+verification+framework&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Meredith%2C+Patrick+O%E2%80%99Neil&rft.au=Jin%2C+Dongyun&rft.au=Griffith%2C+Dennis&rft.au=Chen%2C+Feng&rft.date=2012-06-01&rft.pub=Springer-Verlag&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=14&rft.issue=3&rft.spage=249&rft.epage=289&rft_id=info:doi/10.1007%2Fs10009-011-0198-6&rft.externalDocID=10_1007_s10009_011_0198_6 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |