Runtime Verification of Flow-Based Programming for the Internet of Things (‹Programming› 2018 - Posters)

Who

Davide Ancona, Luca Franceschini, Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Giorgio Delzanno, Marina Ribaudo

Track

‹Programming› 2018 Posters

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

Mon 9 Apr 2018 12:30 - 14:30 at Baie des Anges B - Posters
Tue 10 Apr 2018 16:00 - 16:30 at Baie des Anges B - Posters
Wed 11 Apr 2018 10:00 - 10:30 at Baie des Anges B - Posters
Wed 11 Apr 2018 15:00 - 15:30 at Baie des Anges B - Posters
Thu 12 Apr 2018 10:00 - 10:30 at Baie des Anges B - Posters
Thu 12 Apr 2018 15:00 - 15:30 at Baie des Anges B - Posters

Davide Ancona

University of Genova

Italy

Luca Franceschini

DIBRIS, University of Genova, Italy

Italy

Maurizio Leotta

DIBRIS, University of Genova, Italy

Diego Clerissi

DIBRIS, University of Genova, Italy

Dario Olianas

DIBRIS, University of Genova, Italy

Filippo Ricca

DIBRIS, University of Genova, Italy

Giorgio Delzanno

DIBRIS, University of Genova, Italy

Marina Ribaudo

DIBRIS, University of Genova, Italy

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

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

12:30 - 14:30	PostersPosters at Baie des Anges B

12:30 2h Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
12:30 2h Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen
12:30 2h Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
12:30 2h Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz
12:30 2h Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
12:30 2h Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
12:30 2h Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt

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

16:00 - 16:30	PostersPosters at Baie des Anges B

16:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz
16:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen
16:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt
16:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
16:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
16:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
16:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen

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

10:00 - 10:30	PostersPosters at Baie des Anges B

10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz
10:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
10:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen

15:00 - 15:30	PostersPosters at Baie des Anges B

15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen
15:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz

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

10:00 - 10:30	PostersPosters at Baie des Anges B

10:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz
10:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen

15:00 - 15:30	PostersPosters at Baie des Anges B

15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel Buffa Université Côte d’Azur, CNRS, INRIA, Jérôme Lebrun Université Côte d’Azur, CNRS, INRIA, Jari Kleimola Aalto University, Oliver Larkin University of York, UK, Stéphane Letz
15:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders Stokke University of Bergen, Norway, Anya Helene Bagge University of Bergen, Håkon Heggernes Lerring University of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal Weisenburger Technische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria Eilertsen University of Bergen, Norway, Anya Helene Bagge University of Bergen
15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar Mogk Technische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide Ancona University of Genova, Luca Franceschini DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Diego Clerissi DIBRIS, University of Genova, Italy, Dario Olianas DIBRIS, University of Genova, Italy, Filippo Ricca DIBRIS, University of Genova, Italy, Giorgio Delzanno DIBRIS, University of Genova, Italy, Marina Ribaudo DIBRIS, University of Genova, Italy
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild Aalvik University of Bergen, Anya Helene Bagge University of Bergen, Jaakko Järvi University of Bergen