The OpenModelica integrated environment for modeling, simulation, and model-based development P Fritzson, A Pop, K Abdelhak, A Asghar, B Bachmann, W Braun, ... Mic, 2022 | 161 | 2022 |
Formal requirements modeling for simulation-based verification M Otter, N Thuy, D Bouskela, L Buffoni, H Elmqvist, P Fritzson, A Garro, ... | 44 | 2015 |
The OpenModelica integrated modeling, simulation and optimization environment P Fritzson, A Pop, A Asghar, B Bachmann, W Braun, R Braun, L Buffoni, ... Proceedings of the 1st American Modelica Conference, 8-10, 2018 | 42 | 2018 |
OMSimulator-Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP. LA Ochel, R Braun, B Thiele, A Asghar, L Buffoni, M Eek, P Fritzson, ... Modelica, 157:007, 2019 | 36 | 2019 |
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution A Garro, A Tundis, D Bouskela, A Jardin, N Thuy, M Otter, L Buffoni, ... 2016 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2016 | 28 | 2016 |
An OpenModelica python interface and its use in PySimulator AK Ganeson, P Fritzson, O Rogovchenko, A Asghar, M Sjölund, A Pfeiffer | 25 | 2012 |
Modeling system requirements in modelica: definition and comparison of candidate approaches A Tundis, L Rogovchenko-Buffoni, P Fritzson, A Garro 5th International Workshop on Equation-Based Object-Oriented Modelling …, 2013 | 23 | 2013 |
API for accessing OpenModelica models from Python B Lie, S Bajracharya, A Mengist, L Buffoni, A Palanisamy, M Sjölund, ... Proceedings of 9th EUROSIM Congress on Modelling and Simulation, 2016 | 21 | 2016 |
An integrated toolchain for model based functional safety analysis L Rogovchenko-Buffoni, A Tundis, MZ Hossain, M Nyberg, P Fritzson Journal of Computational Science 5 (3), 408-414, 2014 | 21 | 2014 |
An eco-system approach to project-based learning in software engineering education D Ståhl, K Sandahl, L Buffoni IEEE Transactions on Education 65 (4), 514-523, 2022 | 19 | 2022 |
Model-based requirement verification: A case study F Liang, W Schamai, O Rogovchenko, S Sadeghi, M Nyberg, P Fritzson Proc. of the 9th Int. Modelica Conf, 263-268, 2012 | 19 | 2012 |
Requirement verification and dependency tracing during simulation in modelica L Buffoni-Rogovchenko, P Fritzson, M Nyberg, A Garro, A Tundis 2013 8th EUROSIM Congress on Modelling and Simulation, 561-566, 2013 | 17 | 2013 |
Omjulia: An openmodelica api for julia-modelica interaction B Lie, A Palanisamy, A Mengist, L Buffoni, M Sjölund, A Asghar, A Pop, ... | 16 | 2019 |
An approach to automated model composition illustrated in the context of design verification W Schamai, L Buffoni, P Fritzson Modeling, Identification and Control 35 (2), 79-91, 2014 | 14 | 2014 |
Expressing Requirements in Modelica. L Buffoni, P Fritzson Simul. Notes Eur. 25 (3-4), 185-189, 2015 | 13 | 2015 |
An integrated framework for traceability and impact analysis in requirements verification of cyber–physical systems A Mengist, L Buffoni, A Pop Electronics 10 (8), 983, 2021 | 12 | 2021 |
Model‐Based Dependability Analysis of Physical Systems with Modelica A Tundis, L Buffoni, P Fritzson, A Garro Modelling and Simulation in Engineering 2017 (1), 1578043, 2017 | 12 | 2017 |
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica W Schamai, L Buffoni, N Albarello, P Fontes De Miranda, P Fritzson 11th International Modelica Conference, Versailles, France, September 21-23 …, 2015 | 12 | 2015 |
Open source languages and methods for cyber-physical system development: Overview and case studies L Buffoni, L Ochel, A Pop, P Fritzson, N Fors, G Hedin, W Taha, M Sjölund Electronics 10 (8), 902, 2021 | 9 | 2021 |
Traceability and impact analysis in requirement verification L Buffoni, A Pop, A Mengist Proceedings of the 8th International Workshop on Equation-Based Object …, 2017 | 7 | 2017 |