Miloud Bennama

According to our database1, Miloud Bennama authored at least 5 papers between 2012 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
A CTL-based OCL extension using CPN ML for UML validation.
IJCCBS, 2016

2015
Forward and Backward Analysis of Weak Sequencing Specification.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015

2014
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

2013
Validation environment of UML2 IOD based on hierarchical coloured Petri nets.
IJCAT, 2013

2012
Formal modeling with SysML.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012


  Loading...