ARCH17: Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Abbas, HoussamAn Autonomous Vehicle Control Stack
Adzkiya, DiekyARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Althoff, MatthiasARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
B
Bak, StanleyDirect Verification of Linear Systems with over 10000 Dimensions
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Beg, OmarReachability Analysis of Transformer-Isolated DC-DC Converters
Bu, LeiARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
Budnik, Christof J.Testbed for Model-based Verification of Cyber-physical Production Systems
Busboom, AxelA Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
C
Cattaruzza, DarioARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Chan, NicoleVerifying safety of an autonomous spacecraft rendezvous mission
Chen, XinFormal Verification of a Multi-Basal Insulin Infusion Control Model
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
D
Davoudi, AliReachability Analysis of Transformer-Isolated DC-DC Converters
Dokhanchi, AdelARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
Duggirala, Parasara SridharDirect Verification of Linear Systems with over 10000 Dimensions
Dutta, SouradeepFormal Verification of a Multi-Basal Insulin Infusion Control Model
E
Eckl, SebastianTestbed for Model-based Verification of Cyber-physical Production Systems
F
Fainekos, GeorgiosARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
Falsone, AlessandroA Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
Forets, MarceloModeling the Wind Turbine Benchmark with PWA Hybrid Automata
Frehse, GoranModeling the Wind Turbine Benchmark with PWA Hybrid Automata
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
G
Gario, MarcoTestbed for Model-based Verification of Cyber-physical Production Systems
Giacobbe, MircoARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
H
Hartung, MarianneA Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
Hoxha, BardhARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks
I
Immler, FabianARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics
Ioli, DanieleA Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
J
Johnson, Taylor T.Distributed Autonomous Systems
Reachability Analysis of Transformer-Isolated DC-DC Converters
ARCH-COMP17 Repeatability Evaluation Report
K
Kekatos, NikolaosModeling the Wind Turbine Benchmark with PWA Hybrid Automata
M
Mangharam, RahulAn Autonomous Vehicle Control Stack
Mitra, SayanVerifying safety of an autonomous spacecraft rendezvous mission
Mitsch, StefanA Benchmark for Component-based Hybrid Systems Safety Verification
Müller, AndreasA Benchmark for Component-based Hybrid Systems Safety Verification
N
Nguyen, Luan VietDistributed Autonomous Systems
O
O'Kelly, MatthewAn Autonomous Vehicle Control Stack
P
Pacelli, VincentAn Autonomous Vehicle Control Stack
Platzer, AndréA Benchmark for Component-based Hybrid Systems Safety Verification
Prandini, MariaA Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees
R
Ray, RajarshiARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Retschitzegger, WernerA Benchmark for Component-based Hybrid Systems Safety Verification
Rodionova, AlenaAn Autonomous Vehicle Control Stack
S
Sankaranarayanan, SriramFormal Verification of a Multi-Basal Insulin Infusion Control Model
Scherer, SebastianChallenges for Safe Autonomous Flight
Schupp, StefanARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Schwinger, WielandA Benchmark for Component-based Hybrid Systems Safety Verification
T
Tran, Hoang-DungDistributed Autonomous Systems
X
Xiang, WeimingDistributed Autonomous Systems
Y
Yaghoubi, ShakibaARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks