![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Christian Colombo 0001
Person information
- affiliation: University of Malta
Other persons with the same name
- Christian Colombo 0002 — Università degli Studi di Milano-Bicocca, Italy
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j14]Jennifer Bellizzi
, Eleonora Losiouk
, Mauro Conti
, Christian Colombo
, Mark Vella
:
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. J. Cybersecur. Priv. 3(3): 364-395 (2023) - [c51]Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro:
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. ICISSP 2023: 389-401 - [c50]Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando:
Runtime Verification for Trustworthy Computing. AREA@ECAI 2023: 49-62 - 2022
- [b1]Christian Colombo, Gordon J. Pace:
Runtime Verification - A Hands-On Approach in Java. Springer 2022, ISBN 978-3-031-09266-4, pp. 1-190 - [j13]Jennifer Bellizzi
, Mark Vella
, Christian Colombo, Julio César Hernández Castro:
Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. IEEE Access 10: 35172-35218 (2022) - [j12]Axel Curmi
, Christian Colombo, Mark Vella
:
RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. J. Object Technol. 21(2): 2:1-15 (2022) - [c49]Mark Vella
, Christian Colombo
:
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. SEC 2022: 161-178 - 2021
- [j11]Yonas Leguesse
, Christian Colombo, Mark Vella
, Julio C. Hernandez-Castro:
PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. IEEE Access 9: 168600-168612 (2021) - [j10]Martin Leucker
, Christian Colombo:
Preface. Int. J. Softw. Tools Technol. Transf. 23(2): 155-156 (2021) - [j9]Mark Vella
, Christian Colombo
, Robert Abela
, Peter Spacek
:
RV-TEE: secure cryptographic protocol execution based on runtime verification. J. Comput. Virol. Hacking Tech. 17(3): 229-248 (2021) - [c48]Christian Colombo
, Gordon J. Pace, Gerardo Schneider
:
Runtime Verification: Passing on the Baton. Formal Methods in Outer Space 2021: 89-107 - [c47]Axel Curmi
, Christian Colombo
, Mark Vella
:
Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA 2021: 30-34 - [c46]Jennifer Bellizzi, Mark Vella
, Christian Colombo, Julio C. Hernandez-Castro:
Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. SECRYPT 2021: 356-369 - [c45]Robert Abela
, Christian Colombo
, Peter Malo, Peter Sýs, Tomás Fabsic
, Ondrej Gallo
, Viliam Hromada
, Mark Vella
:
Secure Implementation of a Quantum-Future GAKE Protocol. STM 2021: 103-121 - [i4]Mark Vella, Christian Colombo:
SpotCheck: On-Device Anomaly Detection for Android. CoRR abs/2102.11773 (2021) - [i3]Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro:
Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android. CoRR abs/2105.05510 (2021) - 2020
- [c44]Christian Colombo, Mark Vella:
Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. ICISSP 2020: 765-774 - [c43]Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
:
Themulus: A Timed Contract-calculus. MODELSWARD 2020: 193-204 - [c42]Shaun Azzopardi, Christian Colombo, Gordon J. Pace
:
A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD 2020: 237-248 - [c41]Shaun Azzopardi
, Christian Colombo
, Gordon J. Pace
:
Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) 2020: 323-348 - [c40]Shaun Azzopardi, Christian Colombo, Gordon J. Pace
:
CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD 2020: 352-359 - [c39]Jennifer Bellizzi
, Mark Vella
, Christian Colombo
, Julio C. Hernandez-Castro
:
Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. NordSec 2020: 20-36 - [c38]Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana
, Gordon J. Pace:
Runtime Verification of Contracts with Themulus. SEFM 2020: 231-246 - [c37]Mark Vella
, Christian Colombo:
SpotCheck: On-Device Anomaly Detection for Android. SIN 2020: 20:1-20:6 - [c36]Yonas Leguesse
, Mark Vella
, Christian Colombo
, Julio C. Hernandez-Castro
:
Reducing the Forensic Footprint with Android Accessibility Attacks. STM 2020: 22-38
2010 – 2019
- 2019
- [j8]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic
, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss
:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j7]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j6]Ezio Bartocci
, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo
, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger
, Grigore Rosu, Julien Signoles
, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [i2]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - 2018
- [c35]Shaun Azzopardi
, Christian Colombo
, Gordon J. Pace
:
A Controlled Natural Language for Financial Services Compliance Checking. CNL 2018: 11-20 - [c34]Christian Colombo
, Gordon J. Pace
:
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) 2018: 32-41 - [c33]Christian Colombo
, Joshua Ellul
, Gordon J. Pace
:
Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) 2018: 300-315 - [c32]Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [p1]Christian Colombo
, Gordon J. Pace
:
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. Lectures on Runtime Verification 2018: 211-232 - [e1]Christian Colombo, Martin Leucker:
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Lecture Notes in Computer Science 11237, Springer 2018, ISBN 978-3-030-03768-0 [contents] - [i1]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [c31]Shaun Azzopardi
, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
:
Runtime Verification using VALOUR. RV-CuBES 2017: 10-18 - [c30]Christian Colombo, Gordon J. Pace
:
Runtime Verification using LARVA. RV-CuBES 2017: 55-63 - [c29]Shaun Azzopardi
, Christian Colombo
, Gordon J. Pace
:
Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM 2017: 29-43 - [c28]Luke Chircop, Christian Colombo
, Mark Micallef:
Exploring the Link Between Test Suite Quality and Automatic Specification Inference. PrePost@iFM 2017: 44-56 - 2016
- [j5]Christian Colombo
, Yliès Falcone:
Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. 49(1-2): 109-158 (2016) - [c27]Aaron Calafato, Christian Colombo
, Gordon J. Pace:
A Controlled Natural Language for Tax Fraud Detection. CNL 2016: 1-12 - [c26]Abigail Cauchi, Christian Colombo
, Adrian Francalanza
, Mark Micallef, Gordon J. Pace
:
Using gherkin to extract tests and monitors for safer medical device interaction design. EICS 2016: 275-280 - [c25]Christian Colombo
, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia
, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami:
Runtime Verification for Stream Processing Applications. ISoLA (2) 2016: 400-406 - [c24]Shaun Azzopardi
, Christian Colombo
, Gordon J. Pace:
A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) 2016: 416-430 - [c23]Christian Colombo
, Yliès Falcone:
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. RV 2016: 17-20 - [c22]Raúl Pardo
, Christian Colombo
, Gordon J. Pace, Gerardo Schneider:
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV 2016: 285-301 - [c21]Shaun Azzopardi
, Christian Colombo
, Gordon J. Pace, Brian Vella:
Compliance Checking in the Open Payments Ecosystem. SEFM 2016: 337-343 - [c20]Luke Chircop, Christian Colombo
, Gordon J. Pace
:
Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS 2016: 31-44 - 2015
- [c19]Mark Micallef, Christian Colombo
:
Lessons learnt from using DSLs for automated software testing. ICST Workshops 2015: 1-6 - [c18]Luke Bajada, Mark Micallef, Christian Colombo
:
Using control flow analysis to improve the effectiveness of incremental mutation testing. IWPSE 2015: 73-78 - [c17]Christian Colombo
, Jean-Paul Grech, Gordon J. Pace:
A Controlled Natural Language for Business Intelligence Monitoring. NLDB 2015: 300-306 - [c16]Christian Colombo
, Gabriel Dimech, Adrian Francalanza
:
Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM 2015: 99-107 - 2014
- [c15]Christian Colombo, Yliès Falcone:
Organising LTL Monitors over Distributed Systems with a Global Clock. RV 2014: 140-155 - [c14]Christian Colombo
, Mark Micallef, Mark Scerri
:
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. MBT 2014: 14-28 - [c13]Christian Colombo
, Gordon J. Pace
:
Comprehensive Monitor-Oriented Compensation Programming. FESCA 2014: 47-61 - 2013
- [j4]Christian Colombo
, Gordon J. Pace
:
Recovery within long-running transactions. ACM Comput. Surv. 45(3): 28:1-28:35 (2013) - [j3]Christian Colombo, Gordon J. Pace
:
Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j2]Mark Micallef, Christian Colombo:
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [c12]Christian Colombo
, Ruth Mizzi, Gordon J. Pace:
SMock - A Test Platform for Monitoring Tools. RV 2013: 352-357 - [c11]Christian Colombo
, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
:
Extensible Technology-Agnostic Runtime Verification. FESCA 2013: 1-15 - [c10]Mark Anthony Cachia, Mark Micallef, Christian Colombo
:
Towards Incremental Mutation Testing. VSSE 2013: 2-11 - 2012
- [j1]Christian Colombo
, Gordon J. Pace
, Patrick Abela:
Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. 41(3): 269-294 (2012) - [c9]Christian Colombo, Gordon J. Pace:
Fast-Forward Runtime Monitoring - An Industrial Case Study. RV 2012: 214-228 - [c8]Christian Colombo
, Adrian Francalanza
, Ruth Mizzi, Gordon J. Pace:
polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM 2012: 218-232 - [c7]Christian Colombo
, Adrian Francalanza, Ian Grima:
Simplifying Contract-Violating Traces. FLACOS 2012: 11-20 - 2011
- [c6]Christian Colombo
, Adrian Francalanza
, Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang. RV 2011: 370-374 - 2010
- [c5]Christian Colombo
, Gordon J. Pace, Patrick Abela:
Compensation-Aware Runtime Monitoring. RV 2010: 214-228 - [c4]Christian Colombo
, Andrew Gauci, Gordon J. Pace:
LarvaStat: Monitoring of Statistical Properties. RV 2010: 480-484
2000 – 2009
- 2009
- [c3]Christian Colombo, Gordon J. Pace, Gerardo Schneider:
Safe Runtime Verification of Real-Time Properties. FORMATS 2009: 103-117 - [c2]Christian Colombo
, Gordon J. Pace
, Gerardo Schneider:
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM 2009: 33-37 - 2008
- [c1]Christian Colombo
, Gordon J. Pace, Gerardo Schneider:
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS 2008: 135-149
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint