Lena Buffoni
Orcid: 0000-0002-3277-7979
According to our database1,
Lena Buffoni
authored at least 9 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Serious Games - 9th Joint International Conference, 2023
2022
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
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019
2017
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
2014
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