[Award] FAPESP schorlarship to Katina Kralevska
Katina Kralevska has been granted a scholarship from the São Paulo Research Foundation (FAPESP) to participate to the SP Coding and Information School (SPCodingSchool), to be arranged in January 2015 in São Paulo, Brazil.
[Publication] Paper accepted at SSR 2014
The paper « Computationally analyzing the ISO 9798–2.4 authentication protocol » by Britta Hale and Colin Boyd has been accepted for presentation at the 1st International Conference on Research in Security Standardisation (SSR), to be held in London, UK, Dec 16-17, 2014.
[Open position] Two PhD research fellowships within cloud computing (EU MC-ITN project CleanSky)
To ensure efficiency in cloud computing, it is crucial to explore fundamental resource allocation and optimization technologies to achieve best trade-off between implementation cost and cloud service quality. The objective of the project is to develop a multi-objective optimization framework for the optimization and consolidation of data center resources, taking different dimensions in mind (e.g., energy, storage, computation, application dependency, communication and associated costs) to bring down the costs while still meeting application requirements.
The specific tasks include (1) studying the characteristics of the key affecting factors such as energy, storage, computation, application dependency, and communication, (2) establishing the relationships between these factors, the cloud service performance and the cost, and (3) based on these relationships, applying optimization to obtain the best trade-off between cost and performance.
When a telecom provider offers its own cloud services to its customers, it may federate cloud services from other providers. As such, there is a need for the telecom provider to compose services with reliable Service-Level Agreement (SLA) and to dynamically adjust (the subscription to) the underlying cloud services to maximize the revenue. The objective of the project is to develop results for provisioning and management of cloud services that are both robust and cost-efficient meeting service level agreement (SLA). The specific tasks include (1) Identifying the effect of service compositions and failures on SLA; (2) Proposing cloud composition strategies with maximal cost-efficient service availability; (3) Developing solutions for robust cloud service provisioning and management.
Contact: Prof. Yuming Jiang
Application form: https://s-lotus.gwdg.de/uni/umin/clean_sky.nsf/application
[Publication] Paper accepted at RNDM 2014
The paper « Using genetic algorithms to improve the reliability of dual homed wireless critical services » by Eirik L. Følstad and Bjarne E. Helvik has been accepted for presentation at the 6th International Workshop on Reliable Networks Design and Modeling (RNDM), to be held in Barcelona, Spain, Nov 17-19, 2014.
[Publication] Paper accepted at RNDM 2014
The paper « On the impact of software failures on time division multiplexed passive optical networks dependability » by Alvaro Fernandez and Norvald Stol has been accepted for presentation at the 6th International Workshop on Reliable Networks Design and Modeling (RNDM), to be held November 17-19 in Barcelona, Spain.
[Visiting] PhD student Florian Bergsma
Florian Bergsma is visiting our department this week. Florian Bergsma is finishing his PhD at the Ruhr University Bochum, Germany. His research focuses on public-key cryptography, lattice-based cryptography, cryptographic protocols, and digital signature schemes.
[Publication] Paper accepted at NeCOM 2014
The paper « On the modeling of openflow-based SDNs: the single node case » by Kashif Mahmood, Ameen Chilwan, Olav N. Østerbø and Michael Jarschel, has been accepted for presentation at the 6th International Conference on Networks and Communications (NeCOM), to be held in Dubai, UAE, Nov 7-8, 2014.
[Visiting] Prof. Dr. Heinz Schmidt and Dr. Jan Olaf Blech
Prof. Dr. Heinz Schmidt and Dr. Jan Olaf Blech from RMIT University in Melbourne, Australia, are visiting the Department from September 22 to 26, 2014. They will sit mostly in Peter Herrmann's office in A-265.
Heinz' research focuses on Software Architectures and eResearch which includes aspects of Big Data, Cloud Computing, Machine to Machine, Internet of Things and Collaborative Engineering. He is director of the Australia-India Research Centre for Automation Software Engineering (AICAUSE).
Jan's research focus is on Formal Methods, in particular, Verification of Spatiotemporal Properties, and on Collaborative Engineering.
Heinz and Jan will presesent their work within a seminar on Tuesday, September 23, from 10 to 16 in Savannen. The timeplan for this seminar will be presented separately.
[Publication] Paper accepted at MoDeVVa 2014
The paper «Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST» by Maria Spichkova, Jan Olaf Blech, Peter Herrmann, and Heinz Schmidt has been accepted for presentation at the 11th edition of Model-Driven Engineering, Verification and Validation to be held as a workshop of MoDELS 2014 in Valencia.
[Committees] TPC chair for PASSWORDS 2014