publication venue for Template polyhedra and bilinear optimization 2019 Validating numerical semidefinite programming solvers for polynomial invariants 2018 From non-preemptive to preemptive scheduling using synchronization synthesis 2017 Foreword: Special issue on numerical software verification 2009 Constructing invariants for hybrid systems 2008 An algorithm for strongly connected component analysis in n log n symbolic steps 2006 Compositional SCC analysis for language emptiness 2006 Collecting statistics over runtime executions 2005 A symbolic algorithm for maximum flow in 0-1 networks 1997 Algebraic decision diagrams and their applications 1997 EXTENDED BDDS - TRADING OFF CANONICITY FOR STRUCTURE IN VERIFICATION ALGORITHMS 1994