ARCH18: Author Index| Author | Papers |
|---|
| A | | Abate, Alessandro | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Stochastic Modelling
Benchmarks for stochastic models from building automation systems | | Adzkiya, Dieky | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Althoff, Matthias | ARCH-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, Paolo | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | B | | Bak, Stanley | ARCH-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, Tianshu | Discrete-Space Analysis of Partial Differential Equations | | Blom, Henk | ARCH-COMP18 Category Report: Stochastic Modelling | | Bolender, Michael | Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers | | Bu, Lei | ARCH-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, Nathalie | ARCH-COMP18 Category Report: Stochastic Modelling
Benchmarks for stochastic models from building automation systems | | Chen, Xin | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Collins, Alexander | Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Space Debris Collision Detection using Reachability | | D | | Dokhanchi, Adel | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | E | | Ernst, Gidon | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | F | | Fainekos, Georgios | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | Fan, Chuchu | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Forets, Marcelo | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Frehse, Goran | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Lane change maneuver for autonomous vehicles (Benchmark Proposal) | | G | | Giacobbe, Mirco | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Grebenyuk, Dmitry | Implementation of Taylor models in CORA 2018 | | H | | Haesaert, Sofie | ARCH-COMP18 Category Report: Stochastic Modelling | | Hartmanns, Arnd | ARCH-COMP18 Category Report: Stochastic Modelling | | Hasuo, Ichiro | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | Heidlauf, Peter | Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Space Debris Collision Detection using Reachability | | Heß, Daniel | Lane change maneuver for autonomous vehicles (Benchmark Proposal) | | Hobbs, Kerianne | Space Debris Collision Detection using Reachability | | Hoxha, Bardh | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | I | | Immler, Fabian | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | J | | Jin, Xiangyu | ARCH-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, Nikolaos | Lane change maneuver for autonomous vehicles (Benchmark Proposal) | | Kochdumper, Niklas | ARCH-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, Kendra | ARCH-COMP18 Category Report: Stochastic Modelling | | Li, Yangge | ARCH-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, Diego | Linear Differential-Algebraic Equations (Benchmark Proposal) | | Mitra, Sayan | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Mitsch, Stefan | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | Mufid, Muhammad Syifa'Ul | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Musau, Patrick | Linear Differential-Algebraic Equations (Benchmark Proposal)
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) | | O | | Oishi, Meeko | ARCH-COMP18 Category Report: Stochastic Modelling | | P | | Platzer, André | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | R | | Ray, Rajarshi | ARCH-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, Christian | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Schupp, Stefan | ARCH-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, Sean | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | Sivaramakrishnan, Vignesh | ARCH-COMP18 Category Report: Stochastic Modelling | | Sogokon, Andrew | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | Soudjani, Sadegh | ARCH-COMP18 Category Report: Stochastic Modelling | | T | | Tan, Yong Kiam | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | Tomar, Mahendra Singh | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Tran, Hoang-Dung | Linear Differential-Algebraic Equations (Benchmark Proposal)
Discrete-Space Analysis of Partial Differential Equations | | V | | Vasile, Cristian-Ioan | ARCH-COMP18 Category Report: Stochastic Modelling | | Vinod, Abraham P. | ARCH-COMP18 Category Report: Stochastic Modelling | | W | | Wang, Shuling | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | Y | | Yaghoubi, Shakiba | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | Z | | Zaffanella, Enea | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Zamani, Majid | ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Zhan, Naijun | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving | | Zhang, Zhenya | ARCH-COMP18 Category Report: Results on the Falsification Benchmarks | | Zhao, Hengjun | ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving |
|
|
