ARCH22: Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP22 Category Report: Stochastic Models
Alexandre Dit Sandretto, JulienARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Althoff, MatthiasImplementation of Ellipsoidal Operations in CORA 2022
Benchmarks for the Formal Verification of Power Systems
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Arcaini, PaoloARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Ayesh, MostafaTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
B
Benet, LuisARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Bentkamp, AlexanderARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Blom, HenkARCH-COMP22 Category Report: Stochastic Models
Bu, LeiARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
C
Chen, XinARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Collins, PieterARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
D
Delicaris, JoannaARCH-COMP22 Category Report: Stochastic Models
Dhanraj, EthanTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Duggirala, Parasara SridharARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
E
El-Rahwan, AbdulTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Ernst, GidonARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
F
Fainekos, GeorgiosARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Fan, JiamengARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Fan, TonyTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Forets, MarceloARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Formica, FedericoARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Foster, SimonARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Frehse, GoranARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
G
Gaßmann, VictorImplementation of Ellipsoidal Operations in CORA 2022
Geretti, LucaARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
H
Haesaert, SofieARCH-COMP22 Category Report: Stochastic Models
Hamilton, AkilTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Hartmanns, ArndARCH-COMP22 Category Report: Stochastic Models
Huang, ChaoARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Huerta Y Munive, Jonathan JuliánARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
I
Inoue, JunARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
J
Jacob, Akshay MathewsTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Jin, XiangyuARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Johnson, Taylor T.ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP22 Repeatability Evaluation Report
K
Khandait, TanmayARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Kim, EdwardARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Kundu, AtanuARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
L
Ladner, TobiasARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Lavaei, AbolfazlARCH-COMP22 Category Report: Stochastic Models
Li, WenchaoARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
M
Ma, HaoARCH-COMP22 Category Report: Stochastic Models
Mahboob, Mohammad MahdiARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Manzanas Lopez, DiegoARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Mehan, NamyaTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Menghi, ClaudioTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Mitsch, StefanARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
N
Niehage, MathisARCH-COMP22 Category Report: Stochastic Models
O
Opalka, Simon EmilTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
P
Pardillo Laursen, ChristianARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Pedrielli, GiuliaARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
R
Ray, RajarshiARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Remke, AnneARCH-COMP22 Category Report: Stochastic Models
S
Schilling, ChristianARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Schupp, StefanARCH-COMP22 Category Report: Stochastic Models
Schön, OliverARCH-COMP22 Category Report: Stochastic Models
Sheng, HuanhuanARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Shi, YuhuiARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Soudjani, SadeghARCH-COMP22 Category Report: Stochastic Models
Sundarrajan, Rahul AnthonyTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
W
Waga, MasakiARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Wang, ShulingARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Wetzlinger, MarkARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Widjaja, BryanTwo Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
Willemsen, LisaARCH-COMP22 Category Report: Stochastic Models
Y
Yamagata, YoriyukiARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Z
Zaffanella, EneaARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Zhan, BohuaARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Zhang, ZhenyaARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Zhu, QiARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
v
van Huijgevoort, BirgitARCH-COMP22 Category Report: Stochastic Models