ARCH15: Author Index| Author | Papers |
|---|
| A | | Abbas, Houssam | Benchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models | | Althoff, Matthias | An Introduction to CORA 2015 | | Anta, Adolfo | Benchmark problem: an air brake model for trains | | B | | Bae, Kyungmin | SMT Encoding of Hybrid Systems in dReal | | Bak, Stanley | Benchmark Generator for Stratified Controllers of Tank Networks | | Ben Makhlouf, Ibtissem | Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability | | Bogomolov, Sergiy | Benchmark Generator for Stratified Controllers of Tank Networks | | Butts, Ken | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | C | | Chen, Hongxu | Motor-Transmission Drive System: a Benchmark Example for Safety Verification | | Chen, Xin | Flow* 1.2: More Effective to Play with Hybrid Systems | | D | | Da Cunha, A. E. C. | Benchmark: Quadrotor Attitude Control | | Deshmukh, Jyotirmoy | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Donzé, Alexandre | BluSTL: Controller Synthesis from Signal Temporal Logic Specifications | | Duggirala, Parasara Sridhar | Progress on Powertrain Verification Challenge with C2E2 | | Dumont, Guy | Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery | | F | | Fainekos, Georgios | Benchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models | | Fan, Chuchu | Progress on Powertrain Verification Challenge with C2E2 | | Frehse, Goran | Running SpaceEx on the ARCH14 Benchmarks | | G | | Gan, Victor | Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery | | Gao, Sicun | SMT Encoding of Hybrid Systems in dReal | | Gerhard, Juergen | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Gmehlich, Rainer | Industrial Examples of Formal Specifications for Test Case Generation | | Greitschus, Marius | Benchmark Generator for Stratified Controllers of Tank Networks | | H | | Heinz, Thomas | Benchmark: Reachability on a model with holes
Industrial Examples of Formal Specifications for Test Case Generation | | Hoxha, Bardh | Benchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models | | I | | Immler, Fabian | Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems | | Ito, Hisahiro | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | J | | Jin, Xiaoqing | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Johnson, Taylor T. | Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
Benchmark Generator for Stratified Controllers of Tank Networks
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis | | K | | Kapinski, James | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Kong, Soonho | SMT Encoding of Hybrid Systems in dReal | | Kowalewski, Stefan | Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability | | M | | Minopoli, Stefano | Running SpaceEx on the ARCH14 Benchmarks | | Mitchell, Ian | Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery | | Mitra, Sayan | Motor-Transmission Drive System: a Benchmark Example for Safety Verification
Progress on Powertrain Verification Challenge with C2E2 | | N | | Nguyen, Luan Viet | Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis | | O | | Oehlerking, Jens | Benchmark: Reachability on a model with holes
Verifying Properties of an Electro-Mechanical Braking System
Industrial Examples of Formal Specifications for Test Case Generation | | P | | Parolini, Luca | Benchmark problem: an air brake model for trains | | R | | Raman, Vasumathi | BluSTL: Controller Synthesis from Signal Temporal Logic Specifications | | Roehm, Hendrik | Industrial Examples of Formal Specifications for Test Case Generation | | S | | Samadi, Behzad | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Sankaranarayanan, Sriram | Flow* 1.2: More Effective to Play with Hybrid Systems | | Schuler, Simone | Benchmark problem: an air brake model for trains | | Strathmann, Thomas | Verifying Properties of an Electro-Mechanical Braking System | | T | | Tian, Guangyu | Motor-Transmission Drive System: a Benchmark Example for Safety Verification | | Tran, Hoang-Dung | Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis | | V | | Viswanathan, Mahesh | Progress on Powertrain Verification Challenge with C2E2 | | W | | Walker, Kevin | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Woehrle, Matthias | Benchmark: Reachability on a model with holes
Industrial Examples of Formal Specifications for Test Case Generation | | X | | Xie, Yuzhen | Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark | | Á | | Ábrahám, Erika | Flow* 1.2: More Effective to Play with Hybrid Systems |
|
|
