Damien Zufferey

58 papers A* 7A 6B 8Misc 1Journal 22Unranked 13

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