Damien Zufferey

Natalie D. Enright Jerger

Proceedings of the 13th International Symposium on Games, 2022

2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.

[BibT_eX]

[DOI]

Phillip Stanley-Marbell

ACM Comput. Surv., 2021

Constraint Synthesis for Parametric CAD.

[BibT_eX]

[DOI]

Aman Shankar Mathur

Proceedings of the 29th Pacific Conference on Computer Graphics and Applications, 2021

Paracosm: A Test Framework for Autonomous Driving Simulations.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Generalising Projection in Asynchronous Multiparty Session Types.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis.

[BibT_eX]

[DOI]

Marcus Pirron

Phillip Stanley-Marbell

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

Assume-Guarantee Distributed Synthesis.

[BibT_eX]

[DOI]

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

Multiparty motion coordination: from choreographies to robotics programs.

[BibT_eX]

[DOI]

Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Programming at the edge of synchrony.

[BibT_eX]

[DOI]

Cezara Dragoi

Josef Widder

Proc. ACM Program. Lang., 2020

Interactive Programming for Parametric CAD.

[BibT_eX]

[DOI]

Aman Shankar Mathur

Marcus Pirron

Comput. Graph. Forum, 2020

2019

Cost-sensitive classifier chains: Selecting low-cost features in multi-label classification.

[BibT_eX]

[DOI]

Pawel Teisseyre

Marta Slomka

Pattern Recognit., 2019

Paracosm: A Language and Tool for Testing Autonomous Driving Systems.

[BibT_eX]

[DOI]

CoRR, 2019

MPERL: Hardware and Software Co-design for Robotic Manipulators ©.

[BibT_eX]

[DOI]

Marcus Pirron

Natalie D. Enright Jerger

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

PGCD: robot programming and verification with geometry, concurrency, and dynamics.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Motion Session Types for Robotic Interactions (Brave New Idea Paper).

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.

[BibT_eX]

[DOI]

Phillip Stanley-Marbell

CoRR, 2018

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

DroidStar: callback typestates for Android classes.

[BibT_eX]

[DOI]

Arjun Radhakrishna

Nicholas V. Lewchenko

Shawn Meier

Sergio Mover

Krishna Chaitanya Sripada

Krishna Chaitanya Sripada

Bor-Yuh Evan Chang

Pavol Cerný

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Learning Asynchronous Typestates for Android Classes.

[BibT_eX]

[DOI]

Arjun Radhakrishna

Nicholas V. Lewchenko

Shawn Meier

Sergio Mover

Bor-Yuh Evan Chang

Pavol Cerný

CoRR, 2017

2016

Interpolants in Nonlinear Theories Over the Reals.

[BibT_eX]

[DOI]

Sicun Gao

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

PSync: a partially synchronous language for fault-tolerant distributed algorithms.

[BibT_eX]

[DOI]

Cezara Dragoi

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Performance comparison of multi-label learning algorithms on clinical data for chronic diseases.

[BibT_eX]

[DOI]

Thomas Hofer

Jean Hennebert

Michael Ignaz Schumacher

Rolf Ingold

Stefano Bromuri

Comput. Biol. Medicine, 2015

The Need for Language Support for Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

Cezara Dragoi

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Case-based retrieval of similar diabetic patients.

[BibT_eX]

[DOI]

Stefano Bromuri

Michael Schumacher

Proceedings of the 9th International Conference on Pervasive Computing Technologies for Healthcare, 2015

2014

Multi-label classification of chronically ill patients with bag of words and supervised dimensionality reduction algorithms.

[BibT_eX]

[DOI]

Stefano Bromuri

Jean Hennebert

Michael Ignaz Schumacher

J. Biomed. Informatics, 2014

Probabilistic Multi-Label Learning for Medical Data.

[BibT_eX]

[DOI]

IEEE Intell. Informatics Bull., 2014

A Logic-Based Framework for Verifying Consensus Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

GRASShopper - Complete Heap Verification with Mixed Specifications.

[BibT_eX]

[DOI]

Ruzica Piskac

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Dynamic Package Interfaces.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Automating Separation Logic with Trees and Data.

[BibT_eX]

[DOI]

Ruzica Piskac

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

COMMODITY<sub>12</sub>: A smart e-health environment for diabetes management.

[BibT_eX]

[DOI]

Eduardo Aguilar-Pelaez

Ulrich Schaechtle

Bruno Alves

Esther Rodríguez-Villegas

Michael Ignaz Schumacher

Kostas Stathis

J. Ambient Intell. Smart Environ., 2013

Dynamic Package Interfaces - Extended Version.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

CoRR, 2013

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

CoRR, 2013

Structural Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

P: safe asynchronous event-driven programming.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Automating Separation Logic Using SMT.

[BibT_eX]

[DOI]

Ruzica Piskac

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Ideal Abstractions for Well-Structured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Machine learning approaches for electric appliance classification.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Science, 2012

2011

Static Scheduling in Clouds.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2011

2010

Forward Analysis of Depth-Bounded Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Shape Refinement through Explicit Heap Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

A marketplace for cloud resources.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Model Checking of Linearizability of Concurrent List Implementations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2008

CSIsat: Interpolation for LA+EUF.

[BibT_eX]

[DOI]

Dirk Beyer