Lena Buffoni

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Mazurkiewicz Traces

Software Engineering Education

Impact Analysis

Formal Specification Language

Top Venues

IEEE Trans. Educ.

Publications

Jessie Chow, Jenny Rudemo, Lena Buffoni, Ola Leifler
Visualisation of System Dynamics in Megagames. JCSG (2023)
Daniel Ståhl, Kristian Sandahl, Lena Buffoni
An Eco-System Approach to Project-Based Learning in Software Engineering Education. IEEE Trans. Educ. 65 (4) (2022)
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, Adrian Pop, Martin Sjölund
OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP. Modelica (2019)
Bernt Lie, Arunkumar Palanisamy, Alachew Mengist, Lena Buffoni, Martin Sjölund, Adeel Asghar, Adrian Pop, Peter Fritzson
OMJulia: An OpenModelica API for Julia-Modelica Interaction. Modelica (2019)
Lena Buffoni, Adrian Pop, Alachew Mengist
Traceability and impact analysis in requirement verification. EOOLT (2017)
Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. ISSE (2016)
Lena Buffoni, Peter Fritzson
Expressing Requirements in Modelica. Simul. Notes Eur. 25 (3-4) (2015)