Damien Zufferey
Damien Zufferey
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mpi-sws.org - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
P: safe asynchronous event-driven programming
A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey
ACM SIGPLAN Notices 48 (6), 321-332, 2013
1512013
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 773-789, 2013
1252013
PSync: a partially synchronous language for fault-tolerant distributed algorithms
C Drăgoi, TA Henzinger, D Zufferey
ACM SIGPLAN Notices 51 (1), 400-415, 2016
782016
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
International Conference on Computer Aided Verification, 711-728, 2014
702014
CSIsat: Interpolation for LA+EUF
D Beyer, D Zufferey, R Majumdar
International Conference on Computer Aided Verification, 304-308, 2008
692008
GRASShopper
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
662014
FlexPRICE: Flexible provisioning of resources in a cloud environment
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
2010 IEEE 3rd International Conference on Cloud Computing, 83-90, 2010
642010
A logic-based framework for verifying consensus algorithms
C Drăgoi, TA Henzinger, H Veith, J Widder, D Zufferey
International Conference on Verification, Model Checking, and Abstract …, 2014
592014
Model checking of linearizability of concurrent list implementations
P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
International Conference on Computer Aided Verification, 465-479, 2010
572010
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
International Conference on Foundations of Software Science and …, 2010
562010
Ideal abstractions for well-structured transition systems
D Zufferey, T Wies, TA Henzinger
International Workshop on Verification, Model Checking, and Abstract …, 2012
342012
Evolutionary game dynamics in populations with different learners
K Chatterjee, D Zufferey, MA Nowak
Journal of theoretical biology 301, 161-173, 2012
302012
A marketplace for cloud resources
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
Proceedings of the tenth ACM international conference on Embedded software, 1-8, 2010
282010
Static scheduling in clouds
TA Henzinger, A Singh, V Singh, T Wies, D Zufferey
262011
Scheduling large jobs by abstraction refinement
TA Henzinger, V Singh, T Wies, D Zufferey
Proceedings of the sixth conference on Computer systems, 329-342, 2011
222011
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2013
212013
Exploiting errors for efficiency: A survey from circuits to algorithms
P Stanley-Marbell, A Alaghi, M Carbin, E Darulova, L Dolecek, ...
arXiv preprint arXiv:1809.05859, 2018
152018
Shape refinement through explicit heap analysis
D Beyer, TA Henzinger, G Théoduloz, D Zufferey
International Conference on Fundamental Approaches to Software Engineering …, 2010
152010
Interpolants in nonlinear theories over the reals
S Gao, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2016
142016
Paracosm: A language and tool for testing autonomous driving systems
R Majumdar, A Mathur, M Pirron, L Stegner, D Zufferey
arXiv preprint arXiv:1902.01084, 2019
102019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20