AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Duncan Paul Attard

Duncan Paul Attard

University of Malta - Msida / Malta
Engineering & Technology / Computer Science
AD Scientific Index ID: 4757696
Università ta’ Malta
person_outline Duncan Paul Attard's MOST POPULAR ARTICLES
1-) A foundation for runtime monitoring International Conference on Runtime Verification, 8-29, 2017
2-) A monitoring tool for a branching-time logic International Conference on Runtime Verification, 473-481, 2016
3-) Trace partitioning and local monitoring for asynchronous components International Conference on Software Engineering and Formal Methods, 219-235, 2017
4-) On benchmarking for concurrent runtime verification International Conference on Fundamental Approaches to Software Engineering, 3-23, 2021
5-) A Monitoring Tool for Linear-Time HML International Conference on Coordination Languages and Models, 200-219, 2022