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

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.

A review is given on the highlights of a scatter-shot approach of developing machine-learning methods and artificial neural networks based fast predictors for the application to fusion exhaust. The aim is to enable and facilitate optimized and improved mod ...

Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...

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 ...

The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...

Natural language processing and other artificial intelligence fields have witnessed impressive progress over the past decade. Although some of this progress is due to algorithmic advances in deep learning, the majority has arguably been enabled by scaling ...

Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to ...

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 ...

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

Censuses are structured documents of great value for social and demographic history, which became widespread from the nineteenth century on. However, the plurality of formats and the natural variability of historical data make their extraction arduous and ...

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

Modeling in neuroscience occurs at the intersection of different points of view and approaches. Typically, hypothesis-driven modeling brings a question into focus so that a model is constructed to investigate a specific hypothesis about how the system work ...

Data-driven and model-driven methodologies can be regarded as competitive fields since they tackle similar problems such as prediction. However, these two fields can learn from each other to improve themselves. Indeed, data-driven methodologies have been d ...

The development of an aircraft industrial system is a complex process which faces the challenge of digital discontinuity in multidisciplinary engineering due to various interfaces between different digital tools, leading to extra development time and costs ...

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

In the Digital Age, the analysis and exploration of unstructured document collections is of central importance to members of investigative professions, whether they might be scholars, journalists, paralegals, or analysts. In many of their domains, entities ...

As an emerging technology in the era of Industry 4.0, digital twin is gaining unprecedented attention because of its promise to further optimize process design, quality control, health monitoring, decision and policy making, and more, by comprehensively mo ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

Cyber-physical systems (CPSs) integrate heterogeneous systems and process sensor data using digital services. As the complexity of CPS increases, it becomes more challenging to efficiently formalize the integrated multidomain views with flexible automated ...

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

Chat with Graph Search

Data-driven models in fusion exhaust: AI methods and perspectives

Design ontology for cognitive thread supporting traceability management in model-based systems engineering

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

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Text Representation Learning for Low Cost Natural Language Understanding

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

LISA – A Modern Proof System

ACTOR: Action-Guided Kernel Fuzzing

An end-to-end pipeline for historical censuses processing

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Combining hypothesis- and data-driven neuroscience modeling in FAIR workflows

Bridging the gap between model-driven and data-driven methods in the era of Big Data

Ontology-based system to support industrial system design for aircraft assembly

Automated Verification of Network Function Binaries

Systematic Literature Review of MBSE Tool-Chains

ECCE: Entity-centric Corpus Exploration Using Contextual Implicit Networks

A comprehensive review of digital twin - part 1: modeling and twinning enabling technologies

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection