Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. - Lena Rogovchenko-Buffoni; Andrea Tundis; Peter Fritzson; Alfredo Garro (EOOLT, 2013)

An integrated toolchain for model based functional safety analysis. - Lena Rogovchenko-Buffoni; Andrea Tundis; Muhammed Zoheb Hossain; Mattias Nyberg; Peter Fritzson (J. Comput. Sci., 2014)

Expressing Requirements in Modelica. - Lena Buffoni; Peter Fritzson (Simul. Notes Eur., 2015)

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. - Alfredo Garro; Andrea Tundis; Daniel Bouskela; Audrey Jardin; Nguyen Thuy; Martin Otter; Lena Buffoni; Peter Fritzson; Martin Sjölund; Wladimir Schamai; Hans Olsson (ISSE, 2016)

Traceability and impact analysis in requirement verification. - Lena Buffoni; Adrian Pop; Alachew Mengist (EOOLT, 2017)

OMJulia: An OpenModelica API for Julia-Modelica Interaction. - Bernt Lie; Arunkumar Palanisamy; Alachew Mengist; Lena Buffoni; Martin Sjölund; Adeel Asghar; Adrian Pop; Peter Fritzson (Modelica, 2019)

OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP. - Lennart A. Ochel; Robert Braun; Bernhard Thiele; Adeel Asghar; Lena Buffoni; Magnus Eek; Peter Fritzson; Dag Fritzson; Sune Horkeby; Robert Hällquist; Åke Kinnander; Arunkumar Palanisamy; et al. (Modelica, 2019)

An Eco-System Approach to Project-Based Learning in Software Engineering Education. - Daniel Ståhl; Kristian Sandahl; Lena Buffoni (IEEE Trans. Educ., 2022)

Visualisation of System Dynamics in Megagames. - Jessie Chow; Jenny Rudemo; Lena Buffoni; Ola Leifler (JCSG, 2023)