الرئيسية › دليل الباحثين › Imen Graja

Imen Graja

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

• 10منشورات (انتماء تونسي)
• 10مجموع المنشورات
• 153الاستشهادات
• 4مؤشر h

ORCIDOpenAlex

مجالات البحث

• Business Process Modeling and Analysis
• Model-Driven Software Engineering Techniques
• Formal Methods in Verification
• Digital Transformation in Industry
• Advanced Software Engineering Methodologies

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

• A comprehensive survey on modeling of cyber‐physical systems
  2018 · Concurrency and Computation Practice and Experience · استُشهد به 50 مرة
• Modelling and verifying time‐aware processes for cyber‐physical environments
  2018 · IET Software · استُشهد به 13 مرة
• Verification of the Consistency of Time-Aware Cyber-Physical Processes
  2018 · Lecture notes in computer science · استُشهد به 4 مرة
• Towards the verification of cyber-physical processes based on time and physical properties
  2018 · International Journal of Business and Systems Research · استُشهد به 3 مرة
• Modeling and verification of temporal properties in cyber-physical systems
  2017 · IEEE Consumer Communications and Networking Conference · استُشهد به 5 مرة
• Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems
  2017 · IEEE Consumer Communications and Networking Conference · استُشهد به 4 مرة
• BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems
  2016 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · استُشهد به 70 مرة
• Time patterns for cyber-physical systems
  2016 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 4 مرة
• An Approach for Multiple-Instance Based Service Composition
  2015 · IEEE International Conference on Services Computing
• SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties
  2014 · International Conference on Evaluation of Novel Approaches to Software Engineering

مجلات النشر

• IEEE Consumer Communications and Networking Conference × 2
• Concurrency and Computation Practice and Experience × 1
• IET Software × 1
• Lecture notes in computer science × 1
• International Journal of Business and Systems Research × 1
• IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) × 1

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

• 20184
• 20172
• 20162
• 20151
• 20141

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

• Ahmed Hadj Kacem
• Slim Kallel
• Saoussen Cheikhrouhou
• Nawal Guermouche
• Aicha Mechim
• Imen Loulou

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