![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Tiziano Villa
Person information
- affiliation: University of Verona, Italy
- affiliation (PhD 1995): University of California Berkeley, CA, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint