Travelled to:1 × Germany
2 × France
2 × The Netherlands
Collaborated with:J.Bodeveix L.Pi O.Nasr M.R.Irit J.L.Lawall G.Muller B.Berthomieu C.Chaudet S.Dal-Zilio F.Vernadat G.Bazalgette D.Bekele C.Bernon J.M.Rigaud A.Sayah
Talks about:specif (3) system (2) formal (2) verif (2) aadl (2) ada (2) transform (1) distribut (1) techniqu (1) communic (1)
Person: Mamoun Filali
DBLP: Filali:Mamoun
Contributed to:
2009
2006
2005
20001992Wrote 6 papers:
- AdaEurope-2009-BerthomieuBCDFV #specification #verification
- Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
- AdaEurope-2009-PiBF #communication #modelling
- Modeling AADL Data Communication with BIP (LP, JPB, MF), pp. 192–206.
- SAC-2006-NasrBFI #automaton #specification #verification
- Verification of a scheduler in B through a timed automata specification (ON, JPB, MF, MRI), pp. 1800–1801.
- IFM-2005-BodeveixFLM #domain-specific language #formal method
- Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
- TACAS-2000-BodeveixF #infinity #named #validation
- FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
- AdaEurope-1992-BazalgetteBBFRS #ada #named
- STRAda — An Ada Transformation and Distribution System (GB, DB, CB, MF, JMR, AS), pp. 287–299.