Research Training Group SCARE

Past Events

Invited Talks:-

Invited Speaker  Title Date Time Venue 
Prof. Raymond Devillers, BE Factorisation of Transition Systems

16 May 2017

16:00 SCARE Common Room (A2 2-222)
Dr. Sven Linker, UK Investigating Parametric Influence for Discrete Synchronisation Protocols using Quantitative Model Checking

2 May 2017

16:00 SCARE Common Room (A2 2-222)
Ass.-Prof. Dr. Paolo Zuliani, UK Probabilistic Bounded Reachability for Uncertain Hybrid Systems

25 April 2017

16:00 SCARE Common Room (A2 2-222)
Ass.-Prof. Dr. Sergiy Bogomolov, AU Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

13 December 2016

11:00 SCARE Common Room (A2 2-222)
Prof. Barbara König, D Termination of Graph Rewriting

21 October 2016

10:15 SCARE Common Room (A2 2-222)
PD Dr. habil. Sibylle Fröschle, D Security in Cyber-Physical Systems

30 September 2016

9:00 Hotel Zum Zollhaus, Rastede
Jun.-Prof. Oliver Kramer, D Genetic Algorithms and Machine Learning

28 September 2016

13:30 Hotel Zum Zollhaus, Rastede
Prof. Andre Platzer, USA  A Uniform Substitution Calculus for Differential Dynamic Logic. or: How I Learned to Stop Instantiating and Love the Substitution         

7 July 2016

16:15 OFFIS F02
Dr. Henning Butz, D How to Conquer the Safety Issues of Highly Automated Systems         

4 July 2016

16:00 OFFIS F02
Dr. Sven Linker, UK (Semi-)Automation of Diagrammatic Theorem-proving with Consideration of Readability         

8 April 2016

14:00 SCARE Common Room (A2 2-222)
Dr. Ralf Wimmer, D

Probabilistic Counterexamples (Joint AVACS & SCARE Autumn School)

2 October 2015 11:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. Sven Schewe, UK

Synthesis (Joint AVACS & SCARE Autumn School)

2 October 2015 09:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. Paolo Marin, D

Precision of BlackBox Verification Techniques: Hardness and Technology (Joint AVACS & SCARE Autumn School)

1 October 2015 17:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. David Parker, UK

Probabilistic Model Checking and Controller Synthesis (Joint AVACS & SCARE Autumn School)

1 October 2015 15:30 Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. Thomas Sturm, D

Quantifier Elimination (Joint AVACS & SCARE Autumn School)

1 October 2015 13:30 Uni Haarentor Campus (A14 Hörsaalzentrum)

Prof. André Platzer, USA

Logical Foundations of Cyber-Physical Systems (Joint AVACS & SCARE Autumn School)

1 October 2015 11:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Prof. Goran Frehse, F

Model Checking of Hybrid Systems (Joint AVACS & SCARE Autumn School)

1 October 2015 09:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Mani Swaminathan, MSc, D

"Design meets Verification" for Real-Time and Probabilistic Systems (Joint AVACS & SCARE Autumn School)

30 September 2015 17:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. Andrey Rybalchenko, UK Horn Constraints for Verification and Synthesis (Joint AVACS & SCARE Autumn School)30 September 2015 15:30 Uni Haarentor Campus (A14 Hörsaalzentrum)
Prof. Kim G. Larsen, DK

Real Time Model Checking, Performance Evaluation, Synthesis and Optimization (Joint AVACS & SCARE Autumn School)

30 September 2015 11:00 Uni Haarentor Campus (A14 Hörsaalzentrum)
Prof. Jonathan Bowen, UK How to get your scientific paper published 10 September 2015 16:00 SCARE Common Room (A2 2-222)
Prof. Krzysztof Apt, NL Social Network Games 7 September 2015 16:00 SCARE Common Room (A2 2-222)
Dr. Kamila Barylska, PL

On Binary Words Being Petri Net Solvable

30 June 2015 16:00 SCARE Common Room (A2 2-222)
Dr. Stephanie Kemper, D

A Visual Logic for the Description of Highway Traffic Scenarios

17 June 2015 11:00 SCARE Common Room (A2 2-222)

Dr. Łukasz Mikulski, PL

Generalising Muzurkiewizc Traces

16 June 2015 16:00 SCARE Common Room (A2 2-222)

Prof. Michael R. Hansen, DK

Intensive Course and Practical Exercises on Functional Programming   19 February 2015   14:00 SCARE Common Room (A2 2-222)
Prof. Michael R. Hansen, DK Experience with implementing a model-checking algorithm based on Presburger Arithmetic   18 February 2015   14:00 SCARE Common Room (A2 2-222)  
Dr. Thomas Hujsa, F   Contribution to the Study of Weighted Petri Nets   10 February 2015 16:00 SCARE Common Room (A2 2-222)  

Dr. Martin Zimmermann, D

Infinite Games

21 October 2014

16:00

SCARE Common Room (A2 2-222)

Prof. Dr. Egon Börger, IT

A Transaction Operator for Distributed Pseudo-Code

07 October 2014

14:00

SCARE Common Room (A2 2-222)

Prof. Frank S. de Boer, NL

It's Pointless to Point into Bounded Heaps

29 July 2014 16:00 SCARE Common Room (A2 2-222)
Prof. N. Ramadan, F Interval Methods with applications in Robotics and Hybrid Systems 22 July 2014

16:00

 

SCARE Common Room (A2 2-222)

Prof. Dr. Heike Wehrheim, D

Programs from Proofs

01 July 2014 16:00 SCARE Common Room (A2 2-222)
Prof. Dr. Rüdiger Ehlers, D Resilience to Intermittent Assumption Violations in Reactive Synthesis 24 June 2014 16:00 OFFIS (room D21)
Prof. Dr. Elisabeth Pelz, F Small Universal Petri Nets 27 March 2014 14:15 Uni Haarentor Campus  (A5 1-160)
Prof. Joost-Pieter Katoen, D

Concurrency Meets Probability: Theory and Practice

26 February 2014 16:15

The BIS Lecture Hall within the library building at Uhlhornsweg 49-55

Prof. Gregor v. Bochmann, CA Some Important Concepts Related to State Machine Modeling 22 October 2013 16:00 SCARE Common Room (A2 2-222)
Prof. Dr. Krzysztof  R. Apt, NL Common Knowledge in Email Exchanges 19 August 2013 16:15 OFFIS, Conference Room F02
Dr. Shuling Wang, CN

Deductive Verification of Hybrid Systems

02 July 2013 14:00 OFFIS (room D21)
Prof. Javier Esparza, D

Parameterized Verification of Asynchronous Shared-Memory Systems

3 June 2013 16:15 OFFIS (room F02)
Dipl. Inform. Thorsten Arendt, D

A Tool-supported Model Quality Assurance Process Based on Metrics, Smells, and Refactorings

30 May 2013 12:15 SCARE Common Room (A2 2-222)
Prof. Dr. Gabriele Taentzer, D

Specifying and Recognizing model changes based on Edit Operations

30 May 2013 10:15 SCARE Common Room (A2 2-222)
Prof. Dr. Martin Gogolla, D

Towards Model-Based Engineering with the Object Constraint Language

29 May 2013 13:15

Uni Haarentor Campus (A3 2-209)

Prof. Stefan Hallerstede, DK

On Anticipating Termination in Event-B

22 May 2013 10:15 Uni Haarentor Campus (A3 2-209)
Prof. Arend Rensink, NL

Recipes for Graph Transformation: How to Cook your Rules

20 February 2013

10:00

Uni Haarentor Campus (A3 2-209)

Prof. Barbara König, D

Graph Specification Languages and Applications to the Verification of Graph Transformation Systems

19 February 2013 10:00 Uni Haarentor Campus (A3 2-209)
Prof. David Basin, CH

Monitoring Policy Compliance

14 December 2012 10:15 Uni Haarentor Campus (A14 1-111)


SCARE Workshops:-

Event Speakers Date Time Venue 
Internal ColloquiumChristoph Peuser: Graph Transformation Games for Modeling Adverse Conditions

3 July  2017

14:00 SCARE Common Room (A02 2-222)
Defense Saifullah Khan: Geometry-Predicting Communication Protocols for Car2X Applications

18 May 2017

11:00 OFFIS-Gebäude, Raum D21
Defense Yang Gao: Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)

26 April 2017

9:00 OFFIS-Gebäude, Raum F02
Internal ColloquiumHeinrich Ody: Model Checking of Controllers for Traffic Manoeuvres with Imperfect Information

7 February  2017

16:00 A3 2-209
Defense Mohamed Abdelaal: Enabling Energy-Efficient Wireless Sensing with Improved Service Quality

4 November 2016

14:00 A5 1-159
Internal Colloquium Evgeny Erofeev: Characterisation of sequences synthesisable with Petri nets

31 October 2016

16:00 OFFIS F02
Defense Björn Engelmann: Techniques for the Verification of Dynamically Typed Programs

26 October 2016

14:15 A3 2-209
Defense Nils Erik Flick: Proving correctness of graph programs relative to recursively nested conditions

21 October 2016

14:15 A14 0-031
SCARE Annual Workshop 2016 Program - Group Photo 28-30 September 2016 09:00 Rastede
Defense Hendrik Radke: A Theory of HR* Graph Conditions and their Application to Meta-Modeling

18 March 2016

14:00 BIS Lecture Hall
Internal Colloquium Saifullah Khan: Geometry Predicting Communication Protocols for Car2X Applications

7 March 2016

14:30 OFFIS F02
Internal Colloquium Yang Gao: Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)

29 February 2016

16:00 OFFIS F02
Internal Colloquium Björn Engelmann: Modular Verification of Dynamically-Typed Object-Oriented Programs  

27 November 2015

13:00 SCARE Common Room (A2 2-222)
Blockseminar SCARE Doctorands: Guidance for Scientific Work         

18 November 2015

9:30 SCARE Common Room (A2 2-222)
SCARE Annual Workshop 2015 Program - Group Photo 6-8 October 2015 09:00 Cuxhaven
Internal Colloquium Nils Erik Flick: Correctness of Structure-Changing Systems under Adverse Conditions         

3 August 2015

16:15 SCARE Common Room (A2 2-222)
Internal Colloquium Mohamed Abdelaal: Decentralised Energy Conservation Techniques for Wireless Sensor Networks 16 March 2015 16:00 A5 0-054, Campus Haarentor
Defense Christian Kuka   2 March 2015 11:00 A3, Raum 2-209
SCARE Annual Workshop 2014 Program - Group Photo 13-15 October 2014 09:00 Worpswede
SCARE meeting Björn Engelmann, Nils Erik Flick, Gao Yang, Christoph Peuser, and Heinrich Ody 13 June 2014 14:15

Uni Haarentor Campus (A3 2-214)  
SCARE Annual Workshop 2013 Program - Group Photo 11-13 September 2013 09:00 Cloppenburg
SCARE Kick-off Workshop 2012 Program 13 December 2012 14:00

SCARE Common Room (A2 2-222)


SCARE Seminars:-

Event Speakers Date Time Venue 
SCARE Monthly SeminarAwais Usman

7 March  2017

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly SeminarPeter Nazier Mosaad

20 December 2016

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly seminar Heinrich Ody

18 October 2016

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly seminar Evgeny Erofeev

20 September 2016

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly seminar Thomas Strathmann         

7 June 2016

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Nils Erik Flick Heinrich Ody  

19 January 2016

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Björn Engelmann  26 May 2015 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Peilin Zhang, Md Habibur Rahman 24 March 2015 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar    C. Kuka, Z. Oskenbayeva 06 January 2015 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Christian Kuka and Nils Erik Flick  26 August 2014 14:00

SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Nils Erik Flick and Evgeny Erofeev 29 July 2014 17:00 SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Björn Engelmann, Nils Erik Flick, Gao Yang, Christoph Peuser, and Heinrich Ody 10 June 2014


16:00

Uni Haarentor Campus (A4 2-225)
SCARE Monthly Seminar  Björn Engelman 20 May 2014 16:00 SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Yang Gao and Mohamed Abdelaal 08 April 2014 16:00 SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Nils Erik Flick 18 February 2014 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Saifullah Khan 07 January 2014 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Dilshod Rahmatov, Christoph Peuser, and Heinrich Ody 17 December 2013 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar  Björn Engelmann 03 December 2013 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar

Organizational

02 July 2013 16:00

SCARE Common Room (A2 2-222)

SCARE Monthly Seminar

Prof. Dr. Ernst-Rüdiger Olderog, Mohamed Abdelaal, and Christian Kuka 21 May 2013 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Prof. Dr. Eike Best and Mohamed Abdelaal 23 April 2013 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Björn Engelmann and Hendrik Radke 19 March 2013 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Dilshod Rahmatov, Thomas Strathmann, and Nils Erik Flick 29 January 2013 16:00 SCARE Common Room (A2 2-222)