Browsing by Subject Computer systems -- Verification
Showing results 1 to 18 of 18
| Issue Date | Title | Author(s) |
| 2007 | Automatic interface generation for compositional verification | Spina, Sandro; Pace, Gordon J.; Lang, Frederic |
| 2003 | Computer-aided verification : how to trust a machine with your life | Pace, Gordon J. |
| 2010 | Crowd dynamics in emergency situations | Gatt, Brian (2010) |
| 2014 | Explaining violation traces with finite state natural language generation models | Pace, Gordon J.; Rosner, Michael |
| 2016 | First international summer school on runtime verification : as part of the ArVi COST Action 1402 | Colombo, Christian; Falcone, Yliès |
| 2009 | A formal model of provenance in distributed systems | Souilah, Issam; Francalanza, Adrian; Sassone, Vladimiro |
| 2006 | Formal verification of enterprise integration architectures | Cachia, Ernest; Vella, Mark Joseph |
| 2015 | A framework for the generation of computer system diagnostics in natural language using finite state methods | Farrell, Rachel; Pace, Gordon J.; Rosner, Michael |
| 2013 | From task graphs to petri nets | Spiteri Staines, Tony |
| 2018 | Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges | Colombo, Christian; Pace, Gordon J. |
| 2022 | Multi-terminal DC grid with wind power injection | Samaranayake, Lilantha; Ugalde-Loo, Carlos E.; Adeuyi, Oluwole D.; Licari, John; Ekanayake, Janaka B. |
| 2016 | Organising LTL monitors over distributed systems with a global clock | Colombo, Christian; Falcone, Yliès |
| 2017 | Reliability and fault-tolerance by choreographic design | Cassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
| 2012 | Runtime verification and compensations | Colombo, Christian (2012) |
| 2021 | RV-TEE : secure cryptographic protocol execution based on runtime verification | Vella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter |
| 2021 | Secure implementation of a quantum-future GAKE protocol | Abela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph |
| 2015 | Towards a hybrid approach to software verification | Della Monica, Dario; Francalanza, Adrian |
| 2016 | Using testing techniques to classify user interface designs | Cauchi, Abigail; Pace, Gordon J. |
