CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

The cities in which we live are constantly evolving. The active management of this evolution is referred to as urban planning. The according development process could go in many directions resulting in a large number of potential future scenarios of a city ...

Code verification is an important part of software development process that asserts code correctness. In this work, analytical solutions are used in order to develop a simple multiphysics problem involving coupled fluid dynamics and neutron transport to be ...

In the endeavor towards distributed power systems, not seasonal-dependent micro-power generation technologies are expected to integrate the energy scenario in the years to come. In this context, the Organic Rankine Cycle (ORC) in the (1e10) KWe scale has c ...

Biomimetic behavior includes aspects such as learning from previous experience, self-diagnosis, and adaptation. This thesis describes control methodologies that are essential to development towards biomimetic behavior of a complex deployable structure. Sim ...

In this article we introduce all the ingredients to develop adaptive isogeometric methods based on hierarchical B-splines. In particular, we give precise definitions of local refinement and coarsening that, unlike previously existing methods, can be unders ...

A method to extract patterns of activity from time series of data structured as a network of objects, the method comprising the steps of creating a base graph of similar or related items from a given corpus by comparing intrinsic features of the items, com ...

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

Recent years has seen profound changes in building technologies both in Europe and worldwide. With the emergence of Smart Grid and Smart City concepts, the Smart Building has attracted considerable attention and rapid development. The introduction of novel ...

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Chat with Graph Search

Linking interactive optimization for urban planning with a semantic 3D city model

Analytical solutions to a coupled fluid dynamics and neutron transport problem with application to GeN-Foam verification

Dimensionless correlations and performance maps of scroll expanders for micro-scale Organic Rankine Cycles

Biomimetic adaptive control of a deployable tensegrity structure

Algorithms for the implementation of adaptive isogeometric methods using hierarchical B-splines

System, device, and method for contextual knowledge retrieval and display

On verifying causal consistency

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Verification by Reduction to Functional Programs

A Scalable and Secure System Architecture for Smart Buildings