-A A +A

Publications

Export 71 results:
[ Author(Desc)] Title Type Year
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 
A
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 .
Abate A, Ceska M, Kwiatkowska M.  2016.  Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings. :13–31.
[Anonymous].  2016.  Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016.
Abate A.  2017.  Formal verification of complex systems: model-based and data-driven methods. Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017. :91–93.
Abate A, Cardelli L, Kwiatkowska M, Laurenti L, Yordanov B.  2017.  Experimental Biological Protocols with Formal Semantics. CoRR. abs/1710.08016
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 LC, David C, Kesseli P, Kroening D.  2016.  Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR. abs/1610.04761
[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
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.
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.
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.
[Anonymous].  2017.  Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. Lecture Notes in Computer Science. 10381
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.  2017.  Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :197–206.
Abate A.  2016.  Verification of Networks of Smart Energy Systems over the Cloud. Numerical Software Verification - 9th International Workshop, {NSV} 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV} 2016], Revised Selected Papers. :1–14.
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.
Adzkiya D, De Schutter B, Abate A.  2015.  Computational techniques for reachability analysis of Max-Plus-Linear systems. Automatica. 53:293–302.
Adzkiya D, Zhang Y, Abate A.  2016.  VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems. Discrete Event Dynamic Systems. 26:109–145.
B
Bian G, Abate A.  2017.  On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547
Bian G, Abate A.  2017.  On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. :321–337.
C
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.
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, Stoelinga M, Abate A.  2018.  Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.

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.