Travelled to:
1 × Spain
1 × Uruguay
2 × France
Collaborated with:
Y.Falcone S.Bliudze J.Sifakis M.Bozga H.Charafeddine K.El-Harake P.C.Attie E.Baranov T.Nguyen S.Bensalem
Talks about:
architectur (2) system (2) runtim (2) compon (2) base (2) internalis (1) framework (1) general (1) enforc (1) compos (1)
Person: Mohamad Jaber
DBLP: Jaber:Mohamad
Contributed to:
Wrote 4 papers:
- SAC-2015-CharafeddineEFJ #component #runtime
- Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
- CBSE-2014-BliudzeSBJ #architecture
- Architecture internalisation in BIP (SB, JS, MB, MJ), pp. 169–178.
- SEFM-2014-AttieBBJS #architecture #framework
- A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
- SEFM-2011-FalconeJNBB #component #runtime #verification
- Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.