Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Azzopardi, Shaun
34  Ergebnisse:
Personensuche X
?
1

Synchronous Agents, Verification, and Blame—A Deontic View:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Kharraz, Karam ; Azzopardi, Shaun ; Schneider, Gerardo. - p. 332-350 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Language support for verifying reconfigurable interacting s..:

Alrahman, Yehia Abd ; Azzopardi, Shaun ; Di Stefano, Luca.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 765-784 , 2023
Link: https://doi.org/10.1007/..
 
?
3

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Lo..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Lidell, David ; Piterman, Nir. - p. 276-287 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Runtime Verification Meets Controller Synthesis:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Piterman, Nir ; Schneider, Gerardo - p. 382-396 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Tainting in Smart Contracts: Combining Static and Runtime V..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Ellul, Joshua ; Falzon, Ryan. - p. 143-161 , 2022
Link: https://doi.org/10.1007/..
 
?
6

AspectSol: A Solidity Aspect-Oriented Programming Tool with..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Ellul, Joshua ; Falzon, Ryan. - p. 243-252 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Runtime Verification of Kotlin Coroutines:

, In: Runtime Verification; Lecture Notes in Computer Science,
Furian, Denis ; Azzopardi, Shaun ; Falcone, Yliès. - p. 221-239 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Model Checking Reconfigurable Interacting Systems:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Abd Alrahman, Yehia ; Azzopardi, Shaun ; Piterman, Nir - p. 373-389 , 2022
Link: https://doi.org/10.1007/..
 
?
9

On the Specification and Monitoring of Timed Normative Syst..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Pace, Gordon ; Schapachnik, Fernando. - p. 81-99 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Incorporating Monitors in Reactive Synthesis Without Paying..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Piterman, Nir ; Schneider, Gerardo - p. 337-353 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Runtime Monitoring Processes Across Blockchains:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Ellul, Joshua ; Pace, Gordon J. - p. 142-156 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Model-Based Static and Runtime Verification for Ethereum Sm..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Azzopardi, Shaun ; Colombo, Christian ; Pace, Gordon - p. 323-348 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Monitoring Smart Contracts: ContractLarva and Open Challeng..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Azzopardi, Shaun ; Ellul, Joshua ; Pace, Gordon J. - p. 113-137 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Contract automata: An operational view of contracts between..:

Azzopardi, Shaun ; Pace, Gordon J. ; Schapachnik, Fernando.
Artificial Intelligence and Law.  24 (2016)  3 - p. 203-243 , 2016
Link: https://doi.org/10.1007/..
 
?
15

LTL Synthesis on Infinite-State Arenas defined by Programs:

Azzopardi, Shaun ; Piterman, Nir ; Schneider, Gerardo.
http://arxiv.org/abs/2307.09776.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15