BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Filali:Mamoun

Contributed to:

Ada-Europe 20092009
SAC 20062006
IFM 20052005
TACAS 20002000
Ada-Europe 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.