الرئيسية › دليل الباحثين › Samir Tigane

Samir Tigane

الانتماء : University of Biskra

• 21منشورات (انتماء جزائري)
• 39مجموع المنشورات
• 182الاستشهادات
• 8مؤشر h

ORCIDOpenAlex

مجالات البحث

• Petri Nets in System Modeling
• Business Process Modeling and Analysis
• Formal Methods in Verification
• Flexible and Reconfigurable Manufacturing Systems
• Model-Driven Software Engineering Techniques

المنشورات (21)

• Extending stochastic symmetric nets with graph transformations for the formal modeling and analysis of evolvable systems
  2026 · Cluster Computing
• Improving Reliability of Reconfigurable Manufacturing Systems using Genetic Algorithms: an NSGA-III-based approach for minimizing RMTs’ failure in process planning
  2025 · International Journal of Computer Integrated Manufacturing · استُشهد به 2 مرة
• Dynamic Timed Colored Petri Nets: A High-Level Formalism for the Modeling and Verification of Dynamic-Structure Systems
  2025 · Arabian Journal for Science and Engineering · استُشهد به 1 مرة
• Formal Specification, and Verification of a Cooperative Multi-robots System for Delivery Service
  2025 · International Symposium on iNnovative Informatics of Biskra (ISNIB)
• Design, Specification, and Verification of a Cooperative Multi-robots System for Delivery Service
  2025 · Information systems engineering and management
• Dynamic Timed Automata for Reconfigurable System Modeling and Verification
  2023 · Axioms · استُشهد به 15 مرة
• A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs
  2023 · Computing · استُشهد به 9 مرة
• A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs
  2023 · Telecommunication Systems · استُشهد به 6 مرة
• Diabetic Retinopathy Detection Using Deep Learning
  2022 · Lecture notes in networks and systems · استُشهد به 11 مرة
• On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets
  2022 · IEEE Transactions on Systems Man and Cybernetics Systems · استُشهد به 11 مرة
• Mobile and personalized learning system for computer science students
  2020 · استُشهد به 9 مرة
• Dynamic GSPNs
  2020 · International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) · استُشهد به 4 مرة
• Configuration-Dependent Stochastic Reward Nets
  2020 · Lecture notes in networks and systems
• Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems
  2019 · Science of Computer Programming · استُشهد به 10 مرة
• Ontology based approach for representing the learner profile and learning styles
  2019 · International Conference on Intelligent Computing in Data Sciences (ICDS) · استُشهد به 7 مرة
• Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
  2018 · International Journal of Critical Computer-Based Systems · استُشهد به 4 مرة
• Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
  2018 · International Journal of Critical Computer-Based Systems · استُشهد به 1 مرة
• Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems
  2017 · Studies in computational intelligence · استُشهد به 8 مرة
• Reconfigurable stochastic Petri nets: A new formalism for reconfigurable discrete event systems
  2017 · International Conference on Mathematics and Information Technology (ICMIT) · استُشهد به 5 مرة
• Generalized stochastic Petri nets with rewritable topology
  2017 · International Conference on Embedded & Distributed Systems (EDiS) · استُشهد به 4 مرة
• Net rewriting system for GSPN a RMS case study
  2016 · International Conference on Advanced Aspects of Software Engineering (ICAASE) · استُشهد به 6 مرة

مجلات النشر

• Lecture notes in networks and systems × 2
• International Journal of Critical Computer-Based Systems × 2
• Cluster Computing × 1
• International Journal of Computer Integrated Manufacturing × 1
• Arabian Journal for Science and Engineering × 1
• International Symposium on iNnovative Informatics of Biskra (ISNIB) × 1

المنشورات حسب السنة

• 20261
• 20254
• 20233
• 20222
• 20203
• 20192
• 20182
• 20173
• 20161

التعاون العلمي

المؤسسات الشريكة : University of Batna 2 · Centre National de la Recherche Scientifique · Sorbonne Université · LIP6 · Université Paris Nanterre

بلدان المؤلفين المشاركين : فرنسا

المؤلفون المشاركون

• Laïd Kahloul
• Samir Bourekkache
• Fayçal Guerrouf
• Saber Benharzallah
• Mahdi Kahoul
• Leyla Belaiche
• Okba Kazar
• Siham Zroug
• Kaouthar Manar Fellah
• Fatima Zohra Torki

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).