Europol

in Ambos, Kai; Rackow, Peter (Eds.) The Cambridge Companion to European Criminal Law (in press)

Introduction

in Luchtman, Michiel; Ligeti, Katalin; Vervaele, John (Eds.) EU enforcement authorities - Punitive law enforcement in a composite legal order (in press)

Maximal and Typical topology of real polynomial singularities

in Annales de l'Institut Fourier (in press)

Le Parquet européen et le blanchiment de capitaux

in Marty, Marie; Kirmann, Florent (Eds.) Le droit criminel à l’épreuve de l’infraction de blanchiment (in press)

Trace Diagnostics for Signal-based Temporal Properties

in IEEE Transactions on Software Engineering (in press)

Trace checking is a verification technique widely used in Cyber-physical system (CPS) development, to verify whether execution traces satisfy or violate properties expressing system requirements. Often ... [more ▼]

Trace checking is a verification technique widely used in Cyber-physical system (CPS) development, to verify whether execution traces satisfy or violate properties expressing system requirements. Often these properties characterize complex signal behaviors and are defined using domain-specific languages, such as SB-TemPsy-DSL, a pattern-based specification language for signal-based temporal properties. Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the violation; such manual diagnostic is time-consuming and error-prone. Existing approaches that complement trace-checking tools with diagnostic capabilities either produce low-level explanations that are hardly comprehensible by engineers or do not support complex signal-based temporal properties. In this paper, we propose TD-SB-TemPsy, a trace-diagnostic approach for properties expressed using SB-TemPsy-DSL. Given a property and a trace that violates the property, TD-SB-TemPsy determines the root cause of the property violation. TD-SB-TemPsy relies on the concepts of violation cause, which characterizes one of the behaviors of the system that may lead to a property violation, and diagnoses, which are associated with violation causes and provide additional information to help engineers understand the violation cause. As part of TD-SB-TemPsy, we propose a language-agnostic methodology to define violation causes and diagnoses. In our context, its application resulted in a catalog of 34 violation causes, each associated with one diagnosis, tailored to properties expressed in SB-TemPsy-DSL. We assessed the applicability of TD-SB-TemPsy on two datasets, including one based on a complex industrial case study. The results show that TD-SB-TemPsy could finish within a timeout of 1 min for ≈ 83.66% of the trace-property combinations in the industrial dataset, yielding a diagnosis in ≈ 99.84% of these cases; moreover, it also yielded a diagnosis for all the trace-property combinations in the other dataset. These results suggest that our tool is applicable and efficient in most cases. [less ▲]

Generating Picard modular forms by invariant theory

in Pure and Applied Mathematics Quarterly (in press)

Siegel modular forms of degree two and three and invariant theory

in The art of doing algebraic geometry (in press)

Towards Log Slicing

in Dawes, Joshua; Shin, Donghwan; Bianculli, Domenico (Eds.) Towards Log Slicing (2023, April)

This short paper takes initial steps towards developing a novel approach, called log slicing, that aims to answer a practical question in the field of log analysis: Can we automatically identify log ... [more ▼]

This short paper takes initial steps towards developing a novel approach, called log slicing, that aims to answer a practical question in the field of log analysis: Can we automatically identify log messages related to a specific message (e.g., an error message)? The basic idea behind log slicing is that we can consider how different log messages are "computationally related" to each other by looking at the corresponding logging statements in the source code. These logging statements are identified by 1) computing a backwards program slice, using as criterion the logging statement that generated a problematic log message; and 2) extending that slice to include relevant logging statements. The paper presents a problem definition of log slicing, describes an initial approach for log slicing, and discusses a key open issue that can lead towards new research directions. [less ▲]

The Digital Archive and the Politics of Digitisation

Presentation (2023, February 17)

This paper will explore a key question for historians today: what are the politics of cultural heritage digitisation and its implications for historical research? What are the benefits and opportunities ... [more ▼]

This paper will explore a key question for historians today: what are the politics of cultural heritage digitisation and its implications for historical research? What are the benefits and opportunities afforded by digitisation and what challenges arise? How do digital resources shape the historical themes, topics, and debates that can be researched, and how might they influence research agendas more broadly? In what ways can they enable us to ask new research questions or open avenues of inquiry that challenge existing master narratives? Can digital resources facilitate research into transnational histories when most digitization projects are still nationally framed? In short, what biases might digital archives introduce in our work and how does that differ from issues of bias and selection in the ‘paper’ archive? To address questions such as these, I will discuss several key parameters of the politics of digitisation set within a broader historical and global context. [less ▲]

Teachers´ stereotypical beliefs and expectations: A systematic review of studies focusing on intersectionality of students’ gender and ethnicity

Scientific Conference (2023, February 01)