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
Times are displayed in 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 EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
12:30 2h Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
12:30 2h Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
12:30 2h Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
12:30 2h Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
12:30 2h Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
12:30 2h Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt

Tue 10 Apr
Times are displayed in 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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
16:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
16:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
16:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
16:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
16:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
16:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

Wed 11 Apr
Times are displayed in 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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
10:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen

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

15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
15:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz

Thu 12 Apr
Times are displayed in 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 MogkTechnische Universität Darmstadt
10:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
10:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
10:00 30m Poster		Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
10:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen
10:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
10:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity 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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Côte d’Azur, CNRS, INRIA, Jari KleimolaAalto University, Oliver LarkinUniversity of York, UK, Stéphane Letz
15:00 30m Poster		Automating Testing of Programming Assignments Posters Knut Anders StokkeUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen, Håkon Heggernes LerringUniversity of Bergen, Norway
15:00 30m Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
15:00 30m Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
15:00 30m Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
15:00 30m Poster		Runtime Verification of Flow-Based Programming for the Internet of Things Posters Davide AnconaUniversity of Genova, Luca FranceschiniDIBRIS, University of Genova, Italy, Maurizio LeottaDIBRIS, University of Genova, Italy, Diego ClerissiDIBRIS, University of Genova, Italy, Dario OlianasDIBRIS, University of Genova, Italy, Filippo RiccaDIBRIS, University of Genova, Italy, Giorgio DelzannoDIBRIS, University of Genova, Italy, Marina RibaudoDIBRIS, University of Genova, Italy
15:00 30m Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen