Skip to content

Amine El Kouhen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2013–2015

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2015MODELSSimulation-Based Verification of Avionic Systems Deployed on IMA Architectures.Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins
2014MODELSAn Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet.Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins
2013ECOOPA component-based approach for specifying DSML's concrete syntax.Amine El Kouhen, Sbastien Grard, Cdric Dumoulin, Pierre Boulet