Mamoun Filali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
20
Active years
1985–2021
Best venue rank
B
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | COMPSAC | Formal Simulation and Verification of Solidity contracts in Event-B. | Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao |
| 2019 | FM | Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. | Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
| 2019 | ICECCS | A Formal Methods Approach to Security Requirements Specification and Verification. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2018 | MEMOCODE | Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. | Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
| 2017 | PDP | Automatic Refinement for Event-B through Annotated Patterns. | Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri |
| 2016 | ICFEM | An Event-B Development Process for the Distributed BIP Framework. | Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
| 2014 | MODELS | Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali |
| 2014 | SCOPES | A verified transformation: from polychronous programs to a variant of clocked guarded actions. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2013 | TIME | Event Algebra for Transition Systems Composition - Application to Timed Automata. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2012 | TIME | Compositional Refinement for Real-Time Systems with Priorities. | Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
| 2011 | ATVA | An Alternative Definition for Timed Automata Composition. | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
| 2011 | CaiSE | Verification of Timed BPEL 2.0 Models. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2011 | ICECCS | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2010 | ICECCS | Supporting the Design of Safety Critical Systems Using AADL. | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat |
| 2009 | ICECCS | A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2008 | ICECCS | Modes in Asynchronous Systems. | Jean-Franois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
| 2008 | MODELS | Model Based Architecting and Construction of Embedded Systems. | Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sbastien Grard |
| 2007 | CADE | A Mechanization of Phylogenetic Trees. | Mamoun Filali |
| 2007 | ICECCS | The AADL behaviour annex - experiments and roadmap. | Ricardo Bedin Frana, Jean-Paul Bodeveix, Mamoun Filali, Jean-Franois Rolland, David Chemouil, Dave Thomas |
| 2006 | SAC | Verification of a scheduler in B through a timed automata specification. | Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit |
| 2005 | IFM | Formal Methods Meet Domain Specific Languages. | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
| 2005 | PPAM | Maximal Group Membership in Ad Hoc Networks. | Mamoun Filali, Valrie Issarny, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 2000 | OPODIS | Describing Mobile Computations with Path Vectors. | Philippe Quinnec, Mamoun Filali, Philippe Mauran, Grard Padiou |
| 2000 | TACAS | FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. | Jean-Paul Bodeveix, Mamoun Filali |
| 1999 | EuroPar | Parallel Programming: Models, Methods, and Languages - Introduction. | Luc Boug, Bill McColl, Mamoun Filali, Henk J. Sips |
| 1999 | OPODIS | Modelling and Verifying Migration: A case study. | Michel Charpentier, Mamoun Filali, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 1994 | ECRTS | The derivation of scheduling algorithms from a timing model. | Mamoun Filali |
| 1993 | ECRTS | Unity, as a Tool for Reactive Systems Specification and Derivation. | Mamoun Filali, Philippe Mauran, Grard Padiou |
| 1985 | ICDCS | Distributed Control Through Task Migration via Abstract Networks. | Claude Btourn, Mamoun Filali, Grard Padiou, A. Sayah |