Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
Article dans une revue hal-03538522v1

Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

 Aznam Yacoub , Maâmar El-Amine Hamri , Claudia Frydman
Symposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States
Communication dans un congrès hal-01786109v1
Image document

DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman , Chungman Seo , Bernard P Zeigler
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), pp.313. ⟨10.1504/IJSPM.2017.085564⟩
Article dans une revue hal-04081027v1

Using DEv-PROMELA for Modelling and Verification of Software

 Aznam Yacoub , Maã¢mar El-Amine Hamri , Claudia Frydman
SIGSIM-PADS '16 SIGSIM Principles of Advanced Discrete Simulation Banff, AB, Canada May 15 - 18, 2016, 2016, Unknown, Unknown Region. pp.245-253
Communication dans un congrès hal-01490105v1
Image document

TOWARDS AN EXTENSION OF PROMELA FOR THE MODELING, SIMULATION AND VERIFICATION OF DISCRETE-EVENT SYSTEMS

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman , Chungman Seo , Zeigler Bernard P.
27th European Modeling and Simulation Symposium, EMSS 2015, Sep 2015, Bergeggi, Italy
Communication dans un congrès hal-03555511v1
Image document

Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios

 Aznam Yacoub
2020
Pré-publication, Document de travail hal-02558198v1

Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman , C. Seo , Zeigler Bernard P.
Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy
Communication dans un congrès hal-03643254v1
Image document

Towards using DEVS for modelling adaptive storytelling in virtual games

 Aznam Yacoub , Gabriela Nicolescu , Maamar El Amine Hamri , Claudia Frydman
ACM, pp.27, 2018, SummerSim '18: Proceedings of the 50th Computer Simulation Conference, ⟨10.5555/3275382.3275409⟩
Proceedings/Recueil des communications hal-01881349v1
Image document

RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman
2017
Proceedings/Recueil des communications hal-04232323v1
Image document

Vérification formelle d'un réseau sur puce : Application de DEv-Promela.

 Abdelhak Khemiri , Aznam Yacoub , Maamar El Amine Hamri
ACTES DES 19ÈMES JOURNÉES SUR LES APPROCHES FORMELLES DANS L'ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS, Jun 2020, Montpellier, France
Communication dans un congrès hal-03604800v1
Image document

Formal Methods and Discrete-Event Simulations

 Aznam Yacoub , Maamar El Amine Hamri , Claudia Frydman
JDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS, 2016, Cargèse, France
Communication dans un congrès hal-03643337v1
Page :