18 Publications

Mark all

[18]
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22. 400–415.
View | DOI | Download (ext.)
 
[17]
2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.
View | Files available | DOI
 
[16]
2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318. 161–181.
View | Files available | DOI
 
[15]
2013 | Conference Paper | IST-REx-ID: 2847   OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download (ext.)
 
[14]
2013 | Conference Paper | IST-REx-ID: 2301
Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. 2013. P: Safe asynchronous event-driven programming. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Languages Design and Implementation 321–331.
View | DOI | Download (ext.)
 
[13]
2013 | Thesis | IST-REx-ID: 1405
Zufferey D. 2013. Analysis of dynamic message passing programs, IST Austria, 134p.
View | Files available | Download (ext.)
 
[12]
2013 | Conference Paper | IST-REx-ID: 2447
Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.
View | DOI
 
[11]
2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148. 445–460.
View | Files available | DOI
 
[10]
2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[9]
2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing 1–6.
View | Files available
 
[8]
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger TA, Singh V, Wies T, Zufferey D. 2011. Scheduling large jobs by abstraction refinement. EuroSys 329–342.
View | DOI
 
[7]
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing 83–90.
View | Files available | DOI
 
[6]
2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
View | Files available | DOI
 
[5]
2010 | Conference Paper | IST-REx-ID: 4390
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174. 465–479.
View | Files available | DOI
 
[4]
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013. 263–277.
View | Files available | DOI
 
[3]
2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software 1–8.
View | Files available | DOI
 
[2]
2010 | Conference Paper | IST-REx-ID: 4361
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014. 94–108.
View | Files available | DOI
 
[1]
2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, 304–308.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed

18 Publications

Mark all

[18]
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22. 400–415.
View | DOI | Download (ext.)
 
[17]
2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.
View | Files available | DOI
 
[16]
2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318. 161–181.
View | Files available | DOI
 
[15]
2013 | Conference Paper | IST-REx-ID: 2847   OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download (ext.)
 
[14]
2013 | Conference Paper | IST-REx-ID: 2301
Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. 2013. P: Safe asynchronous event-driven programming. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Languages Design and Implementation 321–331.
View | DOI | Download (ext.)
 
[13]
2013 | Thesis | IST-REx-ID: 1405
Zufferey D. 2013. Analysis of dynamic message passing programs, IST Austria, 134p.
View | Files available | Download (ext.)
 
[12]
2013 | Conference Paper | IST-REx-ID: 2447
Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.
View | DOI
 
[11]
2012 | Conference Paper | IST-REx-ID: 3251   OA
Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148. 445–460.
View | Files available | DOI
 
[10]
2012 | Journal Article | IST-REx-ID: 2848   OA
Chatterjee K, Zufferey D, Nowak M. 2012. Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. 301, 161–173.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
[9]
2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing 1–6.
View | Files available
 
[8]
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger TA, Singh V, Wies T, Zufferey D. 2011. Scheduling large jobs by abstraction refinement. EuroSys 329–342.
View | DOI
 
[7]
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing 83–90.
View | Files available | DOI
 
[6]
2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
View | Files available | DOI
 
[5]
2010 | Conference Paper | IST-REx-ID: 4390
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174. 465–479.
View | Files available | DOI
 
[4]
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013. 263–277.
View | Files available | DOI
 
[3]
2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software 1–8.
View | Files available | DOI
 
[2]
2010 | Conference Paper | IST-REx-ID: 4361
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014. 94–108.
View | Files available | DOI
 
[1]
2008 | Conference Paper | IST-REx-ID: 4397
Beyer D, Zufferey D, Majumdar R. 2008. CSIsat: Interpolation for LA+EUF. CAV: Computer Aided Verification, LNCS 5123, 304–308.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed