Search - Archive ouverte HAL Access content directly

Filter your results

10 Results

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⟩
Journal articles hal-03538522v1

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 et al.
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩
Journal articles hal-01785965v1

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
Conference papers hal-01786109v1

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
Conference papers hal-03643337v1

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
Conference papers 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. et al.
27th European Modeling and Simulation Symposium, EMSS 2015, Sep 2015, Bergeggi, Italy
Conference papers 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
Preprints, Working Papers, ... hal-02558198v1

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
Conference papers hal-03604800v1

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. et al.
Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy
Conference papers hal-03643254v1

Towards using DEVS for modelling adaptive storytelling in virtual games

Aznam Yacoub , Gabriela Nicolescu , Maamar El Amine Hamri , Claudia Frydman
SummerSim '18 Proceedings of the 50th Computer Simulation Conference, Jul 2018, Bordeaux, France
Conference papers hal-01881349v1