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 - 14:30 Poster		Software != Programs - Software Behaviour as an Emergent Property Posters Anna Maria EilertsenUniversity of Bergen, Norway, Anya Helene BaggeUniversity of Bergen
	12:30 - 14:30 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 - 14:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	12:30 - 14:30 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 - 14:30 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 - 14:30 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 - 14:30 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 - 16:30 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 - 16:30 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 - 16:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	16:00 - 16:30 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 - 16:30 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 - 16:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	16:00 - 16:30 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 - 10:30 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 - 10:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 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 - 10:30 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 - 15:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	15:00 - 15:30 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 - 15:30 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 - 15:30 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 - 15:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	15:00 - 15:30 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 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 - 10:30 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	10:00 - 10:30 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 - 10:30 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 - 10:30 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 - 10:30 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 - 10:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	10:00 - 10:30 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 - 15:30 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 - 15:30 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 - 15:30 Poster		Distributed Reactive Applications with ScalaLoci Posters Pascal WeisenburgerTechnische Universität Darmstadt
	15:00 - 15:30 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 Poster		Fault-tolerant Reactive Programming Posters Ragnar MogkTechnische Universität Darmstadt
	15:00 - 15:30 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 - 15:30 Poster		VisAST: Generic AST Visualizer for Software Language Education Posters Ragnhild AalvikUniversity of Bergen, Anya Helene BaggeUniversity of Bergen, Jaakko JärviUniversity of Bergen