Tiziano Villa

Available identifiers

zbMath Open villa.tizianoMaRDI QIDQ1020550

List of research outcomes

Publication	Date of Publication	Type
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties	2024-11-26	Paper
A computable and compositional semantics for hybrid systems	2024-10-08	Paper
Dynamic controllability of temporal networks with instantaneous reaction	2024-04-11	Paper
Efficient Hardware Operations for the Residue Number System by Boolean Minimization	2024-01-23	Paper
Mining Significant Temporal Networks Is Polynomial	2023-11-02	Paper
Equivalence checking and intersection of deterministic timed finite state machines	2023-06-29	Paper
Generation of synchronizing state machines from a transition system: a region-based approach	2023-06-21	Paper
A higher order method for input-affine uncertain systems	2023-01-13	Paper
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5021015	2022-01-11	Paper
Mining CSTNUDs significant for a set of traces is polynomial	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4995370	2021-06-24	Paper
Automated Synthesis of Protocol Converters with BALM-II	2021-05-18	Paper
A computable and compositional semantics for hybrid automata	2021-01-25	Paper
Boolean Minimization of Projected Sums of Products via Boolean Relations	2019-08-13	Paper
Formal Verification Applied to Robotic Surgery	2018-12-12	Paper
An Introduction to the Verification of Hybrid Systems Using Ariadne	2018-12-12	Paper
Exact minimization of binary decision diagrams using implicit techniques	2018-07-09	Paper
Using Flexibility in P-Circuits by Boolean Relations	2017-05-16	Paper
Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>	2014-04-08	Paper
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis	2013-01-07	Paper
The Unknown Component Problem	2012-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3081633	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3081632	2011-03-09	Paper
Compositionally progressive solutions of synchronous FSM equations	2009-05-29	Paper
FSM Encoding for BDD Representations	2007-10-30	Paper
Controller synthesis for hybrid systems with a lower bound on event separation	2004-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4946958	2003-11-20	Paper
Model matching for finite-state machines	2002-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4953379	2001-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4337945	1997-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4332902	1997-02-17	Paper

Research outcomes over time

This page was built for person: Tiziano Villa