Run-time checking of data- and protocol-oriented properties of Java programs (VORTEX 2018)

Blogs (61) >>

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Track

VORTEX 2018

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 17 Jul 2018 16:00 - 16:45 at Bangkok - Session 3 Chair(s): Martin Leucker

Abstract

In this talk I introduce and discuss SAGA, a general framework that combines monitoring and run-time assertion checking. SAGA integrates both data-flow and control flow properties of Java classes and interfaces in a single formalism.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00	Session 3VORTEX at Bangkok Chair(s): Martin Leucker University of Lübeck

16:00 45m Talk		Run-time checking of data- and protocol-oriented properties of Java programsKeynote VORTEX K: Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
16:45 30m Talk		Analysis of SLA Compliance in the Cloud VORTEX Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Elena Giachino , P: Stijn De Gouw , Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Cosimo Laneve , Violet Ka I Pun , Gianluigi Zavattaro

Run-time checking of data- and protocol-oriented properties of Java programs

Keynote

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Frank S. de BoerKeynote Speaker

Centrum Wiskunde & Informatica, Leiden University

Tracks

Co-hosted Conferences

Workshops

Run-time checking of data- and protocol-oriented properties of Java programs

Keynote

Program Display Configuration

Program Display Configuration

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Frank S. de BoerKeynote Speaker

Centrum Wiskunde & Informatica, Leiden University

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change