A-MOST 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (37)

Bernhard Aichernig Graz University of Technology Austria Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Joseba Andoni Agirre Universidad Mondragon Spain Author of A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements within the A-MOST-track in A-MOST 2020
Paolo Arcaini National Institute of Informatics Japan Author of Model-Based Testing for MAPE-K adaptation control loops within the A-MOST-track in A-MOST 2020 Committee Member in Program Committee within the A-MOST-track
Aitor Arrieta Mondragon Goi Eskola Politeknikoa Spain Author of A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements within the A-MOST-track in A-MOST 2020
Kirill Bogdanov The University of Sheffield United Kingdom Committee Member in Program Committee within the A-MOST-track
Josip Bozic Graz University of Technology Austria Author of Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software within the A-MOST-track in A-MOST 2020
Maxime Cordy SnT, University of Luxembourg Committee Member in Program Committee within the A-MOST-track
Xavier Devroey Delft University of Technology Netherlands Committee Member in Program Committee within the A-MOST-track
Alexy Fouillade Ecole superieure d’electronique de l’Ouest France Author of A Model-Based Security Testing Approach for Automotive Over-The-Air Updates within the A-MOST-track in A-MOST 2020
Miruna Gabriela Paduraru University of Bucharest Romania Author of Optimizing decision making in concolic execution using reinforcement learning within the A-MOST-track in A-MOST 2020
Angelo Gargantini University of Bergamo Italy Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Florentin Ipate University of Bucharest Romania Committee Member in Program Committee within the A-MOST-track
Nikolaj Isgård Schmidt Aalborg University Denmark Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track in A-MOST 2020
Emil Jørgensen Njor Aalborg University Denmark Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track in A-MOST 2020
Rachid Kherrazi Akka Technologies Netherlands Author of Using tabular notation to support Model Based Testing within the A-MOST-track in A-MOST 2020
Leen Lambers Hasso-Plattner-Institut, Universität Potsdam Germany Author of Model-Based Testing of Read Only Graph Queries within the A-MOST-track in A-MOST 2020
Raluca Lefticaru University of Bradford United Kingdom Co-chair in Organizing Committee within the A-MOST-track Co-chair in Program Committee within the A-MOST-track
Bruno Legeard FEMTO-ST / DISC France Committee Member in Program Committee within the A-MOST-track
Yihao Li Institute of Technology, Graz University of Technology Austria Author of Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software within the A-MOST-track in A-MOST 2020
Florian Lorber Aalborg University Denmark Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track in A-MOST 2020 Committee Member in Program Committee within the A-MOST-track
Shahid Mahmood Coventry University United Kingdom Author of A Model-Based Security Testing Approach for Automotive Over-The-Air Updates within the A-MOST-track in A-MOST 2020
Mercedes Merayo Universidad Complutense de Madrid Spain Committee Member in Program Committee within the A-MOST-track
Raffaela Mirandola Politecnico di Milano Italy Author of Model-Based Testing for MAPE-K adaptation control loops within the A-MOST-track in A-MOST 2020
Hoang Nga Nguyen Coventry University United Kingdom Author of A Model-Based Security Testing Approach for Automotive Over-The-Air Updates within the A-MOST-track in A-MOST 2020
Dejan Nickovic Austrian Institute of Technology Committee Member in Program Committee within the A-MOST-track
Ciprian Paduraru University of Bucharest Romania Author of Optimizing decision making in concolic execution using reinforcement learning within the A-MOST-track in A-MOST 2020
Ana Paiva Faculty of Engineering of the University of Porto Portugal Invited Speaker of Keynote: Why models? within the A-MOST-track in A-MOST 2020 Committee Member in Program Committee within the A-MOST-track
Alexandre Petrenko CRIM Canada Committee Member in Program Committee within the A-MOST-track
Sebastian Reidar Petersen Aalborg University Denmark Author of Conformance Testing in UPPAAL: A diabolic approach within the A-MOST-track in A-MOST 2020
Elvinia Riccobene Computer Science Dept., University of Milan Italy Author of Model-Based Testing for MAPE-K adaptation control loops within the A-MOST-track in A-MOST 2020
Goiuria Sagardui University of Mondragon Spain Author of A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements within the A-MOST-track in A-MOST 2020
Patrizia Scandurra DIIMM - University of Bergamo Italy Author of Model-Based Testing for MAPE-K adaptation control loops within the A-MOST-track in A-MOST 2020
Sven Schneider Hasso-Plattner-Institut, Universität Potsdam Germany Author of Model-Based Testing of Read Only Graph Queries within the A-MOST-track in A-MOST 2020
Siraj Ahmed Shaikh Coventry University, Coventry, UK United Kingdom Author of A Model-Based Security Testing Approach for Automotive Over-The-Air Updates within the A-MOST-track in A-MOST 2020
Alin Stefanescu University of Bucharest Romania Author of Optimizing decision making in concolic execution using reinforcement learning within the A-MOST-track in A-MOST 2020
Marcel Weisgut Hasso-Plattner-Institut, Universität Potsdam Germany Author of Model-Based Testing of Read Only Graph Queries within the A-MOST-track in A-MOST 2020
Franz Wotawa Technische Universitaet Graz Austria Author of Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software within the A-MOST-track in A-MOST 2020