AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Christian Colombo

Christian Colombo

University of Malta - Msida / Malta
Engineering & Technology / Computer Science
AD Scientific Index ID: 2005809
Università ta’ Malta
person_outline Christian Colombo's MOST POPULAR ARTICLES
1-) LARVA---safer monitoring of real-time java programs (Tool Paper) 2009 seventh ieee international conference on software engineering and …, 2009
2-) A survey of challenges for runtime verification from advanced application domains (beyond software) Formal Methods in System Design 54 (3), 279-335, 2019
3-) Dynamic event-based runtime monitoring of real-time and contextual properties International Workshop on Formal Methods for Industrial Critical Systems …, 2008
4-) First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 International journal on software tools for technology transfer 21 (1), 31-70, 2019
5-) Organising LTL monitors over distributed systems with a global clock Formal Methods in System Design 49 (1), 109-158, 2016