Damien Zufferey

According to our database, Damien Zufferey authored at least 51 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Characterizing Implementability of Global Protocols with Infinite States and Data.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

CoRR, 2024

2023

Complete Multiparty Session Type Projection with Automata.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.

Felix Stutz, Damien Zufferey

Proceedings of the 13th International Symposium on Games, 2022

2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

ACM Comput. Surv., 2021

Constraint Synthesis for Parametric CAD.

Aman Shankar Mathur, Damien Zufferey

Proceedings of the 29th Pacific Conference on Computer Graphics and Applications, 2021

Paracosm: A Test Framework for Autonomous Driving Simulations.

Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Generalising Projection in Asynchronous Multiparty Session Types.

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact).

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

Dataset, September, 2020

Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis.

Marcus Pirron, Damien Zufferey, Phillip Stanley-Marbell

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Assume-Guarantee Distributed Synthesis.

Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Multiparty motion coordination: from choreographies to robotics programs.

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

Proc. ACM Program. Lang., 2020

Programming at the edge of synchrony.

Cezara Dragoi, Josef Widder, Damien Zufferey

Proc. ACM Program. Lang., 2020

Interactive Programming for Parametric CAD.

Aman Shankar Mathur, Marcus Pirron, Damien Zufferey

Comput. Graph. Forum, 2020

2019

Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification.

Pawel Teisseyre, Damien Zufferey, Marta Slomka

Pattern Recognit., 2019

Paracosm: A Language and Tool for Testing Autonomous Driving Systems.

Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey

CoRR, 2019

MPERL: Hardware and Software Co-design for Robotic Manipulators ©.

Marcus Pirron, Damien Zufferey

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

PGCD: robot programming and verification with geometry, concurrency, and dynamics.

Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Motion Session Types for Robotic Interactions (Brave New Idea Paper).

Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.

Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

CoRR, 2018

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.

Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

DroidStar: callback typestates for Android classes.

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Learning Asynchronous Typestates for Android Classes.

Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný

CoRR, 2017

2016

Interpolants in Nonlinear Theories Over the Reals.

Sicun Gao, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

PSync: a partially synchronous language for fault-tolerant distributed algorithms.

Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Performance comparison of multi-label learning algorithms on clinical data for chronic diseases.

Damien Zufferey, Thomas Hofer, Jean Hennebert, Michael Ignaz Schumacher, Rolf Ingold, Stefano Bromuri

Comput. Biol. Medicine, 2015

The Need for Language Support for Fault-Tolerant Distributed Systems.

Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Case-based retrieval of similar diabetic patients.

Damien Zufferey, Stefano Bromuri, Michael Schumacher

Proceedings of the 9th International Conference on Pervasive Computing Technologies for Healthcare, 2015

2014

Multi-label classification of chronically ill patients with bag of words and supervised dimensionality reduction algorithms.

Stefano Bromuri, Damien Zufferey, Jean Hennebert, Michael Ignaz Schumacher

J. Biomed. Informatics, 2014

Probabilistic Multi-Label Learning for Medical Data.

Damien Zufferey

IEEE Intell. Informatics Bull., 2014

A Logic-Based Framework for Verifying Consensus Algorithms.

Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

GRASShopper - Complete Heap Verification with Mixed Specifications.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Dynamic Package Interfaces.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Automating Separation Logic with Trees and Data.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

COMMODITY₁₂: A smart e-health environment for diabetes management.

Özgür Kafali, Stefano Bromuri, Michal Sindlar, Tom van der Weide, Eduardo Aguilar-Pelaez, Ulrich Schaechtle, Bruno Alves, Damien Zufferey, Esther Rodríguez-Villegas, Michael Ignaz Schumacher, Kostas Stathis

J. Ambient Intell. Smart Environ., 2013

Dynamic Package Interfaces - Extended Version.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

CoRR, 2013

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.

Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey

CoRR, 2013

Structural Counter Abstraction.

Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

P: safe asynchronous event-driven programming.

Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Automating Separation Logic Using SMT.

Ruzica Piskac, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Ideal Abstractions for Well-Structured Transition Systems.

Damien Zufferey, Thomas Wies, Thomas A. Henzinger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Machine learning approaches for electric appliance classification.

Damien Zufferey, Christophe Gisler, Omar Abou Khaled, Jean Hennebert

Proceedings of the 11th International Conference on Information Science, 2012

2011

Static Scheduling in Clouds.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.

Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the European Conference on Computer Systems, 2011

2010

Forward Analysis of Depth-Bounded Processes.

Thomas Wies, Damien Zufferey, Thomas A. Henzinger

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Shape Refinement through Explicit Heap Analysis.

Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey

Proceedings of the Fundamental Approaches to Software Engineering, 2010

A marketplace for cloud resources.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 10th International conference on Embedded software, 2010

Model Checking of Linearizability of Concurrent List Implementations.

Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2008

CSIsat: Interpolation for LA+EUF.

Dirk Beyer, Damien Zufferey, Rupak Majumdar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008