ARCH17:Author IndexAuthor  Papers 

A  Abate, Alessandro  ARCHCOMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics  Abbas, Houssam  An Autonomous Vehicle Control Stack  Adzkiya, Dieky  ARCHCOMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics  Althoff, Matthias  ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ARCHCOMP17 Category Report: Continuous Systems with Nonlinear Dynamics  B  Bak, Stanley  Direct Verification of Linear Systems with over 10000 Dimensions ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics  Beg, Omar  Reachability Analysis of TransformerIsolated DCDC Converters  Bu, Lei  ARCHCOMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics ARCHCOMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics  Budnik, Christof J.  Testbed for Modelbased Verification of Cyberphysical Production Systems  Busboom, Axel  A Smart Grid Energy Management Problem for Datadriven Design with Probabilistic Reachability Guarantees  C  Cattaruzza, Dario  ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics  Chan, Nicole  Verifying safety of an autonomous spacecraft rendezvous mission  Chen, Xin  Formal Verification of a MultiBasal Insulin Infusion Control Model ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics ARCHCOMP17 Category Report: Continuous Systems with Nonlinear Dynamics  D  Davoudi, Ali  Reachability Analysis of TransformerIsolated DCDC Converters  Dokhanchi, Adel  ARCHCOMP17 Category Report: Preliminary Results on the Falsification Benchmarks  Duggirala, Parasara Sridhar  Direct Verification of Linear Systems with over 10000 Dimensions  Dutta, Souradeep  Formal Verification of a MultiBasal Insulin Infusion Control Model  E  Eckl, Sebastian  Testbed for Modelbased Verification of Cyberphysical Production Systems  F  Fainekos, Georgios  ARCHCOMP17 Category Report: Preliminary Results on the Falsification Benchmarks  Falsone, Alessandro  A Smart Grid Energy Management Problem for Datadriven Design with Probabilistic Reachability Guarantees  Forets, Marcelo  Modeling the Wind Turbine Benchmark with PWA Hybrid Automata  Frehse, Goran  Modeling the Wind Turbine Benchmark with PWA Hybrid Automata ARCHCOMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics  G  Gario, Marco  Testbed for Modelbased Verification of Cyberphysical Production Systems  Giacobbe, Mirco  ARCHCOMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics  H  Hartung, Marianne  A Smart Grid Energy Management Problem for Datadriven Design with Probabilistic Reachability Guarantees  Hoxha, Bardh  ARCHCOMP17 Category Report: Preliminary Results on the Falsification Benchmarks  I  Immler, Fabian  ARCHCOMP17 Category Report: Continuous Systems with Nonlinear Dynamics  Ioli, Daniele  A Smart Grid Energy Management Problem for Datadriven Design with Probabilistic Reachability Guarantees  J  Johnson, Taylor T.  Distributed Autonomous Systems Reachability Analysis of TransformerIsolated DCDC Converters ARCHCOMP17 Repeatability Evaluation Report  K  Kekatos, Nikolaos  Modeling the Wind Turbine Benchmark with PWA Hybrid Automata  M  Mangharam, Rahul  An Autonomous Vehicle Control Stack  Mitra, Sayan  Verifying safety of an autonomous spacecraft rendezvous mission  Mitsch, Stefan  A Benchmark for Componentbased Hybrid Systems Safety Verification  Müller, Andreas  A Benchmark for Componentbased Hybrid Systems Safety Verification  N  Nguyen, Luan Viet  Distributed Autonomous Systems  O  O'Kelly, Matthew  An Autonomous Vehicle Control Stack  P  Pacelli, Vincent  An Autonomous Vehicle Control Stack  Platzer, André  A Benchmark for Componentbased Hybrid Systems Safety Verification  Prandini, Maria  A Smart Grid Energy Management Problem for Datadriven Design with Probabilistic Reachability Guarantees  R  Ray, Rajarshi  ARCHCOMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics  Retschitzegger, Werner  A Benchmark for Componentbased Hybrid Systems Safety Verification  Rodionova, Alena  An Autonomous Vehicle Control Stack  S  Sankaranarayanan, Sriram  Formal Verification of a MultiBasal Insulin Infusion Control Model  Scherer, Sebastian  Challenges for Safe Autonomous Flight  Schupp, Stefan  ARCHCOMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics ARCHCOMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics  Schwinger, Wieland  A Benchmark for Componentbased Hybrid Systems Safety Verification  T  Tran, HoangDung  Distributed Autonomous Systems  X  Xiang, Weiming  Distributed Autonomous Systems  Y  Yaghoubi, Shakiba  ARCHCOMP17 Category Report: Preliminary Results on the Falsification Benchmarks 

