Commentary of Article 272 TFEU: Jurisdiction of the Union courts pursuant to an arbitration clause

in Commentary of the TFEU (in press)

Smart Bound Selection for the Verification of UML/OCL Class Diagrams

in IEEE Transactions on Software Engineering (in press)

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults ... [more ▼]

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. [less ▲]

The legacy of coal mining – a view on examples in Belgium and France

in Deutsches Bergbau-Museum Bochum (Ed.) Boom – Crisis – Heritage. King Coal and Energy Revolutions after 1945; proceedings of the international conference March 14th-16th 2018, Technische Hochschule Georg Agricola, Bochum (in press)

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s ... [more ▼]

Following the end of coalmining in Belgium (1992) and France (2004), the year 2018 marks the end of hard coal mining in Germany as well. This contribution looks at the legacy of coalmining of Germany’s French-speaking neighbours and presents the most important remaining coal mining heritage sites as well as some extraordinary converted sites in France and the Belgian province Wallonia. [less ▲]

Safety-aware Location Privacy in VANET: Evaluation and Comparison

in IEEE Transactions on Vehicular Technology (in press)

VANET safety applications broadcast cooperative awareness messages (CAM) periodically to provide vehicles with continuous updates about the surrounding traffic. The periodicity and the spatiotemporal ... [more ▼]

VANET safety applications broadcast cooperative awareness messages (CAM) periodically to provide vehicles with continuous updates about the surrounding traffic. The periodicity and the spatiotemporal information contained in these messages allow a global adversary to track vehicle movements. Many privacy schemes have been proposed for VANET, but only few schemes consider their impact on safety applications. Also, each scheme is evaluated using inconsistent metrics and unrealistic vehicle traces, which makes comparing the actual performance of different schemes in the wild more difficult. In this paper, we aim to fill this gap and compare different privacy schemes not only in terms of the privacy gained but also their impact on safety applications. A distortion-based privacy metric is initially proposed and compared with other popular privacy metrics showing its effectiveness in measuring privacy. A practical safety metric which is based on Monte Carlo analysis is then proposed to measure the QoS of two safety applications: forward collision warning and lane change warning. Using realistic vehicle traces, six state-of-the-art VANET privacy schemes are evaluated and compared in terms of the proposed privacy and safety metrics. Among the evaluated schemes, it was found that the coordinated silent period scheme achieves the best privacy and QoS levels but fully synchronized silence among all vehicles is a practical challenge. The CAPS and CADS schemes provide a practical compromise between privacy and safety since they employ only the necessary silence periods to prevent tracking and avoid changing pseudonyms in trivial situations. [less ▲]

Teachers’ assessments of students’ achievements: The ecological validity of studies using case vignettes

in Journal of Experimental Education (in press)

Security of Distance−Bounding: A Survey

in ACM Computing Surveys (in press)

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e ... [more ▼]

Distance bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, which are vulnerable to distance-based frauds. This survey analyzes and compares in a unified manner many existing distance bounding protocols with respect to several key security and complexity features. [less ▲]

The Power of Networks. Prospects of Historical Network Research

Book published by Routledge Publishers (in press)

Joint Precoding and On-Board Beamforming for Multiple gateway Multibeam Satellite Systems

in Submitted to IEEE Journal on Selected topic in Communication (JSAC) (in press)

This paper aims to design joint precoding and onboard beamforming of a multiple gateway multibeam satellite system, either in a hybrid space-ground mode, or in a totally on-board one. In such an ... [more ▼]

This paper aims to design joint precoding and onboard beamforming of a multiple gateway multibeam satellite system, either in a hybrid space-ground mode, or in a totally on-board one. In such an architecture, with employing high throughput full frequency reuse pattern over both user and feeder links, each gateway serves a cluster of adjacent beams such that the adjacent clusters are served through a set of gateways that are located at different geographical areas. However, such a system brings in two challenges to overcome. First, the interference in both user and feeder links is the bottleneck of the whole system and applying interference mitigation techniques becomes necessary. Second, as the data demand increases, the ground and space segments should employ extensive bandwidth resources in the feeder link accordingly. This entails embedding an extra number of gateways aiming to support a fair balance between the increasing demand and the corresponding required feeder link resources. To solve these problems, this study investigates the impact of employing a joint multiple gateway architecture and on-board beamforming scheme. It is shown that by properly designing the on-board beamforming scheme, the number of gateways can be kept affordable even if the data demand increases. Moreover, Zero Forcing (ZF) precoding techniques are considered to cope with the interference in both user and feeder links which embed in the following premises: (i) each gateway constructs a part of block ZF precoding matrix, (ii) the satellite and gateways perform the precoding scheme, and (iii) a joint design of ZF precoding and on-board beamforming at the payload of the satellite so that no signal processing scheme is conceived at the gateways. The provided simulation results depict the performance gain obtained by our proposed schemes. [less ▲]

En mots et en images : le corps à l’œuvre chez Annie Ernaux

in Sens Public (in press)

“D’après une histoire vraie”

in Ferry, Ariane; Provini, Sandra (Eds.) Figures et personnages de criminelles, des histoires tragiques au roman policier (in press)