VILLA, Tiziano
VILLA, Tiziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
A Boolean heuristic for disjoint SOP synthesis
2021-01-01 Balasubramanian, Padmanabhan; Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano
A case study of hybrid controller synthesis of a heating system
1999-01-01 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A., Sangiovanni Vincentelli
A computable and compositional semantics for hybrid automata
2020-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja
A fast and robust exact algorithm for face embedding
1997-01-01 E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
A framework for satisfying input and output encoding constraints
1991-01-01 A., Saldanha; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
A fully implicit algorithm for exact state minimization
1994-01-01 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
A new algorithm for the largest compositionally progressive solution of synchronous language equations
2007-01-01 Villa, Tiziano; S., Zharikova; N., Yevtushenko; R., Brayton; A. L., Sangiovanni Vincentelli
A new algorithm to solve synchronous FSM equations
2008-01-01 N., Yevtushenko; S., Tikhomirova; Villa, Tiziano
An approximation algorithm for cofactoring-based synthesis
2011-01-01 Bernasconi, A.; Ciriani, V.; Liberali, G.; Trucco, G.; Villa, Tiziano
An exact input encoding algorithm for BDDs representing FSMs
1998-01-01 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
An implicit formulation for exact BDD minimization of incompletelyspecified functions
1997-01-01 A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli
Approximate Logic Synthesis by Symmetrization
2019-01-01 Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano
Ariadne: a Framework for Reachability Analysis of Hybrid Automata
2006-01-01 A., Balluchi; A., Casagrande; P., Collins; A., Ferrari; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Ariadne: a library for computing with hybrid automata
2005-01-01 A., Balluchi; A., Casagrande; P., Collins; P., Murrieri; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems
1999-01-01 L., Carloni; E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Automated synthesis of protocol converters with BALM-II
2015-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne
2019-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022-01-01 Geretti, L; Collins, P; Bresolin, D; Villa, T
Bi-decomposition using Boolean Relations
2015-01-01 Bernasconi, Anna; Brayton, Robert; Ciriani, Valentina; Trucco, Gabriella; Villa, Tiziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Boolean heuristic for disjoint SOP synthesis | 1-gen-2021 | Balasubramanian, Padmanabhan; Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano | |
| A case study of hybrid controller synthesis of a heating system | 1-gen-1999 | A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A., Sangiovanni Vincentelli | |
| A computable and compositional semantics for hybrid automata | 1-gen-2020 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja | |
| A fast and robust exact algorithm for face embedding | 1-gen-1997 | E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli | |
| A framework for satisfying input and output encoding constraints | 1-gen-1991 | A., Saldanha; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli | |
| A fully implicit algorithm for exact state minimization | 1-gen-1994 | T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli | |
| A new algorithm for the largest compositionally progressive solution of synchronous language equations | 1-gen-2007 | Villa, Tiziano; S., Zharikova; N., Yevtushenko; R., Brayton; A. L., Sangiovanni Vincentelli | |
| A new algorithm to solve synchronous FSM equations | 1-gen-2008 | N., Yevtushenko; S., Tikhomirova; Villa, Tiziano | |
| An approximation algorithm for cofactoring-based synthesis | 1-gen-2011 | Bernasconi, A.; Ciriani, V.; Liberali, G.; Trucco, G.; Villa, Tiziano | |
| An exact input encoding algorithm for BDDs representing FSMs | 1-gen-1998 | W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli | |
| An implicit formulation for exact BDD minimization of incompletelyspecified functions | 1-gen-1997 | A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli | |
| Approximate Logic Synthesis by Symmetrization | 1-gen-2019 | Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano | |
| Ariadne: a Framework for Reachability Analysis of Hybrid Automata | 1-gen-2006 | A., Balluchi; A., Casagrande; P., Collins; A., Ferrari; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI | |
| Ariadne: a library for computing with hybrid automata | 1-gen-2005 | A., Balluchi; A., Casagrande; P., Collins; P., Murrieri; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI | |
| Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis | 1-gen-2012 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
| Aura~II: combining negative thinking and branch-and-bound in unate covering Problems | 1-gen-1999 | L., Carloni; E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli | |
| Automated synthesis of protocol converters with BALM-II | 1-gen-2015 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan | |
| Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne | 1-gen-2019 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| Automating Numerical Parameters Along the Evolution of a Nonlinear System | 1-gen-2022 | Geretti, L; Collins, P; Bresolin, D; Villa, T | |
| Bi-decomposition using Boolean Relations | 1-gen-2015 | Bernasconi, Anna; Brayton, Robert; Ciriani, Valentina; Trucco, Gabriella; Villa, Tiziano |