Damien Zufferey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
15
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation. | Jelena Frtunikj, Alex Latz, Ajit Mistry, Matthew Propp, Vasu Singh, Suresh Talapaneni, Amanda Tang, Damien Zufferey |
| 2025 | CAV | Sprout: A Verifier for Symbolic Multiparty Protocols. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2023 | CAV | Complete Multiparty Session Type Projection with Automata. | Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey |
| 2021 | CONCUR | Generalising Projection in Asynchronous Multiparty Session Types. | Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey |
| 2021 | FASE | Paracosm: A Test Framework for Autonomous Driving Simulations. | Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey |
| 2021 | PG | Constraint Synthesis for Parametric CAD. | Aman Shankar Mathur, Damien Zufferey |
| 2019 | CAV | Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. | Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey |
| 2019 | ECOOP | Motion Session Types for Robotic Interactions (Brave New Idea Paper). | Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
| 2019 | IROS | MPERL: Hardware and Software Co-design for Robotic Manipulators ©. | Marcus Pirron, Damien Zufferey |
| 2018 | ICSE | 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 |
| 2018 | OOPSLA | Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. | Ivan Gavran, Ortwin Mailahn, Rainer Mller, Richard Peifer, Damien Zufferey |
| 2016 | POPL | PSync: a partially synchronous language for fault-tolerant distributed algorithms. | Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey |
| 2016 | TACAS | Interpolants in Nonlinear Theories Over the Reals. | Sicun Gao, Damien Zufferey |
| 2014 | CAV | Automating Separation Logic with Trees and Data. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | FASE | Dynamic Package Interfaces. | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
| 2014 | TACAS | GRASShopper - Complete Heap Verification with Mixed Specifications. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2014 | VMCAI | A Logic-Based Framework for Verifying Consensus Algorithms. | Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey |
| 2013 | CAV | Automating Separation Logic Using SMT. | Ruzica Piskac, Thomas Wies, Damien Zufferey |
| 2013 | PLDI | P: safe asynchronous event-driven programming. | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
| 2013 | TACAS | Structural Counter Abstraction. | Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey |
| 2012 | VMCAI | Ideal Abstractions for Well-Structured Transition Systems. | Damien Zufferey, Thomas Wies, Thomas A. Henzinger |
| 2011 | EuroSys | Scheduling large jobs by abstraction refinement. | Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | CAV | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | EMSOFT | A marketplace for cloud resources. | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | FASE | Shape Refinement through Explicit Heap Analysis. | Dirk Beyer, Thomas A. Henzinger, Grgory Thoduloz, Damien Zufferey |
| 2010 | FOSSACS | Forward Analysis of Depth-Bounded Processes. | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
| 2008 | CAV | CSIsat: Interpolation for LA+EUF. | Dirk Beyer, Damien Zufferey, Rupak Majumdar |