Concepedia

Lionel Rieg

LR

6

Publications

162

Citations

6

H-Index

2014

Active since

Affiliations

Yale University(Current)

Centre National de la Recherche Scientifique

Collège de France

Laboratoire de Recherche en Informatique

Sorbonne Université

Lionel Rieg is an author at Yale University specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceVerificationComputer EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringParallel Programming

Publications per year

2014–2019

6

Publications

6

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · 2017 · 57 citations

Engineering, Compiler Technology, Verification +19

Impossibility of gathering, a certification

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil et al. · Information Processing Letters · 2014 · 44 citations · Full text

Event Management, Mass Gathering, Community Engagement +4

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm

Thibaut Balabonski, Amélie Delga, Lionel Rieg et al. · Theory of Computing Systems · 2018 · 19 citations · Full text

Cluster Computing, Engineering, Sensor Signal Processing +8

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · ACM SIGPLAN Notices · 2017 · 17 citations

Engineering, Compiler Technology, Verification +17

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation

Mengqi Liu, Lionel Rieg, Zhong Shao et al. · Proceedings of the ACM on Programming Languages · 2019 · 14 citations · Full text

Engineering, Verification, Computer-aided Verification +26

Rows per page

1–5 of 6