Tiziano Villa

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 39

Top Venues

Publications

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Viktor Teren, Jordi Cortadella, Tiziano Villa
Seto: A Framework for the Decomposition of Petri Nets and Transition Systems. DSD (2023)
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR (2023)
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS (2023)
Viktor Teren, Jordi Cortadella, Tiziano Villa
Generation of synchronizing state machines from a transition system: A region-based approach. Int. J. Appl. Math. Comput. Sci. 33 (1) (2023)
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
Rigorous Function Calculi in Ariadne. CoRR (2023)
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289 (Part) (2022)
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV (2022)
Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa
Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA (2022)
Viktor Teren, Jordi Cortadella, Tiziano Villa
Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets. DSD (2022)
Anna Bernasconi, Valentina Ciriani, Tiziano Villa
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis. IEEE Trans. Computers 71 (1) (2022)
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
Process-driven Collision Prediction in Human-Robot Work Environments. ETFA (2022)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Dynamic controllability of temporal networks with instantaneous reaction. Inf. Sci. 613 (2022)
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF (2021)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281 (2021)
Viktor Teren, Jordi Cortadella, Tiziano Villa
Decomposition of transition systems into sets of synchronizing state machines. CoRR (2021)
Viktor Teren, Jordi Cortadella, Tiziano Villa
Decomposition of transition systems into sets of synchronizing state machines. DSD (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. 59 (1) (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR (2021)
Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa
A Boolean Heuristic for Disjoint SOP Synthesis. DSD (2021)
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
Higher Order Method for Differential Inclusions. CoRR (2020)
Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa
Computing the full quotient in bi-decomposition by approximation. DATE (2020)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
On the Complexity of Resource Controllability in Business Process Management. Business Process Management Workshops (2020)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty. ICAPS (2020)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
Mining Significant Temporal Networks Is Polynomial. TIME (2020)
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
The Quotient in Preorder Theories. GandALF (2020)
Danila A. Gorodecky, Tiziano Villa
Efficient Implementation of Modular Division by Input Bit Splitting. ARITH (2019)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Strong Controllability of Temporal Networks with Decisions. OVERLAY@AI*IA (2019)
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. OVERLAY@AI*IA (2019)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Boolean Minimization of Projected Sums of Products via Boolean Relations. IEEE Trans. Computers 68 (9) (2019)
Davide Bresolin, Luca Geretti, Tiziano Villa
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA (2019)
Anna Bernasconi, Valentina Ciriani, Tiziano Villa
Approximate Logic Synthesis by Symmetrization. DATE (2019)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Danila A. Gorodecky, Tiziano Villa
Hardware realization of residue number system algorithms by Boolean functions minimization. CoRR (2018)
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
Formal Verification of Medical CPS: A Laser Incision Case Study. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa
Enhancing logic synthesis of switching lattices by generalized Shannon decomposition methods. Microprocess. Microsystems 56 (2018)
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS (2017)
Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa
Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. DSD (2016)
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103 (11) (2015)
Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Bi-Decomposition Using Boolean Relations. DSD (2015)
Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]. Proc. IEEE 103 (11) (2015)
Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
Component-Based Design by Solving Language Equations. Proc. IEEE 103 (11) (2015)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39 (8) (2015)
Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko
Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops (2015)
Angelo Montanari, Gabriele Puppis, Tiziano Villa
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245 (2015)
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58 (11) (2015)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Using Flexibility in P-Circuits by Boolean Relations. IEEE Trans. Computers 64 (12) (2015)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF (2014)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD (2014)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Minimization of EP-SOPs via Boolean relations. VLSI-SoC (2013)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Minimization of P-circuits using Boolean relations. DATE (2013)
Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. FedCSIS (2013)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
SOP restructuring by exploiting don't cares. Microprocess. Microsystems 37 (8-A) (2013)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD (2012)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Projected Don't Cares. DSD (2012)
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS (2012)
Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa
Synthesis of P-circuits for logic restructuring. Integr. 45 (3) (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
Correct-by-construction code generation from hybrid automata specification. IWCMC (2011)
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa
Robotic Surgery. IEEE Robotics Autom. Mag. 18 (3) (2011)
Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa
An approximation algorithm for cofactoring-based synthesis. ACM Great Lakes Symposium on VLSI (2011)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
On decomposing Boolean functions via extended cofactoring. DATE (2009)
Victor Bushkov, Nina Yevtushenko, Tiziano Villa
Discussion on Supervisory Control by Solving Automata Equation CoRR (2009)
Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
The impact of EFSM composition on functional ATPG. DDECS (2009)
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
Logic Minimization and Testability of 2SPP-P-Circuits. DSD (2009)
Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (6) (2008)
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa
Logic Minimization and Testability of 2-SPP Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (7) (2008)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18 (1) (2008)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations CoRR (2007)
Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
FSM Encoding for BDD Representations. Int. J. Appl. Math. Comput. Sci. 17 (1) (2007)
Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI (2007)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Idle Speed control - a Benchmark for Hybrid System Research1. ADHS (2006)
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa
Efficient minimization of fully testable 2-SPP networks. DATE (2006)
Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Complexity of two-level logic minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (7) (2006)
Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
FSM re-engineering and its application in low power state encoding. ASP-DAC (2005)
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
Efficient Solution of Language Equations Using Partitioned Representations. DATE (2005)
Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Improving reachability analysis of hybrid automata for engine control. CDC (2004)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE (2003)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS (2002)
Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa
Optimization of Multi-Valued Multi-Level Networks. ISMVL (2002)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Solution of Parallel Language Equations for Logic Synthesis. ICCAD (2001)
Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
Model matching for finite-state machines. IEEE Trans. Autom. Control. 46 (11) (2001)
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (3) (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC (2000)
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
Hybrid controller synthesis for idle speed management of an automotive engine. ACC (2000)
Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI (1999)
Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha
An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI (1998)
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Theory and algorithms for face hypercube embedding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (6) (1998)
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47 (11) (1998)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Negative thinking by incremental problem solving: application to unate covering. ICCAD (1997)
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
A fast and robust exact algorithm for face embedding. ICCAD (1997)
Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Symbolic two-level minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Explicit and implicit algorithms for binate covering problems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (7) (1997)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (11) (1997)
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
VIS: A System for Verification and Synthesis. CAV (1996)
Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
VIS. FMCAD (1996)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit state minimization of non-deterministic FSMs. ICCD (1995)
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
A Fully Implicit Algorithm for Exact State Minimization. DAC (1994)

Tiziano Villa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tiziano Villa