×

zbMATH — the first resource for mathematics

Villa, Tiziano

Compute Distance To:
Author ID: villa.tiziano Recent zbMATH articles by "Villa, Tiziano"
Published as: Villa, Tiziano
Documents Indexed: 24 Publications since 1997, including 5 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 60 times in 57 Documents Cited by Year
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
11
1998
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
8
2001
Synthesis of finite state machines: functional optimization. Zbl 0876.94056
Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
7
1997
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322
Yevtushenko, Nina; Villa, Tiziano; Brayton, Robert K.; Petrenko, Alex; Sangiovanni-Vincentelli, Alberto L.
6
2008
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
5
2014
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
Synthesis of finite state machines: logic optimization. Zbl 0876.94057
Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
3
1997
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
2
2012
The unknown component problem. Theory and applications. Zbl 1248.68023
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
2
2012
FSM encoding for BDD representations. Zbl 1153.68553
Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L.
2
2007
Synthesis of multilevel Boolean networks. Zbl 1209.94068
Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
2010
An introduction to the verification of hybrid systems using Ariadne. Zbl 1403.93108
Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
1
2015
Coordination control of distributed systems. Zbl 1310.93004
van Schuppen, Jan H. (ed.); Villa, Tiziano (ed.)
1
2015
Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29–31, 2013. Zbl 1415.68045
Puppis, Gabriele (ed.); Villa, Tiziano (ed.)
1
2013
An introduction to the verification of hybrid systems using Ariadne. Zbl 1403.93108
Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
1
2015
Coordination control of distributed systems. Zbl 1310.93004
van Schuppen, Jan H.; Villa, Tiziano
1
2015
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
5
2014
Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29–31, 2013. Zbl 1415.68045
Puppis, Gabriele; Villa, Tiziano
1
2013
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
2
2012
The unknown component problem. Theory and applications. Zbl 1248.68023
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto
2
2012
Synthesis of multilevel Boolean networks. Zbl 1209.94068
Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
1
2010
Compositionally progressive solutions of synchronous FSM equations. Zbl 1161.93322
Yevtushenko, Nina; Villa, Tiziano; Brayton, Robert K.; Petrenko, Alex; Sangiovanni-Vincentelli, Alberto L.
6
2008
FSM encoding for BDD representations. Zbl 1153.68553
Gosti, Wilsin; Villa, Tiziano; Saldanha, Alex; Sangiovanni-Vincentelli, Alberto L.
2
2007
Controller synthesis for hybrid systems with a lower bound on event separation. Zbl 1048.93051
Balluchi, Andrea; Benvenuti, Luca; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
4
2003
Model matching for finite-state machines. Zbl 1009.93053
Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
8
2001
Maximal safe set computation for idle speed control of an automatic engine. Zbl 0962.93070
Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Miconi, Guido M.; Pozzi, Ugo; Villa, Tiziano; Wong-Toi, Howard; Sangiovanni-Vincentelli, Alberto L.
6
2000
Multi-valued decision diagrams: Theory and applications. Zbl 1025.94515
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L.
11
1998
Synthesis of finite state machines: functional optimization. Zbl 0876.94056
Kam, Timothy; Villa, Tiziano; Brayton, Robert; Sangiovanni-Vincentelli, Alberto
7
1997
Synthesis of finite state machines: logic optimization. Zbl 0876.94057
Villa, Tiziano; Kam, Timothy; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto
3
1997
all top 5

Cited by 119 Authors

7 Yang, Jung-Min
5 Hammer, Jacob
5 Villa, Tiziano
4 Bresolin, Davide
4 Ciardo, Gianfranco
3 Sangiovanni-Vincentelli, Alberto L.
2 Abate, Alessandro
2 Barkalov, Alexander A.
2 Benerecetti, Massimo
2 Chaouiya, Claudine
2 Collins, Peter J.
2 Faella, Marco
2 Geretti, Luca
2 Lanese, Ivan
2 Mielcarek, Kamil
2 Naldi, Aurélien
2 Remy, Elisabeth
2 Thieffry, Denis
2 Titarenko, Larysa
2 Wan, Min
1 Amroun, Kamal
1 Aoki, Toshiaki
1 Asarin, Eugene
1 Baier, Christel
1 Balluchi, Andrea
1 Barbalho, Hugo
1 Benvenuti, Luca
1 Bernardeschi, Cinzia
1 Bernasconi, Anna
1 Bhattarakosol, Pattarasinee
1 Brayton, Robert K.
1 Bryant, Randal E.
1 Casagrande, Alberto
1 Cattaruzza, Dario
1 Charalambous, Charalambos D.
1 Chen, Xiaohui
1 Ciré, André Augusto
1 Ciriani, Valentina
1 Czerwinski, Robert
1 De Santis, Elena
1 Di Benedetto, Maria Domenica
1 Domenici, Andrea
1 Emelyanov, Pavel G.
1 Evtushenko, N. V.
1 Feng, Jun’e
1 Fiorini, Paolo
1 Fu, Zhaohui
1 Galliani, Pietro
1 González, Pedro Henrique
1 Gosti, Wilsin
1 Grodzki, Grzegorz
1 Gupta, Anubhav
1 Habbas, Zineb
1 Hooker, John N. jun.
1 Jia, Nan
1 Jin, Xiaoqing
1 Kania, Dariusz
1 Kapela, Tomasz
1 Kröning, Daniel
1 Kulyamin, V. V.
1 Kwak, Seong-Woo
1 Lampka, Kai
1 Lanotte, Ruggero
1 Lee, Dong Eun
1 Lembachar, Yousra
1 Lin, Feng
1 Luccio, Fabrizio
1 Luo, Xiaonan
1 Lüttgen, Gerald
1 Lygeros, John
1 Maculan, Nelson F.
1 Malik, Avinash
1 McMillan, Kenneth L.
1 Meng, Min
1 Merro, Massimo
1 Miner, Andrew S.
1 Minopoli, Stefano
1 Mishra, Bud
1 Mrozek, Marian
1 Muradore, Riccardo
1 Nampally, Arun
1 Ossowski, Jörn
1 Pacharoen, Warawoot
1 Pagli, Linda
1 Peng, Jun
1 Petrenko, Alex
1 Piazza, Carla
1 Piech, Henryk
1 Pola, Giordano
1 Policriti, Alberto
1 Ponomaryov, Denis K.
1 Prandini, Maria
1 Ramakrishnan, C. R.
1 Rönkkö, Mauno
1 Roop, Partha S.
1 Saldanha, Alex
1 Sastry, Shankar S.
1 Schneider, Gerardo
1 Schrammel, Peter
1 Siegle, Markus
...and 19 more Authors

Citations by Year