Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Events

Invited talks

Invited Speaker  Title Date Time Venue 

Dr. Verena Klös, Technical University of Berlin

Safe, Intelligent and  Explainable Self-adaptive Systems

02 July 2021 09:00 Onlineformat
Prof. Dr. Gleifer Vaz Alves, Federal University of Technology in
Paraná, Brazil

An Agent-based approach towards Model, Implementation and Formal Verification of Road Junction Rules for an Autonomous Vehicle

11 June 2021 15:00 Onlineformat
Prof. Dr. Wolfgang Reisig HERAKLIT. How to model reliable big systems. 05 February 2021 13:00 Onlineformat

Prof. Dr. Krzysztof R. Apt

Verification of Distributed Epistemic Gossip Protocols

03 September 2020 11:00 Onlineformat
Jun.-Prof. Dr.-Ing. Christoph Sommer from University of Paderborn Cooperative Mobile Systems – Wireless Networks vs. Extreme Topology Dynamics

03 March 2020

14:00 A03 2-209

Prof. Dr. Gregor v. Bochmann, University of Ottawa, Canada

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers 12 June 2019 16:00 A5 2-229
Prof. Dr. Joel Greenyer, Universität Hannover Scenario-based Modeling of Dynamic Topology System with ScenarioTools and SMLK 7 June 2019 10:15 F02, OFFIS
Prof. Dr. Andre Platzer, Carnegie Mellon University, USA Safe AI and Cyber-Physical Systems 24 April 2019 10:45 F02, OFFIS
Uli Fahrenberg, LIX Energy Automata, Energy Functions, Kleene Algebra 31 January 2019 16.15 F02, OFFIS

Dr. Maria Rimini-Döring, Robert Bosch GmbH

Invented for life: Megatrends and Technology Innovation at Bosch 7 December 2018 11:30 F02, OFFIS

Prof. Dr. Javier Esparza, TU München

Black Ninjas in the Dark: Analyzing Population Protocols 12 November 2018 11:00

A3 2-209

Prof. Dr. Thomas Weise, Hefei University

Automating Scientific Work in Optimization 24 October 2018 13:30

SCARE Common Room (A2 2-222)

Dr. Karin Quaas, Uni Leipzig

On the Containment Problem for Unambiguous Register Automata 11 September 2018 16:00

A3 2-209

Adrián Puerto Aubel

Elementary Net Systems 4 September 2018 16:00

SCARE Common Room (A2 2-222)

Prof. Dr. Krzsyztof R. Apt

Tutorial Lecture on Games 20 August 2018 14:00

A3 2-209

Prof. Dr. Krzsyztof R. Apt Self-Stabilization Through the Lens of Game Theory 20 August 2018 11:00

BIS Saal

Prof. Dr. Viorica Sofronie-Stokkermans

Automated Reasoning in Complex Theories and Applications to Verification

2 July 2018 14:00 BIS Saal
Prof. Dr. Radu Grosu, TU Wien Explainable Recurrent Neural Networks: Modeling, Learning & Verification 8 June 2018 14:00 BIS Saal
Prof. Lucia Pomello Modular system development composing Petri nets by morphisms 19 April 2018 14:00 SCARE Common Room (A2 2-222)
Prof. Dr. Gregor v. Bochmann Internet Security – research projects exploring different issues 27 February 2018 16:00 SCARE Common Room (A2 2-222)
Dr. Stefano Tonetta, IT SMT-Based Satisfiability of Temporal Logic

25 October 2017

13:30 Hotel Jagdhaus Eiden, Bad Zwischenahn
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-11

SCARE workshops

Event Speakers Date Time Venue 
Internal Colloquium Manuel Gieseking: Correctness of Local Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis 25 November 2020 16:00 Video
Defense Peilin Zhang: Improving End-to-end Quality of Service in Low-power Wireless Sensor Networks 05 June 2020 15:30 A3 2-209
Defense Nils-Steffen Worzyk: Adversarials-1: Detecting Adversarial Inputs with Internal Attacks 13 May 2020 11:30 Onlineformat
Defense Almuth Meier: Prediction-Based Nature-Inspired Dynamic Optimization 20 April 2020 14:15 OFFiS-Gebäude F02
Defense Heinrich Ody: Monitoring of Traffic Manoeuvres with Imprecise Information 27 March 2020 15:30 A03 2-209
Defense Maike Schwammberger: Distributed Controllers for Provably Safe, Live and Fair
Autonomous Car Manoevres in Urban Traffic
20 March 2020 10:00 A14 1-111
SCARE Annual Workshop Program 28 - 30 October 2019 10:00 Wilhelmshaven
Defense Peter Nazier Mosaad: Handling Delay Differential Equations in Automatic Verification 21 October 2019 13:00 A2 2-209
Internal Colloquium Nils Worzyk: Adversarial Inputs and How to Threat Them 25 February 2019 16:30 OFFiS-Gebäude F02
Internal Colloquium Almuth Meier: Prediction-based Dynamic Evolutionary Optimization 25 February 2019 15:00 OFFiS-Gebäude F02
Internal Colloquium Maike Schwammberger: Communicating Controllers for Life and Safe Car Manoeuvres on Freeways and in Urban Traffic 26 November 2018 16:15 OFFIS-Gebäude F02
Defense Uli Schlachter: Petri Net Synthesis and Modal Specifications 12 November 2018 14:00 OFFIS-Gebäude, F02
SCARE Annual Workshop 2018 Program 10 - 12 October 2018 10:00 Garrel
Defense Evgeny Erofeev: Characterisation of a Class of Petri Net Solvable Transition Systems 20 April 2018 14:30 OFFIS-Gebäude, Raum D21
SCARE Annual Workshop 2017 Program - Group Photo 25 - 27 October 2017 09:00 Bad Zwischenahn
Internal Colloquium Christoph 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 Colloquium Heinrich 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 Seminar Okan Özkan 11 June 2021 14:00 Video
SCARE Monthly Seminar Maike Schwammberger 24 September 2020 9:00 Video
SCARE Monthly Seminar Mehrdad Poorhosseini 24 August 2020 14:00 Video
SCARE Monthly Seminar Okan Özkan 17 July 2020 15:00 Video
SCARE Monthly Seminar Erzana Berani Abdelwahab 14 August 2019 16:00 A5 2-229
SCARE Monthly Seminar Nick Würdemann 6 June 2019 15:30 A5 2-229
SCARE Monthly Seminar Farzaneh Moradkhani 5 May 2019 16:00 A5 2-229
SCARE Monthly Seminar Stephan Adolf 27 March 2019 16:00 A5 2-229
SCARE Monthly Seminar Philip Mirbach 30 January 2019 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Maike Schwammberger 22 May 2018 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Almuth Meier 17 April 2018 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Christoph Peuser, Nils Worzyk 20 February 2018 16:15 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Welcome meeting for new PhD students 30 January 2018 16:00 A3 2-209
SCARE Monthly Seminar Prof. Dr. Ernst-Rüdiger Olderog and Maike Schwammberger 28 November 2017 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Uli Schlachter, Heinrich Ody 29 August 2017 16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Awais Usman

7 March  2017

16:00 SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Peter 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 FlickHeinrich 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)
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page