Damien Zufferey

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 31

Top Topics

Controller Synthesis

Top Venues

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

Publications

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CAV (3) (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CoRR (2023)
Felix Stutz, Damien Zufferey
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. GandALF (2022)
Felix Stutz, Damien Zufferey
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. CoRR (2022)
Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
Paracosm: A Test Framework for Autonomous Driving Simulations. FASE (2021)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CONCUR (2021)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CoRR (2021)
Aman Shankar Mathur, Damien Zufferey
Constraint Synthesis for Parametric CAD. PG (Short Papers, Posters, and Work-in-Progress Papers) (2021)
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Aman Shankar Mathur, Marcus Pirron, Damien Zufferey
Interactive Programming for Parametric CAD. Comput. Graph. Forum 39 (6) (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR (2020)
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
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. 53 (3) (2020)
Cezara Dragoi, Josef Widder, Damien Zufferey
Programming at the edge of synchrony. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Marcus Pirron, Damien Zufferey, Phillip Stanley-Marbell
Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Marcus Pirron, Damien Zufferey
MPERL: Hardware and Software Co-design for Robotic Manipulators ©. IROS (2019)
Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV (2019)
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC (2019)
Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey
PGCD: robot programming and verification with geometry, concurrency, and dynamics. ICCPS (2019)
Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
Paracosm: A Language and Tool for Testing Autonomous Driving Systems. CoRR (2019)
Pawel Teisseyre, Damien Zufferey, Marta Slomka
Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification. Pattern Recognit. 86 (2019)
Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey
Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP (2019)
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
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. CoRR (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
DroidStar: callback typestates for Android classes. ICSE (2018)
Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey
Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. Onward! (2018)
Arjun Radhakrishna, Nicholas V. Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerný
Learning Asynchronous Typestates for Android Classes. CoRR (2017)
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
PSync: a partially synchronous language for fault-tolerant distributed algorithms. POPL (2016)
Sicun Gao, Damien Zufferey
Interpolants in Nonlinear Theories Over the Reals. TACAS (2016)
Damien Zufferey, Stefano Bromuri, Michael Schumacher
Case-based retrieval of similar diabetic patients. PervasiveHealth (2015)
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
The Need for Language Support for Fault-Tolerant Distributed Systems. SNAPL (2015)
Damien Zufferey, Thomas Hofer, Jean Hennebert, Michael Ignaz Schumacher, Rolf Ingold, Stefano Bromuri
Performance comparison of multi-label learning algorithms on clinical data for chronic diseases. Comput. Biol. Medicine 65 (2015)
Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI (2014)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
Dynamic Package Interfaces. FASE (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS (2014)
Stefano Bromuri, Damien Zufferey, Jean Hennebert, Michael Ignaz Schumacher
Multi-label classification of chronically ill patients with bag of words and supervised dimensionality reduction algorithms. J. Biomed. Informatics 51 (2014)
Damien Zufferey
Probabilistic Multi-Label Learning for Medical Data. IEEE Intell. Informatics Bull. 15 (1) (2014)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic with Trees and Data. CAV (2014)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
Dynamic Package Interfaces - Extended Version. CoRR (2013)
Ö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
: A smart e-health environment for diabetes management. J. Ambient Intell. Smart Environ. 5 (5) (2013)
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. CoRR (2013)
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
P: safe asynchronous event-driven programming. PLDI (2013)
Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey
Structural Counter Abstraction. TACAS (2013)
Ruzica Piskac, Thomas Wies, Damien Zufferey
Automating Separation Logic Using SMT. CAV (2013)
Damien Zufferey, Thomas Wies, Thomas A. Henzinger
Ideal Abstractions for Well-Structured Transition Systems. VMCAI (2012)
Damien Zufferey, Christophe Gisler, Omar Abou Khaled, Jean Hennebert
Machine learning approaches for electric appliance classification. ISSPA (2012)
Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey
Scheduling large jobs by abstraction refinement. EuroSys (2011)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
Static Scheduling in Clouds. HotCloud (2011)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD (2010)
Thomas Wies, Damien Zufferey, Thomas A. Henzinger
Forward Analysis of Depth-Bounded Processes. FoSSaCS (2010)
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
A marketplace for cloud resources. EMSOFT (2010)
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
Model Checking of Linearizability of Concurrent List Implementations. CAV (2010)
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey
Shape Refinement through Explicit Heap Analysis. FASE (2010)
Dirk Beyer, Damien Zufferey, Rupak Majumdar
CSIsat: Interpolation for LA+EUF. CAV (2008)