Publications related to Animation-Based Service Specification, Verification and Validation

Related publications (28)

FADE-CTP: A Framework for the Analysis and Design of Educational Computational Thinking Problems

Alberto Piatti, Francesco Mondada, Engin Walter Bumbacher

In recent years, the emphasis on computational thinking (CT) has intensified as an effect of accelerated digitalisation. While most researchers are concentrating on defining CT and developing tools for its instruction and assessment, we focus on the charac ...

Springer Science and Business Media LLC2025

A Systematic Design Flow for Compact and Efficient Analog Front-Ends in Closed-Loop Neuromodulation Systems

Mahsa Shoaran

In the growing field of closed-loop neuromodulation, designing power-and area-efficient analog front-ends (AFEs) for neural recording poses a significant challenge. Thus, an effective design flow is needed to ensure system's hardware efficiency and to auto ...

IEEE2024

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

Assessing the implementation of user-centred design standards on assistive technology for persons with visual impairments: a systematic review

Klaus Benedikt Schönenberger, Mario Andres Chavarria Varon

Despite scientific and technological advances in the field of assistive technology (AT) for people with visual impairment (VI), technological designs are frequently based on a poor understanding of the physical and social context of use, resulting in devic ...

Frontiers Media Sa2023

Printed Electronics Technologies for Additive Manufacturing of Hybrid Electronic Sensor Systems

Sandro Carrara, Johanna Zikulnig

Requirements for the miniaturization of electronics are constantly increasing as more and more functions are aimed to be integrated into a single device. At the same time, there are strong demands for low-cost manufacturing, environmental compatibility, ra ...

WILEY2023

Direct Model-checking of SysML Models

Alessandro Tempia Calvino

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

SCITEPRESS2021

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

Dimitrios Kyritsis, Yan Yan, Jinzhi Lu

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

ELSEVIER2022

Modeling synchronization in globally coupled oscillatory systems using model order reduction

Jan Sickmann Hesthaven, Niccolo' Discacciati

We construct reduced order models for two classes of globally coupled multi-component oscillatory systems, selected as prototype models that exhibit synchronization. These are the Kuramoto model, considered both in its original formulation and with a suita ...

American Institute of Physics2021

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

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

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

Leveraging Embodied Intelligence for Dexterous Robotic Manipulators Through Iterative Co-design

Josephine Anna Eleanor Hughes, Kai Christian Junge

The role of embodied intelligence (EI) has the potential to overcome current limitations in the fabrication, control, and resulting behavior to create robust and effective dexterous robotic manipulators. To develop hands that truly exploit EI, we must desi ...

IOP Publishing2022

Design and control of a prototype structure that adapts to loading through large shape changes

Ian Smith, Gennaro Senatore, Arka Prabhata Reksowardojo

This paper reports on experimental testing that was carried out on a prototype adaptive structure designed to counteract the effect of loading through controlled large shape changes. The prototype is 6.6 m truss equipped with 12 linear actuators which has ...

ELSEVIER2020

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

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

Dimitrios Kyritsis, Jinzhi Lu

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

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Alain Wegmann

Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...

IEEE2019

Overcoming decision paralysis—A digital twin for decision making in energy system design

François Maréchal, Julia Granacher, Tuong-Van Nguyen

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

2022

Verifying Software Network Functions with No Verification Expertise

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Rishabh Ramesh Iyer

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

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

USENIX Association2022