Alessandro Papadopoulos

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 4

Top Topics

Visual Analytics

Weather Conditions

Simulated Robot

Table Of Contents

Top Venues

Dagstuhl Artifacts Ser.

Publications

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS (2024)
Anders Lager, Alessandro Papadopoulos, Thomas Nolte
IoT and Fog Analytics for Industrial Robot Applications. ETFA (2020)
Sophie Quinton, Sebastian Altmeyer, Alessandro Papadopoulos
Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5 (1) (2019)
Ahmed Ali-Eldin, Alexey Ilyushkin, Bogdan Ghit, Nikolas Roman Herbst, Alessandro Papadopoulos, Alexandru Iosup
Which Cloud Auto-Scaler Should I Use for my Application?: Benchmarking Auto-Scaling Algorithms. ICPE (2016)