Lena Buffoni

Orcid: 0000-0002-3277-7979

According to our database1, Lena Buffoni authored at least 9 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Visualisation of System Dynamics in Megagames.
Proceedings of the Serious Games - 9th Joint International Conference, 2023

2022
An Eco-System Approach to Project-Based Learning in Software Engineering Education.
IEEE Trans. Educ., 2022

2019
OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

OMJulia: An OpenModelica API for Julia-Modelica Interaction.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2017
Traceability and impact analysis in requirement verification.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

2016
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015
Expressing Requirements in Modelica.
Simul. Notes Eur., 2015

2014
An integrated toolchain for model based functional safety analysis.
J. Comput. Sci., 2014

2013
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013


  Loading...