Concepedia

Lena Buffoni

LB

12

Publications

399

Citations

10

H-Index

2014

Active since

Affiliations

Linköping University(Current)

University of South-Eastern Norway

Airbus (Germany)

Électricité de France (France)

University of Calabria

Lena Buffoni is an author at Linköping University specializing in engineering, formal verification, and software design.

ORCID

Top concepts

Publications per year

2014–2022

12

Publications

12

The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development

Peter Fritzson, Adrian Pop, Karim Abdelhak et al. · Modeling Identification and Control A Norwegian Research Bulletin · 2020 · 167 citations · Full text

The OpenModelica Integrated Modeling, Simulation, and Optimization Environment

Peter Fritzson, Adrian Pop, Adeel Asghar et al. · Linköping electronic conference proceedings · 2019 · 38 citations · Full text

An Eco-System Approach to Project-Based Learning in Software Engineering Education

Daniel Ståhl, Kristian Sandahl, Lena Buffoni · IEEE Transactions on Education · 2022 · 32 citations · Full text

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

OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP

Lennart Ochel, Robert Braun, Bernhard Thiele et al. · Linköping electronic conference proceedings · 2019 · 30 citations · Full text

Rows per page

1–5 of 12