DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

A Retrospective Look at the Monitoring and Checking (MaC) Framework

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 256
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKannan, Sampathko
dc.contributor.authorKim, Moonzooko
dc.contributor.authorLee, Insupko
dc.contributor.authorSokolsky, Olegko
dc.contributor.authorViswanathan, Maheshko
dc.date.accessioned2020-02-05T07:20:49Z-
dc.date.available2020-02-05T07:20:49Z-
dc.date.created2020-01-29-
dc.date.created2020-01-29-
dc.date.created2020-01-29-
dc.date.issued2019-10-09-
dc.identifier.citation19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM), pp.1 - 14-
dc.identifier.urihttp://hdl.handle.net/10203/272111-
dc.description.abstractThe Monitoring and Checking (MaC) project gave rise to a framework for runtime monitoring with respect to formally specified properties, which later came to be known as runtime verification. The project also built a pioneering runtime verification tool, Java-MaC, that was an instantiation of the approach to check properties of Java programs. In this retrospective, we discuss decisions made in the design of the framework and summarize lessons learned in the course of the project.-
dc.languageEnglish-
dc.publisherRuntime Verification Inc.-
dc.titleA Retrospective Look at the Monitoring and Checking (MaC) Framework-
dc.typeConference-
dc.identifier.wosid000570006300001-
dc.identifier.scopusid2-s2.0-85075762370-
dc.type.rimsCONF-
dc.citation.beginningpage1-
dc.citation.endingpage14-
dc.citation.publicationname19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM)-
dc.identifier.conferencecountryPO-
dc.identifier.conferencelocationAlfândega Porto Congress Centre, Porto-
dc.identifier.doi10.1007/978-3-030-32079-9_1-
dc.contributor.localauthorKim, Moonzoo-
dc.contributor.nonIdAuthorKannan, Sampath-
dc.contributor.nonIdAuthorLee, Insup-
dc.contributor.nonIdAuthorSokolsky, Oleg-
dc.contributor.nonIdAuthorViswanathan, Mahesh-
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 2 items in WoS Click to see citing articles in records_button

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0