A-MOST 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Wasif AfzalAfzal, Wasif Mälardalen University An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
Bernhard AichernigAichernig, Bernhard Graz University of TechnologyAustria Committee Member in Program Committee within the A-MOST-track
Emil AlégrothAlégroth, Emil Blekinge Institute of TechnologySweden We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
Jesus ArandaAranda, Jesus Universidad del ValleColombia MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Programme Committee in Program Committee within the A-MOST-track
B Francesco BascianiBasciani, Francesco University of L'AquilaItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Andreas BauerBauer, Andreas Blekinge Institute of Technology, SERL SwedenSweden We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
Kirill BogdanovBogdanov, Kirill The University of SheffieldUnited Kingdom Committee Member in Program Committee within the A-MOST-track
Rafael BrazBraz, Rafael ICMC/USPBrazil Improving Model Learning by Inferring Separating Sequences from Traces
C Uraz Cengiz TürkerCengiz Türker, Uraz Lancaster University (UK)United Kingdom Welcome and Opening Message A-MOST 23 Closing A-MOST 23 and Welcoming A-MOST 24! Committee Member in Organizing Committee within the A-MOST-track
Maxime CordyCordy, Maxime University of Luxembourg, LuxembourgLuxembourg MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
Vittorio CortellessaCortellessa, Vittorio University of L'AquilaItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Jaime CuartasCuartas, Jaime Universidad del ValleColombia MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
D Sergio Di MartinoDi Martino, Sergio Università degli Studi di Napoli Federico IIItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Dario Di NucciDi Nucci, Dario University of SalernoItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Daniele Di PompeoDi Pompeo, Daniele University of L'AquilaItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
E Mikael Ebrahimi SalariEbrahimi Salari, Mikael Mälardalen UniversitySweden An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
Khaled El-FakihEl-Fakih, Khaled American University of SharjahUnited Arab Emirates Author in Program Committee within the A-MOST-track
Eduard Paul EnoiuEnoiu, Eduard Paul Mälardalen UniversitySweden An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems Author in Program Committee within the A-MOST-track
F Johan FoedererFoederer, Johan Topic Embedded SystemsNetherlands From BDD Scenarios to Test Case Generation
G Carmine GravinoGravino, Carmine University of SalernoItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Roland GrozGroz, Roland LIG/UGAFrance Improving Model Learning by Inferring Separating Sequences from Traces
Rong GuGu, Rong Mälardalen UniversitySweden Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
I Florentin IpateIpate, Florentin University of BucharestRomania Committee Member in Program Committee within the A-MOST-track
Muhammad Zohaib IqbalIqbal, Muhammad Zohaib Quest LabPakistan Author in Program Committee within the A-MOST-track
L Raluca LefticaruLefticaru, Raluca University of BradfordUnited Kingdom Committee Member in Program Committee within the A-MOST-track
Florian LorberLorber, Florian Aalborg UniversityDenmark Session Chair of Afternoon Session 2 (part of A-MOST) Welcome and Opening Message A-MOST 23 Closing A-MOST 23 and Welcoming A-MOST 24! Committee Member in Organizing Committee within the A-MOST-track
M Mercedes G. MerayoMerayo, Mercedes G. Universidad Complutense de MadridSpain Committee Member in Program Committee within the A-MOST-track
O Catherine OriatOriat, Catherine LIG/UGAFrance Improving Model Learning by Inferring Separating Sequences from Traces
James OrtizOrtiz, James Université de NamurBelgium MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
P Ana PaivaPaiva, Ana Faculty of Engineering, University of Porto and INESC TECPortugal Author in Program Committee within the A-MOST-track
Gilles PerrouinPerrouin, Gilles Fonds de la Recherche Scientifique - FNRS & University of NamurBelgium MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
R Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands From BDD Scenarios to Test Case Generation
S Pierre Yves SchobbensSchobbens, Pierre Yves University of NamurBelgium MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Session Chair of Morning Session 1 (part of A-MOST) Session Chair of Afternoon Session 1 (part of A-MOST) Welcome and Opening Message A-MOST 23 Closing A-MOST 23 and Welcoming A-MOST 24! An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems Committee Member in Organizing Committee within the A-MOST-track
Adenilso SimãoSimão, Adenilso University of São PauloBrazil Improving Model Learning by Inferring Separating Sequences from Traces
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
T Martin TapplerTappler, Martin TU Graz; Silicon Austria LabsAustria Committee Member in Program Committee within the A-MOST-track
Jan TretmansTretmans, Jan Radboud University Nijmegen, TNO-ESINetherlands Session Chair of Morning Session 2 (part of A-MOST) Keynote: Principles of Model-Based Testing From BDD Scenarios to Test Case Generation
V Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands From BDD Scenarios to Test Case Generation
Y Hüsnü YenigünYenigün, Hüsnü Sabanci University, Turkey Committee Member in Program Committee within the A-MOST-track
Z Tannaz ZameniZameni, Tannaz University of TwenteNetherlands From BDD Scenarios to Test Case Generation