×

zbMATH — the first resource for mathematics

Fisman, Dana

Compute Distance To:
Author ID: fisman.dana Recent zbMATH articles by "Fisman, Dana"
Published as: Fisman, Dana
Documents Indexed: 25 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 95 times in 76 Documents Cited by Year
Rational synthesis. Zbl 1284.68396
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
27
2010
Reasoning with temporal logic on truncated paths. Zbl 1278.68168
Eisner, Cindy; Fisman, Dana; Havlicek, John; Lustig, Yoad; McIsaac, Anthony; Van Campenhout, David
16
2003
The temporal logic Sugar. Zbl 0991.68544
Beer, Ilan; Ben-David, Shoham; Eisner, Cindy; Fisman, Dana; Gringauze, Anna
8
2001
Learning regular omega languages. Zbl 1353.68149
Angluin, Dana; Fisman, Dana
6
2014
Beyond regular model checking. Zbl 1052.68084
Fisman, Dana; Pnueli, Amir
5
2001
Embedding finite automata within regular expressions. Zbl 1223.68063
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
4
2008
A topological characterization of weakness. Zbl 1314.68182
Eisner, Cindy; Fisman, Dana; Havlicek, John
4
2005
Functional specification of hardware via temporal logic. Zbl 1392.68247
Eisner, Cindy; Fisman, Dana
3
2018
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
3
2016
On verifying fault tolerance of distributed protocols. Zbl 1134.68317
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
3
2008
The definition of a temporal clock operator. Zbl 1039.03505
Eisner, Cindy; Fisman, Dana; Havlicek, John; McIsaac, Anthony; Van Campenhout, David
3
2003
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68292
Angluin, Dana; Boker, Udi; Fisman, Dana
2
2016
Learning regular omega languages. Zbl 1362.68118
Angluin, Dana; Fisman, Dana
2
2016
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
A modular approach for Büchi determinization. Zbl 1374.68258
Fisman, Dana; Lustig, Yoad
2
2015
The safety simple subset. Zbl 1176.68112
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
2
2006
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68291
Angluin, Dana; Boker, Udi; Fisman, Dana
1
2018
Safety and liveness, weakness and strength, and the underlying topological relations. Zbl 1291.03028
Eisner, Cindy; Fisman, Dana; Havlicek, John
1
2014
Temporal antecedent failure: Refining vacuity. Zbl 1151.68469
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
1
2007
Functional specification of hardware via temporal logic. Zbl 1392.68247
Eisner, Cindy; Fisman, Dana
3
2018
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68291
Angluin, Dana; Boker, Udi; Fisman, Dana
1
2018
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
3
2016
Families of DFAs as acceptors of \(\omega\)-regular languages. Zbl 1398.68292
Angluin, Dana; Boker, Udi; Fisman, Dana
2
2016
Learning regular omega languages. Zbl 1362.68118
Angluin, Dana; Fisman, Dana
2
2016
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
A modular approach for Büchi determinization. Zbl 1374.68258
Fisman, Dana; Lustig, Yoad
2
2015
Learning regular omega languages. Zbl 1353.68149
Angluin, Dana; Fisman, Dana
6
2014
Safety and liveness, weakness and strength, and the underlying topological relations. Zbl 1291.03028
Eisner, Cindy; Fisman, Dana; Havlicek, John
1
2014
Rational synthesis. Zbl 1284.68396
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
27
2010
Embedding finite automata within regular expressions. Zbl 1223.68063
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
4
2008
On verifying fault tolerance of distributed protocols. Zbl 1134.68317
Fisman, Dana; Kupferman, Orna; Lustig, Yoad
3
2008
Temporal antecedent failure: Refining vacuity. Zbl 1151.68469
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
1
2007
The safety simple subset. Zbl 1176.68112
Ben-David, Shoham; Fisman, Dana; Ruah, Sitvanit
2
2006
A topological characterization of weakness. Zbl 1314.68182
Eisner, Cindy; Fisman, Dana; Havlicek, John
4
2005
Reasoning with temporal logic on truncated paths. Zbl 1278.68168
Eisner, Cindy; Fisman, Dana; Havlicek, John; Lustig, Yoad; McIsaac, Anthony; Van Campenhout, David
16
2003
The definition of a temporal clock operator. Zbl 1039.03505
Eisner, Cindy; Fisman, Dana; Havlicek, John; McIsaac, Anthony; Van Campenhout, David
3
2003
The temporal logic Sugar. Zbl 0991.68544
Beer, Ilan; Ben-David, Shoham; Eisner, Cindy; Fisman, Dana; Gringauze, Anna
8
2001
Beyond regular model checking. Zbl 1052.68084
Fisman, Dana; Pnueli, Amir
5
2001
all top 5

Cited by 145 Authors

11 Kupferman, Orna
9 Fisman, Dana
8 Avni, Guy
6 Gutierrez, Julian
6 Perelli, Giuseppe
6 Wooldridge, Michael J.
4 Henzinger, Thomas A.
4 Mandrioli, Dino
4 Tamir, Tami
3 Angluin, Dana
3 Ben-David, Shoham
3 Francalanza, Adrian
3 Harrenstein, Paul
3 Pradella, Matteo
3 Raskin, Jean-François
3 Vardi, Moshe Y.
2 Aceto, Luca
2 Bauer, Andreas
2 Chockler, Hana
2 de Jong, Hidde
2 Dumas, Estelle
2 Eisner, Cindy
2 Guha, Shibashis
2 Ingólfsdóttir, Anna
2 Konnov, Igor V.
2 Mateescu, Radu
2 Monteiro, Pedro T.
2 Murano, Aniello
2 Ruah, Sitvanit
2 Smith, Tim
2 Vardi, Gal
2 Widder, Josef
1 Abdulla, Parosh Aziz
1 Achilleos, Antonis
1 Aghajohari, Milad
1 Aiswarya, Cyriac
1 Alur, Rajeev
1 Aminof, Benjamin
1 Antonopoulos, Timos
1 Arafailova, Ekaterina
1 Baader, Franz
1 Bartocci, Ezio
1 Beer, Ilan
1 Beldiceanu, Nicolas
1 Biere, Armin
1 Boker, Udi
1 Bollig, Benedikt
1 Bouyer, Patricia
1 Bozzelli, Laura
1 Brenguier, Romain
1 Brihaye, Thomas
1 Brunel, Julien
1 Bruyère, Véronique
1 Chareton, Christophe
1 Chatterjee, Krishnendu
1 Chemouil, David
1 Chen, Yu-Fang
1 Chiari, Michele
1 Chonev, Ventsislav
1 Cini, Clare
1 Copty, Fady
1 Crespi Reghizzi, Stefano
1 Dams, Dennis René
1 Deshmukh, Jyotirmoy V.
1 Donzé, Alexandre
1 d’Orso, Julien
1 Doyen, Laurent
1 Droste, Manfred
1 Dück, Stefan
1 Filiot, Emmanuel
1 Gardy, Patrick
1 Gastin, Paul
1 Ghosh, Shromona
1 Gmeiner, Annu
1 Goeminne, Aline
1 Grosu, Radu
1 Guelev, Dimitar P.
1 Havlicek, John W.
1 Ho, Hsi-Ming
1 Ibsen-Jensen, Rasmus
1 Ivannikov, Viktor Petrovich
1 Jakšić, Stefan
1 Jin, Xiaoqing
1 Juniwal, Garvit
1 Kamkin, A. S.
1 Kjartansson, Sævar Örn
1 Kossatchev, Alexander S.
1 Krishna, Shankara Narayanan
1 Kröning, Daniel
1 Kuliamin, Victor V.
1 Küster, Jan-Christoph
1 Lakhnech, Yassine
1 Legay, Axel
1 Leucker, Martin
1 Li, Tun
1 Li, Yong
1 Lisitsa, Alexei
1 Liu, Depeng
1 Liu, Wanwei
1 Löding, Christof
...and 45 more Authors

Citations by Year