ARCH16:Author IndexAuthor  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  Highlevel Hybrid Systems Analysis with Hypy  Beg, Omar  Charge Pump PhaseLocked 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  SMTBased CPS Parameter Synthesis  Bogomolov, Sergiy  Verification of FaultTolerant Clock Synchronization Algorithms Highlevel Hybrid Systems Analysis with Hypy  Busboom, Axel  formalSpec  SemiAutomatic Formalization of System Requirements for Formal Verification  D  Daher Adegas, Fabiano  Hybrid Modelling of a Wind Turbine  Davoudi, Ali  Charge Pump PhaseLocked Loops and Full Wave Rectifiers for Reachability Analysis  Drzajic, Dalibor  A Semidefinite Programming Approach to Control Synthesis for Stochastic ReachAvoid Problems  F  Fey, Goerschwin  SMTBased CPS Parameter Synthesis  G  Ghorbal, Khalil  Nonlinear 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 FaultTolerant Clock Synchronization Algorithms  J  Jang, Kuk Jin  Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue  Johnson, Taylor T.  Charge Pump PhaseLocked Loops and Full Wave Rectifiers for Reachability Analysis Nonlinear Continuous Systems for Safety Verification LargeScale Linear Systems from OrderReduction  K  Kamgarpour, Maryam  A Semidefinite Programming Approach to Control Synthesis for Stochastic ReachAvoid Problems  Kariotoglou, Nikolaos  A Semidefinite Programming Approach to Control Synthesis for Stochastic ReachAvoid Problems  Koenighofer, Robert  SMTBased 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 ReachAvoid 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  LargeScale Linear Systems from OrderReduction  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  SMTBased CPS Parameter Synthesis  Roop, Partha  Hybrid Automata Model of the Heart for Formal Verification of Pacemakers  S  Schilling, Christian  Highlevel Hybrid Systems Analysis with Hypy  Schuler, Simone  Hybrid Modelling of a Wind Turbine formalSpec  SemiAutomatic Formalization of System Requirements for Formal Verification  Sogokon, Andrew  Nonlinear Continuous Systems for Safety Verification  Steiner, Wilfried  Verification of FaultTolerant Clock Synchronization Algorithms  T  Tran, HoangDung  LargeScale Linear Systems from OrderReduction  Trew, Mark  Hybrid Automata Model of the Heart for Formal Verification of Pacemakers  W  Walsch, Alexander  formalSpec  SemiAutomatic Formalization of System Requirements for Formal Verification 

