Samir Tigane

Orcid: 0000-0001-9093-1180

According to our database1, Samir Tigane authored at least 11 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs.
Computing, October, 2023

A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs.
Telecommun. Syst., September, 2023

On Quantitative Properties Preservation in Reconfigurable Generalized Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Dynamic Timed Automata for Reconfigurable System Modeling and Verification.
Axioms, 2023

2020
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification.
Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

Configuration-Dependent Stochastic Reward Nets.
Proceedings of the Modelling and Implementation of Complex Systems, 2020

2019
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems.
Sci. Comput. Program., 2019

2018
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems.
Int. J. Crit. Comput. Based Syst., 2018

2017
Educative and Adaptive System for Personalized Learning: Learning Styles and Content Adaptation.
Int. Arab. J. e Technol., 2017

2016
Reconfigurable Stochastic Petri Nets for Reconfigurable Manufacturing Systems.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2016

Net rewriting system for GSPN a RMS case study.
Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016


  Loading...