| Title |
Published on |
Year |
| Visualisation of Control Software for Cyber-Physical Systems |
INFORMATION |
2021 |
| On checking equivalence of simulation scripts |
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
2021 |
| A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management |
APPLIED ARTIFICIAL INTELLIGENCE |
2021 |
| Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
2021 |
| A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries |
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS |
2021 |
| On checking equivalence of simulation scripts |
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
2021 |
| MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks |
FUNDAMENTA INFORMATICAE |
2020 |
| Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. |
Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 |
2018 |
| An efficient algorithm for network vulnerability analysis under malicious attacks |
Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings |
2018 |
| Parallel statistical model checking for safety verification in smart grids |
Proceedings of IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) |
2018 |
| Residential demand management using individualised demand aware price policies |
IEEE TRANSACTIONS ON SMART GRID |
2017 |
| On minimising the maximum expected verification time |
INFORMATION PROCESSING LETTERS |
2017 |
| Linearising discrete time hybrid systems |
IEEE TRANSACTIONS ON AUTOMATIC CONTROL |
2017 |
| Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
MICROPROCESSORS AND MICROSYSTEMS |
2016 |
| An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine |
BIOMAT 2015 - Proceedings of the International Symposium on Mathematical and Computational Biology |
2016 |
| SyLVaaS: System level formal verification as a service |
FUNDAMENTA INFORMATICAE |
2016 |
| SyLVaaS: system level formal verification as a service |
Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) |
2015 |
| Computing biological model parameters by parallel statistical model checking |
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. |
2015 |
| A glimpse of SmartHG project test-bed and communication infrastructure |
Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 |
2015 |
| User flexibility aware price policy synthesis for smart grids |
Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 |
2015 |
