Mamoun Filali

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