News
Presentation on "Functional Analysis of Queueing Petri Nets by Reduction of the Net Structure" in Advanced Seminar on 17th March
On March 17th, 2015, at 04:00pm, there will be a presentation on "Functional Analysis of Queueing Petri Nets by Reduction of the Net Structure" given by Ella Albrecht. The abstract of the presentation is as follows: Petri nets are a popular model for modelling synchronisation and concurrent systems. These nets are often analysed by state space exploration. Unfortunately for bigger nets the so-called problem of state explosion arises. One approach to cope with the problem is to reduce the net structure before state space exploration. There already exist several reduction rules for place transition. In this talk common reduction rules are presented and adapted for queueing petri nets. The rules were implemented into the open-source tool QPME, such that their practical effect on the qualitative analysis of queueing petri nets can be examined on a few examples.
Paper accepted for the MSR 2015 Mining Challenge
Paper accepted at ICST 2015 Tools Track
Paper accepted at ICSE 2015 Doctoral Symposium
Poster presentation accepted for CHEP 2015
Presentation at the 37th GI TAV meeting accepted
Special Issue in STTT
Paper accepted for CLOUD COMPUTING 2015
Our paper "A Reliability Assessment Framework for Cloud Applications" has been accepted at the conference CLOUD COMPUTING 2015.
The paper is under the project Reliability Engineering for Cloud Computing Systems and Applications.
More details can be found here.
Overview of Examination Dates
- Software-Technik I: 09.02.2015, 02:00pm s.t.
- Data Science and Big Data Analytics: 12.02.2015, 02:15pm s.t.
- Software Testing: 16.02.2015, 02:00pm s.t.