Publication

Aspect-oriented model-driven engineering of middleware-mediated distributed systems

Publications associées (128)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

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 ...

EPFL2017

When it comes to designing software, the classic procedure consists of writing code that complies with the projects requirements first, and then to extensively test for bugs and defects. Although this approach is valid and can produce correct results, it i ...

2017

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

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

Alignment Verification in the Early Stage of Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska, Matteo Filipponi

Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the ...

2017

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016

Predictive Models for Thermal Stability and Explosive Properties of Chemicals from Molecular Structure

Nadia Baati

Industrial chemical processes may involve thermal risks as most of the reactions performed are exothermic, the chemicals used are often thermally unstable, and the operating conditions are set to induce high conversion and throughput. Besides the reactive ...

EPFL2016

Interactive Architectural Modeling from Point Clouds

Nicolas Maître

In this work, we present an intuitive and interactive tool to model high quality 3D architectural objects starting from a MVS point cloud. Our implementation is inspired by [1] that describes the modeling system as well as the 3D reconstruction algorithm w ...

2015

A Situated and Embodied Approach to Service-oriented Modeling

Anshuman Bahadur Saxena

[Context] As opposed to the traditional approach to problem solving, which limits the scope of the solution to the stated problem, the mandate for services is to go deeper and focus on the value that the proposed solution creates for the entities affected ...

EPFL2014

As the demand for new drugs is rising, the pharmaceutical industry faces the quest of shortening development time, and thus, reducing the time to market. Environmental aspects typically still play a minor role within the early phase of process development. ...

Wiley-VCH Verlag Berlin2014

Finding Information in Multimedia Meeting Records

Hervé Bourlard, Andrei Popescu-Belis

This paper surveys the work carried out within two large consortia, AMI and IM2, on improving access to records of human meetings thanks to multimodal interfaces called meeting browsers. These tools help users navigate through multimedia records containing ...

2012