OAR@UM: Browsing OAR@UM

Browsing by Subject Computer software -- Development

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 64 to 83 of 109 < previous next >

Issue Date	Title	Author(s)
2013-11	Overview of peer-to-peer networks and challenges in trust and reputation	Mangion, Andrea; Micallef, Mark
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
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.
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
2021	Preface	Leucker, Martin; Colombo, Christian
2019	Pushing runtime verification to the limit : may process semantics be with us	Della Monica, Dario; Francalanza, Adrian
2014	A rational perspective on software modeling	Spiteri Staines, Tony
2004	Reading between the lines of code : visualising a program’s lifetime	Sultana, Nikolai
2004	Real-time 3D simulation for indoor fire safety engineering	Borg Cardona, Michael (2004)
2001	A real-time software system development CASE tool	Vella, Mark Joseph
2014	Regression test selection for JAVA using static analysis	Galea, Graziella (2014)
1978	Reliability studies involving electronic components	Zarb, Joseph S. (1978)
2007	Reliability-oriented software development framework	Degiorgio, Mark Alexander (2007)
2009	Resource-bounded runtime verification of Java programs with real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2006	Runtime validation using interval temporal logic	D’Emanuele, Karlston; Pace, Gordon J.
2023	Runtime verification for trustworthy computing	Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo
2010	Runtime verification of refined system properties	Schembri, Ruth (2010)
2021	Runtime verification: passing on the baton	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo

Showing results 64 to 83 of 109 < previous next >