| Publication | Date of Publication | Type |
|---|
An abstract model for branch and cut
Mathematical Programming. Series A. Series B | 2024-08-20 | Paper |
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Fairness over time in dynamic resource allocation with an application in healthcare
Mathematical Programming. Series A. Series B | 2024-02-21 | Paper |
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems
Automatica | 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 |
scientific article; zbMATH DE number 7559473 (Why is no real title available?)
| 2022-07-18 | Paper |
A Study of Model-Order Reduction Techniques for Verification
Numerical Software 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
Foundations of Probabilistic Programming | 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
Mathematical Programming. Series A. Series B | 2021-01-25 | Paper |
Conformance verification for neural network models of glucose-insulin dynamics
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Discriminating traces with time
Tools and Algorithms for the Construction and Analysis of Systems | 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
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Sherlock - A tool for verification of neural network feedback systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 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
Static Analysis | 2019-09-16 | Paper |
Template polyhedra and bilinear optimization
Formal Methods in System Design | 2019-09-04 | Paper |
Can cut-generating functions be good and efficient?
SIAM Journal on Optimization | 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
Formal Methods in System Design | 2018-10-04 | Paper |
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
IMA Journal of Mathematical Control and Information | 2018-09-27 | Paper |
Validating numerical semidefinite programming solvers for polynomial invariants
Static Analysis | 2018-08-27 | Paper |
Sensitivity and covariance in stochastic complementarity problems with an application to north American natural gas markets
European Journal of Operational Research | 2018-05-30 | Paper |
Regular Real Analysis
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Symbolic-numeric reachability analysis of closed-loop control software
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Simulation-guided Lyapunov analysis for hybrid dynamical systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Automatic abstraction of non-linear systems using change of bases transformations
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Automatic invariant generation for hybrid systems using ideal fixed points
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Change-of-bases abstractions for non-linear hybrid systems
Nonlinear Analysis. Hybrid Systems | 2015-12-23 | Paper |
Statistically sound verification and optimization for complex systems
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Bernstein Polynomial Relaxations for Polynomial Optimization Problems
| 2015-09-03 | Paper |
Program analysis via satisfiability modulo path programs
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 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
Computer Aided Verification | 2014-09-29 | Paper |
Abstract acceleration of general linear loops
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A bit too precise? Bounded verification of quantized digital filters
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Generalizing the template polyhedral domain
Programming Languages and Systems | 2011-05-19 | Paper |
S-TaLiRo: a tool for temporal logic falsification for hybrid systems
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
Access nets: modeling access to physical spaces
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Petri net analysis using invariant generation
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Static Analysis in Disjunctive Numerical Domains
Static Analysis | 2009-03-12 | Paper |
Program Analysis Using Symbolic Ranges
Static Analysis | 2009-03-03 | Paper |
A Policy Iteration Technique for Time Elapse over Template Polyhedra
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
Static Analysis | 2008-08-28 | Paper |
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Constructing invariants for hybrid systems
Formal Methods in System Design | 2008-03-11 | Paper |
Fast and Accurate Static Data-Race Detection for Concurrent Programs
Computer Aided Verification | 2007-11-29 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Collecting statistics over runtime executions
Formal Methods in System Design | 2006-01-23 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
