Christian Colombo

76 papers B 15C 9Misc 2Journal 18Unranked 30

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Metric to Assess the Reliability of Crowd-sourced SUS Scores: A Case Study on the PoPLar Authentication Tool. EuroUSEC Yonas Leguesse, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2024	—	`conf`	Interest Beyond Violation: On Points-of-Interest in Runtime Verification. ISoLA (3) Christian Colombo, Gordon J. Pace, Gerardo Schneider
2024	—	`conf`	RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors. VORTEX@ISSTA Christian Colombo, Axel Curmi, Robert Abela
2024	—	`conf`	Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges. AISoLA Christian Colombo, Gordon J. Pace, Dylan Seychell
2023	—	`conf`	Runtime Verification for Trustworthy Computing. AREA@ECAI Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
2023	C	`conf`	Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. ICISSP Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2023	J	`jnl`	VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics. J. Cybersecur. Priv. Jennifer Bellizzi, Eleonora Losiouk, Mauro Conti, Christian Colombo, Mark Vella
2022	Misc	`conf`	D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage. SEC Mark Vella, Christian Colombo
2022	J	`jnl`	RV-TEE-Based Trustworthy Secure Shell Deployment: An Empirical Evaluation. J. Object Technol. Axel Curmi, Christian Colombo, Mark Vella
2022	J	`jnl`	Responding to Targeted Stealthy Attacks on Android Using Timely-Captured Memory Dumps. IEEE Access Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio César Hernández Castro
2022	—	`book`	Runtime Verification - A Hands-On Approach in Java Christian Colombo, Gordon J. Pace
2021	J	`jnl`	PoPL: Proof-of-Presence and Locality, or How to Secure Financial Transactions on Your Smartphone. IEEE Access Yonas Leguesse, Christian Colombo, Mark Vella, Julio C. Hernandez-Castro
2021	J	`jnl`	Preface. Int. J. Softw. Tools Technol. Transf. Martin Leucker, Christian Colombo
2021	J	`jnl`	RV-TEE: secure cryptographic protocol execution based on runtime verification. J. Comput. Virol. Hacking Tech. Mark Vella, Christian Colombo, Robert Abela, Peter Spacek
2021	C	`conf`	Responding to Living-Off-the-Land Tactics using Just-In-Time Memory Forensics (JIT-MF) for Android. SECRYPT Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2021	J	`jnl`	Responding to Living-Off-the-Land Tactics using Just-in-Time Memory Forensics (JIT-MF) for Android. CoRR Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2021	—	`conf`	Runtime Verification: Passing on the Baton. Formal Methods in Outer Space Christian Colombo, Gordon J. Pace, Gerardo Schneider
2021	—	`conf`	Runtime verification for trustworthy secure shell deployment. VORTEX@ISSTA Axel Curmi, Christian Colombo, Mark Vella
2021	—	`conf`	Secure Implementation of a Quantum-Future GAKE Protocol. STM Robert Abela, Christian Colombo, Peter Malo, Peter Sýs, Tomás Fabsic, Ondrej Gallo, Viliam Hromada, Mark Vella
2021	J	`jnl`	SpotCheck: On-Device Anomaly Detection for Android. CoRR Mark Vella, Christian Colombo
2020	C	`conf`	A Technique for Automata-based Verification with Residual Reasoning. MODELSWARD Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	C	`conf`	CLARVA: Model-based Residual Verification of Java Programs. MODELSWARD Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	—	`conf`	Model-Based Static and Runtime Verification for Ethereum Smart Contracts. MODELSWARD (Revised Selected Papers) Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2020	—	`conf`	Real-Time Triggering of Android Memory Dumps for Stealthy Attack Investigation. NordSec Jennifer Bellizzi, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2020	—	`conf`	Reducing the Forensic Footprint with Android Accessibility Attacks. STM Yonas Leguesse, Mark Vella, Christian Colombo, Julio C. Hernandez-Castro
2020	B	`conf`	Runtime Verification of Contracts with Themulus. SEFM Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2020	C	`conf`	SpotCheck: On-Device Anomaly Detection for Android. SIN Mark Vella, Christian Colombo
2020	C	`conf`	Themulus: A Timed Contract-calculus. MODELSWARD Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
2020	C	`conf`	Towards a Comprehensive Solution for Secure Cryptographic Protocol Execution based on Runtime Verification. ICISSP Christian Colombo, Mark Vella
2019	J	`jnl`	A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 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
2019	J	`jnl`	COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR 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
2019	J	`jnl`	Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 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
2019	J	`jnl`	First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 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
2018	—	`conf`	A Controlled Natural Language for Financial Services Compliance Checking. CNL Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2018	J	`jnl`	A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR 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
2018	B	`conf`	COST Action IC1402 Runtime Verification Beyond Monitoring. RV Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018	—	`conf`	Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. ISoLA (4) Christian Colombo, Gordon J. Pace
2018	—	`conf`	Contracts over Smart Contracts: Recovering from Violations Dynamically. ISoLA (4) Christian Colombo, Joshua Ellul, Gordon J. Pace
2018	—	`ch.`	Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. Lectures on Runtime Verification Christian Colombo, Gordon J. Pace
2018	B	`ed.`	Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings RV Christian Colombo, Martin Leucker
2017	—	`conf`	Control-Flow Residual Analysis for Symbolic Automata. PrePost@iFM Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2017	—	`conf`	Exploring the Link Between Test Suite Quality and Automatic Specification Inference. PrePost@iFM Luke Chircop, Christian Colombo, Mark Micallef
2017	—	`conf`	Runtime Verification using LARVA. RV-CuBES Christian Colombo, Gordon J. Pace
2017	—	`conf`	Runtime Verification using VALOUR. RV-CuBES Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
2016	—	`conf`	A Controlled Natural Language for Tax Fraud Detection. CNL Aaron Calafato, Christian Colombo, Gordon J. Pace
2016	—	`conf`	A Model-Based Approach to Combining Static and Dynamic Verification Techniques. ISoLA (1) Shaun Azzopardi, Christian Colombo, Gordon J. Pace
2016	B	`conf`	An Automata-Based Approach to Evolving Privacy Policies for Social Networks. RV Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider
2016	B	`conf`	Compliance Checking in the Open Payments Ecosystem. SEFM Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
2016	—	`conf`	Device-Centric Monitoring for Mobile Device Management. FESCA@ETAPS Luke Chircop, Christian Colombo, Gordon J. Pace
2016	B	`conf`	First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. RV Christian Colombo, Yliès Falcone
2016	J	`jnl`	Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Des. Christian Colombo, Yliès Falcone
2016	—	`conf`	Runtime Verification for Stream Processing Applications. ISoLA (2) Christian Colombo, Gordon J. Pace, Luke Camilleri, Claire Dimech, Reuben A. Farrugia, Jean-Paul Grech, Alessio Magro, Andrew C. Sammut, Kristian Zarb Adami
2016	Misc	`conf`	Using gherkin to extract tests and monitors for safer medical device interaction design. EICS Abigail Cauchi, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon J. Pace
2015	C	`conf`	A Controlled Natural Language for Business Intelligence Monitoring. NLDB Christian Colombo, Jean-Paul Grech, Gordon J. Pace
2015	B	`conf`	Investigating Instrumentation Techniques for ESB Runtime Verification. SEFM Christian Colombo, Gabriel Dimech, Adrian Francalanza
2015	—	`conf`	Lessons learnt from using DSLs for automated software testing. ICST Workshops Mark Micallef, Christian Colombo
2015	—	`conf`	Using control flow analysis to improve the effectiveness of incremental mutation testing. IWPSE Luke Bajada, Mark Micallef, Christian Colombo
2014	—	`conf`	Comprehensive Monitor-Oriented Compensation Programming. FESCA Christian Colombo, Gordon J. Pace
2014	B	`conf`	Organising LTL Monitors over Distributed Systems with a Global Clock. RV Christian Colombo, Yliès Falcone
2014	—	`conf`	Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. MBT Christian Colombo, Mark Micallef, Mark Scerri
2013	J	`jnl`	A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mark Micallef, Christian Colombo
2013	—	`conf`	Extensible Technology-Agnostic Runtime Verification FESCA Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2013	J	`jnl`	Monitor-Oriented Compensation Programming Through Compensating Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christian Colombo, Gordon J. Pace
2013	J	`jnl`	Recovery within long-running transactions. ACM Comput. Surv. Christian Colombo, Gordon J. Pace
2013	B	`conf`	SMock - A Test Platform for Monitoring Tools. RV Christian Colombo, Ruth Mizzi, Gordon J. Pace
2013	—	`conf`	Towards Incremental Mutation Testing. VSSE Mark Anthony Cachia, Mark Micallef, Christian Colombo
2012	B	`conf`	Fast-Forward Runtime Monitoring - An Industrial Case Study. RV Christian Colombo, Gordon J. Pace
2012	J	`jnl`	Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. Christian Colombo, Gordon J. Pace, Patrick Abela
2012	—	`conf`	Simplifying Contract-Violating Traces FLACOS Christian Colombo, Adrian Francalanza, Ian Grima
2012	B	`conf`	polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries. SEFM Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace
2011	B	`conf`	Elarva: A Monitoring Tool for Erlang. RV Christian Colombo, Adrian Francalanza, Rudolph Gatt
2010	B	`conf`	Compensation-Aware Runtime Monitoring. RV Christian Colombo, Gordon J. Pace, Patrick Abela
2010	B	`conf`	LarvaStat: Monitoring of Statistical Properties. RV Christian Colombo, Andrew Gauci, Gordon J. Pace
2009	B	`conf`	LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). SEFM Christian Colombo, Gordon J. Pace, Gerardo Schneider
2009	—	`conf`	Safe Runtime Verification of Real-Time Properties. FORMATS Christian Colombo, Gordon J. Pace, Gerardo Schneider
2008	C	`conf`	Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. FMICS Christian Colombo, Gordon J. Pace, Gerardo Schneider