Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2025
 | Up a level |
Number of items: 47.
Type: Book
| 2025
Practical and general-purpose flow-level inference with random forests in programmable switches - Aristide Tanyi-Jong Akem, Beyza Bütün, Michele Gucciardo and Marco Fiore
Type: Article
| 2025
Real‐time encrypted traffic classification in programmable networks with P4 and machine learning - Aristide Tanyi‐Jong Akem, Guillaume Fraysse and Marco Fiore
Type: Article
| 2025
AIC-based unforeseen emergent scenarios (black swan events) discovery method for autonomous systems safety design - Haider Al-Shareefy, Michael Butler and Thai Son Hoang
Type: Conference or Workshop Item
| 2025
| ISSS
| Item not available on this server.
Comprehensive multi-environment operational design domain (ODD) taxonomy for intelligent systems safety design - Haider Al-Shareefy, Michael Butler and Thai Son Hoang
Type: Conference or Workshop Item
| 2025
| ISSS
| Item not available on this server.
Formal modeling of trust in AI-driven autonomous delivery vehicles - Manar Mousa M Altamimi, Asieh Salehi Fathabadi and Vahid Yazdanpanah
Type: Conference or Workshop Item
| 2025
Type: Dataset
| 2025
| University of Southampton
Enhancing state retention with energy-efficient memory tracing in intermittent systems - Osama Bin Tariq, Theodoros D. Verykios, Geoff Merrett and Domenico Balsamo
Type: Article
| 2025
Divide and conquer: a compositional approach to game-theoretic security - Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson
Type: Article
| 2025
| Item not available on this server.
LiME: the Linux real-time task model extractor - Björn B. Brandenburg, Cédric Courtaud, Filip Markovic and Bite Ye
Type: Conference or Workshop Item
| 2025
| IEEE
The VAMPIRE diary - Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdu, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl and Andrei Voronkov
Type: Book Section
| 2025
| Springer
| Item not available on this server.
Type: Dataset
| 2025
| University of Southampton
Enabling efficient pure-NMOS circuits through Adiabatic Complementary Pass-transistor Logic - Keyu Chen, Geoff Merrett and Mark Zwolinski
Type: Conference or Workshop Item
| 2025
| Item not available on this server.
Type: Dataset
| 2025
| University of Southampton
Realization of Early-Exit Dynamic Neural Networks on Reconfigurable Hardware - Anastasios Dimitriou, Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Article
| 2025
Finding connections via satisfiability solving - Clemens Eisenhofer, Michael Rawson and Laura Kovács
Type: Book Section
| 2025
| Springer
| Item not available on this server.
Nip it in the bud: job acceptance multi-server - Anna Friebe, Tommaso Cucinotta, Filip Markovic, Alessandro Papadopoulos and Thomas Nolte
Type: Conference or Workshop Item
| 2025
| IEEE
From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic - Alexander V. Gheorghiu and David J. Pym
Type: Article
| 2025
Type: Article
| 2025
Proof-theoretic semantics for the logic of bunched implications - Tao Gu, Alexander V. Gheorghiu and David J. Pym
Type: Article
| 2025
FedTMOS: efficient one-shot federated learning with Tsetlin machine - Shannon Shi Qi How, Jagmohan Chauhan, Geoff Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2025
FedTMOS: efficient One-Shot Federated Learning with Tsetlin Machine - Shannon How Shi Qi, Jagmohan Chauhan, Geoff V. Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2025
SYNAPSE - a new approach to semi-automated design of ultra-low-power application-specific embedded processors - Xuan Ji, Tom J. Kazmierski and Basel Halak
Type: Conference or Workshop Item
| 2025
| IEEE
| Item not available on this server.
Proof-carrying neuro-symbolic code - Ekaterina Komendantskaya
Type: Conference or Workshop Item
| 2025
| Springer Cham
Quantitative simulations of Spiking Neural Networks on an event-driven FPGA cluster - Zilong Liang, Xinbo Zhang, Mark Vousden, David B. Thomas and Graeme M. Bragg
Type: Article
| 2025
Quantifiers for differentiable logics in Rocq (Extended Abstract) - Jairo Miguel Marulanda Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci and Enrico Marchioni
Type: Conference or Workshop Item
| 2025
| Springer Cham
| Item not available on this server.
Pulsation of brain tissue increases in response to caffeine: a pilot healthy volunteer study - Jennifer K. Nicholls, Andrea Lecchini-Visintini, Alanoud Almudayni, Jonathan Ince, Jatinder S. Minhas and Emma M.L. Chung
Type: Article
| 2025
Juniper: a 3D plotting framework for effective multi-dimensional scatterplots - Philippos Papaphilippou
Type: Article
| 2025
Game modeling of blockchain protocols - Sophie Rain, Anja Petković Komel, Michael Rawson and Laura Kovács
Type: Book Section
| 2025
| Springer
Ground truth: checking VAMPIRE proofs via Satisfiability Modulo Theories - Michael Rawson, Andrei Voronkov, Johannes Schoisswohl and Anja Petković Komel
Type: Book Section
| 2025
| Springer
| Item not available on this server.
Lurie networks with k-contracting dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Conference or Workshop Item
| 2025
Lurie networks with robust convergent dynamics - Carl R. Richardson, Matthew C. Turner and Steve R. Gunn
Type: Article
| 2025
Type: Dataset
| 2025
| University of Southampton
Efficient deep learning inference at the edge - Sulaiman Sadiq
Type: Thesis
| 2025
| University of Southampton
The trust-safety divide: a citical gap in human-robot interaction research - Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2025
Type: Dataset
| 2025
| University of Southampton
Developing safe exception recovery mechanisms for CHERI capability hardware using UML-B formal analysis - Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello and vladi Sassone
Type: Conference or Workshop Item
| 2025
Anti-windup compensation for nonlinear dynamic inversion rigid body attitude control - Ali Soltani, Matthew C. Turner and Christopher M. Richards
Type: Article
| 2025
Towards hardware Trojan resilient convolutional neural networks accelerators - Peiyao Sun, Basel Halak and Tom J. Kazmierski
Type: Article
| 2025
L₂ gain for ultimately bounded systems with application to quantized input systems - Matthew C. Turner and Christopher M. Richards
Type: Article
| 2025
Temporal dynamics of TiOx memristor for reservoir computing applications - Alexander-Hanyu Wang, Xiyue Fan, Zixuan Zhang, Omesh Kapur, Ruomeng Huang, Firman Simanjuntak, Harold Chong and David Barrie Thomas
Type: Article
| 2025
Dedicated class subnetworks for SNN class incremental learning - Katy Warr, Jonathon Hare and David Thomas
Type: Conference or Workshop Item
| 2025
| IEEE
Improving recall in sparse associative memories that use neurogenesis - Katy Warr, Jonathon Hare and David Barrie Thomas
Type: Article
| 2025
Type: Conference or Workshop Item
| 2025
| AAAI Press
| Item availability restricted.
Type: Dataset
| 2025
| University of Southampton
Type: Dataset
| 2025
| University of Southampton
Type: Article
| 2025
| Item not available on this server.