Andrea Borgarelli - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	33	33
h-index	2	2
i10-index	2	2

0

18

9

202020212022202320241 3 3 8 17

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
Gianluca TurinPhD student, Universitet i OsloVerified email at ifi.uio.no

Andrea Borgarelli

Andrea Borgarelli

PhD student, Max Planck Institute for Software Systems

Verified email at mpi-sws.org - Homepage

Reinforcement Learning Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal model of the kubernetes container framework G Turin, A Borgarelli, S Donetti, EB Johnsen, SL Tapia Tarifa, F Damiani International Symposium on Leveraging Applications of Formal Methods, 558-577, 2020	22	2020
Predicting resource consumption of Kubernetes container systems using resource models G Turin, A Borgarelli, S Donetti, F Damiani, EB Johnsen, SLT Tarifa Journal of Systems and Software 203, 111750, 2023	11	2023
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems A Borgarelli, C Enea, R Majumdar, S Nagendra Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1928-1954, 2024		2024
The Journal of Systems & Software S Tuli, SS Gill, M Xu, P Garraghan, R Bahsoon, S Dustdar, R Sakellariou, ...		2021

The system can't perform the operation now. Try again later.

Articles 1–4