ISTA Research Explorer

Damien Zufferey

Henzinger_Thomas Group

18 Publications

[18]

2016 | Published | Conference Paper | IST-REx-ID: 1439 |

Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650

[Preprint] View | DOI | Download Preprint (ext.)

[17]

2015 | Published | Conference Paper | IST-REx-ID: 1498 |

Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90

[Published Version] View | Files available | DOI

[16]

2014 | Published | Conference Paper | IST-REx-ID: 1392 |

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10

[Submitted Version] View | Files available | DOI

[15]

2013 | Published | Conference Paper | IST-REx-ID: 2847 |

Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[14]

2013 | Published | Thesis | IST-REx-ID: 1405 |

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[13]

2013 | Published | Conference Paper | IST-REx-ID: 2301

Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. P: Safe asynchronous event-driven programming. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM; 2013:321-331. doi:10.1145/2491956.2462184

View | DOI | Download None (ext.)

[12]

2013 | Published | Conference Paper | IST-REx-ID: 2447 |

Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54

[Submitted Version] View | Files available | DOI

[11]

2012 | Published | Journal Article | IST-REx-ID: 2848 |

Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 2012;301:161-173. doi:10.1016/j.jtbi.2012.02.021

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

[10]

2012 | Published | Conference Paper | IST-REx-ID: 3251 |

Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29

[Submitted Version] View | Files available | DOI

[9]

2011 | Published | Conference Paper | IST-REx-ID: 3302 |

Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: USENIX; 2011:1-6.

[Submitted Version] View | Files available

[8]

2011 | Published | Conference Paper | IST-REx-ID: 3358 |

Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476

[Published Version] View | DOI | Download Published Version (ext.)

[7]

2010 | Published | Conference Paper | IST-REx-ID: 4361 |

Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8

[Submitted Version] View | Files available | DOI

[6]

2010 | Published | Conference Paper | IST-REx-ID: 4380 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022

[Submitted Version] View | Files available | DOI

[5]

2010 | Published | Conference Paper | IST-REx-ID: 4381 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71

[Submitted Version] View | Files available | DOI

[4]

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41

[Submitted Version] View | Files available | DOI

[3]

2010 | Published | Conference Paper | IST-REx-ID: 4396 |

Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19

[Submitted Version] View | Files available | DOI

[2]

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001

[Published Version] View | Files available | DOI

[1]

2008 | Published | Conference Paper | IST-REx-ID: 4397

Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.

View

Grants

18 Publications

Mark all

[18]

2016 | Published | Conference Paper | IST-REx-ID: 1439 |

Dragoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. In: Vol 20-22. ACM; 2016:400-415. doi:10.1145/2837614.2837650

[Preprint] View | DOI | Download Preprint (ext.)

[17]

2015 | Published | Conference Paper | IST-REx-ID: 1498 |

Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90

[Published Version] View | Files available | DOI

[16]

2014 | Published | Conference Paper | IST-REx-ID: 1392 |

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10

[Submitted Version] View | Files available | DOI

[15]

2013 | Published | Conference Paper | IST-REx-ID: 2847 |

Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[14]

2013 | Published | Thesis | IST-REx-ID: 1405 |

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[13]

2013 | Published | Conference Paper | IST-REx-ID: 2301

View | DOI | Download None (ext.)

[12]

2013 | Published | Conference Paper | IST-REx-ID: 2447 |

Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54

[Submitted Version] View | Files available | DOI

[11]

2012 | Published | Journal Article | IST-REx-ID: 2848 |

Chatterjee K, Zufferey D, Nowak M. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 2012;301:161-173. doi:10.1016/j.jtbi.2012.02.021

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

[10]

2012 | Published | Conference Paper | IST-REx-ID: 3251 |

Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29

[Submitted Version] View | Files available | DOI

[9]

2011 | Published | Conference Paper | IST-REx-ID: 3302 |

Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: USENIX; 2011:1-6.

[Submitted Version] View | Files available

[8]

2011 | Published | Conference Paper | IST-REx-ID: 3358 |

Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476

[Published Version] View | DOI | Download Published Version (ext.)

[7]

2010 | Published | Conference Paper | IST-REx-ID: 4361 |

Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8

[Submitted Version] View | Files available | DOI

[6]

2010 | Published | Conference Paper | IST-REx-ID: 4380 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. A marketplace for cloud resources. In: ACM; 2010:1-8. doi:10.1145/1879021.1879022

[Submitted Version] View | Files available | DOI

[5]

2010 | Published | Conference Paper | IST-REx-ID: 4381 |

Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. FlexPRICE: Flexible provisioning of resources in a cloud environment. In: IEEE; 2010:83-90. doi:10.1109/CLOUD.2010.71

[Submitted Version] View | Files available | DOI

[4]

2010 | Published | Conference Paper | IST-REx-ID: 4390 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41

[Submitted Version] View | Files available | DOI

[3]

2010 | Published | Conference Paper | IST-REx-ID: 4396 |

Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19

[Submitted Version] View | Files available | DOI

[2]

2010 | Published | Technical Report | IST-REx-ID: 5391 |

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001

[Published Version] View | Files available | DOI

[1]

2008 | Published | Conference Paper | IST-REx-ID: 4397

Beyer D, Zufferey D, Majumdar R. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.

View

Damien Zufferey

18 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Grants

18 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Damien Zufferey

18 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

Grants

18 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options