Full Professor

Tiziano Villa

Office

Ca' Vignal 2, Floor 1, Room 77

Telephone

+39 045 802 7034

Fax

+39 045 802 7068

Research Area

Formal methods for system design

Full Publications list

Visit link

Dblp Page

Visit link

BIOGRAPHY

Tiziano Villa received a Laurea degree in Mathematics from the University  of Milano, Italy, took the Part III of Mathematical Tripos at the University of Cambridge, U.K., and received a M.S. in CS and then a Ph.D. in EECS in 1995  at U.C. Berkeley. In 1997 he joined as a Research Scientist the PARADES Labs, Rome, Italy. In 2002 he became an Associate Professor at Universita' di Udine, Italy. Since 2006 he is a Professor with the Department of Computer Science (DI), Universita' di Verona, Italy. 

His research interests are in formal methods for electronic design automation, including logic synthesis, formal verification, automata theory, models of computation, discrete-event dynamic systems, supervisory control, cyberphysical and embedded systems, model-based engineering.

In May 1991 he was awarded the Tong Leong Lim Pre-doctoral Prize at the EECS Department of the University of California, Berkeley.

He co-authored the books "Synthesis of FSMs: Functional Optimization" (Kluwer/Springer, 1997, reprint 2010), "Synthesis of FSMs: Logic Optimization" (Kluwer/Springer, 1997, reprint 2012), "The Unknown Component Problem: Theory and Applications" (Springer, 2012), and co-edited the book "Coordination Control of Distributed Systems", Springer, 2015.
 

RELATED PUBLICATIONS

Publication Project & Area

Equivalence Checking and Intersection of Deterministic Timed Finite State Machines.

Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

CoRR, Informal Publications, 2021



Decomposition of transition systems into sets of synchronizing state machines.

Viktor Teren, Jordi Cortadella, Tiziano Villa

CoRR, Informal Publications, 2021



Computing the full quotient in bi-decomposition by approximation.

Anna Bernasconi 0001, Valentina Ciriani, Jordi Cortadella, Tiziano Villa

DATE, Conference and Workshop Papers, 2020



Mining Significant Temporal Networks Is Polynomial.

Guido Sciavicco, Matteo Zavatteri, Tiziano Villa

TIME, Conference and Workshop Papers, 2020



On the Complexity of Resource Controllability in Business Process Management.

Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

Business Process Management Workshops, Conference and Workshop Papers, 2020



Higher Order Method for Differential Inclusions.

Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa

CoRR, Informal Publications, 2020

None

Formal Methods for Engineering (ForME)

The Quotient in Preorder Theories.

Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli

GandALF, Conference and Workshop Papers, 2020



A computable and compositional semantics for hybrid automata.

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez

HSCC, Conference and Workshop Papers, 2020

None

Formal Methods for Engineering (ForME)

Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty.

Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

ICAPS, Conference and Workshop Papers, 2020



Boolean Minimization of Projected Sums of Products via Boolean Relations.

Anna Bernasconi 0001, Valentina Ciriani, Gabriella Trucco, Tiziano Villa

IEEE Trans. Computers, Journal Articles, 2019



Strong Controllability of Temporal Networks with Decisions.

Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

OVERLAY@AI*IA, Conference and Workshop Papers, 2019



Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne.

Davide Bresolin, Luca Geretti, Tiziano Villa

OVERLAY@AI*IA, Conference and Workshop Papers, 2019

None

Formal Methods for Engineering (ForME)

Rigorous Continuous Evolution of Uncertain Systems.

Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa

NSV@CAV, Conference and Workshop Papers, 2019

None

Formal Methods for Engineering (ForME)

Complexity of Weak, Strong and Dynamic Controllability of CNCUs.

Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

OVERLAY@AI*IA, Conference and Workshop Papers, 2019



Efficient Implementation of Modular Division by Input Bit Splitting.

Danila A. Gorodecky, Tiziano Villa

ARITH, Conference and Workshop Papers, 2019



Cookies disclaimer

Our site saves small pieces of text information (cookies) on your device in order to deliver better content and for statistical purposes. You can disable the usage of cookies by changing the settings of your browser. By browsing our website without changing the browser settings you grant us permission to store that information on your device.