ARCH21: Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP21 Category Report: Stochastic Models
Alexandre Dit Sandretto, JulienARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Althoff, MatthiasARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Guaranteed State Estimation in CORA 2021
Verification of Collision Avoidance for CommonRoad Traffic Scenarios
Arcaini, PaoloARCH-COMP 2021 Category Report: Falsification with Validation of Results
B
Benet, LuisARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Bennani, IsmailARCH-COMP 2021 Category Report: Falsification with Validation of Results
Blom, HenkARCH-COMP21 Category Report: Stochastic Models
Bouissou, MarcARCH-COMP21 Category Report: Stochastic Models
C
Carpenter, Taylor J.ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Cauchi, NathalieARCH-COMP21 Category Report: Stochastic Models
Chandratre, AniruddhARCH-COMP 2021 Category Report: Falsification with Validation of Results
Chapoutot, AlexandreARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Chraibi, HassaneARCH-COMP21 Category Report: Stochastic Models
Collins, PieterARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
D
Delicaris, JoannaARCH-COMP21 Category Report: Stochastic Models
Donzé, AlexandreARCH-COMP 2021 Category Report: Falsification with Validation of Results
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Duggirala, Parasara SridharARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
E
Ernst, GidonARCH-COMP 2021 Category Report: Falsification with Validation of Results
F
Fabian, MartinTemporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Fainekos, GeorgiosARCH-COMP 2021 Category Report: Falsification with Validation of Results
Forets, MarceloARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Frehse, GoranARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Freire, DanielARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
G
Gaaloul, KhouloudARCH-COMP 2021 Category Report: Falsification with Validation of Results
Gassert, PhilippVerification of Collision Avoidance for CommonRoad Traffic Scenarios
Geretti, LucaARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Guadalupe, SebastiánARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
H
Haesaert, SofieARCH-COMP21 Category Report: Stochastic Models
Hartmanns, ArndARCH-COMP21 Category Report: Stochastic Models
I
Inoue, JunARCH-COMP 2021 Category Report: Falsification with Validation of Results
Ivanov, RadoslavARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
J
Jerray, JawherORBITADOR: A tool to analyze the stability of periodical dynamical systems
Jin, XiangyuARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Johnson, Taylor T.ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP21 Repeatability Evaluation Report
K
Khaled, MahmoudARCH-COMP21 Category Report: Stochastic Models
Khandait, TanmayARCH-COMP 2021 Category Report: Falsification with Validation of Results
Kim, EdwardARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Kochdumper, NiklasVerification of Collision Avoidance for CommonRoad Traffic Scenarios
L
Lavaei, AbolfazlARCH-COMP21 Category Report: Stochastic Models
Lee, InsupARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Linares, UzielARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
M
Ma, HaoARCH-COMP21 Category Report: Stochastic Models
Mallik, KaushikARCH-COMP21 Category Report: Stochastic Models
Manzanas Lopez, DiegoARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Mathesen, LoganARCH-COMP 2021 Category Report: Falsification with Validation of Results
Menghi, ClaudioARCH-COMP 2021 Category Report: Falsification with Validation of Results
Mitsch, StefanARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
N
Niehage, MathisARCH-COMP21 Category Report: Stochastic Models
P
Pedrielli, GiuliaARCH-COMP 2021 Category Report: Falsification with Validation of Results
Pouzet, MarcARCH-COMP 2021 Category Report: Falsification with Validation of Results
R
Ramezani, ZahraTemporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Remke, AnneARCH-COMP21 Category Report: Stochastic Models
S
Sanders, David P.ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Schilling, ChristianARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Schupp, StefanARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP21 Category Report: Stochastic Models
Shmarov, FedorARCH-COMP21 Category Report: Stochastic Models
Soudjani, SadeghARCH-COMP21 Category Report: Stochastic Models
T
Thorpe, AdamARCH-COMP21 Category Report: Stochastic Models
Turcuman, VladARCH-COMP21 Category Report: Stochastic Models
W
Waga, MasakiARCH-COMP 2021 Category Report: Falsification with Validation of Results
Wang, ShulingARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Weimer, JamesARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Wetzlinger, MarkARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Y
Yaghoubi, ShakibaARCH-COMP 2021 Category Report: Falsification with Validation of Results
Yamagata, YoriyukiARCH-COMP 2021 Category Report: Falsification with Validation of Results
Z
Zhan, BohuaARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Zhan, NaijunARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Zhang, ZhenyaARCH-COMP 2021 Category Report: Falsification with Validation of Results
Zuliani, PaoloARCH-COMP21 Category Report: Stochastic Models
Á
Ábrahám, ErikaARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Å
Åkesson, KnutTemporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators