Automated video interview judgment on a large-sized corpus collected online
Online video-based job interviews are becoming very popular in the screening of potential
employees. In this study, we collected a corpus of 1891 monologue job interview videos (63 …
employees. In this study, we collected a corpus of 1891 monologue job interview videos (63 …
Using a formal B model at runtime in a demonstration of the ETCS hybrid level 3 concept with real trains
In this article, we present a concrete realisation of the ETCS Hybrid Level 3 concept, whose
practical viability was evaluated in a field demonstration in 2017. Hybrid Level 3 (HL3) …
practical viability was evaluated in a field demonstration in 2017. Hybrid Level 3 (HL3) …
A correct-by-construction model for asynchronously communicating systems
The design and verification of distributed software systems is often hindered by their ever-
increasing complexity and their asynchronous operational semantics. This article considers …
increasing complexity and their asynchronous operational semantics. This article considers …
Designing a demonstrator of formal methods for railways infrastructure managers
Abstract The Shift2Rail Innovation Programme (IP) is focussing on innovative technologies
to enhance the overall railway market segments. Formal methods and standard interfaces …
to enhance the overall railway market segments. Formal methods and standard interfaces …
Repair and generation of formal models using synthesis
Writing a formal model is a complicated and time-consuming task. Usually, one successively
refines a model with the help of proof, animation and model checking. In case an error such …
refines a model with the help of proof, animation and model checking. In case an error such …
[PDF][PDF] IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
IV IRE Page 1 IV IRE IVOIRE - Deliverable D 1.1 May 13, 2022 Version 1.2.0 Sebastian Stock,
Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed arxiv:2205.06138v1 [cs.LO] 12 …
Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed arxiv:2205.06138v1 [cs.LO] 12 …
Incremental construction of realizable choreographies
This paper proposes a correct-by-construction method to build realizable choreographies
described using conversation protocols (CP CP s). We define a new language consisting of …
described using conversation protocols (CP CP s). We define a new language consisting of …
Model-based problem solving for university timetable validation and improvement
Constraint satisfaction problems can be expressed very elegantly in state-based formal
methods such as B. But can such specifications be directly used for solving real-life …
methods such as B. But can such specifications be directly used for solving real-life …
Correct instantiation of a system reconfiguration pattern: a proof and refinement-based approach
System substitution can be defined as the capability to replace a system by another one that
preserves the specification of the original one. It may occur in different reconfiguration …
preserves the specification of the original one. It may occur in different reconfiguration …
Model-based problem solving for university timetable validation and improvement
Constraint satisfaction problems can be expressed very elegantly in state-based formal
methods such as B. However, can such specifications be directly used for solving real-life …
methods such as B. However, can such specifications be directly used for solving real-life …