Contact

EMail:

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

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

D-26111 Oldenburg, Germany

COODINATOR

Ira Wempe,

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

D-26111 Oldenburg, Germany

Events

Invited talks

Invited Speaker TitleDateTimeVenue 

Dr. Verena Klös, Technical University of Berlin

Safe, Intelligent and  Explainable Self-adaptive Systems

02 July 202109:00Onlineformat
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 202115:00Onlineformat
Prof. Dr. Wolfgang ReisigHERAKLIT. How to model reliable big systems.05 February 202113:00Onlineformat

Prof. Dr. Krzysztof R. Apt

Verification of Distributed Epistemic Gossip Protocols

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

03 March 2020

14:00A03 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 Controllers12 June 201916:00A5 2-229
Prof. Dr. Joel Greenyer, Universität HannoverScenario-based Modeling of Dynamic Topology System with ScenarioTools and SMLK7 June 201910:15F02, OFFIS
Prof. Dr. Andre Platzer, Carnegie Mellon University, USASafe AI and Cyber-Physical Systems24 April 201910:45F02, OFFIS
Uli Fahrenberg, LIXEnergy Automata, Energy Functions, Kleene Algebra31 January 201916.15F02, OFFIS

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

Invented for life: Megatrends and Technology Innovation at Bosch7 December 201811:30F02, OFFIS

Prof. Dr. Javier Esparza, TU München

Black Ninjas in the Dark: Analyzing Population Protocols12 November 201811:00

A3 2-209

Prof. Dr. Thomas Weise, Hefei University

Automating Scientific Work in Optimization24 October 201813:30

SCARE Common Room (A2 2-222)

Dr. Karin Quaas, Uni Leipzig

On the Containment Problem for Unambiguous Register Automata11 September 201816:00

A3 2-209

Adrián Puerto Aubel

Elementary Net Systems4 September 201816:00

SCARE Common Room (A2 2-222)

Prof. Dr. Krzsyztof R. Apt

Tutorial Lecture on Games20 August 201814:00

A3 2-209

Prof. Dr. Krzsyztof R. AptSelf-Stabilization Through the Lens of Game Theory20 August 201811:00

BIS Saal

Prof. Dr. Viorica Sofronie-Stokkermans

Automated Reasoning in Complex Theories and Applications to Verification

2 July 201814:00BIS Saal
Prof. Dr. Radu Grosu, TU WienExplainable Recurrent Neural Networks: Modeling, Learning & Verification8 June 201814:00BIS Saal
Prof. Lucia PomelloModular system development composing Petri nets by morphisms19 April 201814:00SCARE Common Room (A2 2-222)
Prof. Dr. Gregor v. BochmannInternet Security – research projects exploring different issues27 February 201816:00SCARE Common Room (A2 2-222)
Dr. Stefano Tonetta, ITSMT-Based Satisfiability of Temporal Logic

25 October 2017

13:30Hotel Jagdhaus Eiden, Bad Zwischenahn
Prof. Raymond Devillers, BEFactorisation of Transition Systems

16 May 2017

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

2 May 2017

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

25 April 2017

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

13 December 2016

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

21 October 2016

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

30 September 2016

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

28 September 2016

13:30Hotel 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:15OFFIS F02
Dr. Henning Butz, DHow to Conquer the Safety Issues of Highly Automated Systems         

4 July 2016

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

8 April 2016

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

Probabilistic Counterexamples (Joint AVACS & SCARE Autumn School)

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

Synthesis (Joint AVACS & SCARE Autumn School)

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

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

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

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

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

Quantifier Elimination (Joint AVACS & SCARE Autumn School)

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

Prof. André Platzer, USA

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

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

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

1 October 201509:00Uni 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 201517:00Uni Haarentor Campus (A14 Hörsaalzentrum)
Dr. Andrey Rybalchenko, UKHorn Constraints for Verification and Synthesis (Joint AVACS & SCARE Autumn School)30 September 201515:30Uni 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 201511:00Uni Haarentor Campus (A14 Hörsaalzentrum)
Prof. Jonathan Bowen, UKHow to get your scientific paper published10 September 201516:00SCARE Common Room (A2 2-222)
Prof. Krzysztof Apt, NLSocial Network Games7 September 201516:00SCARE Common Room (A2 2-222)
Dr. Kamila Barylska, PL

On Binary Words Being Petri Net Solvable

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

A Visual Logic for the Description of Highway Traffic Scenarios

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

Dr. Łukasz Mikulski, PL

Generalising Muzurkiewizc Traces

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

Prof. Michael R. Hansen, DK

Intensive Course and Practical Exercises on Functional Programming  19 February 2015  14:00SCARE Common Room (A2 2-222)
Prof. Michael R. Hansen, DKExperience with implementing a model-checking algorithm based on Presburger Arithmetic  18 February 2015  14:00SCARE Common Room (A2 2-222)  
Dr. Thomas Hujsa, F  Contribution to the Study of Weighted Petri Nets 10 February 201516:00SCARE 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 201416:00SCARE Common Room (A2 2-222)
Prof. N. Ramadan, FInterval Methods with applications in Robotics and Hybrid Systems22 July 2014

16:00

 

SCARE Common Room (A2 2-222)

Prof. Dr. Heike Wehrheim, D

Programs from Proofs

01 July 201416:00SCARE Common Room (A2 2-222)
Prof. Dr. Rüdiger Ehlers, DResilience to Intermittent Assumption Violations in Reactive Synthesis24 June 201416:00OFFIS (room D21)
Prof. Dr. Elisabeth Pelz, FSmall Universal Petri Nets27 March 201414:15Uni Haarentor Campus  (A5 1-160)
Prof. Joost-Pieter Katoen, D

Concurrency Meets Probability: Theory and Practice

26 February 201416:15

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

Prof. Gregor v. Bochmann, CASome Important Concepts Related to State Machine Modeling22 October 201316:00SCARE Common Room (A2 2-222)
Prof. Dr. Krzysztof  R. Apt, NLCommon Knowledge in Email Exchanges19 August 201316:15OFFIS, Conference Room F02
Dr. Shuling Wang, CN

Deductive Verification of Hybrid Systems

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

Parameterized Verification of Asynchronous Shared-Memory Systems

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

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

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

Specifying and Recognizing model changes based on Edit Operations

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

Towards Model-Based Engineering with the Object Constraint Language

29 May 201313:15

Uni Haarentor Campus (A3 2-209)

Prof. Stefan Hallerstede, DK

On Anticipating Termination in Event-B

22 May 201310:15Uni 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 201310:00Uni Haarentor Campus (A3 2-209)
Prof. David Basin, CH

Monitoring Policy Compliance

14 December 201210:15Uni Haarentor Campus (A14 1-11

SCARE workshops

EventSpeakersDateTimeVenue 
Internal ColloquiumManuel Gieseking: Correctness of Local Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis25 November 202016:00Video
DefensePeilin Zhang: Improving End-to-end Quality of Service in Low-power Wireless Sensor Networks05 June 202015:30A3 2-209
DefenseNils-Steffen Worzyk: Adversarials-1: Detecting Adversarial Inputs with Internal Attacks13 May 202011:30Onlineformat
DefenseAlmuth Meier: Prediction-Based Nature-Inspired Dynamic Optimization20 April 202014:15OFFiS-Gebäude F02
DefenseHeinrich Ody: Monitoring of Traffic Manoeuvres with Imprecise Information27 March 202015:30A03 2-209
DefenseMaike Schwammberger: Distributed Controllers for Provably Safe, Live and Fair
Autonomous Car Manoevres in Urban Traffic
20 March 202010:00A14 1-111
SCARE Annual WorkshopProgram28 - 30 October 201910:00Wilhelmshaven
DefensePeter Nazier Mosaad: Handling Delay Differential Equations in Automatic Verification21 October 201913:00A2 2-209
Internal ColloquiumNils Worzyk: Adversarial Inputs and How to Threat Them25 February 201916:30OFFiS-Gebäude F02
Internal ColloquiumAlmuth Meier: Prediction-based Dynamic Evolutionary Optimization25 February 201915:00OFFiS-Gebäude F02
Internal ColloquiumMaike Schwammberger: Communicating Controllers for Life and Safe Car Manoeuvres on Freeways and in Urban Traffic26 November 201816:15OFFIS-Gebäude F02
DefenseUli Schlachter: Petri Net Synthesis and Modal Specifications12 November 201814:00OFFIS-Gebäude, F02
SCARE Annual Workshop 2018Program10 - 12 October 201810:00Garrel
DefenseEvgeny Erofeev:Characterisation of a Class of Petri Net Solvable Transition Systems20 April 201814:30OFFIS-Gebäude, Raum D21
SCARE Annual Workshop 2017Program - Group Photo25 - 27 October 201709:00Bad Zwischenahn
Internal ColloquiumChristoph Peuser:Graph Transformation Games for Modeling Adverse Conditions

3 July  2017

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

18 May 2017

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

26 April 2017

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

7 February  2017

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

4 November 2016

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

31 October 2016

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

26 October 2016

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

21 October 2016

14:15A14 0-031
SCARE Annual Workshop 2016Program - Group Photo28-30 September 201609:00Rastede
DefenseHendrik Radke: A Theory of HR* Graph Conditions and their Application to Meta-Modeling

18 March 2016

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

7 March 2016

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

29 February 2016

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

27 November 2015

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

18 November 2015

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

3 August 2015

16:15SCARE Common Room (A2 2-222)
Internal ColloquiumMohamed Abdelaal: Decentralised Energy Conservation Techniques for Wireless Sensor Networks16 March 201516:00A5 0-054, Campus Haarentor
DefenseChristian Kuka  2 March 201511:00A3, Raum 2-209
SCARE Annual Workshop 2014Program - Group Photo13-15 October 201409:00Worpswede
SCARE meetingBjörn Engelmann, Nils Erik Flick, Gao Yang, Christoph Peuser, and Heinrich Ody13 June 201414:15
 
Uni Haarentor Campus (A3 2-214)  
SCARE Annual Workshop 2013Program - Group Photo11-13 September 201309:00Cloppenburg
SCARE Kick-off Workshop 2012Program13 December 201214:00

SCARE Common Room (A2 2-222)

SCARE seminars

EventSpeakersDateTimeVenue 
SCARE Monthly SeminarOkan Özkan11 June 202114:00Video
SCARE Monthly SeminarMaike Schwammberger24 September 20209:00Video
SCARE Monthly SeminarMehrdad Poorhosseini24 August 202014:00Video
SCARE Monthly SeminarOkan Özkan17 July 202015:00Video
SCARE Monthly SeminarErzana Berani Abdelwahab14 August 201916:00A5 2-229
SCARE Monthly SeminarNick Würdemann6 June 201915:30A5 2-229
SCARE Monthly SeminarFarzaneh Moradkhani5 May 201916:00A5 2-229
SCARE Monthly SeminarStephan Adolf27 March 201916:00A5 2-229
SCARE Monthly SeminarPhilip Mirbach30 January 201916:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarMaike Schwammberger22 May 201816:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarAlmuth Meier17 April 201816:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarChristoph Peuser, Nils Worzyk20 February 201816:15SCARE Common Room (A2 2-222)
SCARE Monthly SeminarWelcome meeting for new PhD students30 January 201816:00A3 2-209
SCARE Monthly SeminarProf. Dr. Ernst-Rüdiger Olderog and Maike Schwammberger28 November 201716:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarUli Schlachter, Heinrich Ody29 August 201716:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarAwais Usman

7 March  2017

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

20 December 2016

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

18 October 2016

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

20 September 2016

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

7 June 2016

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

19 January 2016

16:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Björn Engelmann 26 May 201516:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Peilin Zhang, Md Habibur Rahman24 March 201516:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar   C. Kuka, Z. Oskenbayeva06 January 201516:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Christian Kuka and Nils Erik Flick 26 August 201414:00

SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Nils Erik Flick and Evgeny Erofeev29 July 201417:00SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

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

 

16:00

Uni Haarentor Campus (A4 2-225)
SCARE Monthly Seminar Björn Engelman20 May 201416:00SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Yang Gao and Mohamed Abdelaal08 April 201416:00SCARE Common Room (A2 2-222)

SCARE Monthly Seminar 

Nils Erik Flick18 February 201416:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Saifullah Khan07 January 201416:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Dilshod Rahmatov, Christoph Peuser, and Heinrich Ody17 December 201316:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar Björn Engelmann03 December 201316:00SCARE Common Room (A2 2-222)
SCARE Monthly Seminar

Organizational

02 July 201316:00

SCARE Common Room (A2 2-222)

SCARE Monthly Seminar

Prof. Dr. Ernst-Rüdiger Olderog, Mohamed Abdelaal, and Christian Kuka21 May 201316:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarProf. Dr. Eike Best and Mohamed Abdelaal23 April 201316:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarBjörn Engelmann and Hendrik Radke19 March 201316:00SCARE Common Room (A2 2-222)
SCARE Monthly SeminarDilshod Rahmatov, Thomas Strathmann, and Nils Erik Flick29 January 201316:00SCARE Common Room (A2 2-222)
(Changed: 2021-07-22)