×
Compute Distance To:
Author ID: zufferey.damien Recent zbMATH articles by "Zufferey, Damien"
Published as: Zufferey, Damien

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 45 times in 39 Documents Cited by Year
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
10
2014
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
9
2016
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
9
2010
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
5
2012
Interpolants in nonlinear theories over the reals. Zbl 1420.68187
Gao, Sicun; Zufferey, Damien
3
2016
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
9
2016
Interpolants in nonlinear theories over the reals. Zbl 1420.68187
Gao, Sicun; Zufferey, Damien
3
2016
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
10
2014
Structural counter abstraction. Zbl 1381.68194
Bansal, Kshitij; Koskinen, Eric; Wies, Thomas; Zufferey, Damien
2
2013
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Evolutionary game dynamics in populations with different learners. Zbl 1397.91062
Chatterjee, Krishnendu; Zufferey, Damien; Nowak, Martin A.
5
2012
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
9
2010

Citations by Year