22nd International Conference on Reliable Software Technologies

Ada-Europe 2017

12-16 June 2017, Vienna, Austria

Keynote Speakers

On the three central days of the conference week, a keynote will be delivered as the opening event to address hot topics of relevance in the conference scope.

Giovanni Battista Gallus

Array, Italy

The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet.

(Tuesday 13th, Main room)

Chair: Jacob Sparre Andersen


Abstract. The future European legal framework, which is relevant for the development of autonomous vehicles, and especially programming issues.

Short Bio.Lawyer, ISO27001 Lead Auditor, freesoftware advocate, Former President of @CircoloGT, Nexa Fellow. ITLaw, privacy, security & drones.

Copyright, Criminal, Data Protection/Privacy and IT and New Technologies law are his main areas of expertise. In the last two years, he is devoting a significant part of his pratice to the legal aspects of UAVs (drones) After a cum laude degree in Law in Italy, he moves to Great Britain for the Master of Laws in Maritime Law e Information Technology Law at the University College London – UCL. Afterwhile, he earns a PhD. In 2009 he obtains the European Certificate on Cybercrime and Electronic Evidence (ECCE). He is ISO 27001:2005 Certified Lead Auditor (Information Security Management System). Member of the Bar of Cagliari since 1996, admitted to the Supreme Court since 2009, he is a member of the Department “Informatica Giuridica” at the Università Statale of Milan and he is a teacher at the “Corso di Perfezionamento in Digital Forensics, Privacy, Cloud e Cyber Warfare” – Post-Graduate Course in Digital Forensics, Privacy, Cloud e Cyber Warfare. Fellow of Nexa Center on Internet e Society and of the Hermes Center for Transparency and Digital Human Rights. Author of several publications on the above mentioned areas and speaker at the main national and international congresses, he sides his legal profession an intense teaching activity, mainly in the field of copyright, Free/Open Source Software, data protection, IT security and digital forensics. Former President of Circolo dei Giuristi Telematici, founded in 1998, first initiative to gather IT law experts in Italy.

Thomas Henzinger

IST, Austria

Behavioral Software Metrics

(Wednesday 14th, Main room)

Chair: Tullio Vardanega

Abstract. We show how the classical satisfaction relation between programs and requirements can be replaced by quantitative preference metrics that measure the "fit" between programs and requirements. Depending on the application, such fitness measures can include aspects of function, performance, resource consumption, and robustness.


Short Bio. Thomas A. Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012) and from Masaryk University in Brno, Czech Republic (2015). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.

Kay Römer

TU Graz, Austria

Dependable Internet of Things

(Thursday 15th, Main room)

Chair: Wolfgang Kastner

Abstract. Wireless networked embedded systems are increasingly used for safety-critical applications, where even under harsh environmental conditions dependability requirements must be met. In this talk we introduce the Dependable Things research center at TU Graz and present recent results on improving the dependability of wireless communication and localization, embedded computing, and networked control for the Internet of Things.


Short Bio.Kay Römer is professor at and director of the Institute for Technical Informatics, head of the Field of Expertise "Information, Communication & Computing", and vice dean of the Faculty of Electrical and Information Engineering at TU Graz. He obtained his doctorate in computer science from ETH Zurich in 2005 with a thesis on wireless sensor networks. As a senior researcher, he led the sensor network-related research activities of the Distributed Systems Group at ETH Zurich between 2005 and 2009. From 2009 to 2013 he held a professorship at University of Lübeck in Germany. Kay Römer is an internationally recognized expert on networked embedded systems, with research focus on wireless networking, fundamental services, operating systems, programming models, dependability, testbeds, and deployment methodology. He was the scientific coordinator of the EU FP7 FIRE project RELYonIT on dependable networking in the Internet of Things. He is currently the coordinator of the TU Graz Research Center "Dependable Internet of Things".