Concepedia

Christian Colombo

CC

Statistics

Publications

9

Citations

488

H-Index

9

Active since

2009

Affiliations

University of Malta(Current)

Université Grenoble Alpes

University of Illinois Urbana-Champaign

TU Wien

Christian Colombo is an author at University of Malta specializing in computer science, computing, and computer engineering.

Publications per year

2009–2020

9

Publications

9

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Christian Colombo, Gordon J. Pace, Gerardo Schneider · 2009 · 152 citations · Full text

Computing, Computer Engineering, Computer Science +14

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 100 citations

Computing, Computer Engineering, Computer Science +12

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +14

Risk parity with expectiles

Fabio Bellini, Francesco Cesarone, Christian Colombo et al. · European Journal of Operational Research · 2020 · 53 citations · Full text

Business, Economics, Finance +11

Organising LTL monitors over distributed systems with a global clock

Christian Colombo, Ylìès Falcone · Formal Methods in System Design · 2016 · 47 citations · Full text

Computing, Computer Engineering, Computer Science +12

1–5 of 9