https://www.um.edu.mt/library/oar/handle/123456789/8336 Thu, 29 Oct 2026 14:32:35 GMT 2026-10-29T14:32:35Z https://www.um.edu.mt/library/oar/handle/123456789/150534 Title: If at first you don’t succeed : extended monitorability through multiple executions Authors: Achilleos, Antonis; Francalanza, Adrian; Xuereb, Jasmine Abstract: This paper studies the extent to which branchingtime properties can be adequately verified using runtime monitors. We depart from the classical setup where monitoring is limited to a single system execution and investigate the enhanced observational capabilities when monitoring a system over multiple runs. To ensure generality, we focus on branchingtime properties expressed in the modal m-calculus, a well-studied foundational logic. Our results show that the proposed setup can systematically extend established monitorability limits for branching-time properties. We validate our results by instantiating them to verify actor-based systems. We also prove bounds that capture the correspondence between the syntactic structure of a property and the number of required system runs. Sun, 01 Jun 2025 00:00:00 GMT https://www.um.edu.mt/library/oar/handle/123456789/150534 2025-06-01T00:00:00Z https://www.um.edu.mt/library/oar/handle/123456789/149587 Title: DPICache : a distributed program image cache for wireless sensor networks Authors: Ellul, Joshua; Martinez, Kirk Abstract: Wireless sensor networks, like other computing platforms, require software updates from time to time due to software bugs, new functionality, better understanding of the surrounding environment or new applications. Physically connecting to and reprogramming each node is usually not feasible and often impossible. A number of wireless code distribution and reprogramming techniques have been presented. In this paper we present a novel technique to efficiently update any nodes that were lost during programming periods. Our experiments demonstrate a 57% decrease of bytes sent over the air when updating nodes that previously missed updates. Wed, 01 Oct 2008 00:00:00 GMT https://www.um.edu.mt/library/oar/handle/123456789/149587 2008-10-01T00:00:00Z https://www.um.edu.mt/library/oar/handle/123456789/149586 Title: A dynamic size distributed program image cache for wireless sensor networks Authors: Ellul, Joshua; Martinez, Kirk; De Roure, David Abstract: Reprogramming node software over-the-air is an essential requirement in many wireless sensor network applications due to the inaccessibility of the deployed sensor nodes. Transmitting whole software images consumes a high amount of energy in proportion to updates, especially when they are small in size. Incremental updates have addressed this; however introduce the potential of a sensor node becoming out of sync when it misses an update. In this paper we present a dynamic size distributed program image cache that provides increased efficiency in reprogramming out of sync nodes and multi-purpose wireless sensor networks. Fri, 01 May 2009 00:00:00 GMT https://www.um.edu.mt/library/oar/handle/123456789/149586 2009-05-01T00:00:00Z https://www.um.edu.mt/library/oar/handle/123456789/149584 Title: Run-time compilation of bytecode in wireless sensor networks Authors: Ellul, Joshua; Martinez, Kirk Abstract: Recent work on virtual machines for wireless sensor networks has demonstrated the bene ts of using a Java programming paradigm for resource constrained sensor networks. Results have shown that a virtual machine approach greatly su ers from interpretation overheads. We present run-time compi- lation of bytecode which leverages from a compact platform independent bytecode application encoding as well as an ef- cient program execution platform by converting bytecode to native code in situ. Thu, 01 Apr 2010 00:00:00 GMT https://www.um.edu.mt/library/oar/handle/123456789/149584 2010-04-01T00:00:00Z