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 1 to 20 of 34  next >
Issue DateTitleAuthor(s)
2018AlkylVM : a virtual machine for smart contract blockchain connected internet of thingsEllul, Joshua; Pace, Gordon J.
2008An analysis of the EDSM heuristic for DFA learning.Cuschieri, Daniel (2008)
2017A calculus supporting contract reasoning and monitoringCambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2023Deep reinforcement learning of autonomous control actions to improve bus-service regularityBajada, Josef; Grech, Joseph; Bajada, Therese
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2013Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2011Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2003Enhancing distributed systems through web servicesMuscat, Sergio
2013Facilitating and extending software testing through monitoring techniquesColombo, Christian; Micallef, Mark; Pace, Gordon J.
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2016Organising LTL monitors over distributed systems with a global clockColombo, Christian; Falcone, Yliès
2016Preliminary results towards contract monitorabilityVella, Annalizz; Francalanza, Adrian
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.