Ouassila Labbani Narsis
Ouassila Labbani Narsis
Associate Professor - University of Burgundy - CIAD Laboratory
Verified email at u-bourgogne.fr
Title
Cited by
Cited by
Year
A uml and colored petri nets integrated modeling and analysis approach using graph transformation
O Labbani
Journal of Object Technology 9 (4), 2010
552010
A uml and colored petri nets integrated modeling and analysis approach using graph transformation
O Labbani
Journal of Object Technology 9 (4), 2010
552010
Introducing control in the gaspard2 data-parallel metamodel: Synchronous approach
O Labbani, JL Dekeyser, P Boulet, É Rutten
422005
Mode-automata based methodology for scade
O Labbani, JL Dekeyser, P Boulet
International Workshop on Hybrid Systems: Computation and Control, 386-401, 2005
422005
On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
E Kerkouche, A Chaoui, EB Bourennane, O Labbani
JSW 5 (11), 1279-1291, 2010
152010
Modélisation à haut niveau du contrôle dans des applications de traitement systématique à parallélisme massif
O Labbani
Lille 1, 2006
152006
FPGA implementation of embedded cruise control and anti-collision radar
S Le Beux, P Marquet, O Labbani, JL Dekeyser
9th EUROMICRO Conference on Digital System Design (DSD'06), 280-287, 2006
132006
A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile
G Ochoa-Ruiz, O Labbani, EB Bourennane, P Soulard, S Cherif
Design Automation for Embedded Systems 16 (3), 93-128, 2012
92012
Gaspard2 uml profile documentation
R Ben Atitallah, P Boulet, A Cuccuru, JL Dekeyser, A Honoré, O Labbani, ...
92007
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study
G Ochoa-Ruiz, O Labbani-Narsis, E Bourennane, S Cherif, S Meftali, ...
2012 International Conference on Reconfigurable Computing and FPGAs, 1-8, 2012
82012
Gaspard2 uml profile documentation
R Ben Atitallah, P Boulet, A Cuccuru, JL Dekeyser, A Honoré, O Labbani, ...
82007
UML2 profile for modeling controlled data parallel applications
O Labbani, JL Dekeyser, P Boulet, É Rutten
Advances in Design and Specification Languages for Embedded Systems, 301-317, 2007
72007
High-level modelling and automatic generation of dynamicaly reconfigurable systems
G Ochoa, EB Bourennane, H Rabah, O Labbani
Proceedings of the 2011 Conference on Design & Architectures for Signal …, 2011
62011
Memory requirements and simulation platform for the implementation of the H. 264 encoder modules
K Messaoudi, E Bourennane, S Toumi, E Kerkouche, O Labbani
2010 2nd International Conference on Image Processing Theory, Tools and …, 2010
62010
Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach.
E Kerkouche, A Chaoui, EB Bourennane, O Labbani
SEDE, 111-118, 2009
62009
Safe design methodology for an intelligent cruise control system with GPS
O Labbani, É Rutten, JL Dekeyser
IEEE Vehicular Technology Conference, 1-5, 2006
62006
Separating control and data flow: Methodology and automotive system case study
O Labbani, JL Dekeyser, É Rutten
62006
Towards events ontology based on data sensors network for viticulture domain
R Belkaroui, A Bertaux, O Labbani, C Hugol-Gential, C Nicolle
Proceedings of the 8th International Conference on the Internet of Things, 1-7, 2018
42018
Introduction of control into the Gaspard application UML metamodel: Synchronous approach
O Labbani, J Dekeyser, P Boulet, É Rutten
42005
Maximality-based symbolic model checking
DE Saidouni, O Labbani
ACS/IEEE International Conference on Computer Systems and Applications, 98-98, 2003
42003
The system can't perform the operation now. Try again later.
Articles 1–20