ARCH19: Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Stochastic Modelling
Adzkiya, DiekyARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Althoff, MatthiasARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Arcaini, PaoloARCH-COMP 2019 Category Report: Falsification
B
Bak, StanleyARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees
Becchi, AnnaARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Benet, LuisARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Blom, HenkARCH-COMP19 Category Report: Stochastic Modelling
Bu, LeiARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
C
Carpenter, Taylor J.ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Cauchi, NathalieARCH-COMP19 Category Report: Stochastic Modelling
Chapoutot, AlexandreARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Chen, XinARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Cimatti, AlessandroARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Cyranka, JacekUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
D
Degiorgio, KurtARCH-COMP19 Category Report: Stochastic Modelling
Donzé, AlexandreARCH-COMP 2019 Category Report: Falsification
Dutta, SouradeepARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
E
Ernst, GidonARCH-COMP 2019 Category Report: Falsification
F
Fainekos, GeorgiosARCH-COMP 2019 Category Report: Falsification
Forets, MarceloARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Forets, MarceloARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Frehse, GoranARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Fränzle, MartinARCH-COMP19 Category Report: Stochastic Modelling
G
Gaukler, MaximilianWorst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
Geretti, LucaARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Giacobbe, MircoARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Griggio, AlbertoARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Grosu, RaduUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
Gruenbacher, SophieUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
H
Haesaert, SofieARCH-COMP19 Category Report: Stochastic Modelling
Hobbs, KerianneEfficient n-to-n Collision Detection for Space Debris using 4D AABB Trees
I
Immler, FabianARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Islam, Md ArifulUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
Ivanov, RadoslavARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
J
Jin, XiangyuARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Johnson, Taylor T.ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP19 Repeatability Evaluation Report
Verification of Closed-loop Systems with Neural Network Controllers
K
Kochdumper, NiklasARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
M
Ma, HaoARCH-COMP19 Category Report: Stochastic Modelling
Manzanas Lopez, DiegoARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers
Mathesen, LoganARCH-COMP 2019 Category Report: Falsification
Mitsch, StefanARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Moritz Hahn, ErnstARCH-COMP19 Category Report: Stochastic Modelling
Mover, SergioARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Mufid, Muhammad Syifa'UlARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Musau, PatrickARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers
O
Oishi, MeekoARCH-COMP19 Category Report: Stochastic Modelling
P
Pedrielli, GiuliaARCH-COMP 2019 Category Report: Falsification
Pilch, CarinaARCH-COMP19 Category Report: Stochastic Modelling
R
Ray, RajarshiARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Remke, AnneARCH-COMP19 Category Report: Stochastic Modelling
Riouak, IdrissARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
S
Salamati, MahmoudARCH-COMP19 Category Report: Stochastic Modelling
Sanders, David P.ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Schilling, ChristianARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Schupp, StefanARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Smolka, ScottUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
Sogokon, AndrewARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Soudjani, SadeghARCH-COMP19 Category Report: Stochastic Modelling
T
Tan, Yong KiamARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Tonetta, StefanoARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Tran, Hoang-DungARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers
Tschaikowski, MaxUnder the Hood of a Stand-Alone Lagrangian Reachability Tool
U
Ulbrich, PeterWorst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
V
Vinod, Abraham P.ARCH-COMP19 Category Report: Stochastic Modelling
W
Wang, ShulingARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Y
Yaghoubi, ShakibaARCH-COMP 2019 Category Report: Falsification
Yamagata, YoriyukiARCH-COMP 2019 Category Report: Falsification
Z
Zaffanella, EneaARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Zhan, BohuaARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Zhan, NaijunARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Zhang, ZhenyaARCH-COMP 2019 Category Report: Falsification
v
van Huijgevoort, BirgitARCH-COMP19 Category Report: Stochastic Modelling