Program - A-MOST 2020

Time Zone

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

Use conference time zone: (GMT+01:00) Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

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

	09:00 - 09:10 Day opening		Opening A-MOST
	09:10 - 10:30 Talk		Keynote: Why models? A-MOST I: Ana PaivaFaculty of Engineering of the University of Porto

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

	11:00 - 11:30 Full-paper		A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements A-MOST Aitor ArrietaMondragon Goi Eskola Politeknikoa, Joseba Andoni AgirreUniversidad Mondragon , Goiuria SagarduiUniversity of Mondragon Link to publication DOI
	11:30 - 12:00 Full-paper		A Model-Based Security Testing Approach for Automotive Over-The-Air Updates A-MOST Shahid MahmoodCoventry University , Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University , Siraj Ahmed ShaikhCoventry University, Coventry, UK Link to publication DOI
	12:00 - 12:30 Full-paper		Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software A-MOST Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology (Alumnus), Yihao LiInstitute of Technology, Graz University of Technology Link to publication DOI

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

	14:00 - 14:30 Full-paper		Using tabular notation to support Model Based Testing A-MOST Rachid KherraziAkka Technologies Link to publication DOI
	14:30 - 15:00 Full-paper		Model-Based Testing for MAPE-K adaptation control loops A-MOST Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy Link to publication DOI
	15:00 - 15:30 Full-paper		Conformance Testing in UPPAAL: A diabolic approach A-MOST Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University Link to publication DOI

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

	16:00 - 16:30 Full-paper		Model-Based Testing of Read Only Graph Queries A-MOST Leen LambersHasso-Plattner-Institut, Universität Potsdam , Sven SchneiderHasso-Plattner-Institut, Universität Potsdam , Marcel WeisgutHasso-Plattner-Institut, Universität Potsdam Link to publication DOI
	16:30 - 17:00 Full-paper		Optimizing decision making in concolic execution using reinforcement learning A-MOST Ciprian PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest Link to publication DOI
	17:00 - 17:30 Day closing		Closing A-MOST

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : 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

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
Alfândega																																																																	ICST General

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change


Room	2:00	30	3:00	30	4:00	30	5:00	30	6:00	30	7:00		30	8:00	30	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	18:00	30	19:00	30	20:00	30	21:00	30	22:00	30	23:00	30	0:00	30
Alfândega							ICST General
Palácio da Bolsa												ICST General

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change


Room	2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
Palácio da Bolsa																																																	ICST General

Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

No events planned for this day yet.

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : 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

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

A-MOST 2020 Program

Filter Program

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

ICST General

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Tracks

A-MOST 2020 Program

Filter Program

Program Display Configuration

Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sun 25 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

Mon 26 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

ICST General

Tue 27 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

ICST General

Wed 28 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change