Abstract is missing.
- Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia DeliveryVictor Gan, Guy A. Dumont, Ian Mitchell. 1-8 [doi]
- Motor-Transmission Drive System: a Benchmark Example for Safety VerificationHongxu Chen, Sayan Mitra, Guangyu Tian. 9-18 [doi]
- Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)Luan Viet Nguyen, Taylor T. Johnson. 19-24 [doi]
- Benchmarks for Temporal Logic Requirements for Automotive SystemsBardh Hoxha, Houssam Abbas, Georgios E. Fainekos. 25-30 [doi]
- Benchmark: Reachability on a model with holesThomas Heinz, Jens Oehlerking, Matthias Woehrle. 31-36 [doi]
- Networked Cooperative Platoon of Vehicles for Testing Methods and Verification ToolsIbtissem Ben Makhlouf, Stefan Kowalewski. 37-42 [doi]
- Benchmark problem: an air brake model for trainsLuca Parolini, Simone Schuler, Adolfo Anta. 43-48 [doi]
- Verifying Properties of an Electro-Mechanical Braking SystemThomas Strathmann, Jens Oehlerking. 49-56 [doi]
- Benchmark: Quadrotor Attitude ControlAntonio Eduardo Carrilho da Cunha. 57-72 [doi]
- Benchmark Generator for Stratified Controllers of Tank NetworksStanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson. 73-79 [doi]
- Industrial Examples of Formal Specifications for Test Case GenerationHendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle. 80-88 [doi]
- Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical AnalysisHoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson. 89-97 [doi]
- Piecewise-Affine Approximations for a Powertrain Control Verification BenchmarkJyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie. 98-112 [doi]
- Using S-TaLiRo on Industrial Size AuImmlertomotive ModelsBardh Hoxha, Houssam Abbas, Georgios E. Fainekos. 113-119 [doi]
- An Introduction to CORA 2015Matthias Althoff. 120-151 [doi]
- Flow* 1.2: More Effective to Play with Hybrid SystemsXin Chen 0002, Sriram Sankaranarayanan, Erika Ábrahám. 152-159 [doi]
- BluSTL: Controller Synthesis from Signal Temporal Logic SpecificationsAlexandre Donzé, Vasumathi Raman. 160-168 [doi]
- Optimizing Safe Control of a Networked Platoon of Trucks Using ReachabilityIbtissem Ben Makhlouf, Stefan Kowalewski. 169-179 [doi]
- Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous SystemsFabian Immler. 180-187 [doi]
- SMT Encoding of Hybrid Systems in dRealKyungmin Bae, Soonho Kong, Sicun Gao. 188-195 [doi]
- Running SpaceEx on the ARCH14 BenchmarksStefano Minopoli, Goran Frehse. 196-206 [doi]
- Progress on Powertrain Verification Challenge with C2E2Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001. 207-212 [doi]