1. OAR@UM

Browsing by Subject Autonomous distributed systems

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 21 to 34 of 34 < previous 
Issue DateTitleAuthor(s)
2018Runtime verification for decentralised and distributed systemsFrancalanza, Adrian; Pérez, Jorge A.; Sánchez, César
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2016StaRVOOrS - episode II : strengthen and distribute the forceAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : a tool for combined static and runtime verification of JavaChimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2009Statistics and runtime verificationGauci, Andrew; Pace, Gordon J.; Colombo, Christian
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2017Trace partitioning and local monitoring for asynchronous componentsAttard, Duncan Paul; Francalanza, Adrian
2006Trajectory-based air traffic control TB-ATCHerrera, Mark (2006)
2008UJ : type soundness for universe typesCunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2008Universe types for topology and encapsulationCunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2014Verifying web applications : from business level specifications to automated model-based testingColombo, Christian; Micallef, Mark; Scerri, Mark
Showing results 21 to 34 of 34 < previous