Publication

Declarative Specification and Alignment Verification of Services in ITIL

Related publications (20)

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

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

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

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

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