OAR@UM: Browsing 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 1 to 20 of 35 next >

Issue Date	Title	Author(s)
2018	AlkylVM : a virtual machine for smart contract blockchain connected internet of things	Ellul, Joshua; Pace, Gordon J.
2008	An analysis of the EDSM heuristic for DFA learning.	Cuschieri, Daniel (2008)
2017	A calculus supporting contract reasoning and monitoring	Cambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2010	Compensation-aware runtime monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2012	Considerations for monitoring highly concurrent systems	Mizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2023	Deep reinforcement learning of autonomous control actions to improve bus-service regularity	Bajada, Josef; Grech, Joseph; Bajada, Therese
2016	Device-centric monitoring for mobile device management	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2013	Distributed system contract monitoring	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2011	Distributed system contract monitoring	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2003	Enhancing distributed systems through web services	Muscat, Sergio
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.
2015	Investigating instrumentation techniques for ESB runtime verification	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2015	Lessons learnt from using DSLs for automated software testing	Micallef, Mark; Colombo, Christian
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2016	Organising LTL monitors over distributed systems with a global clock	Colombo, Christian; Falcone, Yliès
2016	Preliminary results towards contract monitorability	Vella, Annalizz; Francalanza, Adrian
2024	A remedy for heterogeneous data : clustered federated learning with gradient trajectory	Liu, Ruiqi; Yu, Songcan; Lan, Linsi; Wang, Junbo; Kant, Krishna; Calleja, Neville

Showing results 1 to 20 of 35 next >