A-MOST 2020 Contributors

Sat 24 Oct 2020 Porto, Portugal

co-located with ICST 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Session Chair of Session I (part of A-MOST) Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Joseba Andoni AgirreAndoni Agirre, Joseba Universidad Mondragon Spain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Model-Based Testing for MAPE-K adaptation control loops Committee Member in Program Committee within the A-MOST-track
Aitor ArrietaArrieta, Aitor Mondragon Goi Eskola PoliteknikoaSpain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
B Kirill BogdanovBogdanov, Kirill The University of SheffieldUnited Kingdom Committee Member in Program Committee within the A-MOST-track
Josip BozicBozic, Josip Graz University of Technology (Alumnus)Austria Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
C Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the A-MOST-track
D Xavier DevroeyDevroey, Xavier Delft University of TechnologyNetherlands Committee Member in Program Committee within the A-MOST-track
F Alexy FouilladeFouillade, Alexy Ecole superieure d’electronique de l’OuestFrance A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
G Miruna Gabriela PaduraruGabriela Paduraru, Miruna University of Bucharest Romania Optimizing decision making in concolic execution using reinforcement learning
Angelo GargantiniGargantini, Angelo University of BergamoItaly Session Chair of Session II (part of A-MOST) Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
I Florentin IpateIpate, Florentin University of BucharestRomania Committee Member in Program Committee within the A-MOST-track
Nikolaj Isgård SchmidtIsgård Schmidt, Nikolaj Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
J Emil Jørgensen NjorJørgensen Njor, Emil Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
K Rachid KherraziKherrazi, Rachid Akka TechnologiesNetherlands Using tabular notation to support Model Based Testing
L Leen LambersLambers, Leen Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries
Raluca LefticaruLefticaru, Raluca University of BradfordUnited Kingdom Session Chair of Session III (part of A-MOST) Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Bruno LegeardLegeard, Bruno FEMTO-ST / DISCFrance Committee Member in Program Committee within the A-MOST-track
Yihao LiLi, Yihao Institute of Technology, Graz University of TechnologyAustria Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Florian LorberLorber, Florian Aalborg UniversityDenmark Session Chair of Session IV (part of A-MOST) Conformance Testing in UPPAAL: A diabolic approach Committee Member in Program Committee within the A-MOST-track
M Shahid MahmoodMahmood, Shahid Coventry University United Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Mercedes MerayoMerayo, Mercedes Universidad Complutense de MadridSpain Committee Member in Program Committee within the A-MOST-track
Raffaela MirandolaMirandola, Raffaela Politecnico di Milano Italy Model-Based Testing for MAPE-K adaptation control loops
N Hoang Nga NguyenNga Nguyen, Hoang Coventry University United Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Dejan NickovicNickovic, Dejan Austrian Institute of Technology Committee Member in Program Committee within the A-MOST-track
P Ciprian PaduraruPaduraru, Ciprian University of Bucharest Romania Optimizing decision making in concolic execution using reinforcement learning
Ana PaivaPaiva, Ana Faculty of Engineering of the University of PortoPortugal Keynote: Why models? Committee Member in Program Committee within the A-MOST-track
Alexandre PetrenkoPetrenko, Alexandre CRIMCanada Committee Member in Program Committee within the A-MOST-track
R Sebastian Reidar PetersenReidar Petersen, Sebastian Aalborg UniversityDenmark Conformance Testing in UPPAAL: A diabolic approach
Elvinia RiccobeneRiccobene, Elvinia Computer Science Dept., University of MilanItaly Model-Based Testing for MAPE-K adaptation control loops
S Goiuria SagarduiSagardui, Goiuria University of Mondragon Spain A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Patrizia ScandurraScandurra, Patrizia University of Bergamo, ItalyItaly Model-Based Testing for MAPE-K adaptation control loops
Sven SchneiderSchneider, Sven Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries
Siraj Ahmed ShaikhShaikh, Siraj Ahmed Coventry University, Coventry, UKUnited Kingdom A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Alin StefanescuStefanescu, Alin University of Bucharest Romania Optimizing decision making in concolic execution using reinforcement learning
W Marcel WeisgutWeisgut, Marcel Hasso-Plattner-Institut, Universität Potsdam Germany Model-Based Testing of Read Only Graph Queries
Franz WotawaWotawa, Franz Technische Universitaet GrazAustria Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software