×

zbMATH — the first resource for mathematics

Tonetta, Stefano

Compute Distance To:
Author ID: tonetta.stefano Recent zbMATH articles by "Tonetta, Stefano"
Published as: Tonetta, Stefano
Documents Indexed: 20 Publications since 2003

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 53 times in 45 Documents Cited by Year
“More deterministic” vs. “smaller” Büchi automata for efficient LTL model checking. Zbl 1179.68095
Sebastiani, Roberto; Tonetta, Stefano
8
2003
Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
7
2016
Boolean abstraction for temporal logic satisfiability. Zbl 1135.68469
Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
6
2007
Requirements validation for hybrid systems. Zbl 1242.68156
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
6
2009
SMT-based scenario verification for hybrid systems. Zbl 1284.03216
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
5
2013
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
4
2008
GSTE is partitioned model checking. Zbl 1103.68638
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
4
2004
HRELTL: a temporal logic for hybrid systems. Zbl 1332.68139
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
3
2015
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
2013
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations. Zbl 1411.68062
Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
2
2016
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Formal design of asynchronous fault detection and identification components using temporal epistemic logic. Zbl 1448.68289
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano
1
2015
Quantifier-free encoding of invariants for hybrid systems. Zbl 1317.68111
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
1
2014
Formal safety assessment via contract-based design. Zbl 1448.68174
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
1
2014
Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2005
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Infinite-state invariant checking with IC3 and predicate abstraction. Zbl 1368.68245
Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
7
2016
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations. Zbl 1411.68062
Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
2
2016
HRELTL: a temporal logic for hybrid systems. Zbl 1332.68139
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
3
2015
Formal design of asynchronous fault detection and identification components using temporal epistemic logic. Zbl 1448.68289
Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano
1
2015
Quantifier-free encoding of invariants for hybrid systems. Zbl 1317.68111
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
1
2014
Formal safety assessment via contract-based design. Zbl 1448.68174
Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
1
2014
SMT-based scenario verification for hybrid systems. Zbl 1284.03216
Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
5
2013
Loop summarization using state and transition invariants. Zbl 1291.68262
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
2
2013
Requirements validation for hybrid systems. Zbl 1242.68156
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
6
2009
Loop summarization using abstract transformers. Zbl 1183.68377
Kroening, Daniel; Sharygina, Natasha; Tonetta, Stefano; Tsitovich, Aliaksei; Wintersteiger, Christoph M.
4
2008
Boolean abstraction for temporal logic satisfiability. Zbl 1135.68469
Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tonetta, Stefano
6
2007
GSTE is partitioned model checking. Zbl 1129.68044
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Property-driven partitioning for abstraction refinement. Zbl 1186.68301
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2007
Symbolic systems, explicit properties: On hybrid approaches for LTL symbolic model checking. Zbl 1081.68634
Sebastiani, Roberto; Tonetta, Stefano; Vardi, Moshe Y.
1
2005
GSTE is partitioned model checking. Zbl 1103.68638
Sebastiani, Roberto; Singerman, Eli; Tonetta, Stefano; Vardi, Moshe Y.
4
2004
“More deterministic” vs. “smaller” Büchi automata for efficient LTL model checking. Zbl 1179.68095
Sebastiani, Roberto; Tonetta, Stefano
8
2003
all top 5

Cited by 113 Authors

8 Cimatti, Alessandro
7 Tonetta, Stefano
4 Kröning, Daniel
3 Griggio, Alberto
3 Mover, Sergio
3 Roveri, Marco
3 Schuppan, Viktor
2 Bloem, Roderick
2 He, Jifeng
2 Jobstmann, Barbara
2 Li, Jianwen
2 Platzer, André
2 Pu, Geguang
2 Sebastiani, Roberto
2 Vardi, Moshe Y.
2 Zhang, Lijun
1 Abate, Alessandro
1 Alechina, Natasha
1 Baier, Christel
1 Bartha, Tamás
1 Beyer, Dirk
1 Biere, Armin
1 Bliudze, Simon
1 Bogomolov, Sergiy
1 Bozzano, Marco
1 Brauer, Jörg
1 Bu, Lei
1 Bulling, Nils
1 Cassez, Franck
1 Cattaruzza, Dario
1 Chan, Wen-Chin
1 Chang, Jinn-Shu
1 Chatterjee, Krishnendu
1 Chechik, Marsha
1 Chen, Yu-Fang
1 Dague, Philippe
1 Dangl, Matthias
1 Darvas, Dániel
1 Demasi, Ramiro
1 Deng, Yuxin
1 Devereux, Benet
1 Dimitrova, Rayna
1 Easterbrook, Steve
1 Esparza, Javier
1 Frehse, Goran
1 Gallois, Jean-Pierre
1 Gario, Marco
1 Ghasemi, Mahsa
1 Giacobbe, Mirco
1 Griesmayer, Andreas
1 Guldstrand, Larsen Kim
1 Guo, Wensheng
1 Gurfinkel, Arie
1 Han, Hyejin
1 Heljanko, Keijo
1 Henzinger, Thomas A.
1 Hou, Zechen
1 Hung, William N. N.
1 Irfan, Ahmed
1 Jensen, Peter Gjøl
1 Julliand, Jacques
1 King, Andy
1 Klebanov, Vladimir
1 Klein, Joachim
1 Kowalewski, Stefan
1 Křetínský, Jan
1 Lai, Albert Y. C.
1 Larsen, Kim Guldstrand
1 Leroux, Jérôme
1 Li, Xuandong
1 Logan, Brian
1 Luo, Chi-Jian
1 Madelaine, Eric
1 Magnago, Enrico
1 Majzik, Istvan
1 Masson, Pierre-Alain
1 Mattarei, Cristian
1 Melham, Tom
1 Mitsch, Stefan
1 Molnár, Vince
1 Nguyen, Hoang Nga
1 Oudot, E.
1 Qin, Xudong
1 Raskin, Jean-François
1 Rozier, Kristin Yvonne
1 Rümmer, Philipp
1 Saarikivi, Olli
1 Sanfelice, Ricardo G.
1 Schrammel, Peter
1 Schwammberger, Maike
1 Sharygina, Natasha
1 Sickert, Salomon
1 Singerman, Eli
1 Song, Xiaoyu
1 Staber, Stefan
1 Subotic, Pavle
1 Topcu, Ufuk
1 Travé-Massuyès, Louise
1 Tsai, Ming-Hsien
1 Tsay, Yih-Kuen
...and 13 more Authors

Citations by Year