Issue Date | Title | Author(s) |
2013 | Addressing practical challenges of mutation testing | Cachia, Mark Anthony; Micallef, Mark; Colombo, Christian |
2020-12-03 | Agnes of God | University of Malta. School of Performing Arts. Department of Theatre Studies; Grima, Tyrone; Pielmeier, John; Colombo, Christian |
2014 | Applying runtime verification techniques to an enterprise service bus | Dimech, Gabriel; Colombo, Christian; Francalanza, Adrian |
2013-10 | Applying runtime verification techniques to enterprise service bus architectures | Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian |
2019 | Applying runtime verification to group key establishment | Colombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol |
2010 | An architecture supporting compensation-aware monitoring | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2007 | Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software | Colombo, Christian; Pace, Gordon J. |
2016 | An automata-based approach to evolving privacy policies for social networks | Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2016 | Automatically generating runtime monitors from tests | Cauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
2015 | BYOD for Android - just add Java | Buttigieg, Jessica; Vella, Mark Joseph; Colombo, Christian |
2013 | A case study on graphically modelling and detecting knowledge mobility risks | Micallef, Mark; Colombo, Christian |
2020 | CLARVA : model-based residual verification of Java programs | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2012-11 | Combining testing and runtime verification | Colombo, Christian |
2011 | A compensating transaction example in twelve notations | Colombo, Christian; Pace, Gordon J. |
2010 | Compensation-aware runtime monitoring | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2016 | Compliance checking in the open payments ecosystem | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian |
2014 | Comprehensive monitor-oriented compensation programming | Colombo, Christian; Pace, Gordon J. |
2012 | Considerations for monitoring highly concurrent systems | Mizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J. |
2018 | Considering academia-industry projects meta-characteristics in runtime verification design | Colombo, Christian; Pace, Gordon J. |
2018 | Contracts over smart contracts : recovering from violations dynamically | Colombo, Christian; Ellul, Joshua; Pace, Gordon J. |
2017 | Control-flow residual analysis for symbolic automata | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2015 | A controlled natural language for business intelligence monitoring | Colombo, Christian; Grech, Jean Paul; Pace, Gordon J. |
2018 | A controlled natural language for financial services compliance checking | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2016 | A controlled natural language for tax fraud detection | Calafato, Aaron; Colombo, Christian; Pace, Gordon J. |
2019 | COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1 | Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker |
2018 | COST Action IC1402 runtime verification beyond monitoring | Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker |
2022 | D-Cloud-Collector : admissible forensic evidence from mobile cloud storage | Vella, Mark Joseph; Colombo, Christian |
2015 | Device centric monitoring on mobile devices | Chircop, Luke; Colombo, Christian; Pace, Gordon J. |
2016 | Device-centric monitoring for mobile device management | Chircop, Luke; Colombo, Christian; Pace, Gordon J. |
2014-11 | A domain specific property language for fraud detection to support agile specification development | Calafato, Aaron; Colombo, Christian; Pace, Gordon J. |
2014-11 | A DSL for business intelligence monitoring | Colombo, Christian; Grech, Jean Paul; Pace, Gordon J. |
2008 | Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software | Colombo, Christian |
2010 | Dynamic automata in Larva | Cassar, John Paul; Colombo, Christian; Pace, Gordon J. |
2008 | Dynamic event-based runtime monitoring of real-time and contextual properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2011 | ELARVA : a monitoring tool for Erlang | Colombo, Christian; Francalanza, Adrian; Gatt, Rudolph |
2014-11 | Event-based characterisation of temporal properties over system states | Colombo, Christian; Pace, Gordon J.; Scicluna, Justine |
2011 | An event-driven language for cartographic modelling of knowledge in software development organisations | Micallef, Mark; Colombo, Christian |
2017 | Exploring the link between test suite quality and automatic specification inference | Chircop, Luke; Colombo, Christian; Micallef, Mark |
2013 | Extensible technology agnostic runtime verification | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
2014-11 | Extracting monitors from JUnit tests | Colombo, Christian; Micallef, Jonathan; Micallef, Mark |
2016 | Extracting runtime monitors from tests | Colombo, Christian; Micallef, Mark; Spiteri, Keith |
2013 | Facilitating and extending software testing through monitoring techniques | Colombo, Christian; Micallef, Mark; Pace, Gordon J. |
2012 | Fast-forward runtime monitoring - an industrial case study | Colombo, Christian; Pace, Gordon J. |
2019 | First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014 | Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi |
2016 | First international summer school on runtime verification : as part of the ArVi COST Action 1402 | Colombo, Christian; Falcone, Yliès |
2019 | Hooking Android apps for just-in-time memory dumping | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian |
2021 | The human quest for meaning : theatre as a vehicle for dialogue | Grima, Tyrone; Colombo, Christian |
2023 | The human quest for meaning : theatre as a vehicle for dialogue | Grima, Tyrone; Colombo, Christian |
2014-11 | Improving Android security through real-time policy enforcement | Chircop, Luke; Colombo, Christian; Pace, Gordon J. |
2016-11 | Improving the automatic runtime monitor generation process via pruning : a way forward | Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J. |
2014-11 | Improving the Gherkin specification language using aspect-oriented techniques | Aquilina Alamango, John; Colombo, Christian; Micallef, Mark |
2018 | Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges | Colombo, Christian; Pace, Gordon J. |
2014-11 | Investigating different instrumentation techniques in the context of ESB runtime verification | Dimech, Gabriel; Colombo, Christian; Francalanza, Adrian |
2015 | Investigating instrumentation techniques for ESB runtime verification | Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian |
2007 | Kanban scheduling system | Colombo, Christian; Abela, John |
2009 | LARVA - safer monitoring of real-time Java programs (tool paper) | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2008 | LARVA converter user manual | Colombo, Christian |
2010 | LarvaStat : monitoring of statistical properties | Colombo, Christian; Gauci, Andrew; Pace, Gordon J. |
2015 | Lessons learnt from using DSLs for automated software testing | Micallef, Mark; Colombo, Christian |
2014 | Lifelong verification of software systems | Colombo, Christian; Micallef, Mark; Pace, Gordon J. |
2019 | Living off Android’s accessible land | Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian |
2016 | A model-based approach to combining static and dynamic verification techniques | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2021 | Model-based static and runtime verification for ethereum smart contracts | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2013 | Monitor-oriented compensation programming through compensating automata | Colombo, Christian; Pace, Gordon J. |
2012 | A monitoring approach for dynamic service-oriented architecture systems | Dan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian |
2014 | Monitoring distributed systems with distributed polyLarva | Cassar, Ian; Francalanza, Adrian; Colombo, Christian |
2015-09 | Mutate my software | Micallef, Mark; Colombo, Christian |
2009 | Offline runtime verification with real-time properties : a case study | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2016 | Organising LTL monitors over distributed systems with a global clock | Colombo, Christian; Falcone, Yliès |
2013 | OSGiLarva : a monitoring framework supporting OSGi’s dynamicity | Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane |
2015-11 | An overview of techniques aimed at automatically generating oracles from tests | Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
2023-06 | The pedagogical role of philosophy in a community of inquiry | Fenech, Luke; Colombo, Christian |
2012 | PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
2013 | PolyLarva : technology agnostic runtime verification | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
2021 | PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphone | Leguesse, Yonas; Colombo, Christian; Vella, Mark Joseph; Hernandez-Castro, Julio |
2008 | A practical approach to runtime verification of real-time properties for Java programs | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2008 | Practical runtime monitoring with impact guarantees of java programs with real-time constraints | Colombo, Christian |
2008 | Practical runtime monitoring with impact guarantees of Java programs with real-time constraints | Colombo, Christian |
2021 | Preface | Leucker, Martin; Colombo, Christian |
2012 | Programming compensations for system-monitor synchronisation | Colombo, Christian; Pace, Gordon J. |
2020 | Real-time triggering of Android memory dumps for stealthy attack investigation | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
2013 | Recovery within long running transactions | Colombo, Christian; Pace, Gordon J. |
2020 | Reducing the forensic footprint with Android accessibility attacks | Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
2009 | Resource-bounded runtime verification of Java programs with real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2021 | Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for Android | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
2022 | Responding to targeted stealthy attacks on android using timely-captured memory dumps | Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
2016-06 | Run-time monitoring for the diagnosis and recovery of complex physical systems | Cataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin |
2018 | Runtime verification | Colombo, Christian; Leucker, Martin |
2012 | Runtime verification and compensations | Colombo, Christian |
2016 | Runtime verification for stream processing applications | Colombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian |
2023 | Runtime verification for trustworthy computing | Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo |
2021 | Runtime verification for trustworthy secure shell deployment | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |
2020 | Runtime verification of contracts with Themulus | Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. |
2017 | Runtime verification using Larva | Colombo, Christian; Pace, Gordon J. |
2017 | Runtime verification using Valour | Azzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J. |
2021 | Runtime verification: passing on the baton | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2021 | RV-TEE : secure cryptographic protocol execution based on runtime verification | Vella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter |
2022 | RV-TEE-based trustworthy secure shell deployment : an empirical evaluation | Curmi, Axel; Colombo, Christian; Vella, Mark Joseph |
2009 | Safe runtime verification of real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2020 | Secure communication in the quantum era : (group) key establishment | Colombo, Christian; González Vasco, María Isabel; Steinwandt, Rainer; Zajac, Pavol |
2021 | Secure implementation of a quantum-future GAKE protocol | Abela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph |
2018 | Securing calls to ethereum smart contracts with static and dynamic analysis | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2012-04 | Separating compensation concerns and programming them with compensating automata | Colombo, Christian; Pace, Gordon J. |
2012 | Simplifying contract-violating traces | Colombo, Christian; Francalanza, Adrian; Grima, Ian |
2009 | Slowdown invariance of timed regular expressions | Bondin, Ingram; Pace, Gordon J.; Colombo, Christian |
2013 | SMock - a test platform for monitoring tools | Colombo, Christian; Mizzi, Ruth; Pace, Gordon J. |
2020 | SpotCheck : on-device anomaly detection for Android | Mark Joseph; Colombo, Christian |
2009 | Statistics and runtime verification | Gauci, Andrew; Pace, Gordon J.; Colombo, Christian |
2019 | A survey of challenges for runtime verification from advanced application domains (beyond software) | Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander |
2019 | A survey of challenges for runtime verification from advanced application domains (beyond software) | Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander |
2020 | A technique for automata-based verification with residual reasoning | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2020 | Themulus : a timed contract-calculus | Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. |
2020 | Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verification | Colombo, Christian; Mark Joseph |
2012 | Towards a specification-based correctness of Erlang systems through asynchronous monitoring | Colombo, Christian; Francalanza, Adrian |
2013 | Towards incremental mutation testing | Cachia, Mark Anthony; Micallef, Mark; Colombo, Christian |
2012-06 | Trusting the machine | Pace, Gordon J.; Colombo, Christian |
2015 | Using control flow analysis to improve the effectiveness of incremental mutation testing | Bajada, Luke; Micallef, Mark; Colombo, Christian |
2014-11 | Using DSLs for software testing | Micallef, Mark; Colombo, Christian |
2013 | Using Gherkin for interaction design testing and monitoring | Cauchi, Abigail; Colombo, Christian; Micallef, Mark; Pace, Gordon J. |
2016 | Using gherkin to extract tests and monitors for safer medical device interaction design | Cauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J. |
2023 | Using infrastructure-based agents to enhance forensic logging of third-party applications | Bellizzi, Jennifer; Vella, Mark; Colombo, Christian; Hernandez-Castro, Julio |
2023 | VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics | Bellizzi, Jennifer; Losiouk, Eleonora; Conti, Mauro; Colombo, Christian; Vella, Mark |
2014 | Verifying web applications : from business level specifications to automated model-based testing | Colombo, Christian; Micallef, Mark; Scerri, Mark |