Olga Goubali

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 6

Top Topics

Program Slicing

Complex Systems

Formal Verification

Mathematical Models

Top Venues

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France (PHD)

Education History

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France

PHD

Publications

Ouissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Patrick Girard, Emmanuel Grolleau
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems. MEDI (2021)
Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo
Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA (2020)
Olga Goubali, Abdenour Idir, Line Poinel, Laurianne Boulhic, Djamal Kesraoui, Alain Bignon
Service-Oriented Control-Command Components for Designing Complex Systems. HCI (1) (2019)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Soraya Kesraoui-Mesli, Pascal Berruet, Benjamin Morio, Laurianne Boulhic
End User Designing of Complex Task Models for Complex Control-Command Systems. HCI (1) (2019)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Laurianne Boulhic, Pascal Berruet, Jean-Frédéric Bouillon
Evaluation of tool support for functional specification of complex systems. Erog'IA (2016)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Pascal Berruet, Jean-Frédéric Bouillon
Designing Functional Specifications for Complex Systems. HCI (1) (2016)
Olga Goubali, Alain Bignon, Pascal Berruet, Patrick Girard, Laurent Guittet
Anaxagore, an example of model-driven engineering for industrial supervision. Erog'IA (2014)