Tiziano Villa

114 papers A* 5A 10B 3C 21Journal 47Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
Collision prediction using plan learning in mixed human-robot work cells.
Robotics Auton. Syst.
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2025 J jnl
Area-driven Boolean bi-decomposition by function approximation.
ACM Trans. Design Autom. Electr. Syst.
Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Marco Costa, Tiziano Villa
2025 J jnl
Rigorous Function Calculi in Ariadne.
Log. Methods Comput. Sci.
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
2024 J jnl
A computable and compositional semantics for hybrid systems.
Inf. Comput.
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
2024 C conf
Dependability Evaluation of Industrial Networks by Using Monte Carlo With Importance Sampling.
ETFA
Paolo Guarino, Filippo Nevi, Paolo Dai Pra, Davide Quaglia, Tiziano Villa
2024 J jnl
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study.
IEEE Access
Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia
2024 — conf
Recent Results on Computable and Compositional Semantics for Hybrid Systems.
OVERLAY
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa
2023 J jnl
Generation of synchronizing state machines from a transition system: A region-based approach.
Int. J. Appl. Math. Comput. Sci.
Viktor Teren, Jordi Cortadella, Tiziano Villa
2023 C conf
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.
DDECS
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
2023 J jnl
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.
CoRR
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
2023 J jnl
Rigorous Function Calculi in Ariadne.
CoRR
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
2023 C conf
Seto: A Framework for the Decomposition of Petri Nets and Transition Systems.
DSD
Viktor Teren, Jordi Cortadella, Tiziano Villa
2022 B conf
Automating Numerical Parameters Along the Evolution of a Nonlinear System.
RV
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
2022 C conf
Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets.
DSD
Viktor Teren, Jordi Cortadella, Tiziano Villa
2022 — conf
Dynamic Controllability of Temporal Networks via Supervisory Control.
OVERLAY@AI*IA
Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa
2022 J jnl
Dynamic controllability of temporal networks with instantaneous reaction.
Inf. Sci.
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2022 J jnl
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis.
IEEE Trans. Computers
Anna Bernasconi, Valentina Ciriani, Tiziano Villa
2022 C conf
Process-driven Collision Prediction in Human-Robot Work Environments.
ETFA
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2022 J jnl
Special issue: Formal verification of cyber-physical systems.
Inf. Comput.
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
2021 C conf
A Boolean Heuristic for Disjoint SOP Synthesis.
DSD
Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa
2021 C conf
Decomposition of transition systems into sets of synchronizing state machines.
DSD
Viktor Teren, Jordi Cortadella, Tiziano Villa
2021 J jnl
Decomposition of transition systems into sets of synchronizing state machines.
CoRR
Viktor Teren, Jordi Cortadella, Tiziano Villa
2021 J jnl
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines.
CoRR
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2021 J jnl
Equivalence checking and intersection of deterministic timed finite state machines.
Formal Methods Syst. Des.
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2021 J jnl
Mining CSTNUDs significant for a set of traces is polynomial.
Inf. Comput.
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2021 — conf
Mining Temporal Networks: Results and Open Problems.
OVERLAY@GandALF
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
2020 — conf
A computable and compositional semantics for hybrid automata.
HSCC
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
2020 A conf
Computing the full quotient in bi-decomposition by approximation.
DATE
Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa
2020 A* conf
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty.
ICAPS
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2020 J jnl
Higher Order Method for Differential Inclusions.
CoRR
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
2020 C conf
Mining Significant Temporal Networks Is Polynomial.
TIME
Guido Sciavicco, Matteo Zavatteri, Tiziano Villa
2020 — conf
On the Complexity of Resource Controllability in Business Process Management.
Business Process Management Workshops
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2020 — conf
The Quotient in Preorder Theories.
GandALF
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2019 A conf
Approximate Logic Synthesis by Symmetrization.
DATE
Anna Bernasconi, Valentina Ciriani, Tiziano Villa
2019 — conf
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne.
OVERLAY@AI*IA
Davide Bresolin, Luca Geretti, Tiziano Villa
2019 J jnl
Boolean Minimization of Projected Sums of Products via Boolean Relations.
IEEE Trans. Computers
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2019 — conf
Complexity of Weak, Strong and Dynamic Controllability of CNCUs.
OVERLAY@AI*IA
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2019 C conf
Efficient Implementation of Modular Division by Input Bit Splitting.
ARITH
Danila A. Gorodecky, Tiziano Villa
2019 — conf
Rigorous Continuous Evolution of Uncertain Systems.
NSV@CAV
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
2019 — conf
Strong Controllability of Temporal Networks with Decisions.
OVERLAY@AI*IA
Matteo Zavatteri, Romeo Rizzi, Tiziano Villa
2018 J jnl
Enhancing logic synthesis of switching lattices by generalized Shannon decomposition methods.
Microprocess. Microsystems
Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa
2018 J jnl
Formal Verification of Medical CPS: A Laser Incision Case Study.
ACM Trans. Cyber Phys. Syst.
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
2018 J jnl
Hardware realization of residue number system algorithms by Boolean functions minimization.
CoRR
Danila A. Gorodecky, Tiziano Villa
2017 C conf
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
ICTSS
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
2016 C conf
Logic Synthesis for Switching Lattices by Decomposition with P-Circuits.
DSD
Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa
2015 J jnl
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.
Proc. IEEE
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
2015 — conf
Automated Synthesis of Protocol Converters with BALM-II.
SEFM Workshops
Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko
2015 C conf
Bi-Decomposition Using Boolean Relations.
DSD
Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2015 J jnl
Component-Based Design by Solving Language Equations.
Proc. IEEE
Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
2015 J jnl
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
Comput. J.
Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang
2015 J jnl
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue].
Proc. IEEE
Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2015 J jnl
Formal verification of robotic surgery tasks by reachability analysis.
Microprocess. Microsystems
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2015 J jnl
Games, Automata, Logics, and Formal Verification (GandALF 2013).
Inf. Comput.
Angelo Montanari, Gabriele Puppis, Tiziano Villa
2015 J jnl
Using Flexibility in P-Circuits by Boolean Relations.
IEEE Trans. Computers
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2014 — conf
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
GandALF
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
2014 C conf
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
DSD
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2013 C conf
Minimization of EP-SOPs via Boolean relations.
VLSI-SoC
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2013 A conf
Minimization of P-circuits using Boolean relations.
DATE
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2013 — ed.
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013.
GandALF
Gabriele Puppis, Tiziano Villa
2013 J jnl
SOP restructuring by exploiting don't cares.
Microprocess. Microsystems
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2013 C conf
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata.
FedCSIS
Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa
2012 — conf
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
RP
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
2012 — conf
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus.
ADHS
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
2012 C conf
Open Problems in Verification and Refinement of Autonomous Robotic Systems.
DSD
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2012 C conf
Projected Don't Cares.
DSD
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2012 J jnl
Synthesis of P-circuits for logic restructuring.
Integr.
Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa
2011 — conf
An approximation algorithm for cofactoring-based synthesis.
ACM Great Lakes Symposium on VLSI
Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa
2011 B conf
Correct-by-construction code generation from hybrid automata specification.
IWCMC
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
2011 J jnl
Robotic Surgery.
IEEE Robotics Autom. Mag.
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa
2010 — ch.
Hardware Equivalence and Property Verification.
Boolean Models and Methods
Jie-Hong Roland Jiang, Tiziano Villa, Yves Crama, Peter L. Hammer
2010 — ch.
Synthesis of Multilevel Boolean Networks.
Boolean Models and Methods
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer
2009 J jnl
Discussion on Supervisory Control by Solving Automata Equation
CoRR
Victor Bushkov, Nina Yevtushenko, Tiziano Villa
2009 C conf
Logic Minimization and Testability of 2SPP-P-Circuits.
DSD
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2009 A conf
On decomposing Boolean functions via extended cofactoring.
DATE
Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
2009 C conf
The impact of EFSM composition on functional ATPG.
DDECS
Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
2008 J jnl
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2008 J jnl
Compositionally Progressive Solutions of Synchronous FSM Equations.
Discret. Event Dyn. Syst.
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2008 J jnl
Logic Minimization and Testability of 2-SPP Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa
2007 — conf
A new algorithm for the largest compositionally progressive solution of synchronous language equations.
ACM Great Lakes Symposium on VLSI
Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2007 J jnl
Efficient Solution of Language Equations Using Partitioned Representations
CoRR
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
2007 J jnl
FSM Encoding for BDD Representations.
Int. J. Appl. Math. Comput. Sci.
Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
2006 J jnl
Complexity of two-level logic minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2006 A conf
Efficient minimization of fully testable 2-SPP networks.
DATE
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa
2006 — conf
Idle Speed control - a Benchmark for Hybrid System Research1.
ADHS
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2005 A conf
Efficient Solution of Language Equations Using Partitioned Representations.
DATE
Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko
2005 — conf
FSM re-engineering and its application in low power state encoding.
ASP-DAC
Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2004 — conf
Improving reachability analysis of hybrid automata for engine control.
CDC
Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2003 A conf
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.
DATE
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2002 — conf
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.
IWLS
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2002 — conf
Optimization of Multi-Valued Multi-Level Networks.
ISMVL
Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa
2001 J jnl
Model matching for finite-state machines.
IEEE Trans. Autom. Control.
Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2001 A conf
Solution of Parallel Language Equations for Logic Synthesis.
ICCAD
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2000 C conf
Hybrid controller synthesis for idle speed management of an automotive engine.
ACC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000 — conf
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
HSCC
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000 J jnl
Negative thinking in branch-and-bound: the case of unate covering.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999 — conf
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems.
VLSI
Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1998 — conf
An Exact Input Encoding Algorithm for BDDs Representing FSMs.
Great Lakes Symposium on VLSI
Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha
1998 J jnl
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.
IEEE Trans. Computers
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1998 J jnl
Theory and algorithms for face hypercube embedding.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 A conf
A fast and robust exact algorithm for face embedding.
ICCAD
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Explicit and implicit algorithms for binate covering problems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Implicit computation of compatible sets for state minimization of ISFSMs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 A conf
Negative thinking by incremental problem solving: application to unate covering.
ICCAD
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Symbolic two-level minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Theory and algorithms for state minimization of nondeterministic FSMs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996 B conf
VIS.
FMCAD
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 A* conf
VIS: A System for Verification and Synthesis.
CAV
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 C conf
Implicit state minimization of non-deterministic FSMs.
ICCD
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994 A* conf
A Fully Implicit Algorithm for Exact State Minimization.
DAC
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994 J jnl
Satisfaction of input and output encoding constraints.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992 — conf
Experiments on the synthesis and testability of non-scan finite state machines.
EURO-DAC
Michael Pabst, Tiziano Villa, A. Richard Newton
1991 A* conf
A Framework for Satisfying Input and Output Encoding Constraints.
DAC
Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990 J jnl
NOVA: state assignment of finite state machines for optimal two-level logic implementation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1989 A* conf
NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations.
DAC
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli