Jean-René Beauvais

Publications

Citations

H-Index

2001

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Jean-René Beauvais is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal verification, engineering, and formal specification.

Top concepts

EngineeringData ModelingFormal MethodsSoftware DesignComputer ScienceFormal VerificationSystems EngineeringFormal SpecificationSoftware EngineeringProgram Analysis

Publications per year

2001–2002

Publications

Modeling statecharts and activitycharts as signal equations

Jean-René Beauvais, Éric Rutten, Thierry Gautier et al. · ACM Transactions on Software Engineering and Methodology · 2001 · 11 citations

Engineering, Imperative Specification, Software Engineering +18

A translation of Statecharts into Signal

Jean-René Beauvais, Thierry Gautier, Paul Le Guernic et al. · 2002 · 10 citations

Data Representation, Engineering, Software Engineering +19

Rows per page

1–2 of 2