Publication

Configuration Logics - Modelling Architecture Styles

Related publications (46)

Graph Chatbot

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 Fifth Typology

Pier Vittorio Aureli

Conception, organization and introduction Rafael Moneo once said that to talk about type in architecture is to talk about the essence of architecture. Indeed, when conceiving architecture is almost impossible to not start from an existing type, no matter h ...

2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

Patronage as Collaboration. Dante Bini’s Villas in Sardinia

Michela Bonomo

In 1970 on the rugged coast of Costa Paradiso on the Italian island of Sardinia, the encounter between one of the most renowned Italian film directors, Michelangelo Antonioni, and an architect with an engineering vision, Dante Bini, produced a holiday vill ...

2023

Architecture / Philosophy: how, why, and what the questions seek in three case-studies from the late 20th century

André Patrão Neves De Frias Martins

Architecture and philosophy are no strangers to one another. In philosophical writings, architecture appears referred to, spoken of, described, defined, categorized, and figuratively used. In architectural discourse, by theoreticians and practitioners alik ...

EPFL2020

Vienna's Höfe: How Housing Builds the Collective

Alessandro Porotto

The aim of this paper is to look back on some valuable accomplishments built in Vienna during the Interwar period. The housing projects were realised adopting a specific architectural model: the Hof. The Viennese examples represented an architectural idea ...

2019

Introducing the architectural values of the Common

Valentin Daniel Maurice Bourdon

The recent development of the “Common” as an interdisciplinary field of reflection seems to show some restraint with respect to the architectural culture that precedes it. This proposal invites to explore the intensities and the reasons for such a resistan ...

University of Huddersfield2019

Introducing the architectural values of the Common

Valentin Daniel Maurice Bourdon

2019

Characterization of Uncertainty Contributions in a High-Accuracy PMU Validation System

Mario Paolone, Asja Derviskadic, Guglielmo Frigo, Daniele Colangelo, Jean-Pierre Braun

The eective deployment of Phasor Measurement Units (PMUs) in Distribution Networks (DNs) requires an enhancement in terms of estimation accuracy beyond the limits of IEEE Std C37.118.1 (IEEE Std), aiming at a Total Vector Error (TVE) in the order of 0.0x% ...

2019

Modernità discreta: Adolf Loos costruisce in montagna

Luca Ortelli

The country house that Adolf Loos designed for Paul Khuner in Payerbach represents one of his most brilliant achievements, complementary to the more famous Villa Müller in Prague. These two buildings, both completed in 1930, constitute a sort of legacy sum ...

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