Daniel Bouskela

According to our database, Daniel Bouskela authored at least 7 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Model-Based Engineering Methodology for Stakeholders Coordination of Multienergy Cyber-Physical Systems.

Elmehdi Azzouzi, Daniel Bouskela, Audrey Jardin, Faïda Mhenni, Jean-Yves Choley

IEEE Syst. J., 2022

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.

Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis

Requir. Eng., 2022

2019

A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems.

Elmehdi Azzouzi, Audrey Jardin, Daniel Bouskela, Faïda Mhenni, Jean-Yves Choley

Proceedings of the 2019 IEEE International Systems Conference, 2019

2018

ETL: A new temporal language for the verification of cyber-physical systems.

Daniel Bouskela, Audrey Jardin

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017

Modeling and simulation of complex ThermoSysPro model with OpenModelica - Dynamic Modeling of a combined cycle power plant.

El Hefni Baligh, Daniel Bouskela

Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

2016

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.

Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2003

Some Examples of Industrial Problems Modelling under SCILAB-SCICOS.

Bruno Lacabanne, Zakia Benjelloun-Dabaghi, Daniel Bouskela

Proceedings of the 22nd IASTED International Conference on Modelling, 2003