-A A +A

Publications

Export 60 results:
Author Title Type [ Year(Asc)]
2018
Lun YZacchia, Wheatley J, D'Innocenzo A, Abate A.  2018.  Approximate Abstractions of Markov Chains with Interval Decision Processes . IFAC Conference on Analysis and Design of Hybrid Systems.
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M, Mufid MSyifa'Ul, Zaffanella E.  2018.  ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems.
Abate A, Blom H, Cauchi N, Haesaert S, Hartmanns A, Lesser K, Oishi M, Sivaramakrishnan V, Soudjani S, Vasile C-I et al..  2018.  ARCH-COMP18 Category Report: Stochastic Modelling. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
Abate A, Budde CE, Cauchi N, Hoque KAnuarul, Stoelinga M.  2018.  Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. Fourth european conference of the prognostics and health management society 2018.
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.
Hasanbeig M, Abate A, Kroening D.  2018.  Logically-Constrained Reinforcement Learning. CoRR. abs/1801.08099
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.
Abate A, Budde CE, Cauchi N, van Harmelen A, Hoque KAnuarul, Stoelinga M.  2018.  Modelling Smart Buildings using Fault Maintenance Trees. 15th European Performance Engineering Workshop.
Abate A, Bessa I, Cattaruzza D, Cordeiro L, David C, Kessell P, Kroening D, Polgreen E.  2018.  Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants. 7th Workshop on Synthesis .
Haesaert S, Soudjani S, Abate A.  2018.  Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement. IFAC Conference on Analysis and Design of Hybrid Systems.
2017
Peruffo A, Guiu E, Panciatici P, Abate A.  2017.  Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :72–87.
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M.  2017.  {ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics. {ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}. :124–133.
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.  2017.  Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR. abs/1707.01322
Polgreen E, Wijesuriya VB, Haesaert S, Abate A.  2017.  Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :259–274.
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.  2017.  Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR. abs/1705.00981
Abate A, Bessa I, Cattaruzza D, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.  2017.  Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :462–482.
Haesaert S, Cauchi N, Abate A.  2017.  Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Eval.. 117:75–103.
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
Haesaert S, Van den Hof PMJ, Abate A.  2017.  Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica. 79:115–126.
Abate A, Bessa I, Cattaruzza D, Chaves L, Cordeiro LC, David C, Kesseli P, Kroening D, Polgreen E.  2017.  DSSynth: an automated digital controller synthesis tool for physical plants. Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017. :919–924.
Soudjani SEsmaeil Za, Abate A, Majumdar R.  2017.  Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Inf.. 54:217–242.
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, 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.
Abate A, Cardelli L, Kwiatkowska M, Laurenti L, Yordanov B.  2017.  Experimental Biological Protocols with Formal Semantics. CoRR. abs/1710.08016
[Anonymous].  2017.  Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science. 10419

Pages

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.