OAR@UM: Browsing OAR@UM

Browsing by Author Colombo, Christian

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 42 to 61 of 124 < previous next >

Issue Date	Title	Author(s)
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

Showing results 42 to 61 of 124 < previous next >