Issue Date	Title	Author(s)
2022	PSTMonitor : monitor synthesis from probabilistic session types	Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
2022	Monitoring hyperproperties with circuits	Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
2022	On probabilistic monitorability	Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard
2022	A synthesis tool for optimal monitors in a branching-time setting	Achilleos, Antonis; Exibard, Leo; Francalanza, Adrian; Lehtinen, Karoliina; Xuereb, Jasmine
2023	On first-order runtime enforcement of branching-time properties	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2023	ElixirST : a session-based type system for Elixir modules	Francalanza, Adrian; Tabone, Gerard
2023	Bidirectional runtime enforcement of first-order branching-time properties	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2024	Runtime instrumentation for reactive components (artifact)	Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2024	Implementing a message-passing interpretation of the Semi-Axiomatic Sequent Calculus (SAX)	Francalanza, Adrian; Tabone, Gerard; Pfenning, Frank
2024	Complexity results for modal logic with recursion via translations and tableaux	Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna
2024	A monitoring tool for linear-time 𝜇HML	Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
2025	Leveraging complex event processing for monitoring and automatically detecting anomalies in Ethereum-based blockchain networks	Rosa-Bilbao, Jesús; Boubeta-Puig, Juan; Lagares-Galán, Jesús; Vella, Mark Joseph
2024	FPGA-based implementation of enhanced ZUC stream cipher based on dynamic S-box	Madani, Mahdi; El Assad, Safwan; Tanougast, Camel; Vella, Mark Joseph; Bourennane, El-Bay; Deforges, Olivier
2023	Using infrastructure-based agents to enhance forensic logging of third-party applications	Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2023	VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics	Bellizzi, Jennifer; Losiouk, Eleonora; Conti, Mauro; Colombo, Christian; Vella, Mark Joseph
2023	Runtime verification for trustworthy computing	Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark Joseph; Ferrando, Angelo
2023	The human quest for meaning : theatre as a vehicle for dialogue	Grima, Tyrone; Colombo, Christian
2022	Should we regulate artificial intelligence or some uses of software?	Ellul, Joshua
2018	Macroprogramming the blockchain of things	Mizzi, Adrian; Ellul, Joshua; Pace, Gordon J.
2022	Bitcoin price change and trend prediction through twitter sentiment and data volume	Vella Critien, Jacques; Gatt, Albert; Ellul, Joshua