Truffle 2022
Mon 6 - Fri 10 June 2022 Berlin, Germany
co-located with ECOOP 2022
ECOOP 2022 (series) / Truffle 2022 (series) / Scandic Potsdamer Platz, Berlin /

Room information: Stockholm

VenueScandic Potsdamer Platz, Berlin
Room nameStockholm
Floor2
Capacity54
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 6 Jun

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

11:00 - 12:30
Morning sessionVORTEX at Stockholm
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
11:00
5m
Day opening
Opening
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta
11:05
40m
Keynote
Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
VORTEX
I: Nobuko Yoshida Imperial College London
11:45
20m
Talk
Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
VORTEX
S: Gaurav Gupta , Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
12:05
20m
Talk
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
VORTEX
S: Rahul Bharadwaj Pendyala , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Abhinandan Panda
13:30 - 15:00
First afternoon sessionVORTEX at Stockholm
Chair(s): Gary T. Leavens University of Central Florida
13:30
40m
Keynote
Hardware-assisted Runtime Monitoring
VORTEX
I: Volker Stolz Høgskulen på Vestlandet
Link to publication
14:10
20m
Talk
Predictive Semantics for Past-CTL Runtime Monitors
VORTEX
S: Giorgio Audrito Università di Torino, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta
14:30
20m
Talk
HIBOU : Tooling Offline Runtime Verification against Interaction Models
VORTEX
S: Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall CentraleSupelec
15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
S: Richard Lipka
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta

Mon 6 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Stockholm

VORTEX

VORTEX

Morning session

VORTEX

First afternoon session

VORTEX

Second afternoon session

Mon 6 Jun

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Stockholm
VORTEX
Opening
11:00 - 11:05
VORTEX
Specification-Guided Hybrid Dynamic Verification for Parallel and Dist ...
11:05 - 11:45
VORTEX
Towards a Secure Framework for Artifact-centric Workflows Leveraging Ru ...
11:45 - 12:05
VORTEX
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitorin ...
12:05 - 12:25
VORTEX
Hardware-assisted Runtime Monitoring
13:30 - 14:10
VORTEX
Predictive Semantics for Past-CTL Runtime Monitors
14:10 - 14:30
VORTEX
HIBOU : Tooling Offline Runtime Verification against Interaction Models
14:30 - 14:50
VORTEX
To Monitorability and Beyond (online talk)
15:30 - 16:10
VORTEX
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
16:10 - 16:30
VORTEX
Runtime monitoring of Java duplicate memory allocations (online talk)
16:30 - 16:50
VORTEX
Closing
16:50 - 16:55