ARCH15: Author Index

AuthorPapers
A
Abbas, HoussamBenchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models
Althoff, MatthiasAn Introduction to CORA 2015
Anta, AdolfoBenchmark problem: an air brake model for trains
B
Bae, KyungminSMT Encoding of Hybrid Systems in dReal
Bak, StanleyBenchmark Generator for Stratified Controllers of Tank Networks
Ben Makhlouf, IbtissemNetworked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability
Bogomolov, SergiyBenchmark Generator for Stratified Controllers of Tank Networks
Butts, KenPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
C
Chen, HongxuMotor-Transmission Drive System: a Benchmark Example for Safety Verification
Chen, XinFlow* 1.2: More Effective to Play with Hybrid Systems
D
Da Cunha, A. E. C.Benchmark: Quadrotor Attitude Control
Deshmukh, JyotirmoyPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Donzé, AlexandreBluSTL: Controller Synthesis from Signal Temporal Logic Specifications
Duggirala, Parasara SridharProgress on Powertrain Verification Challenge with C2E2
Dumont, GuyBenchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery
F
Fainekos, GeorgiosBenchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models
Fan, ChuchuProgress on Powertrain Verification Challenge with C2E2
Frehse, GoranRunning SpaceEx on the ARCH14 Benchmarks
G
Gan, VictorBenchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery
Gao, SicunSMT Encoding of Hybrid Systems in dReal
Gerhard, JuergenPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Gmehlich, RainerIndustrial Examples of Formal Specifications for Test Case Generation
Greitschus, MariusBenchmark Generator for Stratified Controllers of Tank Networks
H
Heinz, ThomasBenchmark: Reachability on a model with holes
Industrial Examples of Formal Specifications for Test Case Generation
Hoxha, BardhBenchmarks for Temporal Logic Requirements for Automotive Systems
Using S-TaLiRo on Industrial Size Automotive Models
I
Immler, FabianTool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems
Ito, HisahiroPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
J
Jin, XiaoqingPiecewise-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, JamesPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Kong, SoonhoSMT Encoding of Hybrid Systems in dReal
Kowalewski, StefanNetworked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability
M
Minopoli, StefanoRunning SpaceEx on the ARCH14 Benchmarks
Mitchell, IanBenchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery
Mitra, SayanMotor-Transmission Drive System: a Benchmark Example for Safety Verification
Progress on Powertrain Verification Challenge with C2E2
N
Nguyen, Luan VietBenchmark: 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, JensBenchmark: 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, LucaBenchmark problem: an air brake model for trains
R
Raman, VasumathiBluSTL: Controller Synthesis from Signal Temporal Logic Specifications
Roehm, HendrikIndustrial Examples of Formal Specifications for Test Case Generation
S
Samadi, BehzadPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Sankaranarayanan, SriramFlow* 1.2: More Effective to Play with Hybrid Systems
Schuler, SimoneBenchmark problem: an air brake model for trains
Strathmann, ThomasVerifying Properties of an Electro-Mechanical Braking System
T
Tian, GuangyuMotor-Transmission Drive System: a Benchmark Example for Safety Verification
Tran, Hoang-DungBenchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis
V
Viswanathan, MaheshProgress on Powertrain Verification Challenge with C2E2
W
Walker, KevinPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Woehrle, MatthiasBenchmark: Reachability on a model with holes
Industrial Examples of Formal Specifications for Test Case Generation
X
Xie, YuzhenPiecewise-Affine Approximations for a Powertrain Control Verification Benchmark
Á
Ábrahám, ErikaFlow* 1.2: More Effective to Play with Hybrid Systems