Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Damien Zufferey
@inproceedings{DBLP:conf/cav/LiSWZ23, author = {Elaine Li and Felix Stutz and Thomas Wies and Damien Zufferey}, editor = {Constantin Enea and Akash Lal}, title = {Complete Multiparty Session Type Projection with Automata}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13966}, pages = {350--373}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37709-9\_17}, doi = {10.1007/978-3-031-37709-9\_17}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/LiSWZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-17079, author = {Elaine Li and Felix Stutz and Thomas Wies and Damien Zufferey}, title = {Complete Multiparty Session Type Projection with Automata}, journal = {CoRR}, volume = {abs/2305.17079}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.17079}, doi = {10.48550/ARXIV.2305.17079}, eprinttype = {arXiv}, eprint = {2305.17079}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-17079.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2209-10328, author = {Felix Stutz and Damien Zufferey}, editor = {Pierre Ganty and Dario Della Monica}, title = {Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types}, booktitle = {Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022}, series = {{EPTCS}}, volume = {370}, pages = {194--212}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.370.13}, doi = {10.4204/EPTCS.370.13}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-10328.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-05559, author = {Felix Stutz and Damien Zufferey}, title = {Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types}, journal = {CoRR}, volume = {abs/2208.05559}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.05559}, doi = {10.48550/ARXIV.2208.05559}, eprinttype = {arXiv}, eprint = {2208.05559}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-05559.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/Stanley-Marbell20, author = {Phillip Stanley{-}Marbell and Armin Alaghi and Michael Carbin and Eva Darulova and Lara Dolecek and Andreas Gerstlauer and Ghayoor Gillani and Djordje Jevdjic and Thierry Moreau and Mattia Cacciotti and Alexandros Daglis and Natalie D. Enright Jerger and Babak Falsafi and Sasa Misailovic and Adrian Sampson and Damien Zufferey}, title = {Exploiting Errors for Efficiency: {A} Survey from Circuits to Applications}, journal = {{ACM} Comput. Surv.}, volume = {53}, number = {3}, pages = {51:1--51:39}, year = {2021}, url = {https://doi.org/10.1145/3394898}, doi = {10.1145/3394898}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/Stanley-Marbell20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/MajumdarMSZ21, author = {Rupak Majumdar and Madhavan Mukund and Felix Stutz and Damien Zufferey}, editor = {Serge Haddad and Daniele Varacca}, title = {Generalising Projection in Asynchronous Multiparty Session Types}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {35:1--35:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.35}, doi = {10.4230/LIPICS.CONCUR.2021.35}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/MajumdarMSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/MajumdarMPSZ21, author = {Rupak Majumdar and Aman Shankar Mathur and Marcus Pirron and Laura Stegner and Damien Zufferey}, editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga}, title = {Paracosm: {A} Test Framework for Autonomous Driving Simulations}, booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12649}, pages = {172--195}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71500-7\_9}, doi = {10.1007/978-3-030-71500-7\_9}, timestamp = {Fri, 14 May 2021 08:34:15 +0200}, biburl = {https://dblp.org/rec/conf/fase/MajumdarMPSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pg/MathurZ21, author = {Aman Shankar Mathur and Damien Zufferey}, editor = {Sung{-}Hee Lee and Stefanie Zollmann and Makoto Okabe and Burkhard W{\"{u}}nsche}, title = {Constraint Synthesis for Parametric {CAD}}, booktitle = {The 29th Pacific Conference on Computer Graphics and Applications, {PG} 2021, Short Papers, Posters, and Work-in-Progress Papers, Virtual Event / Wellington, New Zealand, October 18-21, 2021}, pages = {75--80}, publisher = {Eurographics Association}, year = {2021}, url = {https://doi.org/10.2312/pg.20211396}, doi = {10.2312/PG.20211396}, timestamp = {Tue, 20 Dec 2022 14:30:16 +0100}, biburl = {https://dblp.org/rec/conf/pg/MathurZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-03984, author = {Rupak Majumdar and Madhavan Mukund and Felix Stutz and Damien Zufferey}, title = {Generalising Projection in Asynchronous Multiparty Session Types}, journal = {CoRR}, volume = {abs/2107.03984}, year = {2021}, url = {https://arxiv.org/abs/2107.03984}, eprinttype = {arXiv}, eprint = {2107.03984}, timestamp = {Tue, 20 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-03984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cgf/MathurPZ20, author = {Aman Shankar Mathur and Marcus Pirron and Damien Zufferey}, title = {Interactive Programming for Parametric {CAD}}, journal = {Comput. Graph. Forum}, volume = {39}, number = {6}, pages = {408--425}, year = {2020}, url = {https://doi.org/10.1111/cgf.14046}, doi = {10.1111/CGF.14046}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cgf/MathurPZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MajumdarYZ20, author = {Rupak Majumdar and Nobuko Yoshida and Damien Zufferey}, title = {Multiparty motion coordination: from choreographies to robotics programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {134:1--134:30}, year = {2020}, url = {https://doi.org/10.1145/3428202}, doi = {10.1145/3428202}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MajumdarYZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DragoiWZ20, author = {Cezara Dragoi and Josef Widder and Damien Zufferey}, title = {Programming at the edge of synchrony}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {213:1--213:30}, year = {2020}, url = {https://doi.org/10.1145/3428281}, doi = {10.1145/3428281}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DragoiWZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/MajumdarMSZ20, author = {Rupak Majumdar and Kaushik Mallik and Anne{-}Kathrin Schmuck and Damien Zufferey}, title = {Assume-Guarantee Distributed Synthesis}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {39}, number = {11}, pages = {3215--3226}, year = {2020}, url = {https://doi.org/10.1109/TCAD.2020.3012641}, doi = {10.1109/TCAD.2020.3012641}, timestamp = {Thu, 17 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/MajumdarMSZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/PirronZS20, author = {Marcus Pirron and Damien Zufferey and Phillip Stanley{-}Marbell}, title = {Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {39}, number = {11}, pages = {3227--3238}, year = {2020}, url = {https://doi.org/10.1109/TCAD.2020.3013044}, doi = {10.1109/TCAD.2020.3013044}, timestamp = {Thu, 17 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/PirronZS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2020, editor = {Dirk Beyer and Damien Zufferey}, title = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11990}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39322-9}, doi = {10.1007/978-3-030-39322-9}, isbn = {978-3-030-39321-2}, timestamp = {Thu, 16 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-05484, author = {Rupak Majumdar and Nobuko Yoshida and Damien Zufferey}, title = {Multiparty Motion Coordination: From Choreographies to Robotics Programs}, journal = {CoRR}, volume = {abs/2010.05484}, year = {2020}, url = {https://arxiv.org/abs/2010.05484}, eprinttype = {arXiv}, eprint = {2010.05484}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-05484.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pr/TeisseyreZS19, author = {Pawel Teisseyre and Damien Zufferey and Marta Slomka}, title = {Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification}, journal = {Pattern Recognit.}, volume = {86}, pages = {290--319}, year = {2019}, url = {https://doi.org/10.1016/j.patcog.2018.09.012}, doi = {10.1016/J.PATCOG.2018.09.012}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pr/TeisseyreZS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HuangKGZ19, author = {Calvin Huang and Soonho Kong and Sicun Gao and Damien Zufferey}, editor = {Majid Zamani and Damien Zufferey}, title = {Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability}, booktitle = {Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11652}, pages = {85--100}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-28423-7\_6}, doi = {10.1007/978-3-030-28423-7\_6}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/HuangKGZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/BaiMSZM19, author = {Yunjun Bai and Kaushik Mallik and Anne{-}Kathrin Schmuck and Damien Zufferey and Rupak Majumdar}, title = {Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment}, booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice, France, December 11-13, 2019}, pages = {6261--6268}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/CDC40024.2019.9030141}, doi = {10.1109/CDC40024.2019.9030141}, timestamp = {Fri, 04 Mar 2022 13:30:46 +0100}, biburl = {https://dblp.org/rec/conf/cdc/BaiMSZM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/MajumdarPYZ19, author = {Rupak Majumdar and Marcus Pirron and Nobuko Yoshida and Damien Zufferey}, editor = {Alastair F. Donaldson}, title = {Motion Session Types for Robotic Interactions (Brave New Idea Paper)}, booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019, July 15-19, 2019, London, United Kingdom}, series = {LIPIcs}, volume = {134}, pages = {28:1--28:27}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.28}, doi = {10.4230/LIPICS.ECOOP.2019.28}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/MajumdarPYZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/BanusicMPSZ19, author = {Gregor B. Banusic and Rupak Majumdar and Marcus Pirron and Anne{-}Kathrin Schmuck and Damien Zufferey}, editor = {Xue Liu and Paulo Tabuada and Miroslav Pajic and Linda Bushnell}, title = {{PGCD:} robot programming and verification with geometry, concurrency, and dynamics}, booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019}, pages = {57--66}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3302509.3311052}, doi = {10.1145/3302509.3311052}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/BanusicMPSZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/PirronZ19, author = {Marcus Pirron and Damien Zufferey}, title = {{MPERL:} Hardware and Software Co-design for Robotic Manipulators {\textcopyright}}, booktitle = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2019, Macau, SAR, China, November 3-8, 2019}, pages = {7784--7790}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IROS40897.2019.8968188}, doi = {10.1109/IROS40897.2019.8968188}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iros/PirronZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2019nsv, editor = {Majid Zamani and Damien Zufferey}, title = {Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11652}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-28423-7}, doi = {10.1007/978-3-030-28423-7}, isbn = {978-3-030-28422-0}, timestamp = {Mon, 05 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2019nsv.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-01084, author = {Rupak Majumdar and Aman Shankar Mathur and Marcus Pirron and Laura Stegner and Damien Zufferey}, title = {Paracosm: {A} Language and Tool for Testing Autonomous Driving Systems}, journal = {CoRR}, volume = {abs/1902.01084}, year = {2019}, url = {http://arxiv.org/abs/1902.01084}, eprinttype = {arXiv}, eprint = {1902.01084}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-01084.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/RadhakrishnaLMM18, author = {Arjun Radhakrishna and Nicholas V. Lewchenko and Shawn Meier and Sergio Mover and Krishna Chaitanya Sripada and Damien Zufferey and Bor{-}Yuh Evan Chang and Pavol Cern{\'{y}}}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {DroidStar: callback typestates for Android classes}, booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {1160--1170}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3180155.3180232}, doi = {10.1145/3180155.3180232}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/RadhakrishnaLMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/GavranMMPZ18, author = {Ivan Gavran and Ortwin Mailahn and Rainer M{\"{u}}ller and Richard Peifer and Damien Zufferey}, editor = {Elisa Gonzalez Boix and Richard P. Gabriel}, title = {T{\unicode{7439}}{\unicode{7439}}{\unicode{671}}: accessible automated reasoning for human robot collaboration}, booktitle = {Proceedings of the 2018 {ACM} {SIGPLAN} International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018}, pages = {44--56}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3276954.3276961}, doi = {10.1145/3276954.3276961}, timestamp = {Wed, 21 Nov 2018 12:44:12 +0100}, biburl = {https://dblp.org/rec/conf/oopsla/GavranMMPZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-05859, author = {Phillip Stanley{-}Marbell and Armin Alaghi and Michael Carbin and Eva Darulova and Lara Dolecek and Andreas Gerstlauer and Ghayoor Gillani and Djordje Jevdjic and Thierry Moreau and Mattia Cacciotti and Alexandros Daglis and Natalie D. Enright Jerger and Babak Falsafi and Sasa Misailovic and Adrian Sampson and Damien Zufferey}, title = {Exploiting Errors for Efficiency: {A} Survey from Circuits to Algorithms}, journal = {CoRR}, volume = {abs/1809.05859}, year = {2018}, url = {http://arxiv.org/abs/1809.05859}, eprinttype = {arXiv}, eprint = {1809.05859}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-05859.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RadhakrishnaLMM17, author = {Arjun Radhakrishna and Nicholas V. Lewchenko and Shawn Meier and Sergio Mover and Krishna Chaitanya Sripada and Damien Zufferey and Bor{-}Yuh Evan Chang and Pavol Cern{\'{y}}}, title = {Learning Asynchronous Typestates for Android Classes}, journal = {CoRR}, volume = {abs/1701.07842}, year = {2017}, url = {http://arxiv.org/abs/1701.07842}, eprinttype = {arXiv}, eprint = {1701.07842}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RadhakrishnaLMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DragoiHZ16, author = {Cezara Dragoi and Thomas A. Henzinger and Damien Zufferey}, editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar}, title = {PSync: a partially synchronous language for fault-tolerant distributed algorithms}, booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016}, pages = {400--415}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2837614.2837650}, doi = {10.1145/2837614.2837650}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/DragoiHZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GaoZ16, author = {Sicun Gao and Damien Zufferey}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Interpolants in Nonlinear Theories Over the Reals}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {625--641}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_41}, doi = {10.1007/978-3-662-49674-9\_41}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GaoZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cbm/ZuffereyHHSIB15, author = {Damien Zufferey and Thomas Hofer and Jean Hennebert and Michael Ignaz Schumacher and Rolf Ingold and Stefano Bromuri}, title = {Performance comparison of multi-label learning algorithms on clinical data for chronic diseases}, journal = {Comput. Biol. Medicine}, volume = {65}, pages = {34--43}, year = {2015}, url = {https://doi.org/10.1016/j.compbiomed.2015.07.017}, doi = {10.1016/J.COMPBIOMED.2015.07.017}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cbm/ZuffereyHHSIB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ph/ZuffereyB015, author = {Damien Zufferey and Stefano Bromuri and Michael Schumacher}, editor = {Bert Arnrich and Cem Ersoy and Anind K. Dey and Kai Kunze and Nadia Berthouze}, title = {Case-based retrieval of similar diabetic patients}, booktitle = {9th International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2015, Istanbul, Turkey, 20-23 May 2015}, pages = {312--316}, publisher = {{ICST}}, year = {2015}, url = {https://doi.org/10.4108/icst.pervasivehealth.2015.259184}, doi = {10.4108/ICST.PERVASIVEHEALTH.2015.259184}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ph/ZuffereyB015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snapl/DragoiHZ15, author = {Cezara Dragoi and Thomas A. Henzinger and Damien Zufferey}, editor = {Thomas Ball and Rastislav Bod{\'{\i}}k and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett}, title = {The Need for Language Support for Fault-Tolerant Distributed Systems}, booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May 3-6, 2015, Asilomar, California, {USA}}, series = {LIPIcs}, volume = {32}, pages = {90--102}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.90}, doi = {10.4230/LIPICS.SNAPL.2015.90}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/snapl/DragoiHZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cib/Zufferey14, author = {Damien Zufferey}, title = {Probabilistic Multi-Label Learning for Medical Data}, journal = {{IEEE} Intell. Informatics Bull.}, volume = {15}, number = {1}, pages = {26--27}, year = {2014}, url = {http://www.comp.hkbu.edu.hk/\%7Ecib/2014/Dec/paper3/iib\_vol15no1\_paper3.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cib/Zufferey14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jbi/BromuriZHS14, author = {Stefano Bromuri and Damien Zufferey and Jean Hennebert and Michael Ignaz Schumacher}, title = {Multi-label classification of chronically ill patients with bag of words and supervised dimensionality reduction algorithms}, journal = {J. Biomed. Informatics}, volume = {51}, pages = {165--175}, year = {2014}, url = {https://doi.org/10.1016/j.jbi.2014.05.010}, doi = {10.1016/J.JBI.2014.05.010}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jbi/BromuriZHS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PiskacWZ14, author = {Ruzica Piskac and Thomas Wies and Damien Zufferey}, editor = {Armin Biere and Roderick Bloem}, title = {Automating Separation Logic with Trees and Data}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {711--728}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_47}, doi = {10.1007/978-3-319-08867-9\_47}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/PiskacWZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/EsmaeilsabzaliMWZ14, author = {Shahram Esmaeilsabzali and Rupak Majumdar and Thomas Wies and Damien Zufferey}, editor = {Stefania Gnesi and Arend Rensink}, title = {Dynamic Package Interfaces}, booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, {FASE} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8411}, pages = {261--275}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54804-8\_18}, doi = {10.1007/978-3-642-54804-8\_18}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/EsmaeilsabzaliMWZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/PiskacWZ14, author = {Ruzica Piskac and Thomas Wies and Damien Zufferey}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {GRASShopper - Complete Heap Verification with Mixed Specifications}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {124--139}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_9}, doi = {10.1007/978-3-642-54862-8\_9}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/PiskacWZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/DragoiHVWZ14, author = {Cezara Dragoi and Thomas A. Henzinger and Helmut Veith and Josef Widder and Damien Zufferey}, editor = {Kenneth L. McMillan and Xavier Rival}, title = {A Logic-Based Framework for Verifying Consensus Algorithms}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8318}, pages = {161--181}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54013-4\_10}, doi = {10.1007/978-3-642-54013-4\_10}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/DragoiHVWZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaise/KafaliBSWASAZRSS13, author = {{\"{O}}zg{\"{u}}r Kafali and Stefano Bromuri and Michal Sindlar and Tom van der Weide and Eduardo Aguilar{-}Pelaez and Ulrich Schaechtle and Bruno Alves and Damien Zufferey and Esther Rodr{\'{\i}}guez{-}Villegas and Michael Ignaz Schumacher and Kostas Stathis}, title = {COMMODITY\({}_{\mbox{12}}\): {A} smart e-health environment for diabetes management}, journal = {J. Ambient Intell. Smart Environ.}, volume = {5}, number = {5}, pages = {479--502}, year = {2013}, url = {https://doi.org/10.3233/AIS-130220}, doi = {10.3233/AIS-130220}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jaise/KafaliBSWASAZRSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PiskacWZ13, author = {Ruzica Piskac and Thomas Wies and Damien Zufferey}, editor = {Natasha Sharygina and Helmut Veith}, title = {Automating Separation Logic Using {SMT}}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {773--789}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_54}, doi = {10.1007/978-3-642-39799-8\_54}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/PiskacWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/DesaiGJQRZ13, author = {Ankush Desai and Vivek Gupta and Ethan K. Jackson and Shaz Qadeer and Sriram K. Rajamani and Damien Zufferey}, editor = {Hans{-}Juergen Boehm and Cormac Flanagan}, title = {{P:} safe asynchronous event-driven programming}, booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} '13, Seattle, WA, USA, June 16-19, 2013}, pages = {321--332}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491956.2462184}, doi = {10.1145/2491956.2462184}, timestamp = {Fri, 30 Nov 2018 12:21:40 +0100}, biburl = {https://dblp.org/rec/conf/pldi/DesaiGJQRZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BansalKWZ13, author = {Kshitij Bansal and Eric Koskinen and Thomas Wies and Damien Zufferey}, editor = {Nir Piterman and Scott A. Smolka}, title = {Structural Counter Abstraction}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, {TACAS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7795}, pages = {62--77}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36742-7\_5}, doi = {10.1007/978-3-642-36742-7\_5}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BansalKWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EsmaeilsabzaliMWZ13, author = {Shahram Esmaeilsabzali and Rupak Majumdar and Thomas Wies and Damien Zufferey}, title = {A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages}, journal = {CoRR}, volume = {abs/1311.4615}, year = {2013}, url = {http://arxiv.org/abs/1311.4615}, eprinttype = {arXiv}, eprint = {1311.4615}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsmaeilsabzaliMWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/EsmaeilsabzaliMWZ13a, author = {Shahram Esmaeilsabzali and Rupak Majumdar and Thomas Wies and Damien Zufferey}, title = {Dynamic Package Interfaces - Extended Version}, journal = {CoRR}, volume = {abs/1311.4934}, year = {2013}, url = {http://arxiv.org/abs/1311.4934}, eprinttype = {arXiv}, eprint = {1311.4934}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/EsmaeilsabzaliMWZ13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isspa/ZuffereyGKH12, author = {Damien Zufferey and Christophe Gisler and Omar Abou Khaled and Jean Hennebert}, title = {Machine learning approaches for electric appliance classification}, booktitle = {11th International Conference on Information Science, Signal Processing and their Applications, {ISSPA} 2012, Montreal, QC, Canada, July 2-5, 2012}, pages = {740--745}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ISSPA.2012.6310651}, doi = {10.1109/ISSPA.2012.6310651}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/isspa/ZuffereyGKH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/ZuffereyWH12, author = {Damien Zufferey and Thomas Wies and Thomas A. Henzinger}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Ideal Abstractions for Well-Structured Transition Systems}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {445--460}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_29}, doi = {10.1007/978-3-642-27940-9\_29}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/ZuffereyWH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosys/HenzingerSWZ11, author = {Thomas A. Henzinger and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Christoph M. Kirsch and Gernot Heiser}, title = {Scheduling large jobs by abstraction refinement}, booktitle = {European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011}, pages = {329--342}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1966445.1966476}, doi = {10.1145/1966445.1966476}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurosys/HenzingerSWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotcloud/HenzingerSSWZ11, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Ion Stoica and John Wilkes}, title = {Static Scheduling in Clouds}, booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11, Portland, OR, USA, June 14-15, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/hotcloud11/static-scheduling-clouds}, timestamp = {Tue, 09 Feb 2021 08:31:35 +0100}, biburl = {https://dblp.org/rec/conf/hotcloud/HenzingerSSWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/HenzingerSSWZ10, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, title = {FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment}, booktitle = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010, Miami, FL, USA, 5-10 July, 2010}, pages = {83--90}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CLOUD.2010.71}, doi = {10.1109/CLOUD.2010.71}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcloud/HenzingerSSWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CernyRZCA10, author = {Pavol Cern{\'{y}} and Arjun Radhakrishna and Damien Zufferey and Swarat Chaudhuri and Rajeev Alur}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Model Checking of Linearizability of Concurrent List Implementations}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, pages = {465--479}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_41}, doi = {10.1007/978-3-642-14295-6\_41}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/CernyRZCA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Luca P. Carloni and Stavros Tripakis}, title = {A marketplace for cloud resources}, booktitle = {Proceedings of the 10th International conference on Embedded software, {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010}, pages = {1--8}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1879021.1879022}, doi = {10.1145/1879021.1879022}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BeyerHTZ10, author = {Dirk Beyer and Thomas A. Henzinger and Gr{\'{e}}gory Th{\'{e}}oduloz and Damien Zufferey}, editor = {David S. Rosenblum and Gabriele Taentzer}, title = {Shape Refinement through Explicit Heap Analysis}, booktitle = {Fundamental Approaches to Software Engineering, 13th International Conference, {FASE} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6013}, pages = {263--277}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12029-9\_19}, doi = {10.1007/978-3-642-12029-9\_19}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/BeyerHTZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/WiesZH10, author = {Thomas Wies and Damien Zufferey and Thomas A. Henzinger}, editor = {C.{-}H. Luke Ong}, title = {Forward Analysis of Depth-Bounded Processes}, booktitle = {Foundations of Software Science and Computational Structures, 13th International Conference, {FOSSACS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6014}, pages = {94--108}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12032-9\_8}, doi = {10.1007/978-3-642-12032-9\_8}, timestamp = {Wed, 16 Mar 2022 23:55:17 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/WiesZH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeyerZM08, author = {Dirk Beyer and Damien Zufferey and Rupak Majumdar}, editor = {Aarti Gupta and Sharad Malik}, title = {CSIsat: Interpolation for {LA+EUF}}, booktitle = {Computer Aided Verification, 20th International Conference, {CAV} 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5123}, pages = {304--308}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70545-1\_29}, doi = {10.1007/978-3-540-70545-1\_29}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeyerZM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.