Issue Date | Title | Author(s) |
2019 | Applying runtime verification to group key establishment | Colombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol |
2007 | Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software | Colombo, Christian; Pace, Gordon J. |
2013 | Augmenting synchronous and asynchronous monitors in ELARVA | Galea Valletta, Clifford (2013) |
2016 | An automata-based approach to evolving privacy policies for social networks | Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2008 | Code profiling for typical scenario testing | Mifsud, Clinton Mario (2008) |
2010 | Compensation-aware runtime monitoring | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
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. |
2009 | Counter example visualization for runtime verification | Cachia, Matthew (2009) |
2016 | Device-centric monitoring for mobile device management | Chircop, Luke; Colombo, Christian; Pace, Gordon J. |
2008 | Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software | Colombo, Christian |
2008 | Dynamic event-based runtime monitoring of real-time and contextual properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2017 | eAOP : an aspect oriented programming framework for Erlang | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2015 | Extracting runtime monitors from Gherkin specifications | 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. |
2015 | Improving runtime overheads for detectEr | Cassar, Ian; Francalanza, Adrian; Said, Simon |
2014-11 | Improving the Gherkin specification language using aspect-oriented techniques | Aquilina Alamango, John; Colombo, Christian; Micallef, Mark |
2009 | LARVA - safer monitoring of real-time Java programs (tool paper) | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2015 | An LTL proof system for runtime verification | Cini, Clare; Francalanza, Adrian |
2016 | A model-based approach to combining static and dynamic verification techniques | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2013 | Monitor-oriented compensation programming through compensating automata | Colombo, Christian; Pace, Gordon J. |
2017 | Monitorability for the Hennessy-Milner logic with recursion | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2016 | A monitoring tool for a branching-time logic | Attard, Duncan Paul; Francalanza, Adrian |
2009 | Offline runtime verification with real-time properties : a case study | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2016 | On implementing a monitor-oriented programming framework for actor systems | Cassar, Ian; Francalanza, Adrian |
2017 | On the complexity of determinizing monitors | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn |
2016 | On the runtime enforcement of evolving privacy policies in online social networks | Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo |
2015 | On verifying Hennessy-Milner logic with recursion at runtime | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2013 | OSGiLarva : a monitoring framework supporting OSGi’s dynamicity | Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane |
2012 | PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
2013 | polyLARVA plugin for Erlang | Galea, Ivan (2013) |
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 |
2013 | Reducing instrumentation points in Larva | Chircop, Luke (2013) |
2009 | Resource-bounded runtime verification of Java programs with real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2015 | Runtime adaptation for actor systems | Cassar, Ian; Francalanza, Adrian |
2023 | Runtime monitoring for asynchronous reactive components | Attard, Duncan Paul (2023) |
2010 | Runtime monitoring of distributed systems | Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J. |
2006 | Runtime monitoring of duration calculus assertions for real-time applications | D'Emanuele, Karlston (2006) |
2006 | Runtime monitoring of duration calculus assertions for real-time applications | D’Emanuele, Karlston |
2017 | A runtime monitoring tool for actor-based systems | Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2009 | Safe runtime verification of real-time properties | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
2018 | Securing calls to ethereum smart contracts with static and dynamic analysis | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2000 | The semantics of verilog using transition system combinators | Pace, Gordon J. |
2013 | SMock - a test platform for monitoring tools | Colombo, Christian; Mizzi, Ruth; Pace, Gordon J. |
2015 | A specification language for static and runtime verification of data and control properties | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |
2016 | StaRVOOrS - episode II : strengthen and distribute the force | Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2015 | StaRVOOrS : a tool for combined static and runtime verification of Java | Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2009 | Statistics and runtime verification | Gauci, Andrew; Pace, Gordon J.; Colombo, Christian |
2018 | Supporting memory safety through assembly transformation | Zammit, Brian |
2017 | A survey of runtime monitoring instrumentation techniques | Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2015 | Synthesising correct concurrent runtime monitors | Francalanza, Adrian; Seychell, Aldrin |
2012 | A unified approach for static and runtime verification : framework and applications | Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2015 | Unlocking blocked communicating processes | Francalanza, Adrian; Giunti, Marco; Ravara, António |
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. |
2017 | Verifying data- and control-oriented properties combining static and runtime verification : theory and tools | Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo |