Publication

Declarative Specification and Alignment Verification of Services in ITIL

Publications associées (20)

Experimental investigations on the load-carrying capacity of digitally produced wood-wood connections

Yves Weinand, Julien Gamerro, Jean-François Bocquet

The rise of digital fabrication has increased the use of wood-wood connections inspired by traditional carpentry in modern timber constructions. With recent developments on standard construction systems, the mechanical behavior of such joints for in-plane ...

2020

Analysis and Visualisation of Decision Paths towards Reaching Environmental Impact Targets at Early-Design Stage

Sergi Aguacil Moreno, Thomas Bernard Paul Jusselme, Émilie Nault

Environmental impact objectives are commonly found in building performance labels and rating schemes. Anticipating a building’s impact from the conceptual design stage and identifying decisions that do not compromise its chances of reaching these targets i ...

Universidade da Coruña2020

Vortex siphon - from 1:1 scale physical model to SPH simulation and prototype

Giovanni De Cesare

The rail link between Geneva Cornavin Station, Eaux-Vives Station and Annemasse (CEVA) is currently under construction including a cut-and-cover tunnel built by slurry walls located in the alluvium of the Foron River. The covered trench cuts the groundwate ...

2019

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Construction technology transfer in Shanghai in the nineteenth to twentieth centuries

Corentin Jean Dominique Fivet, Jingxian Ye

Shanghai, in the early twentieth century, was a big construction site and attractive experimental field for Western designers. Because of its significant location and international role, the construction activities contributed to some landmarks of the worl ...

2018

Built-in, exposed or concealed comfort services. Attempts (incomplete) to industrialise collective housing after 1945

Giulia Marino

Simultaneous consideration of active devices – especially mechanical heating and ventilation – and passive devices – including insulation and waterproofing of building envelopes – was one of the most notable aspects of studies of the management of physiolo ...

CRC Press - Taylor & Francis Group2018

Brevets de la maison en béton, 1892-1923 : visions d'une construction monolithique, d'Edison à Le Corbusier

Gia Bao Khue Aurélie Do-Tran

Looking back at the history of concrete houses around 1900, we can discover how reinforced concrete, initially tied to construction systems of renowned inventors (and other less known), is gradually becoming autonomous and a material on its own, highlighte ...

EPFL2017

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

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

Synthesizing efficient systems in probabilistic environments

Barbara Jobstmann, David Parker

We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...

Springer2016