Visual contracts (VCs) : enriching graphical systemic models to support diagrammatic reasoning in system design

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

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

Materials Cloud, a platform for open computational science

Sebastiaan Philippe Huber, Nicola Marzari, Fernando Gargiulo, Giovanni Pizzi, Aliaksandr Yakutovich, Berend Smit, Martin Uhrin, Snehal Pramod Kumbhar, Spyros Zoupanos, Christoph Leopold Talirz, Elsa Passaro, Casper Welzel Andersen, Daniele Passerone

Materials Cloud is a platform designed to enable open and seamless sharing of resources for computational science, driven by applications in materials modelling. It hosts (1) archival and dissemination services for raw and curated data, together with their ...

2020

Contact networks across ages: computational analysis of epidemiological dynamics

Gianrocco Lazzari

For decades mathematical modeling in epidemiology has helped understanding the dynamics of infectious diseases, as well as describe possible intervention scenarios to prevent and control them. However, such models were relying on several assumptions, such ...

EPFL2020

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

Handling probabilistic integrity constraints in pay-as-you-go reconciliation of data models

Karl Aberer, Quoc Viet Hung Nguyen, Zoltán Miklós, Thành Tâm Nguyên

Data models capture the structure and characteristic properties of data entities, e.g., in terms of a database schema or an ontology. They are the backbone of diverse applications, reaching from information integration, through peer-to-peer systems and ele ...

PERGAMON-ELSEVIER SCIENCE LTD2019

Consolidation of database check constraints

Nikola Obrenovic

Independent modeling of various modules of an information system (IS), and consequently database subschemas, may result in formal or semantic conflicts between the modules being modeled. Such conflicts may cause collisions between the integrated database s ...

2019

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Damiano Nunzio Arena

Systems modelling and simulation are two important facets for thoroughly and effectively analysing manufacturing processes. The ever-growing complexity of the latter, the increasing amount of knowledge, and the use of Semantic Web techniques adhering meani ...

EPFL2019

Learning embeddings: efficient algorithms and applications

Cijo Jose

Learning to embed data into a space where similar points are together and dissimilar points are far apart is a challenging machine learning problem. In this dissertation we study two learning scenarios that arise in the context of learning embeddings and o ...

EPFL2018

Linking interactive optimization for urban planning with a semantic 3D city model

François Maréchal, Sébastien Cajot, Nils Christian Schüler

The cities in which we live are constantly evolving. The active management of this evolution is referred to as urban planning. The according development process could go in many directions resulting in a large number of potential future scenarios of a city ...

Copernicus GmbH2018

Page 2 sur 2