Keynotes (co-located with FDSE 2015)

Title: Modelling Sensible Business Processes

Speaker: Associate Professor Pedro Antunes
Abstract: In this paper we develop the concept of sensible business process, which appears in opposition to the more traditional concept of mechanistic business process that is currently supported by most business process modelling languages and tools. A sensible business process is founded on a rich model and affords predominant human control. Having previously developed a modelling tool supporting this concept, in this paper we report on a set of experiments with the tool. The obtained results show that the approach 1) captures richer in-formation about business processes; 2) contributes to knowledge sharing in or-ganisations; and 3) generates better process models.
Bio: Pedro is mainly interested in understanding the mutual influences between humans, technology and organisations using theory, models and tools developed in the fields of computer science, management, design, and cognitive science.

Title: Model-Based Formal Analysis of Data-Management Applications

Speaker: Associate Professor Manuel Clavel
Abstract: In this talk we first present a very promising instance of model-driven engineering, namely, the full generation from models of data-management applications. Secondly, we discuss how non-trivial properties of the generated applications, can be proved by analyzing their source models, using formal methods techniques. We illustrate our approach working through a case study, and present a tool, called ActionGUI, that supports this methodology.
Bio: Manuel Clavel received his bachelor's degree in Philosophy from the Universidad de Navarra in 1992, and his Ph.D from the same university in 1998. Currently, he is Associate Research Professor at the IMDEA Software Institute. He was Vice-dean of Academic Planning at the Faculty of Computer Science of the Universidad Complutense de Madrid from 2002 to 2006, and Deputy Director of the IMDEA Software Institute from 2008 to 2011. During his doctoral studies, he was an International Fellow at the Computer Science Laboratory of SRI International (1994 - 1997) and a Visiting Scholar at the Computer Science Department of Stanford University (1995 - 1997).

Title: An Empirical Study of the Attack Potential of Vulnerabilities.

Speaker: Professor Fabio Massacci
Abstract: Vulnerability exploitation is reportedly one of the main attack vectors against computer systems. Characterisation and assessment of vulnerabilities is therefore central to any IT security management activity. In particular, identifying ex-ante which vulnerabilities are most likely to be exploited (i.e. represent higher risk) is an open issue. In this paper we identify trends of volume of attacks in terms of impact of the vulnerability, and complexity. As a result, we derive two possible “organizing principles” for vulnerability assessment and characterization that may prove useful to be integrated in current security management protocols and best practices. Over this notion we introduce an ‘attack potential’ estimator that reliably estimates the potential volume of attacks the vulnerability may receive in the wild. Our estimator can be used as an aid for vulnerability prioritization when deciding which vulnerability to fix first. This is a joint work with Luca Allodi and Tudor Dimitras.
Bio: Fabio Massacci is a full professor at the University of Trento (IT). He has a Ph.D. in Computing from the University of Rome La Sapienza in 1998. He has been in Cambridge (UK), Toulouse (FR) and Siena (IT). He has published more than 250 articles in peer reviewed journals and conferences and his h-index is 35. His current research interest is in empirical methods for cyber security. He was the European Coordinator of the project SECONOMICS ( on socio-economic aspects of security. He is now working on the SESAR EMFASE project on empirical validation of security risk assessment in aviation. With Luca Allodi he contributed to a more scientific approach for vulnerability risk assessment for the CVSS standard.

Title: Extreme Scale Computing vs. Energy Efficiency - A Challenge for Computer Science?

Speaker: Univ.-Prof. Dr. Dieter Kranzlmüller
Abstract: The supercomputer SuperMUC is a world-class powerful high-performance computing infrastructure hosted at the Leibniz Supercomputing Centre (LRZ) in Garching near Munich. In total, SuperMUC phase 1 and 2 provide more than 230.000 compute cores and a theoretical peak performance of more than 6 Petaflop/s. Developing applications for SuperMUC is a non-trivial task for users, as both, scalability as well as energy efficiency need to be taken into consideration. Both characteristics are challenging and sometimes conflicting goals for computer science. We describe results from a series of extreme scaling workshops at LRZ, where users utilize large numbers of core for their applications while operating in the innovative cooling environment of LRZ. In addition, we provide a peak view onto the partnership initiative piCS, which applies the lessons learned to a wide range of different applications. Examples from environmental computing will be provided.
Bio: Dieter Kranzlmüller is full professor of computer science at the Ludwig-Maximilians-Universitaet Muenchen (LMU), director of the Leibniz Supercomputing Centre (LRZ) of the Bavarian Academy of Sciences and Humanities, and member of the board of the Center for Digital Technology & Management (CDTM). He is founding member of the Executive Board of the Organisation and German representative on the European Grid Initiative (EGI) Council. He chairs the MNM-Team (Munich Network Management Team), which is engaged in networks and distributed systems in general, and networks, grids, clouds and HPC in particular.

Title: Resilient Networking Solutions for Prompt Disaster Recoveries

Speaker: Professor Shigeki Yamada
Abstract: This talk is a work summary of three-year Resilient Network Research Project promoted under JSPS (Japan Society for the Promotion of Science)-sponsored Resilient Life Space Umbrella Project in Japan.
When natural disasters such as earthquakes, and tsunami occur, they may cause network breakdowns due to link and node failures, resulting in network service disruptions. The network should quickly recover and keep operating just after the disasters.
Resilience is the ability of network to provide an acceptable level of service in the face of various faults and challenges to normal operations. We have investigated and experimented two resilient network technologies, each for backbone network or access network. SDN (Software Defined Networking)/OpenFlow technology is our first solution for resilient backbone networks while wireless multihop tree-structured network technology is our second solution for resilient access networks. The effectiveness of these proposed technologies has been validated by various experiments and simulations, including field experiments in the Tohoku area which was hit by the 2011 Great East Japan Earthquake with a magnitude 9.0.
Bio: Shigeki Yamada is currently a Project Professor of Research Strategy Office, National Institute of Informatics (NII), Japan. He received B.E., M.E., and Ph.D. degrees in Electronic Engineering from Hokkaido University, Japan in 1972, 1974, and 1991, respectively. He worked in the NTT (Nippon Telegraph and Telephone Corporation) laboratories from 1974 to 1999, where he was involved in research and development on digital switching systems and information and communication networks. Since he moved to NII as a professor in 2000, he has also been involved in the deployment of Japanese Research and Education Network, SINET, which connects more than 800 universities and research institutions in Japan. He has been one of the trustees of JPNIC (Japan Network Information Center) since 2008. His current research interest includes future Internet technologies, advanced network architectures, mobile wireless networks, backbone networks, and their applications.