Publications associées à Architecture georgienne

Grand Dessein du Rationalisme

Co-authored with Roberto Gargiani, 'Grand Dessein du Rationalisme' is a hybrid publication that gathers 18 architecture projects from the student collectives of Roberto Gargiani’s Superstudio at the École polytechnique fédérale de Lausanne, 2020–2021, and ...

Accatone2021

Pretraining boosts out-of-domain robustness for pose estimation

Alexander Mathis, Mackenzie Mathis, Steffen Schneider, Matthias Bethge, Thomas Ray Biasi, Mert Yüksekgönül

Neural networks are highly effective tools for pose estimation. However, as in other computer vision tasks, robustness to out-of-domain data remains a challenge, especially for small training sets that are common for real-world applications. Here, we probe ...

IEEE COMPUTER SOC2021

New architecture for the analog front-end of Medipix4

Jean-Michel Sallese, Adil Koukab, Viros Sriskaran

The Medipix4 chip is the latest member of the family of Medipix pixel detector readout chips aimed at high rate spectroscopic X-ray imaging. Unlike its predecessors, it will be possible to tile the chip on all 4 sides permitting seamless large area coverag ...

ELSEVIER2020

‘The Towers of Terror’: A Critical Analysis of Ernő Goldfinger’s Balfron and Trellick Towers

Nicola Braghieri

When J. G. Ballard published his masterpiece High-Rise in 1975, many readers in London automatically identified the apartment building that is the protagonist of the dystopian novel as the infamous Trellick Tower at Kensal Town, certainly one of the most c ...

2019

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

EPFL2017

Architecture-based Design: A Satellite On-board Software Case Study

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

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

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Configuration Logics: Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015