Daniel Bouskela

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 6

Top Topics

Systems Engineering

Dynamic Characteristics

Formal Specification Language

Top Venues

Publications

Elmehdi Azzouzi, Daniel Bouskela, Audrey Jardin, Faïda Mhenni, Jean-Yves Choley
A Model-Based Engineering Methodology for Stakeholders Coordination of Multienergy Cyber-Physical Systems. IEEE Syst. J. 16 (1) (2022)
Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requir. Eng. 27 (1) (2022)
Elmehdi Azzouzi, Audrey Jardin, Daniel Bouskela, Faïda Mhenni, Jean-Yves Choley
A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems. SysCon (2019)
Daniel Bouskela, Audrey Jardin
ETL: A new temporal language for the verification of cyber-physical systems. SysCon (2018)
El Hefni Baligh, Daniel Bouskela
Modeling and simulation of complex ThermoSysPro model with OpenModelica - Dynamic Modeling of a combined cycle power plant. Modelica (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)
Bruno Lacabanne, Zakia Benjelloun-Dabaghi, Daniel Bouskela
Some Examples of Industrial Problems Modelling under SCILAB-SCICOS. Modelling, Identification and Control (2003)