Tiziano Villa

Available identifiers

zbMath Open villa.tizianoMaRDI QIDQ1020550

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q6060099	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
An Introduction to the Verification of Hybrid Systems Using Ariadne	2018-12-12	Paper
Formal Verification Applied to Robotic Surgery	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/Q3081632	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3081633	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tiziano Villa