Program - A-MOST 2020

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

Apply

Filter

Badges

Your Program

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

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

09:00 - 10:30: A-MOST - Session I at Porto
Chair(s): Bernhard AichernigGraz University of Technology

09:00 - 09:10
Day opening

Opening

09:10 - 10:30
Talk

Keynote: Why models?

I: Ana PaivaFaculty of Engineering of the University of Porto

11:00 - 12:30: A-MOST - Session II at Porto
Chair(s): Angelo GargantiniUniversity of Bergamo

11:00 - 11:30
Full-paper

A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

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

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

Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology, Yihao LiInstitute of Technology, Graz University of Technology

Link to publication DOI

14:00 - 15:30: A-MOST - Session III at Porto
Chair(s): Raluca LefticaruUniversity of Bradford

14:00 - 14:30
Full-paper

Using tabular notation to support Model Based Testing

Rachid KherraziAkka Technologies

Link to publication DOI

14:30 - 15:00
Full-paper

Model-Based Testing for MAPE-K adaptation control loops

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

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: A-MOST - Session IV at Porto
Chair(s): Florian LorberAalborg University

16:00 - 16:30
Full-paper

Model-Based Testing of Read Only Graph Queries

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

Ciprian PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest

Link to publication DOI

17:00 - 17:30
Day closing

Closing

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) 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: (GMT+01:00) 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
Alfândega																																																																	ICST General

Mon 26 Oct
Times are displayed in time zone: (GMT+01:00) 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
Alfândega							ICST General
Palácio da Bolsa												ICST General

Tue 27 Oct
Times are displayed in time zone: (GMT+01:00) 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
Palácio da Bolsa																																																	ICST General

Wed 28 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

No events planned for this day yet.

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) 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

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sun 25 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

Mon 26 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

ICST General

Tue 27 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

Wed 28 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

This program is tentative and subject to change.

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Tracks

Display in different time zone

A-MOST 2020 Program

This program is tentative and subject to change.

Sat 24 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

This program is tentative and subject to change.

Sat 24 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

A-MOST

A-MOST

A-MOST

A-MOST

Sun 25 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

Mon 26 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

ICST General

Tue 27 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

ICST General

Wed 28 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

This program is tentative and subject to change.

Sat 24 Oct Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Sun 25 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Mon 26 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Tue 27 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Wed 28 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change

Sat 24 Oct
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Lisbon change