Accueil › Annuaire des chercheurs › Samir Tigane

Samir Tigane

Affiliation : University of Biskra

• 21Publications (affiliation algérienne)
• 39Publications au total
• 182Citations
• 8Indice h

ORCIDOpenAlex

Domaines de recherche

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

Publications (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 · cité 2 fois
• 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 · cité 1 fois
• 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 · cité 15 fois
• A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs
  2023 · Computing · cité 9 fois
• A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs
  2023 · Telecommunication Systems · cité 6 fois
• Diabetic Retinopathy Detection Using Deep Learning
  2022 · Lecture notes in networks and systems · cité 11 fois
• On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets
  2022 · IEEE Transactions on Systems Man and Cybernetics Systems · cité 11 fois
• Mobile and personalized learning system for computer science students
  2020 · cité 9 fois
• Dynamic GSPNs
  2020 · International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) · cité 4 fois
• 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 · cité 10 fois
• Ontology based approach for representing the learner profile and learning styles
  2019 · International Conference on Intelligent Computing in Data Sciences (ICDS) · cité 7 fois
• Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
  2018 · International Journal of Critical Computer-Based Systems · cité 4 fois
• Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
  2018 · International Journal of Critical Computer-Based Systems · cité 1 fois
• Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems
  2017 · Studies in computational intelligence · cité 8 fois
• Reconfigurable stochastic Petri nets: A new formalism for reconfigurable discrete event systems
  2017 · International Conference on Mathematics and Information Technology (ICMIT) · cité 5 fois
• Generalized stochastic Petri nets with rewritable topology
  2017 · International Conference on Embedded & Distributed Systems (EDiS) · cité 4 fois
• Net rewriting system for GSPN a RMS case study
  2016 · International Conference on Advanced Aspects of Software Engineering (ICAASE) · cité 6 fois

Revues de publication

• 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

Publications par année

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

Collaborations

Établissements partenaires : University of Batna 2 · Centre National de la Recherche Scientifique · Sorbonne Université · LIP6 · Université Paris Nanterre

Pays des co-auteurs : France

Co-auteurs

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

Données bibliographiques issues d’OpenAlex (base ouverte).