Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Attard, Duncan Paul
88  Ergebnisse:
Personensuche X
?
1

A monitoring tool for linear-time μHML:

Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul...
Science of Computer Programming.  232 (2024)  - p. 103031 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Special Delivery: Programming with Mailbox Types:

Fowler, Simon ; Attard, Duncan Paul ; Sowul, Franciszek..
Proceedings of the ACM on Programming Languages.  7 (2023)  ICFP - p. 78-107 , 2023
Link: https://doi.org/10.1145/..
 
?
3

A Runtime Monitoring Tool for Actor-Based Systems:

, In: Behavioural Types,
Attard, Duncan Paul ; Cassar, Ian ; Francalanza, Adrian.. - p. 49-76 , 2022
Link: https://doi.org/10.1201/..
 
?
4

A Monitoring Tool for Linear-Time $$\mu $$HML:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul... - p. 200-219 , 2022
Link: https://doi.org/10.1007/..
 
?
5

On Benchmarking for Concurrent Runtime Verification:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian. - p. 3-23 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Better Late Than Never or: Verifying Asynchronous Component..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Attard, Duncan Paul ; Aceto, Luca ; Achilleos, Antonis... - p. 207-225 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Graft: general purpose raft consensus in Elixir:

, In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang,
Le Brun, Matthew Alan ; Attard, Duncan Paul ; Francalanza, Adrian - p. 2-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Special Delivery: Programming with Mailbox Types (Extended ..:

Fowler, Simon ; Attard, Duncan Paul ; Sowul, Franciszek..
http://arxiv.org/abs/2306.12935.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Special delivery: programming with mailbox types:

Fowler, Simon ; Attard, Duncan Paul ; Sowul, Franciszek..
https://eprints.gla.ac.uk/298712/2/298712.pdf.  , 2023
Link: https://eprints.gla.ac.u..
 
?
10

Better Late Than Never or: Verifying Asynchronous Component..:

Attard, Duncan, Paul ; Aceto, Luca ; Achilleos, Antonis...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-78089-0_14.  , 2021
Link: https://hal.science/hal-..
 
?
11

A Choreographed Outline Instrumentation Algorithm for Async..:

Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian.
http://arxiv.org/abs/2104.09433.  , 2021
Link: http://arxiv.org/abs/210..
 
?
12

On Benchmarking for Concurrent Runtime Verification:

Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7978851/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
?
13

Better Late Than Never or: Verifying Asynchronous Component..:

Attard, Duncan, Paul ; Aceto, Luca ; Achilleos, Antonis...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-78089-0_14.  , 2021
Link: https://hal.science/hal-..
 
?
14

On benchmarking for concurrent runtime verification ; Funda..:

Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian..
Aceto, L., Attard, D. P., Francalanza, A., & Ingólfsdóttir, A. (2021). On benchmarking for concurrent runtime verification. 24th International Conference, FASE 2021, Luxembourg City. 3-23..  , 2021
Link: https://www.um.edu.mt/li..
 
?
15

Better Late Than Never or: Verifying Asynchronous Component..:

Attard, Duncan, Paul ; Aceto, Luca ; Achilleos, Antonis...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-78089-0_14.  , 2021
Link: https://hal.science/hal-..
 
1-15