-A A +A

Publications

Export 10 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Chen F, Haesaert S, Abate A, Weiland S.  2017.  Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations. CoRR. abs/1704.01672
Cauchi N, Abate A.  2018.  Benchmarks for cyber-physical systems: A modular model library for buildings automation. IFAC Conference on Analysis and Design of Hybrid Systems.
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. abs/1801.04263:24:1-24:10.
Cauchi N, Degiorgio K, Abate A.  2019.  StocHy: automated verification and synthesis of stochastic processes. arXiv preprint arXiv:1901.10287.
Cauchi N, Macek K, Abate A.  2017.  Model-based predictive maintenance in building automation systems with user discomfort. Energy. 138:306-315.
Cauchi N, Laurenti L, Lahijanian M, Abate A, Kwiatkowska M, Cardelli L.  2019.  Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. https://arxiv.org/abs/1901.01576.
Cauchi N, Hoque KAnuarul, Abate A, Stoelinga M.  2017.  Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments.
Cauchi N, Hoque KAnuarul, Stoelinga M, Abate A.  2018.  Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.
Cattaruzza D, Abate A, Schrammel P, Kroening D.  2017.  Sound Numerical Computations in Abstract Acceleration. Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. :38–60.
Cattaruzza D, Abate A, Schrammel P, Kroening D.  2015.  Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract Acceleration. Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings.

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.