VILLA, Tiziano
VILLA, Tiziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
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
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
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.
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
Formal verification of medical CPS: a laser incision case study
2018-01-01 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
FSM encoding for BDD representations
2007-01-01 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Generation of synchronizing state machines from a transition system: a region-based approach
2023-01-01 Teren, Viktor; Cortadella, Jordi; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 | |
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. | |
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 | |
Formal verification of medical CPS: a laser incision case study | 1-gen-2018 | Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano | |
Formal verification of robotic surgery tasks by reachability analysis | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
FSM encoding for BDD representations | 1-gen-2007 | W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli | |
Generation of synchronizing state machines from a transition system: a region-based approach | 1-gen-2023 | Teren, Viktor; Cortadella, Jordi; Villa, Tiziano |