VLDB 2026 Research / reviewers in the wild / expert
Christophe Ratel
dblp:19/6808
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1992
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1Theory of computation · 1
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 |
Programming languages and type systems · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › programming paradigms
dataflow language |
0.0 | 1 | 1992 | Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE · IEEE Trans. Software Eng. 1992 |
Programming languages and type systems
language design |
0.0 | 1 | 1992 | Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE · IEEE Trans. Software Eng. 1992 |
Methods — techniques the papers use, named apart from their topics
synchronous data flow · 0.0model checking · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1992 | An Experience in Proving Regular Networks of Processes by Modular Model Checking
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel |
Acta Informatica | 3 |
| 1992 | Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTREabstractThe benefits of using a synchronous data-flow language for programming critical real-time systems are investigated. These benefits concern ergonomy (since the dataflow approach meets traditional description tools used in this domain) and ability to support formal design and verification methods. It is shown, using a simple example, how the language LUSTRE and its associated verification tool LESAR, can be used to design a program, to specify its critical properties, and to verify these properties. As the language LUSTRE and its uses have already been discussed in several papers, emphasis is put on program verification.> Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel |
IEEE Trans. Software Eng. | 3 |