Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Integrated development environment

Related publications (25)

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

Systematic Literature Review of MBSE Tool-Chains

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

MDPI2022

A modular functional framework for the design and evaluation of multi-robot navigation

Alcherio Martinoli, Cyrill Silvan Baumann

In this work, we address the design of tightly integrated control, estimation, and allocation algorithms allowing a group of robots to move collectively. For doing so, we leverage a modular framework that allows us to define precisely the needed functional ...

Elsevier2021

An integrated design tool for timber plate structures to generate joints geometry, fabrication toolpath, and robot trajectories

Yves Weinand, Nicolas Henry Pierre Louis Rogeau

This paper presents an integrated design tool for structures composed of engineered timber panels that are connected by traditional wood joints. Recent advances in computational architecture have permitted to automate the fabrication and assembly of such s ...

2021

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Petras Vestartas, Aryan Rezaei Rad, Nicolas Henry Pierre Louis Rogeau

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

Experimental implementation of a real-time power flux estimator for the ITER first wall on the TCV tokamak

Stefano Coda, Richard Pitts, Federico Nespoli, Benoît Labit, Cristian Galperti, Himank Anand

A control-oriented approach to the monitoring of wall power flux densities on ITER has been successfully developed. It is based on real-time equilibrium reconstruction in 2-D which is then used to describe the deposited heat flux as a poloidal flux functio ...

2019

Closed-Loop Haptic Feedback Control Using a Self-Sensing Soft Pneumatic Actuator Skin

Stéphanie Lacour, Jamie Paik, Harshal Arun Sonar, Aaron Powers Gerratt

In this article, we achieve a closed-loop control over haptic feedback, first time for an entirely soft platform. We prototyped a novel self-sensing soft pneumatic actuator (SPA) with soft strain sensors, called SPA-skin, which withstands large multiaxial ...

2020

Designing a socially integrated mobile robot for ethological research

Francesco Mondada, Alexey Gribovskiy, Jean-Louis Deneubourg

A robot introduced into an animal group, accepted by the animals as conspecifics, and capable of interacting with them is an ecient tool for ethological research, particularly in studies of collective and social behaviour. In this paper, we present the imp ...

Elsevier2018

Interactive Programming by Example

Mikaël Mayer

As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...

EPFL2017

The SUMMA Platform Prototype

Philip Neil Garner, Hervé Bourlard, Andrei Popescu-Belis, Nikolaos Pappas, Sibo Tong, Yang Wang, Lesly Sadiht Miculicich Werlen

We present the first prototype of the SUMMA Platform: an integrated platform for multilingual media monitoring. The platform contains a rich suite of low-level and high-level natural language processing technologies: automatic speech recognition of broadca ...

Association for Computational Linguistics2017

Internal electric fields and electrode effects in ferroelectric thin films for piezoelectric energy harvesting

Robin Nigon

The continuing decrease of power requirements of electronic circuits offers the potential to deploy wireless systems as embedded sensors for cars or industrial tools, and implanted medical devices. Harvesting ambient vibrations by an appropriate energy har ...

EPFL2017

Bringing robotics into formal education using the Thymio open source hardware robot

Francesco Mondada, Stéphane Magnenat, Michael Bonani, Philippe Rétornaz, Fanny Riedo

Mobile robots are valuable tools for education because of both the enthusiasm they raise and the multidisciplinary nature of robotics technology. Mobile robots give access to a wide range of fields, such as complex mechanics, sensors, wireless transmission ...

Institute of Electrical and Electronics Engineers2017

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Interactive Synthesis using Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts free-form queries allowing a mixture of English and Java as an input, and produces Java code fragments that take the query into account and respect syntax, ty ...

2015

Synthesizing Java Expressions from Free-Form Queries

Viktor Kuncak, Tihomir Gvero

We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...

Assoc Computing Machinery2015

Developing Verified Software Using Leon

Viktor Kuncak

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

Springer-Verlag Berlin2015

Thymio : a holistic approach to designing accessible educational robots

Fanny Riedo

Technology is now an important part of our lives. We often see robots cited as the future of education, and reports of their imminent entrance in schools. New projects create buzz in the media and online, but when we look at the actual situation, very few ...

EPFL2015

Automated Design Flow for Multi-Functional Dataflow-Based Platforms

Marco Mattavelli, Endri Bezati, Simone Casale Brunet

The implementation of processing platforms supporting multiple applications by runtime reconfigurations on dedicated hardware modules requires the solution of different problems. These problems are notably not-trivial since both platform and application co ...

Springer Verlag2015

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

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