Skip to main content

Research & Teaching

Prof. Dr. Jan Oliver Ringert, Professor for Software Engineering at Bauhaus-Universität Weimar, private homepage and blog

Search This Blog

News/Blog
Teaching/Service
Publications
About
Disclaimer

Showing posts with the label syntech

Posts

Verifiability Talk 19: Synthesis Technologies for Reactive Systems

on October 07, 2021

+

Get link
Facebook
X
Pinterest
Email
Other Apps

Reactive Synthesis with Spectra: A Tutorial

on May 25, 2021

+

Get link
Facebook
X
Pinterest
Email
Other Apps

On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (accepted to RoSE@ICSE'18)

on March 06, 2018

+

Get link
Facebook
X
Pinterest
Email
Other Apps

Archive

November 20221
September 20221
July 20221
June 20222
May 20222
April 20221
March 20222
October 20211
August 20212
June 20212

May 20213
December 20201
October 20201
July 20204
June 20201
March 20201
February 20201
January 20201
December 20191
September 20191
August 20192
July 20192
June 20192
May 20191
April 20192
March 20191
February 20191
January 20191
December 20183
November 20181
October 20181
September 20182
August 20182
July 20182
June 20184
May 20182
April 20181
March 20181
February 20181

Show more Show less

Labels

AADC
DriverLeics
fs-ai
outreach
paper
SummerScience
syntech
uol

Report Abuse

Most Read

Interview at Bauhaus University Weimar

Visiting University of Bergamo

Kinderuni: Autononous vehicles (how) do they work?

Powered by Blogger