Concepedia

Audrey Jardin

AJ

Statistics

Publications

8

Citations

167

H-Index

8

Active since

2008

Affiliations

Électricité de France (France)(Current)

University of Calabria

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Dassault Systèmes (France)

Airbus (Germany)

Audrey Jardin is an author at Électricité de France (France) specializing in engineering, computer engineering, and industrial informatics.

ORCID

Top concepts

Publications per year

2008–2021

8

Publications

8

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

Daniel Bouskela, Alberto Falcone, Alfredo Garro et al. · Requirements Engineering · 2021 · 39 citations · Full text

, , +21

Formal Requirements Modeling for Simulation-Based Verification

Martin Otter, Nguyen Ba Thuy, Daniel Bouskela et al. · Linköping electronic conference proceedings · 2015 · 30 citations · Full text

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution

Alfredo Garro, Andrea Tundis, Daniel Bouskela et al. · 2016 · 26 citations

, , +26

Modelling of System Properties in a Modelica Framework

Audrey Jardin, Daniel Bouskela, Thuy Nguyen et al. · Linköping electronic conference proceedings · 2011 · 17 citations · Full text

ETL: A new temporal language for the verification of cyber-physical systems

Daniel Bouskela, Audrey Jardin · 2018 Annual IEEE International Systems Conference (SysCon) · 2018 · 17 citations

, , +21

1–5 of 8