Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Shaun Azzopardi"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 254, Iss Proc. PrePost 2017, Pp 29-43 (2017)
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code in
Externí odkaz:
https://doaj.org/article/1291bcbb28b84eed800d3adc6e7ef56d
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe489357069e1e073c0193952ddc9a4
https://doi.org/10.1007/978-3-031-19849-6_22
https://doi.org/10.1007/978-3-031-19849-6_22
Publikováno v:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de4fc58dc83613af143d8487e57ad2a1
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Technology for Verification and Analysis
ATVA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Technology for Verification and Analysis
Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative specifications, and have found languages that combine modelling wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e63786e10812fdf9e295fc7ae9291aa
https://doi.org/10.1007/978-3-030-88885-5_22
https://doi.org/10.1007/978-3-030-88885-5_22
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030674441
MODELSWARD (Revised Selected Papers)
MODELSWARD (Revised Selected Papers)
Distributed ledger technologies, e.g. blockchains, are an innovative solution to the problem of trust between different parties. Smart contracts, programs executing on these ledgers present new challenges given their non-traditional execution context
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::350e120e3faa6b0cd5f9b40fd420ce4e
https://doi.org/10.1007/978-3-030-67445-8_14
https://doi.org/10.1007/978-3-030-67445-8_14
Publikováno v:
Fundamentals of Software Engineering ISBN: 9783030892463
FSEN
FSEN
Business processes have been long researched, with many tools, languages, and diagrammatic notations having been developed for automation. Recently, distributed ledger technology (of which Blockchain is one type) has been proposed for use in the moni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98cf36a4c19d26068f379c717c552867
https://doi.org/10.1007/978-3-030-89247-0_10
https://doi.org/10.1007/978-3-030-89247-0_10
Publikováno v:
MODELSWARD
Scopus-Elsevier
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::393e4633f90f6f2c9903c70a7287e9a8
https://doi.org/10.5220/0008981902370248
https://doi.org/10.5220/0008981902370248
Publikováno v:
Artificial Intelligence and Law. 24:203-243
Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the log
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcae95e6bf32246345e42fd2f7041201
https://doi.org/10.1007/s10506-016-9185-2
https://doi.org/10.1007/s10506-016-9185-2
Publikováno v:
Runtime Verification ISBN: 9783030037680
RV
RV
Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool Con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::848708ba43b3651096c7f98627876ee2
https://doi.org/10.1007/978-3-030-03769-7_8
https://doi.org/10.1007/978-3-030-03769-7_8
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952
ISoLA (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952
Given the complementary nature of static and dynamic analysis, there has been much work on identifying means of combining the two. In particular, the use of static analysis as a means of alleviating the overheads induced by dynamic analysis, typicall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0599e96ee00ce36bd583dabddb1a700
https://doi.org/10.1007/978-3-319-47166-2_29
https://doi.org/10.1007/978-3-319-47166-2_29