Concepedia

Mamoun Filali

MF

11

Publications

337

Citations

10

H-Index

2003

Active since

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Institut de Recherche en Informatique de Toulouse

Centre National de la Recherche Scientifique

Université Toulouse - Jean Jaurès

Université Toulouse-I-Capitole

Mamoun Filali is an author at Université Toulouse III - Paul Sabatier specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignFormal VerificationSystems EngineeringSoftware EngineeringComputer ScienceSoftware AnalysisSystem SoftwareVerification

Publications per year

2003–2021

11

Publications

11

Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 107 citations · Full text

The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali et al. · 2007 · 93 citations

Engineering, Software Engineering, Aadl Behaviour Annex +23

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models

Fei Wang, Zhibin Yang, Zhiqiu Huang et al. · IEEE Transactions on Reliability · 2019 · 28 citations · Full text

Software Maintenance, Initial Aadl Models, Requirements Traceability +24

Towards the verification of real-time systems in avionics

B. Berthomieu, Pierre-Olivier Ribet, François Vernadat et al. · Electronic Notes in Theoretical Computer Science · 2003 · 17 citations · Full text

Engineering, Verification, Computer Architecture +21

Towards a verified transformation from AADL to the formal component-based language FIACRE

Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho et al. · Science of Computer Programming · 2015 · 16 citations

Engineering, Verification, Verified Transformation +16

Rows per page

1–5 of 11