Publications

This report presents a set-theoretic framework for the instantiation of rule schemes in the Jerboa platform, a tool for developing …

Los’s theorem, also known as the fundamental result of ultraproducts, states that the ultraproduct over a family of structures …

Models are abstractions used to precisely represent specific aspects of a system in order to make work easier for engineers. This …

Conflicting changes are a major challenge in branch-based development and modeling. State-of-the-art research proposes continuous …

Cyber-Physical Systems (CPS) are highly complex systems integrating computational and physical processes and consist of many …

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical …

Strokes concerned more than 795,000 individuals annually in the United States as of 2021. Detecting thrombus (blood clot) is crucial …

Les transformations de graphes sont une généralisation de la réécriture à des structures non linéaires, plébiscitées pour étudier …

La conception d’opérations de modélisation géométrique repose sur leur implantation dans un langage de programmation. Même si …

In this thesis, we present a formalization of geometric modeling operations as rules from the theory of graph transformation. First, we …

Labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling. Thus, graph …

The design of correct topological modeling operations is known to be a time-consuming and challenging task. However, these operations …

Procedural modeling enables building complex geometric objects and scenes in a wide panel of applications. The traditional approach …

Topology-based geometric modeling tackles the issue of representing objects with data structures that encode the topological …