Mamoun Filali

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 21

Top Topics

Formal Verification

Domain Specific Languages

Top Venues

Sci. Comput. Program.

Publications

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL Properties in Event-B. ABZ (2024)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ (2023)
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Aspects Comput. 33 (3) (2021)
Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study. Sci. Comput. Program. 207 (2021)
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. J. Syst. Archit. 118 (2021)
Jean-Paul Bodeveix, Mamoun Filali
Event-B Formalization of Event-B Contexts. ABZ (2021)
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao
Formal Simulation and Verification of Solidity contracts in Event-B. COMPSAC (2021)
Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Trans. Reliab. 69 (1) (2020)
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
Event-B formalization of a variability-aware component model patterns framework. Sci. Comput. Program. 199 (2020)
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
Formal Verification of Solidity contracts in Event-B. CoRR (2020)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. Frontiers Comput. Sci. 13 (4) (2019)
Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. FTSCS (2019)
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM (2019)
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali
A Formal Methods Approach to Security Requirements Specification and Verification. ICECCS (2019)
Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. MEMOCODE (2018)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event algebra for transition systems composition application to timed automata. Acta Informatica 55 (5) (2018)
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. FACS (2018)
Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala
An Event-B framework for the validation of Event-B refinement plugins. CoRR (2017)
Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri
Automatic Refinement for Event-B through Annotated Patterns. PDP (2017)
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B Development Process for the Distributed BIP Framework. ICFEM (2016)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10 (1) (2016)
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106 (2015)
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
A verified transformation: from polychronous programs to a variant of clocked guarded actions. SCOPES (2014)
Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. FTSCS (2014)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. ACVI@MoDELS (2014)
Hajer Herbegue, Mamoun Filali, Hugues Cassé
Formal Architecture Specification for Time Analysis. ARCS (2014)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
A comparative study of two formal semantics of the SIGNAL language. Frontiers Comput. Sci. 7 (5) (2013)
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. FSEN (2013)
Hajer Herbegue, Hugues Cassé, Mamoun Filali, Christine Rochange
Hardware architecture specification and constraint-based WCET computation. SIES (2013)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Event Algebra for Transition Systems Composition - Application to Timed Automata. TIME (2013)
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Compositional Refinement for Real-Time Systems with Priorities. TIME (2012)
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Revising and Extending the Uppaal Communication Mechanism. SC@TOOLS (2012)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Design of a BPEL Verification Tool. WS-FM (2011)
Jean-Paul Bodeveix, Mamoun Filali
Event B Development of a Synchronous AADL Scheduler. Electron. Notes Theor. Comput. Sci. 280 (2011)
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
An Alternative Definition for Timed Automata Composition. ATVA (2011)
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD (2011)
Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS (2011)
T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL. ICECCS (2010)
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
Modeling AADL Data Communication with BIP. Ada-Europe (2009)
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF (2009)
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS (2009)
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe (2009)
Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems. MoDELS (Workshops) (2008)
Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali
Spécification et vérification d'un ordonnanceur en B via les automates temporisés. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
Modes in Asynchronous Systems. ICECCS (2008)
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties. Electron. Notes Theor. Comput. Sci. 185 (2007)
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
The AADL behaviour annex - experiments and roadmap. ICECCS (2007)
Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil
UML&AADL '2007 grand challenges. SIGBED Rev. 4 (4) (2007)
Mamoun Filali
A Mechanization of Phylogenetic Trees. VERIFY (2007)
Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
A mapping from AADL to Java-RTSJ. JTRES (2007)
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit
Verification of a scheduler in B through a timed automata specification. SAC (2006)
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A State/Event Temporal Deontic Logic. DEON (2006)
Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Maximal Group Membership in Ad Hoc Networks. PPAM (2005)
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal Methods Meet Domain Specific Languages. IFM (2005)
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS (2003)
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: the Cotre approach. Electron. Notes Theor. Comput. Sci. 80 (2003)
Jean-Paul Bodeveix, Mamoun Filali
Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods Syst. Des. 20 (1) (2002)
Jean-Paul Bodeveix, Mamoun Filali
Type Synthesis in B and the Translation of B to PVS. ZB (2002)
Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou
Describing Mobile Computations with Path Vectors. OPODIS (2000)
Jean-Paul Bodeveix, Mamoun Filali
Experimenting Acceleration Methods for the Validation of Infinite State Systems. ICDCS Workshop on Distributed System Validation and Verification (2000)
Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. IPDPS Workshops (2000)
Jean-Paul Bodeveix, Mamoun Filali
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS (2000)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
The Observation: An Abstract Communication Mechanism. Parallel Process. Lett. 9 (3) (1999)
Luc Bougé, Bill McColl, Mamoun Filali, Henk J. Sips
Parallel Programming: Models, Methods, and Languages - Introduction. Euro-Par (1999)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Modelling and Verifying Migration: A case study. OPODIS (1999)
Jean-Paul Bodeveix, Mamoun Filali
On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops (1998)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops (1998)
Jean-Paul Bodeveix, Mamoun Filali
Towards the Automatic Verification of Atomic Memory Protocols. Parallel Process. Lett. 7 (1) (1997)
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
Abstracting Communication to Reason about Distributed Algorithms. WDAG (1996)
Jean-Paul Bodeveix, Mamoun Filali
On the Refinement of symmetric memory protocols. TPHOLs (1995)
Mamoun Filali
The derivation of scheduling algorithms from a timing model. RTS (1994)
Jean-Paul Bodeveix, Mamoun Filali, P. Roche
Towards a HOL Theory and Memory. TPHOLs (1994)
Mamoun Filali, Philippe Mauran, Gérard Padiou
Unity, as a Tool for Reactive Systems Specification and Derivation. RTS (1993)
G. Bazalgette, D. Bekele, C. Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah
STRAda - An Ada Transformation and Distribution System. Ada-Europe (1992)
F. Bichon, Mamoun Filali, Gérard Padiou, R. Smith
The use of Modula-2 for implementing a distributed kernel. Softw. Eng. J. 4 (2) (1989)
Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah
Distributed Control Through Task Migration via Abstract Networks. ICDCS (1985)