Travelled to:1 × Canada
1 × France
1 × Germany
1 × United Kingdom
Collaborated with:P.Masson J.Julliand S.Chouali O.Carrillo S.Mouelhi K.Agrou
Talks about:system (3) properti (2) modular (2) compon (2) verif (2) architectur (1) interfac (1) contract (1) behavior (1) specifi (1)
Person: Hassan Mountassir
DBLP: Mountassir:Hassan
Contributed to:
2015
2013
20001999Wrote 4 papers:
- CBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using
- Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
- ECSA-2013-ChoualiCM #architecture #component #interface #requirements #specification
- Specifying System Architecture from SysML Requirements and Component Interfaces (SC, OC, HM), pp. 348–352.
- IFM-2000-MassonMJ #composition #verification
- Modular Verification for a Class of PLTL Properties (PAM, HM, JJ), pp. 398–419.
- IFM-1999-JulliandMM #composition #verification
- Modular Verification of Dynamic Properties for Reactive Systems (JJ, PAM, HM), pp. 89–108.