1. 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 84 to 103 of 109 < previous   next >
Issue DateTitleAuthor(s)
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2022Scalable procedural crowd simulation in large environmentsCamilleri, Kyle (2022)
2013-11Search based software engineeringMicallef, Mark
2012-04Separating compensation concerns and programming them with compensating automataColombo, Christian; Pace, Gordon J.
2012Simplifying contract-violating tracesColombo, Christian; Francalanza, Adrian; Grima, Ian
2009Slowdown invariance of timed regular expressionsBondin, Ingram; Pace, Gordon J.; Colombo, Christian
1994Software controlled pulse-width modulationBorg Cardona, Patrick (1994)
2008A software development framework for hardware centric applications: an architectural perspectiveCachia, Ernest; Bonello, Michael
2005Source-level runtime validation through interval temporal logicD’Emanuele, Karlston; Pace, Gordon J.
2019A 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
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2008A theory of system behaviour in the presence of node and link failureFrancalanza, Adrian; Hennessy, Matthew
2016Threat analysis of android capability leaksCilia, Rachel
2012Towards a formalisation of Erlang failure and failure detectionFarrugia, Audrianne; Francalanza, Adrian
2006Towards a RAD framework for e-commerce systemsCachia, Ernest; Micallef, Mark
2008Towards an information driven software development life cycleCachia, Ernest; Micallef, Mark
2013Towards incremental mutation testingCachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2016Towards modular monitoring for concurrent systemsAttard, Duncan Paul
2017Trace partitioning and local monitoring for asynchronous componentsAttard, Duncan Paul; Francalanza, Adrian
2008A unified framework for verification techniques for object invariantsDrossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
Showing results 84 to 103 of 109 < previous   next >