Miloud Bennama

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Formal Specification

Unified Modeling Language

Alternating Time Temporal Logic

Top Venues

Int. J. Crit. Comput. Based Syst.

Int. J. Comput. Appl. Technol.

Publications

Miloud Bennama, Thouraya Bouabana-Tebibel
A CTL-based OCL extension using CPN ML for UML validation. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Miloud Bennama, Thouraya Bouabana-Tebibel
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. VECoS (2014)
Miloud Bennama, Thouraya Bouabana-Tebibel
Validation environment of UML2 IOD based on hierarchical coloured Petri nets. Int. J. Comput. Appl. Technol. 47 (2/3) (2013)
Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama
Formal modeling with SysML. IRI (2012)