Urmăriți
Duncan Paul Attard
Duncan Paul Attard
University of Glasgow and Reykjavik University
Adresă de e-mail confirmată pe um.edu.mt - Pagina de pornire
Titlu
Citat de
Citat de
Anul
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
762017
A monitoring tool for a branching-time logic
DP Attard, A Francalanza
International Conference on Runtime Verification, 473-481, 2016
552016
Trace partitioning and local monitoring for asynchronous components
DP Attard, A Francalanza
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
302017
On benchmarking for concurrent runtime verification
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
International Conference on Fundamental Approaches to Software Engineering, 3-23, 2021
242021
A Suite of Monitoring Tools for Erlang.
I Cassar, A Francalanza, DP Attard, L Aceto, A Ingólfsdóttir
RV-CuBES, 41-47, 2017
212017
Better late than never or: verifying asynchronous components at runtime
DP Attard, L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
International Conference on Formal Techniques for Distributed Objects …, 2021
202021
A runtime monitoring tool for actor-based systems
DP Attard, I Cassar, A Francalanza, L Aceto, A Ingolfsdottir
Behavioural Types: from Theory to Tools, 49-76, 2017
182017
A Monitoring Tool for Linear-Time HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
122022
Special delivery: programming with mailbox types
S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder
Proceedings of the ACM on Programming Languages 7 (ICFP), 78-107, 2023
82023
A choreographed outline instrumentation algorithm for asynchronous components
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2104.09433, 2021
72021
Mlrs: a resource server for the maltese language
M Rosner, R Fabri, DP Attard, A Gatt
University of Malta. Faculty of ICT, 2006
72006
Graft: general purpose raft consensus in Elixir
MA Le Brun, DP Attard, A Francalanza
Proceedings of the 20th ACM SIGPLAN international workshop on Erlang, 2-14, 2021
62021
Introduction to Runtime Verification
DP Attard, I Cassar, A Francalanza, L Aceto, A Ingólfsdóttir
Behavioural Types: from Theory to Tools, 49-76, 0
6
A monitoring tool for linear-time μHML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Science of Computer Programming 232, 103031, 2024
52024
A lexicon server toolkit for Maltese
DP Attard
University of Malta, 2005
32005
Runtime Instrumentation for Reactive Components
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
38th European Conference on Object-Oriented Programming (ECOOP 2024), 2: 1-2: 33, 2024
22024
Special Delivery: Programming with Mailbox Types (Extended Version)
S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder
arXiv preprint arXiv:2306.12935, 2023
22023
Artifact for" Special Delivery: Programming with Mailbox Types"
S Fowler, DP Attard, F Sowul, S Gay, P Trinder
12023
Runtime Instrumentation for Reactive Components (Extended Version)
L Aceto, DP Attard, A Francalanza, A Ingólfsdóttir
arXiv preprint arXiv:2406.19904, 2024
2024
Runtime monitoring for asynchronous reactive components
DP Attard
2024
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20