Federico Mari
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Simulator semantics for system level formal verification | 2021-12-03 | Paper |
| Simulator semantics for system level formal verification (available as arXiv preprint) | 2021-12-03 | Paper |
| On checking equivalence of simulation scripts Journal of Logical and Algebraic Methods in Programming | 2021-06-25 | Paper |
| Linearizing Discrete-Time Hybrid Systems IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
| SyLVaaS: system level formal verification as a service Fundamenta Informaticae | 2017-11-09 | Paper |
| On minimising the maximum expected verification time Information Processing Letters | 2017-11-03 | Paper |
| Undecidability of quantized state feedback control for discrete time linear hybrid systems Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
| CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Research outcomes over time
This page was built for person: Federico Mari
