ARCH16: Author Index

Author	Papers
A
Abbas, Houssam	Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Althoff, Matthias	Implementation of Interval Arithmetic in CORA 2016
Andalam, Sidharta	Hybrid Automata Model of the Heart for Formal Verification of Pacemakers
Anta, Adolfo	Hybrid Modelling of a Wind Turbine
B
Bak, Stanley	High-level Hybrid Systems Analysis with Hypy
Beg, Omar	Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Ben Makhlouf, Ibtissem	HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Bloem, Roderick	SMT-Based CPS Parameter Synthesis
Bogomolov, Sergiy	Verification of Fault-Tolerant Clock Synchronization Algorithms High-level Hybrid Systems Analysis with Hypy
Busboom, Axel	formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
D
Daher Adegas, Fabiano	Hybrid Modelling of a Wind Turbine
Davoudi, Ali	Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Drzajic, Dalibor	A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
F
Fey, Goerschwin	SMT-Based CPS Parameter Synthesis
G
Ghorbal, Khalil	Non-linear Continuous Systems for Safety Verification
Grebenyuk, Dmitry	Implementation of Interval Arithmetic in CORA 2016
H
Hagemann, Willem	Verifying a PI Controller using SoapBox and Stabhyli
Hansen, Norman	HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Herrera, Christian	Verification of Fault-Tolerant Clock Synchronization Algorithms
J
Jang, Kuk Jin	Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Johnson, Taylor T.	Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis Non-linear Continuous Systems for Safety Verification Large-Scale Linear Systems from Order-Reduction
K
Kamgarpour, Maryam	A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Kariotoglou, Nikolaos	A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Koenighofer, Robert	SMT-Based CPS Parameter Synthesis
Kowalewski, Stefan	HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
L
Livingston, Scott	Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Lygeros, John	A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
M
Malik, Avinash	Hybrid Automata Model of the Heart for Formal Verification of Pacemakers
Mangharam, Rahul	Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Möhlmann, Eike	Verifying a PI Controller using SoapBox and Stabhyli
N
Nguyen, Luan Viet	Large-Scale Linear Systems from Order-Reduction
R
Rakow, Astrid	Verifying a PI Controller using SoapBox and Stabhyli
Raman, Vasumathi	Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Riener, Heinz	SMT-Based CPS Parameter Synthesis
Roop, Partha	Hybrid Automata Model of the Heart for Formal Verification of Pacemakers
S
Schilling, Christian	High-level Hybrid Systems Analysis with Hypy
Schuler, Simone	Hybrid Modelling of a Wind Turbine formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Sogokon, Andrew	Non-linear Continuous Systems for Safety Verification
Steiner, Wilfried	Verification of Fault-Tolerant Clock Synchronization Algorithms
T
Tran, Hoang-Dung	Large-Scale Linear Systems from Order-Reduction
Trew, Mark	Hybrid Automata Model of the Heart for Formal Verification of Pacemakers
W
Walsch, Alexander	formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification