Tiziano Villa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
17
Active years
1989–2024
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ETFA | Dependability Evaluation of Industrial Networks by Using Monte Carlo With Importance Sampling. | Paolo Guarino, Filippo Nevi, Paolo Dai Pra, Davide Quaglia, Tiziano Villa |
| 2023 | DDECS | HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. | Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa |
| 2023 | DSD | Seto: A Framework for the Decomposition of Petri Nets and Transition Systems. | Viktor Teren, Jordi Cortadella, Tiziano Villa |
| 2022 | DSD | Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets. | Viktor Teren, Jordi Cortadella, Tiziano Villa |
| 2022 | ETFA | Process-driven Collision Prediction in Human-Robot Work Environments. | Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa |
| 2022 | RV | Automating Numerical Parameters Along the Evolution of a Nonlinear System. | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2021 | DSD | A Boolean Heuristic for Disjoint SOP Synthesis. | Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa |
| 2021 | DSD | Decomposition of transition systems into sets of synchronizing state machines. | Viktor Teren, Jordi Cortadella, Tiziano Villa |
| 2020 | BPM | On the Complexity of Resource Controllability in Business Process Management. | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
| 2020 | DATE | Computing the full quotient in bi-decomposition by approximation. | Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa |
| 2020 | TIME | Mining Significant Temporal Networks Is Polynomial. | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 2019 | ARITH | Efficient Implementation of Modular Division by Input Bit Splitting. | Danila A. Gorodecky, Tiziano Villa |
| 2019 | CAV | Rigorous Continuous Evolution of Uncertain Systems. | Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2019 | DATE | Approximate Logic Synthesis by Symmetrization. | Anna Bernasconi, Valentina Ciriani, Tiziano Villa |
| 2016 | DSD | Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. | Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa |
| 2015 | DSD | Bi-Decomposition Using Boolean Relations. | Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2015 | SEFM | Automated Synthesis of Protocol Converters with BALM-II. | Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko |
| 2014 | DSD | Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. | Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2013 | DATE | Minimization of P-circuits using Boolean relations. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2013 | FedCSIS | Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. | Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa |
| 2012 | DSD | Projected Don't Cares. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2012 | DSD | Open Problems in Verification and Refinement of Autonomous Robotic Systems. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2011 | IWCMC | Correct-by-construction code generation from hybrid automata specification. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa |
| 2009 | DATE | On decomposing Boolean functions via extended cofactoring. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2009 | DDECS | The impact of EFSM composition on functional ATPG. | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa |
| 2009 | DSD | Logic Minimization and Testability of 2SPP-P-Circuits. | Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2006 | DATE | Efficient minimization of fully testable 2-SPP networks. | Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa |
| 2005 | ASPDAC | FSM re-engineering and its application in low power state encoding. | Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DATE | Efficient Solution of Language Equations Using Partitioned Representations. | Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko |
| 2003 | DATE | Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2001 | ICCAD | Solution of Parallel Language Equations for Logic Synthesis. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Negative thinking by incremental problem solving: application to unate covering. | Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | A fast and robust exact algorithm for face embedding. | Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | 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 |
| 1996 | FMCAD | VIS. | 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 |
| 1995 | ICCD | Implicit state minimization of non-deterministic FSMs. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | A Fully Implicit Algorithm for Exact State Minimization. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | DAC | A Framework for Satisfying Input and Output Encoding Constraints. | Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1989 | DAC | NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. | Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |