Publications associées à Declarative Specification and Alignment Verification of Services in ITIL

Rising from rubble - Leveraging existing construction tools for upcycling concrete waste into slender walls

Katrin Beyer, Maxence Grangeot, Corentin Jean Dominique Fivet, Qianqing Wang, Stefana Parascho

In this paper, we present a new method for upcycling concrete rubble waste into slender walls through the lightweight digital augmentation of mainstream construction machines. By using such method, the environmental impact of concrete construction and demo ...

Springer2024

FLO:RE – A new floor system made of reused reinforced concrete and steel elements

Maléna Bastien Masse, Numa Joy Bertola, Célia Marine Küpfer, Corentin Jean Dominique Fivet

Carefully extracting reinforced concrete (RC) elements from soon-to-be demolished structures and reusing them as load-bearing components is an emerging circular low-carbon alternative to building new structures. As floor construction typically accounts for ...

IABSE2024

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Ieee Computer Soc2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Sampling of alternatives in migration aspiration models

Michel Bierlaire, Evangelos Paschalidis

The use of discrete choice models (DCMs) is a regular approach to investigating migration aspirations concerning destination choices. However, given the complex substitution patterns between destinations, more advanced model specifications than the multino ...

2023

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Decentralized in-order execution of a sequential task-based code for shared-memory architectures

Charly Nicolas Lucien Castes

The hardware complexity of modern machines makes the design of adequate programming models crucial for jointly ensuring performance, portability, and productivity in high-performance computing (HPC). Sequential task-based programming models paired with adv ...

IEEE COMPUTER SOC2022

Design and temporal issues in Soil Bioengineering structures for the stabilisation of shallow soil movements

Giovanni De Cesare, Massimiliano Schwarz

In the last decades, soil bioengineering has gained considerable popularity worldwide, especially in hillslope, riverbank, and earth embankment stabilisation works. The use of plants as a building material transfers the plant multifunctionality within engi ...

2021

Structural design methodology in Integrally-Attached Timber Plate structures

Aryan Rezaei Rad, Petras Vestartas

The immediate application of research discoveries requires a global and exact understanding of the structure under consideration. To gain insight into the complex behavior of structures, numerical simulations are carried out in parallel to physical experim ...

Routledge, Taylor & Francis Group2021

Verification of Software Network Functions with No Verification Expertise

Arseniy Zaostrovnykh

Software network functions (NFs), such as a network address translator, load balancer, or proxy, promise to bring flexibility and rapid innovation to computer networks and to reduce operational costs. However, continuous updates and flexibility typically c ...

EPFL2020

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

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

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