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

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.

Tue 17 Jul

vortex-2018-papers
16:00 - 18:00: VORTEX - Session 3 at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
vortex-2018-papers16:00 - 16:45
Talk
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
vortex-2018-papers16:45 - 17:15
Talk
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro