|
|
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 | 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 |
|
|
|