default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTiziano Villa
Person information
- affiliation: University of Verona, Italy
- affiliation (PhD 1995): University of California Berkeley, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Davide Bresolin
, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid systems. Inf. Comput. 300: 105189 (2024)- 2023
- [j34]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) - [c62]Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS 2023: 87-90 - [c61]Viktor Teren, Jordi Cortadella, Tiziano Villa:
Seto: A Framework for the Decomposition of Petri Nets and Transition Systems. DSD 2023: 669-677 - [i8]Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa:
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR abs/2305.00039 (2023) - [i7]Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa:
Rigorous Function Calculi in Ariadne. CoRR abs/2306.17541 (2023) - 2022
- [j33]Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa:
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289(Part): 104979 (2022) - [j32]Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
Dynamic controllability of temporal networks with instantaneous reaction. Inf. Sci. 613: 932-952 (2022) - [j31]Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis. IEEE Trans. Computers 71(1): 121-133 (2022) - [c60]Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa:
Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA 2022: 27-31 - [c59]Viktor Teren, Jordi Cortadella, Tiziano Villa:
Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets. DSD 2022: 165-173 - [c58]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: 1-8 - [c57]Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV 2022: 336-345 - 2021
- [j30]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): 77-102 (2021) - [j29]Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining CSTNUDs significant for a set of traces is polynomial. Inf. Comput. 281: 104773 (2021) - [c56]Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
A Boolean Heuristic for Disjoint SOP Synthesis. DSD 2021: 62-68 - [c55]Viktor Teren, Jordi Cortadella, Tiziano Villa:
Decomposition of transition systems into sets of synchronizing state machines. DSD 2021: 77-81 - [c54]Guido Sciavicco, Tiziano Villa, Matteo Zavatteri:
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF 2021: 31-36 - [i6]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR abs/2103.04868 (2021) - [i5]Viktor Teren, Jordi Cortadella, Tiziano Villa:
Decomposition of transition systems into sets of synchronizing state machines. CoRR abs/2106.13852 (2021) - 2020
- [c53]Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty. ICAPS 2020: 314-322 - [c52]Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
On the Complexity of Resource Controllability in Business Process Management. Business Process Management Workshops 2020: 168-180 - [c51]Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa:
Computing the full quotient in bi-decomposition by approximation. DATE 2020: 580-585 - [c50]Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid automata. HSCC 2020: 18:1-18:11 - [c49]Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining Significant Temporal Networks Is Polynomial. TIME 2020: 11:1-11:12 - [c48]Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
The Quotient in Preorder Theories. GandALF 2020: 216-233 - [i4]Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa:
Higher Order Method for Differential Inclusions. CoRR abs/2001.11330 (2020)
2010 – 2019
- 2019
- [j28]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Boolean Minimization of Projected Sums of Products via Boolean Relations. IEEE Trans. Computers 68(9): 1269-1282 (2019) - [c47]Davide Bresolin, Luca Geretti, Tiziano Villa:
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA 2019: 29-34 - [c46]Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
Strong Controllability of Temporal Networks with Decisions. OVERLAY@AI*IA 2019: 77-82 - [c45]Matteo Zavatteri, Romeo Rizzi, Tiziano Villa:
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. OVERLAY@AI*IA 2019: 83-88 - [c44]Danila A. Gorodecky, Tiziano Villa:
Efficient Implementation of Modular Division by Input Bit Splitting. ARITH 2019: 54-60 - [c43]Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV 2019: 60-75 - [c42]Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
Approximate Logic Synthesis by Symmetrization. DATE 2019: 1655-1660 - 2018
- [j27]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: 193-203 (2018) - [j26]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): 35:1-35:29 (2018) - [i3]Danila A. Gorodecky, Tiziano Villa:
Hardware realization of residue number system algorithms by Boolean functions minimization. CoRR abs/1808.03083 (2018) - 2017
- [c41]Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa:
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS 2017: 313-319 - 2016
- [c40]Anna Bernasconi, Valentina Ciriani, Luca Frontini, Valentino Liberali, Gabriella Trucco, Tiziano Villa:
Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. DSD 2016: 423-430 - 2015
- [j25]Nina Yevtushenko, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang:
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions. Comput. J. 58(11): 2793-2803 (2015) - [j24]Angelo Montanari, Gabriele Puppis, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - [j23]Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa:
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39(8): 836-842 (2015) - [j22]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): 1952-1957 (2015) - [j21]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): 2104-2132 (2015) - [j20]Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton:
Component-Based Design by Solving Language Equations. Proc. IEEE 103(11): 2152-2167 (2015) - [j19]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Using Flexibility in P-Circuits by Boolean Relations. IEEE Trans. Computers 64(12): 3605-3618 (2015) - [c39]Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Bi-Decomposition Using Boolean Relations. DSD 2015: 72-78 - [c38]Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko:
Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops 2015: 281-296 - 2014
- [c37]Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa:
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD 2014: 659-662 - [c36]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF 2014: 203-216 - 2013
- [j18]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
SOP restructuring by exploiting don't cares. Microprocess. Microsystems 37(8-A): 836-847 (2013) - [c35]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Minimization of P-circuits using Boolean relations. DATE 2013: 996-1001 - [c34]Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa:
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. FedCSIS 2013: 1369-1376 - [c33]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Minimization of EP-SOPs via Boolean relations. VLSI-SoC 2013: 112-117 - [e1]Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents] - 2012
- [j17]Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa:
Synthesis of P-circuits for logic restructuring. Integr. 45(3): 282-293 (2012) - [c32]Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa:
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS 2012: 284-290 - [c31]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Projected Don't Cares. DSD 2012: 57-64 - [c30]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: 469-476 - [c29]Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 - 2011
- [j16]Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa:
Robotic Surgery. IEEE Robotics Autom. Mag. 18(3): 24-32 (2011) - [c28]Anna Bernasconi, Valentina Ciriani, Valentino Liberali, Gabriella Trucco, Tiziano Villa:
An approximation algorithm for cofactoring-based synthesis. ACM Great Lakes Symposium on VLSI 2011: 193-198 - [c27]Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa:
Correct-by-construction code generation from hybrid automata specification. IWCMC 2011: 1660-1665 - 2010
- [p2]Jie-Hong Roland Jiang, Tiziano Villa, Yves Crama, Peter L. Hammer:
Hardware Equivalence and Property Verification. Boolean Models and Methods 2010: 599-674 - [p1]Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer:
Synthesis of Multilevel Boolean Networks. Boolean Models and Methods 2010: 675-722
2000 – 2009
- 2009
- [c26]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
On decomposing Boolean functions via extended cofactoring. DATE 2009: 1464-1469 - [c25]Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa:
The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 - [c24]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Logic Minimization and Testability of 2SPP-P-Circuits. DSD 2009: 773-780 - [i2]Victor Bushkov, Nina Yevtushenko, Tiziano Villa:
Discussion on Supervisory Control by Solving Automata Equation. CoRR abs/0912.0970 (2009) - 2008
- [j15]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): 51-89 (2008) - [j14]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): 1159-1164 (2008) - [j13]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): 1190-1202 (2008) - 2007
- [j12]Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
FSM Encoding for BDD Representations. Int. J. Appl. Math. Comput. Sci. 17(1): 113-124 (2007) - [c23]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: 441-444 - [i1]Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko:
Efficient Solution of Language Equations Using Partitioned Representations. CoRR abs/0710.4743 (2007) - 2006
- [j11]Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Complexity of two-level logic minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(7): 1230-1246 (2006) - [c22]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: 259-264 - [c21]Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa:
Efficient minimization of fully testable 2-SPP networks. DATE 2006: 1300-1305 - 2005
- [c20]Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
FSM re-engineering and its application in low power state encoding. ASP-DAC 2005: 254-259 - [c19]Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko:
Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423 - 2004
- [c18]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: 2322-2327 - 2003
- [c17]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: 11154-11155 - 2002
- [c16]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: 168-179 - [c15]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: 45-50 - 2001
- [j10]Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa:
Model matching for finite-state machines. IEEE Trans. Autom. Control. 46(11): 1726-1743 (2001) - [c14]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103- - 2000
- [j9]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): 281-294 (2000) - [c13]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: 1181-1185 - [c12]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: 32-44
1990 – 1999
- 1999
- [c11]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: 346-361 - 1998
- [j8]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): 1282-1296 (1998) - [j7]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): 472-488 (1998) - [c10]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: 294-300 - 1997
- [j6]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): 657-676 (1997) - [j5]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): 677-691 (1997) - [j4]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): 692-708 (1997) - [j3]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): 1311-1322 (1997) - [c9]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: 91-98 - [c8]Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A fast and robust exact algorithm for face embedding. ICCAD 1997: 296-303 - 1996
- [c7]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: 428-432 - [c6]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: 248-256 - 1995
- [c5]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257 - 1994
- [j2]Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Satisfaction of input and output encoding constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(5): 589-602 (1994) - [c4]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690 - 1992
- [c3]Michael Pabst, Tiziano Villa, A. Richard Newton:
Experiments on the synthesis and testability of non-scan finite state machines. EURO-DAC 1992: 537-542 - 1991
- [c2]Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A Framework for Satisfying Input and Output Encoding Constraints. DAC 1991: 170-175 - 1990
- [j1]Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
NOVA: state assignment of finite state machines for optimal two-level logic implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9(9): 905-924 (1990)
1980 – 1989
- 1989
- [c1]Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. DAC 1989: 327-332
Coauthor Index