Porto - NEXTA 2020

VenueAlfândega Porto Congress Centre

Room namePorto

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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

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

Sat 24 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Session IA-MOST at Porto Chair(s): Bernhard Aichernig Graz University of Technology A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

09:00 10m Day opening		Opening A-MOST
09:10 80m Talk		Keynote: Why models? A-MOST I: Ana Paiva Faculty of Engineering of the University of Porto

11:00 - 12:30	Session IIA-MOST at Porto Chair(s): Angelo Gargantini University of Bergamo A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

11:00 30m Full-paper		A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements A-MOST Aitor Arrieta Mondragon Goi Eskola Politeknikoa, Joseba Andoni Agirre Universidad Mondragon , Goiuria Sagardui University of Mondragon Link to publication DOI
11:30 30m Full-paper		A Model-Based Security Testing Approach for Automotive Over-The-Air Updates A-MOST Shahid Mahmood Coventry University , Alexy Fouillade Ecole superieure d’electronique de l’Ouest, Hoang Nga Nguyen Coventry University , Siraj Ahmed Shaikh Coventry University, Coventry, UK Link to publication DOI
12:00 30m Full-paper		Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software A-MOST Franz Wotawa Technische Universitaet Graz, Josip Bozic Graz University of Technology (Alumnus), Yihao Li Institute of Technology, Graz University of Technology Link to publication DOI

14:00 - 15:30	Session IIIA-MOST at Porto Chair(s): Raluca Lefticaru University of Bradford A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

14:00 30m Full-paper		Using tabular notation to support Model Based Testing A-MOST Rachid Kherrazi Akka Technologies Link to publication DOI
14:30 30m Full-paper		Model-Based Testing for MAPE-K adaptation control loops A-MOST Paolo Arcaini National Institute of Informatics , Raffaela Mirandola Politecnico di Milano , Elvinia Riccobene Computer Science Dept., University of Milan, Patrizia Scandurra University of Bergamo, Italy Link to publication DOI
15:00 30m Full-paper		Conformance Testing in UPPAAL: A diabolic approach A-MOST Florian Lorber Aalborg University, Emil Jørgensen Njor Aalborg University, Nikolaj Isgård Schmidt Aalborg University, Sebastian Reidar Petersen Aalborg University Link to publication DOI

16:00 - 17:30	Session IVA-MOST at Porto Chair(s): Florian Lorber Aalborg University A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

16:00 30m Full-paper		Model-Based Testing of Read Only Graph Queries A-MOST Leen Lambers Hasso-Plattner-Institut, Universität Potsdam , Sven Schneider Hasso-Plattner-Institut, Universität Potsdam , Marcel Weisgut Hasso-Plattner-Institut, Universität Potsdam Link to publication DOI
16:30 30m Full-paper		Optimizing decision making in concolic execution using reinforcement learning A-MOST Ciprian Paduraru University of Bucharest , Alin Stefanescu University of Bucharest , Miruna Gabriela Paduraru University of Bucharest Link to publication DOI
17:00 30m Day closing		Closing A-MOST

Sat 24 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Porto	A-MOST Session I																								A-MOST Session II																																				A-MOST Session III																								A-MOST Session IV

Sat 24 Oct
Displayed time zone: Lisbon change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Porto	A-MOST Opening 09:00 - 09:10		A-MOST Keynote: Why models? 09:10 - 10:30																						A-MOST A Tool for the Automatic Generation of Test Cases and Oracles for Simul ... 11:00 - 11:30						A-MOST A Model-Based Security Testing Approach for Automotive Over-The-Air Updates 11:30 - 12:00						A-MOST Ontology-based Testing: An Emerging Paradigm for Modeling and Testing S ... 12:00 - 12:30																								A-MOST Using tabular notation to support Model Based Testing 14:00 - 14:30						A-MOST Model-Based Testing for MAPE-K adaptation control loops 14:30 - 15:00						A-MOST Conformance Testing in UPPAAL: A diabolic approach 15:00 - 15:30												A-MOST Model-Based Testing of Read Only Graph Queries 16:00 - 16:30						A-MOST Optimizing decision making in concolic execution using reinforcement le ... 16:30 - 17:00						A-MOST Closing 17:00 - 17:30

Room information: Porto

Sat 24 Oct
Displayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sat 24 Oct
Displayed time zone: Lisbon change

Tracks

Room information: Porto

Program Display Configuration

Sat 24 OctDisplayed time zone: Lisbon change

Sat 24 OctDisplayed time zone: Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sat 24 OctDisplayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change