ARCH16: Author Index

AuthorPapers
A
Abbas, HoussamNonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Althoff, MatthiasImplementation of Interval Arithmetic in CORA 2016
Andalam, SidhartaHybrid Automata Model of the Heart for Formal Verification of Pacemakers
Anta, AdolfoHybrid Modelling of a Wind Turbine
B
Bak, StanleyHigh-level Hybrid Systems Analysis with Hypy
Beg, OmarCharge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Ben Makhlouf, IbtissemHyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Bloem, RoderickSMT-Based CPS Parameter Synthesis
Bogomolov, SergiyVerification of Fault-Tolerant Clock Synchronization Algorithms
High-level Hybrid Systems Analysis with Hypy
Busboom, AxelformalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
D
Daher Adegas, FabianoHybrid Modelling of a Wind Turbine
Davoudi, AliCharge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis
Drzajic, DaliborA Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
F
Fey, GoerschwinSMT-Based CPS Parameter Synthesis
G
Ghorbal, KhalilNon-linear Continuous Systems for Safety Verification
Grebenyuk, DmitryImplementation of Interval Arithmetic in CORA 2016
H
Hagemann, WillemVerifying a PI Controller using SoapBox and Stabhyli
Hansen, NormanHyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Herrera, ChristianVerification of Fault-Tolerant Clock Synchronization Algorithms
J
Jang, Kuk JinNonlinear 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, MaryamA Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Kariotoglou, NikolaosA Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
Koenighofer, RobertSMT-Based CPS Parameter Synthesis
Kowalewski, StefanHyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
L
Livingston, ScottChains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Lygeros, JohnA Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
M
Malik, AvinashHybrid Automata Model of the Heart for Formal Verification of Pacemakers
Mangharam, RahulNonlinear Hybrid Automata Model of Excitable Cardiac Tissue
Möhlmann, EikeVerifying a PI Controller using SoapBox and Stabhyli
N
Nguyen, Luan VietLarge-Scale Linear Systems from Order-Reduction
R
Rakow, AstridVerifying a PI Controller using SoapBox and Stabhyli
Raman, VasumathiChains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis
Riener, HeinzSMT-Based CPS Parameter Synthesis
Roop, ParthaHybrid Automata Model of the Heart for Formal Verification of Pacemakers
S
Schilling, ChristianHigh-level Hybrid Systems Analysis with Hypy
Schuler, SimoneHybrid Modelling of a Wind Turbine
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Sogokon, AndrewNon-linear Continuous Systems for Safety Verification
Steiner, WilfriedVerification of Fault-Tolerant Clock Synchronization Algorithms
T
Tran, Hoang-DungLarge-Scale Linear Systems from Order-Reduction
Trew, MarkHybrid Automata Model of the Heart for Formal Verification of Pacemakers
W
Walsch, AlexanderformalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification