Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Quentin Guilmant

dblp:378/1165 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2026
0009-0004-7097-0595ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 3 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program verification · 100%

Topics — the 1 heaviest of 1, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification
termination analysis
0.812024
The 2-Dimensional Constraint Loop Problem Is Decidable · ICALP 2024
YearPublicationVenuePosition
2026 The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
Quentin Guilmant, Joël Ouaknine, Isa Vialard
FoSSaCS1
2024 Inaproximability in Weighted Timed Games
Quentin Guilmant, Joël Ouaknine
CONCUR1
2024 The 2-Dimensional Constraint Loop Problem Is Decidable
abstract
A linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of the loop body. In this paper we consider the problem of determining whether such a loop terminates, i.e., whether all maximal executions are finite, regardless of how the loop is initialised and how the non-determinism in the loop body is resolved. We focus on the variant of the termination problem in which the loop variables range over ℝ. Our main result is that the termination problem is decidable over the reals in dimension 2. A more abstract formulation of our main result is that it is decidable whether a binary relation on ℝ² that is given as a conjunction of linear constraints is well-founded.
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell 0001
ICALP1