Concepedia

Jean-Luc Richier

JR

Statistics

Publications

16

Citations

704

H-Index

11

Active since

1985

Affiliations

Université Grenoble Alpes(Current)

Laboratoire d'Informatique de Grenoble

Centre National de la Recherche Scientifique

Institut polytechnique de Grenoble

Université Joseph Fourier

Jean-Luc Richier is an author at Université Grenoble Alpes specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringFormal VerificationComputer ScienceSystems EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisSoftware TestingInformation Security

Publications per year

1985–2015

16

Publications

16

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez et al. · Formal Methods in System Design · 2011 · 128 citations · Full text

Runtime Enforcement Monitors, Engineering, Runtime Verification +10

Fabien Duchêne, Sanjay Rawat, Jean-Luc Richier et al. · 2014 · 91 citations

Engineering, Entails Such Questions, Which Parameter +3

Active replication in Delta-4

Marc Chérèque, David Powell, Pierre-Alain Reynier et al. · 2003 · 84 citations

Availability, Engineering, Verification +21

ATP: an Algebra for Timed Processes.

Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis et al. · 1990 · 75 citations

Verification in XESAR of the Sliding Window Protocol

Jean-Luc Richier, Carlos Alfaro Rodriguez, Joseph Sifakis et al. · 1987 · 74 citations

Sliding Window Protocol, Engineering, Automated Reasoning +8

1–5 of 16