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 | 149 | 2022 |
Formal requirements modeling for simulation-based verification M Otter, N Thuy, D Bouskela, L Buffoni, H Elmqvist, P Fritzson, A Garro, ... | 45 | 2015 |
Dynamic modelling of a combined cycle power plant with ThermoSysPro B El Hefni, D Bouskela, G Lebreton | 45 | 2011 |
Modeling and Simulation of Thermal Power Plants B El Hefni, D Bouskela, B El Hefni, D Bouskela Modeling and Simulation of Thermal Power Plants with ThermoSysPro: A …, 2019 | 38 | 2019 |
Formal requirements modeling for cyber-physical systems engineering: An integrated solution based on FORM-L and Modelica D Bouskela, A Falcone, A Garro, A Jardin, M Otter, N Thuy, A Tundis Requirements Engineering 27 (1), 1-30, 2022 | 29 | 2022 |
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 |
Modelling of system properties in a Modelica framework A Jardin, D Bouskela, T Nguyen, N Ruel, E Thomas, L Chastanet, ... | 21 | 2011 |
Pressurized water reactor modelling with Modelica A Souyri, D Bouskela, B Pentori, N Kerkar Modelica 2006 conference proceedings, 2006 | 21 | 2006 |
ETL: A new temporal language for the verification of cyber-physical systems D Bouskela, A Jardin 2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018 | 16 | 2018 |
Toward a rigorous approach for verifying cyber-physical systems against requirements D Bouskela, T Nguyen, A Jardin Canadian Journal of Electrical and Computer Engineering 40 (2), 66-73, 2017 | 16 | 2017 |
Modelling of uncertainties with Modelica D Bouskela, A Jardin, Z Benjelloun-Touimi, P Aronsson, P Fritzson | 13 | 2011 |
Modelling of a water/steam cycle of the combined cycle power plant “Rio Bravo 2” with Modelica B El Hefni, D Bouskela Modelica 2006 conference proceedings, 2006 | 12 | 2006 |
A survey on systems engineering methodologies for large multi-energy cyber-physical systems E Azzouzi, A Jardin, D Bouskela, F Mhenni, JY Choley 2019 IEEE international systems conference (SysCon), 1-8, 2019 | 11 | 2019 |
Dynamic modelling of a Condenser with the ThermoSysPro Library B El Hefni, D Bouskela | 10 | 2014 |
New method to assess tube support plate clogging phenomena in steam generators of nuclear power plants D Bouskela, V Chip, B El Hefni, JM Favennec, M Midou, J Ninet Mathematical and Computer Modelling of Dynamical Systems 16 (3), 257-267, 2010 | 10 | 2010 |
Multi-mode physical modelling of a drum boiler D Bouskela Procedia Computer Science 95, 516-523, 2016 | 8 | 2016 |
A physical solution for solving the zero-flow singularity in static thermal-hydraulics mixing models D Bouskela, B El Hefni | 8 | 2014 |
Dynamic modelling of a Condenser/Water Heater with the ThermoSysPro Library B El Hefni, D Bouskela, G Gentilini | 7 | 2012 |
Bibliothèque Modelica thermohydraulique. Structure et recommandations de conception D Bouskela Tech. Rep. H-P12-2003-02281, EDF, 2003 | 6 | 2003 |
Quasi-2D steam generator modelling with Modelica C Avenas, D Bouskela, U Schück, T Freude, N Desvignes, O Hascoët Proceedings of Industrial Simulation Conference, 2004 | 5 | 2004 |