‹Programming› 2018 (series) / Posters /
Runtime Verification of Flow-Based Programming for the Internet of Things
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
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
Mon 9 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:30 Poster | Software != Programs - Software Behaviour as an Emergent Property Posters | ||
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 BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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, Hå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
Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 16:30 Poster | Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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, Hå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 |
Wed 11 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 11 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 Poster | Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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, Håkon Heggernes LerringUniversity of Bergen, Norway | ||
10:00 - 10:30 Poster | Software != Programs - Software Behaviour as an Emergent Property Posters |
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, Hå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 | ||
15:00 - 15:30 Poster | Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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
Thu 12 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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, Håkon Heggernes LerringUniversity of Bergen, Norway | ||
10:00 - 10:30 Poster | Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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 |
15:00 - 15:30 Poster | Programming virtual musical instruments and audio effects in the Web browser Posters Michel BuffaUniversité Côte d’Azur, CNRS, INRIA, Jérôme LebrunUniversité Cô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, Hå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 | ||
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 |