Christian Colombo
University of Malta
H-index: 18
Europe-Malta
Top articles of Christian Colombo
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
The pedagogical role of philosophy in a community of inquiry | Luke Fenech Christian Colombo | 2023 | |
Runtime Verification for Trustworthy Computing | arXiv preprint arXiv:2310.02341 | Robert Abela Christian Colombo Axel Curmi Mattea Fenech Mark Vella | 2023/10/3 |
VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics | Journal of Cybersecurity and Privacy | Jennifer Bellizzi Eleonora Losiouk Mauro Conti Christian Colombo Mark Vella | 2023/7/10 |
The human quest for meaning: Theatre as a vehicle for dialogue | Ecumenica | Tyrone Grima Christian Colombo | 2023/5/26 |
Using Infrastructure-Based Agents to Enhance Forensic Logging of Third-Party Applications. | Jennifer Bellizzi Mark Vella Christian Colombo Julio C Hernandez-Castro | 2023/2 | |
Responding to targeted stealthy attacks on android using timely-captured memory dumps | IEEE Access | Jennifer Bellizzi Mark Vella Christian Colombo Julio Hernandez-Castro | 2022/3/17 |
The Need for Verification | Christian Colombo Gordon J Pace | 2022/7/13 | |
Event Guarded Command Language | Christian Colombo Gordon J Pace | 2022/7/13 | |
Manual Monitoring | Christian Colombo Gordon J Pace | 2022/7/13 | |
RV-TEE-based trustworthy secure shell deployment: an empirical evaluation | Axel Curmi Christian Colombo Mark Joseph Vella | 2022 | |
Offline Runtime Verification | Christian Colombo Gordon J Pace | 2022/7/13 | |
Reactive Runtime Monitoring | Christian Colombo Gordon J Pace | 2022/7/13 | |
Monitoring Real-Time Properties | Christian Colombo Gordon J Pace | 2022/7/13 | |
What is Runtime Verification | Christian Colombo Gordon J Pace | 2022/7/13 | |
FiTS: A Financial Transaction System | Christian Colombo Gordon J Pace | 2022/7/13 | |
Aspect-Oriented Programming | Christian Colombo Gordon J Pace | 2022/7/13 | |
Runtime Verification: A Hands-On Approach in Java | Christian Colombo Gordon J Pace | 2022/7/12 | |
Linear Temporal Logic | Archive of Formal Proofs | Salomon Sickert | 2016/3/2 |
Symbolic Automata | Christian Colombo Gordon J Pace | 2022/7/13 | |
D-Cloud-Collector: Admissible Forensic Evidence from Mobile Cloud Storage | Mark Vella Christian Colombo | 2022/6/3 |
Co-Authors
