CSIsat: Interpolation for LA+EUF. - Dirk Beyer 001; Damien Zufferey; Rupak Majumdar (CAV, 2008)

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (IEEE CLOUD, 2010)

Model Checking of Linearizability of Concurrent List Implementations. - Pavol Cerný; Arjun Radhakrishna; Damien Zufferey; Swarat Chaudhuri; Rajeev Alur (CAV, 2010)

A marketplace for cloud resources. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (EMSOFT, 2010)

Shape Refinement through Explicit Heap Analysis. - Dirk Beyer 001; Thomas A. Henzinger; Grégory Théoduloz; Damien Zufferey (FASE, 2010)

Forward Analysis of Depth-Bounded Processes. - Thomas Wies; Damien Zufferey; Thomas A. Henzinger (FoSSaCS, 2010)

Scheduling large jobs by abstraction refinement. - Thomas A. Henzinger; Vasu Singh; Thomas Wies; Damien Zufferey (EuroSys, 2011)

Static Scheduling in Clouds. - Thomas A. Henzinger; Anmol V. Singh; Vasu Singh; Thomas Wies; Damien Zufferey (HotCloud, 2011)

Machine learning approaches for electric appliance classification. - Damien Zufferey; Christophe Gisler; Omar Abou Khaled; Jean Hennebert (ISSPA, 2012)

Ideal Abstractions for Well-Structured Transition Systems. - Damien Zufferey; Thomas Wies; Thomas A. Henzinger (VMCAI, 2012)

Automating Separation Logic Using SMT. - Ruzica Piskac; Thomas Wies; Damien Zufferey (CAV, 2013)

P: safe asynchronous event-driven programming. - Ankush Desai; Vivek Gupta; Ethan K. Jackson; Shaz Qadeer; Sriram K. Rajamani; Damien Zufferey (PLDI, 2013)

Structural Counter Abstraction. - Kshitij Bansal; Eric Koskinen; Thomas Wies; Damien Zufferey (TACAS, 2013)

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (CoRR, 2013)

Dynamic Package Interfaces - Extended Version. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (CoRR, 2013)

COMMODITY12: 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)

Automating Separation Logic with Trees and Data. - Ruzica Piskac; Thomas Wies; Damien Zufferey (CAV, 2014)

Dynamic Package Interfaces. - Shahram Esmaeilsabzali; Rupak Majumdar; Thomas Wies; Damien Zufferey (FASE, 2014)

GRASShopper - Complete Heap Verification with Mixed Specifications. - Ruzica Piskac; Thomas Wies; Damien Zufferey (TACAS, 2014)

A Logic-Based Framework for Verifying Consensus Algorithms. - Cezara Dragoi; Thomas A. Henzinger; Helmut Veith; Josef Widder; Damien Zufferey (VMCAI, 2014)

Probabilistic Multi-Label Learning for Medical Data. - Damien Zufferey (IEEE Intell. Informatics Bull., 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)

Case-based retrieval of similar diabetic patients. - Damien Zufferey; Stefano Bromuri; Michael Schumacher 001 (PervasiveHealth, 2015)

The Need for Language Support for Fault-Tolerant Distributed Systems. - Cezara Dragoi; Thomas A. Henzinger; Damien Zufferey (SNAPL, 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)

PSync: a partially synchronous language for fault-tolerant distributed algorithms. - Cezara Dragoi; Thomas A. Henzinger; Damien Zufferey (POPL, 2016)

Interpolants in Nonlinear Theories Over the Reals. - Sicun Gao; Damien Zufferey (TACAS, 2016)

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)

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ý (ICSE, 2018)

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. - Ivan Gavran; Ortwin Mailahn; Rainer Müller; Richard Peifer; Damien Zufferey (Onward!, 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; et al. (CoRR, 2018)

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. - Calvin Huang; Soonho Kong; Sicun Gao; Damien Zufferey (NSV@CAV, 2019)

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. - Yunjun Bai; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey; Rupak Majumdar (CDC, 2019)

Motion Session Types for Robotic Interactions (Brave New Idea Paper). - Rupak Majumdar; Marcus Pirron; Nobuko Yoshida; Damien Zufferey (ECOOP, 2019)

PGCD: robot programming and verification with geometry, concurrency, and dynamics. - Gregor B. Banusic; Rupak Majumdar; Marcus Pirron; Anne-Kathrin Schmuck; Damien Zufferey (ICCPS, 2019)

MPERL: Hardware and Software Co-design for Robotic Manipulators ©. - Marcus Pirron; Damien Zufferey (IROS, 2019)

Paracosm: A Language and Tool for Testing Autonomous Driving Systems. - Rupak Majumdar; Aman Shankar Mathur; Marcus Pirron; Laura Stegner; Damien Zufferey (CoRR, 2019)

Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification. - Pawel Teisseyre; Damien Zufferey; Marta Slomka (Pattern Recognit., 2019)

Interactive Programming for Parametric CAD. - Aman Shankar Mathur; Marcus Pirron; Damien Zufferey (Comput. Graph. Forum, 2020)

Programming at the edge of synchrony. - Cezara Dragoi; Josef Widder; Damien Zufferey (Proc. ACM Program. Lang., 2020)

Multiparty motion coordination: from choreographies to robotics programs. - Rupak Majumdar; Nobuko Yoshida; Damien Zufferey (Proc. ACM Program. Lang., 2020)

Assume-Guarantee Distributed Synthesis. - Rupak Majumdar; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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)

Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact). - Rupak Majumdar; Nobuko Yoshida; Damien Zufferey (Zenodo, 2020)

Generalising Projection in Asynchronous Multiparty Session Types. - Rupak Majumdar; Madhavan Mukund; Felix Stutz; Damien Zufferey (CONCUR, 2021)

Paracosm: A Test Framework for Autonomous Driving Simulations. - Rupak Majumdar; Aman Shankar Mathur; Marcus Pirron; Laura Stegner; Damien Zufferey (FASE, 2021)

Constraint Synthesis for Parametric CAD. - Aman Shankar Mathur; Damien Zufferey (PG (Short Papers, Posters, and Work-in-Progress Papers), 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; et al. (ACM Comput. Surv., 2021)

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. - Felix Stutz; Damien Zufferey (GandALF, 2022)

Complete Multiparty Session Type Projection with Automata. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2023)

Sprout: A Verifier for Symbolic Multiparty Protocols. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2025)

Characterizing Implementability of Global Protocols with Infinite States and Data. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (Proc. ACM Program. Lang., 2025)