Hilal Djafri

According to our database, Hilal Djafri authored at least 5 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Numerical and statistical approaches for model checking of stochastic processes. (Approches numériques et statistiques pour le model checking des processus stochastiques).

Hilal Djafri

PhD thesis, 2012

Bounded state space truncation and Censored Markov chains.

Ana Busic, Hilal Djafri, Jean-Michel Fourneau

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

HASL: an expressive language for statistical verification of stochastic models.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011