Publication

Formal semantics for refinement verification of entreprise models

Publications associées (28)

TRACE: A Conceptual Model to Guide the Design of Educational Chatbots

Denis Gillet, Sandy Ingram, Adrian Christian Holzer, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Fanny Kim-Lan Lasne

Driven by the rising popularity of chatbots such as ChatGPT, there is a budding line of research proposing guidelines for chatbot design, both in general and specifically for digital education. Nevertheless, few researchers have focused on providing concep ...

Springer2023

Thermal Design of a Medium Voltage Modular Multilevel Converter Cell

Drazen Dujic, Yanick Patrick Frei

This paper presents the cooling concept for a medium voltage modular multilevel converter cell. To optimize power density, the metallic enclosure is used to dissipate the heat generated by semiconductor losses, while maintaining maximum temperatures below ...

New York2023

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

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

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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

IEEE2022

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

A blockchain and IoT-based lightweight framework for enabling information transparency in supply chain finance

Jingjing Chen, Jinzhi Lu

Supply Chain Finance (SCF) refers to the financial service in which banks rely on core enterprises to manage the capital flow and logistics of upstream and downstream enterprises. SCF adopts a self-testing and closed-loop credit model to control funds and ...

KEAI PUBLISHING LTD2022

A semantic-driven tradespace framework to accelerate aircraft manufacturing system design

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

During the design phase of an aircraft manufacturing system, different industrial scenarios need to be evaluated according to key performance indicators to achieve the optimal system performance. It is a highly complex process involving multidisciplinary s ...

SPRINGER2022

A Theory of Value for Service Ecosystems

Blagovesta Hristova Kostova

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

EPFL2022