Navigation

Contact

EMail: scare@w3uolaom.de

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olu+79+derog@inzeoj/formatbxej1ik.ug9bi5ni-owoldenburg.xuddqde

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.we/jmp4uvue@informatik.untio/i-oldeh8nburg.de

SCARE Annual Workshop (Cloppenburg 2013)

SCARE organized its first annual workshop in Cloppenburg city on 11-13 September 2013. In this workshop, there were two types of talks: Group A and Group B talks. In the former group, SCARE stipendiats had presented their progress and the accomplished tasks during the last period. Moreover, research plans for the next period were presented. In the latter group, SCARE doctorand had presented research articles related to the concept of SCARE. These articles were selected by the SCARE supervisors. Additionally, the workshop comprised two different activities including Cross Publication Potential (CPP) and an excursion. The program of the workshop and more details about the activities can be found below.

Bild

Cross Publication Potential (CPP)

In this set of workshops, the participants were divided into groups. The members of each group had shared their ideas about their own fields. Afterwards, the group found a common research point between the group members. Each group prepared a short presentation (max. 10 min.) about the developed ideas. The ideas had presented and discussed on the closing day.

Excursion

A touristic tour will be made and the group may visit Museumsdorf in Cloppenburg. More information about the museum can be found here: http://www.museumsdorf.de/

Program



Wednesday, September 11, 2013


11:00 am to 12:00 pm

Check-In

12:00 am to 01:00 pm

Lunch

Group A Talks

01:00 pm to 01:40 pm

Nils-Erik Flick: Structure-Changing Petri Nets As A Model Of Adverse Conditions

01:40 pm to 02:20 pm

Björn Engelmann: Verification Techniques for Dynamically Typed Programs

02:20 pm to 02:40 pm

Coffee Break

02:40 pm to 03:20 pm

Christian Kuka: Quality-Aware Multi-Sensor Data Stream Processing
for Dynamic Context Models

03:20 pm to 04:00 pm

Mohamed Abdelaal: Design and Analysis of Power Conservation Techniques for Maximizing The Lifetime Expectancy of Tiny Sensing Devices

04:00 pm to 04:40 pm

Gao Yang: Conditional CSL Model Checking on CTMC and Tool
Implementation

04:40 pm to 06:00 pm

CPP Workshop

06:00 pm to 07:00 pm

Dinner




Thursday, September 12, 2013


08:00 am to 09:00 am

Breakfast


Group B Talks

09:00 am to 09:30 am

Nils Erik Flick: Crossing the Bridge between Similar Games

09:30 am to 10:00 am

Hendrik Radke: Verifying Total Correctness of Graph Programs

10:00 am to 10:30 am

Thomas Strathmann: Architectural Refinement and Notions of Intransitive Noninterference

10:30 am to 11:00 am

Coffee Break

11:00 am to 11:30 am

Christian Kuka: Modeling and Measuring Quality of Context Information in Pervasive Environments

11:30 am to 12:00 am

Mohamed Abdelaal: What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks?

12:00 am to 01:00 pm

Lunch

01:00 pm to 01:30 pm

Dilshod Rahmatov: Design Patterns for Graceful Degradation

01:30 pm to 02:00 pm

Björn Engelmann: Proof-carrying Code

02:00 pm to 05:30 pm

Excursion

06:00 pm to 07:00 pm

CPP Workshop

07:00 pm to 08:00 pm

Dinner




Friday, September 13, 2013


08:00 am to 09:00 am

Breakfast

09:00 am to 10:00 am

CPP Workshop

 

Workshop: How to Be a Good Researcher

10:00 am to 10:30 am

Thomas Strathmann: How to Read a Research Paper

10:30 am to 11:00 am

Hendrik Radke: How to Give a Good Research Talk

11:00 am to 11:30 am

Prof. Daniela Nicklas: Divide and Conquer: How to Structure a PhD Thesis

11:30 am to 12:00 am

Check-Out



Oli2xxver Theel (olh4paiver.thedqzel@a4oruol.ctde) (Changed: 2020-01-23)