On the verification of business processes by model checking techniques Z Sbaï, A Missaoui, K Barkaoui, RB Ayed 2010 2nd International Conference on Software Technology and Engineering 1 …, 2010 | 25 | 2010 |
A new transformation approach for complex systems modelling and simulation: application to industrial control system N Seddari, S Boukelkoul, A Bouras, M Belaoued, M Redjimi International Journal of Simulation and Process Modelling 16 (1), 34-48, 2021 | 13 | 2021 |
Using of DEVS and MAS tools for modeling and simulation of an industrial steam generator N Seddari, M Redjimi, S Boukelkoul Journal of computing and information technology 22 (3), 171-189, 2014 | 11 | 2014 |
Mapping between Petri nets and DEVS models S Boukelkoul, M Redjimi 2013 3rd International Conference on Information Technology and e-Services …, 2013 | 10 | 2013 |
Optimal model transformation of BPMN to DEVS. S Boukelkoul, R Maamri AICCSA, 1-8, 2015 | 7 | 2015 |
A neuro-fuzzy model for qos based selection of web service A Missaoui, K Barkaoui Journal of Software Engineering and Applications 3 (6), 588, 2010 | 6 | 2010 |
Algorithmic tools for the transformation of Petri nets to DEVS M Redjimi, S Boukelkoul Informatica 37 (4), 2013 | 5 | 2013 |
A discrete event model for analysis and verification of time‐constrained business processes S Boukelkoul, R Maamri, M Chihoub Concurrency and Computation: Practice and Experience 33 (1), e5753, 2021 | 1 | 2021 |
Model-based DEVS for modeling and simulation of resource-constrained business processes S Boukelkoul, R Maamri 2016 International Conference on Advanced Aspects of Software Engineering …, 2016 | 1 | 2016 |
A QoS-based neuro-fuzzy model for ranking web services A Missaoui 2013 3rd International Conference on Information Technology and e-Services …, 2013 | 1 | 2013 |
Model checking verification of web services composition A Missaoui, Z Sbaï, K Barkaoui International Workshop on Architectures, Concepts and Technologies for …, 2010 | 1 | 2010 |
مظاهرات 11 ديسمبر1960 بوقلقول عيسى تاريخ الاوراس, 2023 | | 2023 |
بن خليل عبد السلام ودوره في المجلس الجزائري1948/1956 بوقلقول عيسى دراسة التركيبة الاقتصادية والاجتماعية خلال الفترة الاستعمارية, 16, 2023 | | 2023 |
السلطان عبد الحميد الثاني ومواقفه المشرفة حول فلسطين بوقلقول عيسى اليوم الوطني للتضامن مع الشعب الفلسطيني, 9, 2023 | | 2023 |
موريس بابون منهدس مجازر 17 اكتوبر1961 بوقلقول عيسى ذكرى مظاهرات 17 اكتوبر1961, 12, 2023 | | 2023 |
مجازر فرنسا في حق الجزائريين مظاهرات 17 اكتوبر انموذجا بوقلقول عيسى اليوم الوطني للهجرة, 9, 2023 | | 2023 |
الشيخ سعد حب الدين مصلحا ومجاهدا بوقلقول عيسى تجليات الفكر الثوري التحرري في نصوص الثورة الجزائرية1954-1962, 23, 2023 | | 2023 |
من المقاعد الى الجبال بوقلقول عيسى الذكرى67 لليوم الوطني للطالب, 8, 2023 | | 2023 |
منظة الجيش السري ودرها في عرقلة مسار المفاوضات بوقلقول عيسى امن ولاية باتنة, 2023 | | 2023 |
المرحلة الانتقالية وتكريس الاستقلال بوقلقول عيسى الذكرى61 لعيد النصر, 6, 2023 | | 2023 |