ARCH18:Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Stochastic Modelling
Benchmarks for stochastic models from building automation systems
Adzkiya, DiekyARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Althoff, MatthiasARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Implementation of Taylor models in CORA 2018
Arcaini, PaoloARCH-COMP18 Category Report: Results on the Falsification Benchmarks
B
Bak, StanleyARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Space Debris Collision Detection using Reachability
Bao, TianshuDiscrete-Space Analysis of Partial Differential Equations
Blom, HenkARCH-COMP18 Category Report: Stochastic Modelling
Bolender, MichaelVerification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Bu, LeiARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
C
Cauchi, NathalieARCH-COMP18 Category Report: Stochastic Modelling
Benchmarks for stochastic models from building automation systems
Chen, XinARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Collins, AlexanderVerification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Space Debris Collision Detection using Reachability
D
Dokhanchi, AdelARCH-COMP18 Category Report: Results on the Falsification Benchmarks
E
Ernst, GidonARCH-COMP18 Category Report: Results on the Falsification Benchmarks
F
Fainekos, GeorgiosARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Fan, ChuchuARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Forets, MarceloARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Frehse, GoranARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Lane change maneuver for autonomous vehicles (Benchmark Proposal)
Frehse, GoranARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
G
Giacobbe, MircoARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Grebenyuk, DmitryImplementation of Taylor models in CORA 2018
H
Haesaert, SofieARCH-COMP18 Category Report: Stochastic Modelling
Hartmanns, ArndARCH-COMP18 Category Report: Stochastic Modelling
Hasuo, IchiroARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Heidlauf, PeterVerification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Space Debris Collision Detection using Reachability
Heß, DanielLane change maneuver for autonomous vehicles (Benchmark Proposal)
Hobbs, KerianneSpace Debris Collision Detection using Reachability
Hoxha, BardhARCH-COMP18 Category Report: Results on the Falsification Benchmarks
I
Immler, FabianARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
J
Jin, XiangyuARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Johnson, Taylor T.ARCH-COMP18 Repeatability Evaluation Report
Linear Differential-Algebraic Equations (Benchmark Proposal)
Discrete-Space Analysis of Partial Differential Equations
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
K
Kekatos, NikolaosLane change maneuver for autonomous vehicles (Benchmark Proposal)
Kochdumper, NiklasARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Implementation of Taylor models in CORA 2018
L
Lesser, KendraARCH-COMP18 Category Report: Stochastic Modelling
Li, YanggeARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
M
Manzanas Lopez, DiegoLinear Differential-Algebraic Equations (Benchmark Proposal)
Mitra, SayanARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Mitsch, StefanARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Mufid, Muhammad Syifa'UlARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Musau, PatrickLinear Differential-Algebraic Equations (Benchmark Proposal)
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
O
Oishi, MeekoARCH-COMP18 Category Report: Stochastic Modelling
P
Platzer, AndréARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
R
Ray, RajarshiARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
S
Schilling, ChristianARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Schupp, StefanARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Sedwards, SeanARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Sivaramakrishnan, VigneshARCH-COMP18 Category Report: Stochastic Modelling
Sogokon, AndrewARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Soudjani, SadeghARCH-COMP18 Category Report: Stochastic Modelling
T
Tan, Yong KiamARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Tomar, Mahendra SinghARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Tran, Hoang-DungLinear Differential-Algebraic Equations (Benchmark Proposal)
Discrete-Space Analysis of Partial Differential Equations
V
Vasile, Cristian-IoanARCH-COMP18 Category Report: Stochastic Modelling
Vinod, Abraham P.ARCH-COMP18 Category Report: Stochastic Modelling
W
Wang, ShulingARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Y
Yaghoubi, ShakibaARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Z
Zaffanella, EneaARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Zamani, MajidARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Zhan, NaijunARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Zhang, ZhenyaARCH-COMP18 Category Report: Results on the Falsification Benchmarks
Zhao, HengjunARCH-COMP18 Category Report: Hybrid Systems Theorem Proving