MeTRiD 2019 Contributors

Write a Blog >>

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (39)

A Farhad ArbabArbab, Farhad CWI and Leiden UniversityNetherlands Committee Member in Program Committee within the MeTRiD-track
Paul AttieAttie, Paul American University of BeirutLebanon Committee Member in Program Committee within the MeTRiD-track
B Ezio BartocciBartocci, Ezio Technische Universität Wien Localizing Faults in Simulink/Stateflow Models with STL Committee Member in Program Committee within the MeTRiD-track
Stylianos BasagiannisBasagiannis, Stylianos United Technologies Research centre Committee Member in Program Committee within the MeTRiD-track
Saddek BensalemBensalem, Saddek Verimag Programming Dynamic Reconfigurable Systems with DR-BIP Committee Member in Program Committee within the MeTRiD-track
Cinzia BernardeshiBernardeshi, Cinzia Univ. of PisaItaly Modeling and Simulation of Attacks on Cyber-physical Systems
Nathalie BertrandBertrand, Nathalie INRIA Rennes Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
Simon BliudzeBliudze, Simon INRIA Lillle - Nord EuropeFrance Session Chair of Welcome & Keynote 1 (part of MeTRiD) Welcome Co-chair in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Marius BozgaBozga, Marius Verimag/CNRS Programming Dynamic Reconfigurable Systems with DR-BIP Committee Member in Program Committee within the MeTRiD-track
Tomas BuresBures, Tomas Charles University, Czech RepublicCzechia Committee Member in Program Committee within the MeTRiD-track
C Jacques CombazCombaz, Jacques Verimag/CNRS Revisiting the Glue of BIP
E Rim El BallouliEl Ballouli, Rim Verimag Programming Dynamic Reconfigurable Systems with DR-BIP
F Thomas FerrèreFerrère, Thomas IST Austria Localizing Faults in Simulink/Stateflow Models with STL
G Wenceslas GodardGodard, Wenceslas Airbus Operations SASFrance Committee Member in Program Committee within the MeTRiD-track
H Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the MeTRiD-track
J Mohamad JaberJaber, Mohamad American University of Beirut Committee Member in Program Committee within the MeTRiD-track
K Panagiotis KatsarosKatsaros, Panagiotis ITI-CERTH, ThessalonikiGreece Session Chair of Keynote 2 (part of MeTRiD) Session Chair of Welcome & Keynote 1 (part of MeTRiD) Welcome Committee Member in Organizing Committee within the MeTRiD-track Co-chair in Program Committee within the MeTRiD-track
Igor KonnovKonnov, Igor Inria NancyFrance Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries Committee Member in Program Committee within the MeTRiD-track
L Marijana LazićLazić, Marijana TU WienAustria Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
Axel LegayLegay, Axel INRIA RennesFrance Committee Member in Program Committee within the MeTRiD-track
Alexios LekidisLekidis, Alexios Aristotle University of Thessaloniki Model-based energy characterization of IoT system design aspects
M Niveditha ManjunathManjunath, Niveditha Austrian Institute of Technology Localizing Faults in Simulink/Stateflow Models with STL
Tiziana MargariaMargaria, Tiziana University of Limerick and Lero - The Irish Software Research Centre Ireland Session Chair of Behavioural models and parametrised systems (part of MeTRiD) The Role of Models as Digital Twins of Smart Processes, Machines and Parts in Industry 4.0 Committee Member in Program Committee within the MeTRiD-track
Anastasia MavridouMavridou, Anastasia NASA Ames Committee Member in Program Committee within the MeTRiD-track
N Dejan NickovicNickovic, Dejan Austrian Institute of Technology Localizing Faults in Simulink/Stateflow Models with STL
P Claire PagettiPagetti, Claire OneraFrance Committee Member in Program Committee within the MeTRiD-track
Yiannis PapadopoulosPapadopoulos, Yiannis University of Hull Committee Member in Program Committee within the MeTRiD-track
Yvonne-Anne PignoletPignolet, Yvonne-Anne ABB Corporate ResearchSwitzerland Committee Member in Program Committee within the MeTRiD-track
R Harald RuessRuess, Harald fortissGermany Committee Member in Program Committee within the MeTRiD-track
S Martina SeidlSeidl, Martina Committee Member in Program Committee within the MeTRiD-track
Joseph SifakisSifakis, Joseph Verimag/CNRSFrance Programming Dynamic Reconfigurable Systems with DR-BIP Committee Member in Program Committee within the MeTRiD-track
Paola SpoletiniSpoletini, Paola Kennesaw State UniversityUnited States Committee Member in Program Committee within the MeTRiD-track
Janos SztipanovitsSztipanovits, Janos Vanderbilt UniversityUnited States Committee Member in Program Committee within the MeTRiD-track
V Marcel VerhoefVerhoef, Marcel European Space AgencyNetherlands Committee Member in Program Committee within the MeTRiD-track
Valeriy VyatkinVyatkin, Valeriy Aalto University, Finland and Luleå University of Technology, Sweden Session Chair of Cyber-Physical Systems design (part of MeTRiD) Cyber-Physical Components as building blocks of more dependable industrial CPS
András VörösVörös, András Budapest University of Technology and EconomicsHungary Committee Member in Program Committee within the MeTRiD-track
W Josef WidderWidder, Josef TU WienAustria Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
Martin WirsingWirsing, Martin Ludwig Maximilian University of MunichGermany Committee Member in Program Committee within the MeTRiD-track
Y Wang YiYi, Wang Uppsala University, Sweden Committee Member in Program Committee within the MeTRiD-track