CUFinder

Duncan Paul Attard

About Duncan Paul Attard

Duncan Paul Attard, With an exceptional h-index of 7 and a recent h-index of 7 (since 2020), a distinguished researcher at University of Malta, specializes in the field of runtime monitoring, concurrent systems, software engineering, programming languages, formal modelling and verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

A monitoring tool for linear-time ????HML

Special delivery: Programming with mailbox types

Artifact for" Special Delivery: Programming with Mailbox Types"

Special Delivery: Programming with Mailbox Types (Extended Version)

Runtime monitoring for asynchronous reactive components

Special Delivery

A Monitoring Tool for Linear-Time HML

Graft: general purpose raft consensus in Elixir

Duncan Paul Attard Information

University

Position

and Reykjavík University

Citations(all)

231

Citations(since 2020)

172

Cited By

111

hIndex(all)

7

hIndex(since 2020)

7

i10Index(all)

7

i10Index(since 2020)

6

Email

University Profile Page

Google Scholar

Duncan Paul Attard Skills & Research Interests

runtime monitoring

concurrent systems

software engineering

programming languages

formal modelling and verification

Top articles of Duncan Paul Attard

A monitoring tool for linear-time ????HML

Science of Computer Programming

2024

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Special delivery: Programming with mailbox types

Proceedings of the ACM on Programming Languages

2023/8/30

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

Artifact for" Special Delivery: Programming with Mailbox Types"

2023/7/8

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Phil Trinder
Phil Trinder

H-Index: 14

Special Delivery: Programming with Mailbox Types (Extended Version)

arXiv preprint arXiv:2306.12935

2023/6/22

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

Runtime monitoring for asynchronous reactive components

2023

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Special Delivery

2023

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

A Monitoring Tool for Linear-Time HML

2022/6/13

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Graft: general purpose raft consensus in Elixir

2021/8/18

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Better late than never or: verifying asynchronous components at runtime

2021/6/8

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

A choreographed outline instrumentation algorithm for asynchronous components

arXiv preprint arXiv:2104.09433

2021/4/19

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

On benchmarking for concurrent runtime verification

2021/3/20

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

A choreographed outline instrumentation approach for asynchronous components

2021

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Adrian Francalanza
Adrian Francalanza

H-Index: 20

See List of Professors in Duncan Paul Attard University(University of Malta)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine