Damien Zufferey

Damien Zufferey

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4430514
Max Planck Institute for Software Systems
person_outline Damien Zufferey's MOST POPULAR ARTICLES
1-) P: safe asynchronous event-driven programmingA Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D ZuffereyACM SIGPLAN Notices 48 (6), 321-332, 20131992013
2-) Automating separation logic using SMTR Piskac, T Wies, D ZuffereyComputer Aided Verification: 25th International Conference, CAV 2013, Saint …, 20131582013
3-) PSync: a partially synchronous language for fault-tolerant distributed algorithmsC Drăgoi, TA Henzinger, D ZuffereyACM SIGPLAN Notices 51 (1), 400-415, 20161152016
4-) Grasshopper: complete heap verification with mixed specificationsR Piskac, T Wies, D ZuffereyInternational Conference on Tools and Algorithms for the Construction and …, 20141032014
5-) Automating separation logic with trees and dataR Piskac, T Wies, D ZuffereyComputer Aided Verification: 26th International Conference, CAV 2014, Held …, 20141012014