Jan Oliver Ringert

461 subscribers

116 videos

View on YouTube

Model-Based Software Engineering, Formal Methods for Software Engineering with applications to autonomous systems.

Latest Videos

Generating JavaScript code for Blockly Turtle Language

Generating JavaScript code for Blockly Turtle Language

Jan Oliver Ringert

29 views·6 days ago

Blockly Turtle Language

Blockly Turtle Language

Jan Oliver Ringert

16 views·6 days ago

Blockly Code generation for inputs and constant folding

Blockly Code generation for inputs and constant folding

Jan Oliver Ringert

9 views·1 week ago

Blockly Fields vs. Inputs in Blocks

Blockly Fields vs. Inputs in Blocks

Jan Oliver Ringert

9 views·1 week ago

Simple Blockly Code Generator

Simple Blockly Code Generator

Jan Oliver Ringert

13 views·1 week ago

Defining Blockly Blocks

Defining Blockly Blocks

Jan Oliver Ringert

16 views·1 week ago

Installation of node.js and Blockly tutorial

Installation of node.js and Blockly tutorial

Jan Oliver Ringert

40 views·1 week ago

Digital Engineering Welcome Summer 2026

Digital Engineering Welcome Summer 2026

Jan Oliver Ringert

46 views·1 month ago

PC configuration constraints solver with JavaSMT (updated 2025)

PC configuration constraints solver with JavaSMT (updated 2025)

Jan Oliver Ringert

34 views·5 months ago

MSc Digital Engineering Faculty Welcome Winter 202526

MSc Digital Engineering Faculty Welcome Winter 202526

Jan Oliver Ringert

30 views·6 months ago

Specification Engineering (Dagstuhl Seminar)

Specification Engineering (Dagstuhl Seminar)

Jan Oliver Ringert

15 views·7 months ago

BSc Informatik @ Bauhaus-Universität Weimar

BSc Informatik @ Bauhaus-Universität Weimar

Jan Oliver Ringert

56 views·11 months ago

Digital Engineering Welcome and Profile Lines (Summer 2025)

Jan Oliver Ringert

80 views·1 year ago

Spectra Tutorial Updates 2025

Spectra Tutorial Updates 2025

Jan Oliver Ringert

154 views·1 year ago

Java Inheritance Christmas Song

Java Inheritance Christmas Song

Jan Oliver Ringert

54 views·1 year ago

Exceptions in Java Christmas Song

Exceptions in Java Christmas Song

Jan Oliver Ringert

40 views·1 year ago

Digital Engineering Welcome 202425

Digital Engineering Welcome 202425

Jan Oliver Ringert

268 views·1 year ago

Satisfiability Checking Example (Formal Mehods Playground)

Satisfiability Checking Example (Formal Mehods Playground)

Jan Oliver Ringert

83 views·1 year ago

Validity Checking Example (Formal Methods Playground)

Validity Checking Example (Formal Methods Playground)

Jan Oliver Ringert

78 views·1 year ago

Alloy Analyzer Traffic Light Example (Formal Methods Playground)

Alloy Analyzer Traffic Light Example (Formal Methods Playground)

Jan Oliver Ringert

615 views·1 year ago

SMT Linear Arithmentic Example Cat, Dog, Mouse (Formal Methods Playground)

SMT Linear Arithmentic Example Cat, Dog, Mouse (Formal Methods Playground)

Jan Oliver Ringert

69 views·1 year ago

SMT Drinker's Paradox Example (Formal Methods Playground)

SMT Drinker's Paradox Example (Formal Methods Playground)

Jan Oliver Ringert

128 views·1 year ago

Formal Methods Playground Overview

Formal Methods Playground Overview

Jan Oliver Ringert

244 views·1 year ago

Installing VSCode on Ubuntu for a Java and Gradle project

Installing VSCode on Ubuntu for a Java and Gradle project

Jan Oliver Ringert

500 views·2 years ago

JavaFX and CLI template projects with SQL and CSV

JavaFX and CLI template projects with SQL and CSV

Jan Oliver Ringert

766 views·2 years ago

Digital Engineering Welcome Summer 2024

Digital Engineering Welcome Summer 2024

Jan Oliver Ringert

198 views·2 years ago

Applications of LTL Model Checking

Applications of LTL Model Checking

Jan Oliver Ringert

324 views·2 years ago

LTL Model Checking

LTL Model Checking

Jan Oliver Ringert

511 views·2 years ago

LTL & Model Checking

LTL & Model Checking

Jan Oliver Ringert

1.2K views·2 years ago

Linear Temporal Logic

Linear Temporal Logic

Jan Oliver Ringert

1.6K views·2 years ago

Load More Videos

Jan Oliver Ringert - NatokHD | NatokHD