Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-02-06 23:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
