Conference Dates
Conference Dates are in time zone (GMT+01:00) Greenwich Mean Time : Lisbon, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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
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 |
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
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 |
---|
Sun 25 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
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 |
---|
Mon 26 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
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 |
---|
Tue 27 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
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 |
---|
Wed 28 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
No events planned for this day yet.
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
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 Model-Based Testing of Read Only Graph Queries 16:00 - 16:30 | 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