| Publication | Date of Publication | Type |
|---|
| An abstract model for branch and cut | 2024-08-20 | Paper |
| Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. | 2024-02-21 | Paper |
| Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. | 2024-02-21 | Paper |
| Fairness over time in dynamic resource allocation with an application in healthcare | 2024-02-21 | Paper |
| Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems | 2023-07-31 | Paper |
| A learning-based algorithm to quickly compute good primal solutions for stochastic integer programs | 2022-12-21 | Paper |
| A Framework for Fair Decision-making Over Time with Time-invariant Utilities | 2022-12-20 | Paper |
| An abstract model for branch-and-cut | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089282 | 2022-07-18 | Paper |
| A Study of Model-Order Reduction Techniques for Verification | 2022-07-01 | Paper |
| Static analysis of ReLU neural networks with tropical polyhedra | 2022-06-17 | Paper |
| Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities | 2021-02-16 | Paper |
| Unbounded-time safety verification of stochastic differential dynamics | 2021-02-09 | Paper |
| Reachability analysis using message passing over tree decompositions | 2021-02-04 | Paper |
| Mixed-integer bilevel representability | 2021-01-25 | Paper |
| Conformance verification for neural network models of glucose-insulin dynamics | 2021-01-25 | Paper |
| Discriminating Traces with Time | 2020-08-05 | Paper |
| A learning-based algorithm to quickly compute good primal solutions for Stochastic Integer Programs | 2019-12-17 | Paper |
| Reachability analysis for neural feedback systems using regressive polynomial rule inference | 2019-10-22 | Paper |
| Sherlock - A tool for verification of neural network feedback systems | 2019-10-22 | Paper |
| Reaching out towards fully verified autonomous systems | 2019-10-22 | Paper |
| Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities | 2019-09-17 | Paper |
| Deductive proofs of almost sure persistence and recurrence properties | 2019-09-17 | Paper |
| Template Polyhedra with a Twist | 2019-09-16 | Paper |
| Template polyhedra and bilinear optimization | 2019-09-04 | Paper |
| Can Cut-Generating Functions Be Good and Efficient? | 2019-05-07 | Paper |
| Robust data-driven control of artificial pancreas systems using neural networks | 2018-10-17 | Paper |
| Validating numerical semidefinite programming solvers for polynomial invariants | 2018-10-04 | Paper |
| Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis | 2018-09-27 | Paper |
| Validating numerical semidefinite programming solvers for polynomial invariants | 2018-08-27 | Paper |
| Sensitivity and covariance in stochastic complementarity problems with an application to north American natural gas markets | 2018-05-30 | Paper |
| Regular Real Analysis | 2017-07-03 | Paper |
| Stability and stabilization of polynomial dynamical systems using Bernstein polynomials | 2017-05-19 | Paper |
| Symbolic-numeric reachability analysis of closed-loop control software | 2017-05-19 | Paper |
| Simulation-guided Lyapunov analysis for hybrid dynamical systems | 2017-05-16 | Paper |
| Automatic abstraction of non-linear systems using change of bases transformations | 2017-05-16 | Paper |
| Falsification of temporal properties of hybrid systems using the cross-entropy method | 2017-05-16 | Paper |
| Automatic invariant generation for hybrid systems using ideal fixed points | 2017-05-10 | Paper |
| Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems | 2017-05-10 | Paper |
| Change-of-bases abstractions for non-linear hybrid systems | 2015-12-23 | Paper |
| Statistically sound verification and optimization for complex systems | 2015-12-17 | Paper |
| Non-linear loop invariant generation using Gröbner bases | 2015-11-11 | Paper |
| Bernstein Polynomial Relaxations for Polynomial Optimization Problems | 2015-09-03 | Paper |
| Program analysis via satisfiability modulo path programs | 2015-06-11 | Paper |
| Stabilization of polynomial dynamical systems using linear programming based on Bernstein polynomials | 2015-01-19 | Paper |
| QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers | 2014-09-29 | Paper |
| Abstract acceleration of general linear loops | 2014-04-10 | Paper |
| A bit too precise? Bounded verification of quantized digital filters | 2012-06-29 | Paper |
| Generalizing the template polyhedral domain | 2011-05-19 | Paper |
| S-TaLiRo: a tool for temporal logic falsification for hybrid systems | 2011-05-19 | Paper |
| Access nets: modeling access to physical spaces | 2011-02-15 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Petri net analysis using invariant generation | 2010-03-23 | Paper |
| Static Analysis in Disjunctive Numerical Domains | 2009-03-12 | Paper |
| Program Analysis Using Symbolic Ranges | 2009-03-03 | Paper |
| A Policy Iteration Technique for Time Elapse over Template Polyhedra | 2008-09-02 | Paper |
| SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement | 2008-08-28 | Paper |
| Symbolic Model Checking of Hybrid Systems Using Template Polyhedra | 2008-04-11 | Paper |
| Constructing invariants for hybrid systems | 2008-03-11 | Paper |
| Fast and Accurate Static Data-Race Detection for Concurrent Programs | 2007-11-29 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Collecting statistics over runtime executions | 2006-01-23 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Static Analysis | 2005-08-24 | Paper |
