VILLA, Tiziano
VILLA, Tiziano
DIPARTIMENTO DI INFORMATICA
A computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A higher order method for input-affine uncertain systems
2023-01-01 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems
2015-01-01 Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
An FSM re-engineering approach to sequential circuit synthesis by state splitting
2008-01-01 L., Yuan; G., Qu; Villa, Tiziano; A. L., Sangiovanni Vincentelli
Area-driven Boolean bi-decomposition by function approximation
2025-01-01 Bernasconi, Anna; Ciriani, Valentina; Cortadella, Jordi; Costa, Marco; Villa, Tiziano
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
2014-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Boolean Minimization of Projected Sums of Products via Boolean Relations
2019-01-01 Bernasconi, Anna; Ciriani, Valentina; Trucco, Gabriella; Villa, Tiziano
Component-Based Design by Solving Language Equations
2015-01-01 Villa, Tiziano; Petrenko, A.; Yevtushenko, N.; Mishchenko, A.; Brayton, R.
Compositionally progressive solutions of synchronous FSM equations
2008-01-01 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A. L., Sangiovanni Vincentelli
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
2024-01-01 Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano
Controller synthesis for hybrid systems with a lower bound on event separation.
2003-01-01 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., WONG TOI; A. L., SANGIOVANNI VINCENTELLI
Deriving compositionally deadlock-free components under synchronous composition
2015-01-01 Yevtushenko, N.; El Faqih, K.; Villa, Tiziano; Jie Hong R., Jiang
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead
2015-01-01 Brayton, R.; Carloni, L.; Sangiovanni Vincentelli, A.; Villa, Tiziano
Dynamic controllability of temporal networks with instantaneous reaction
2022-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods
2018-01-01 Bernasconi, Anna; Ciriani, V.; Frontini, L.; Liberali, V.; Trucco, G.; Villa, T.
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
2024-01-01 Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide
Equivalence checking and intersection of deterministic timed finite state machines
2022-01-01 Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina
Exact minimization of binary decision diagrams using implicit techniques
1998-01-01 A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli
Explicit and implicit algorithms for binate covering problems
1997-01-01 Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Exploiting symmetrization and D-reducibility for approximate logic synthesis
2022-01-01 Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computable and compositional semantics for hybrid systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja | |
| A higher order method for input-affine uncertain systems | 1-gen-2023 | Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter | |
| A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems | 1-gen-2015 | Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| An FSM re-engineering approach to sequential circuit synthesis by state splitting | 1-gen-2008 | L., Yuan; G., Qu; Villa, Tiziano; A. L., Sangiovanni Vincentelli | |
| Area-driven Boolean bi-decomposition by function approximation | 1-gen-2025 | Bernasconi, Anna; Ciriani, Valentina; Cortadella, Jordi; Costa, Marco; Villa, Tiziano | |
| Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
| Boolean Minimization of Projected Sums of Products via Boolean Relations | 1-gen-2019 | Bernasconi, Anna; Ciriani, Valentina; Trucco, Gabriella; Villa, Tiziano | |
| Component-Based Design by Solving Language Equations | 1-gen-2015 | Villa, Tiziano; Petrenko, A.; Yevtushenko, N.; Mishchenko, A.; Brayton, R. | |
| Compositionally progressive solutions of synchronous FSM equations | 1-gen-2008 | N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A. L., Sangiovanni Vincentelli | |
| Constraint-driven nonlinear reachability analysis with automated tuning of tool properties | 1-gen-2024 | Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano | |
| Controller synthesis for hybrid systems with a lower bound on event separation. | 1-gen-2003 | A., Balluchi; L., Benvenuti; Villa, Tiziano; H., WONG TOI; A. L., SANGIOVANNI VINCENTELLI | |
| Deriving compositionally deadlock-free components under synchronous composition | 1-gen-2015 | Yevtushenko, N.; El Faqih, K.; Villa, Tiziano; Jie Hong R., Jiang | |
| Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead | 1-gen-2015 | Brayton, R.; Carloni, L.; Sangiovanni Vincentelli, A.; Villa, Tiziano | |
| Dynamic controllability of temporal networks with instantaneous reaction | 1-gen-2022 | Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano | |
| Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods | 1-gen-2018 | Bernasconi, Anna; Ciriani, V.; Frontini, L.; Liberali, V.; Trucco, G.; Villa, T. | |
| Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study | 1-gen-2024 | Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide | |
| Equivalence checking and intersection of deterministic timed finite state machines | 1-gen-2022 | Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina | |
| Exact minimization of binary decision diagrams using implicit techniques | 1-gen-1998 | A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli | |
| Explicit and implicit algorithms for binate covering problems | 1-gen-1997 | Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli | |
| Exploiting symmetrization and D-reducibility for approximate logic synthesis | 1-gen-2022 | Bernasconi, Anna; Ciriani, Valentina; Villa, Tiziano |