Publications related to Online Testing of Federated and Heterogeneous Distributed Systems

Design of a compliant load cell with adjustable stiffness

Charles Baur, Lennart Rubbert, Michal Stanislaw Smreczak

Manipulation at the sub-micron scale often requires force-sensing capabilities of milli-to nanonewton forces. This article presents a novel design of a compliant load cell with mechanically adjustable stiffness. The system enables adapting force sensitivit ...

2021

A Comparison between Two Automatic Assessment Approaches for Programming: An Empirical Study on MOOCs

Pierre Dillenbourg, Patrick Jermann

Computer-graders have been in regular use in the context of MOOCs (Massive Open Online Courses). The automatic grading of programs presents an opportunity to assess and provide tailored feedback to large classes, while featuring at the same time a number o ...

2018

Energetic Macroscopic Representation (EMR) and control scheme for the asymmetric 4-stage MSBA

Alfred Rufer, Gina Kristin Steinke

The Multistage Stacked Boost Architecture (MSBA) is a non-isolated step-up converter topology intended for renewable energy generation systems or distribution networks. In previous papers the functionality and intended applications for this topology have b ...

2016

Search Techniques for Code Generation

Tihomir Gvero

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

Optimized distributed implementation of multiparty interactions with Restriction

Joseph Sifakis

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both ...

Elsevier2015

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Application of the Cradle to Cradle paradigm to a housing unit in Switzerland: Findings from a prototype design

Marilyne Andersen, Shady Galal Mohamed Attia, Jean François Bernard Beney

The Cradle to Cradle (C2C) paradigm is emerging as an important regenerative design approach. C2C is aiming to create a positive footprint of the built environment, beyond carbon neutrality. However, there are very few studies that address the application ...

2013

Designing Augmented Reality for the Classroom

Pierre Dillenbourg, Sébastien Cuendet, Quentin Bonnard

Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...

Elsevier2013

Finding Almost-Invariants in Distributed Systems

Dejan Kostic, Marco Canini, Maysam Yabandeh

It is notoriously hard to develop dependable distributed systems. This is partly due to the difficulties in foreseeing various corner cases and failure scenarios while implementing a system that will be deployed over an asynchronous network. In contrast, r ...

2011

Conception et évaluation d'un prototype de simulation de la morphogenèse urbaine par agents vecteurs multi-échelles

Vitor Silva

The research work of this PhD thesis was carried out in the context of an interdisciplinary project related to the study of urban morphogenesis. A team composed of architects and engineers specialized in GIS technologies have worked together in this projec ...

EPFL2010