selected scholarly activity
-
chapters
- Can I Teach Graph Rewriting to My Chatbot?. Lecture Notes in Computer Science. 214-222. 2024
- Blockchain-Based Volunteers Management System. Lecture Notes in Networks and Systems. 376-386. 2023
- Model-Driven Smart Contract Generation Leveraging ChatGPT. Lecture Notes in Networks and Systems. 387-396. 2023
-
conferences
- On the Automatic Generation of Smart Contracts with Access Control for Digital Health. 2024 Global Digital Health Knowledge Exchange and Empowerment Conference Knowledge Exchange of the State of the Art Research and Development in Digital Health Technologies Enable and Empower Stakeholders Engaged in Enriching and Enhancing the Patient Healthcare Journey Gdigihealth Kee 2024. 1-5. 2024
- Model-Driven Approach for Generating Smart Contracts for Access Control. 2023 Fifth International Conference on Blockchain Computing and Applications (BCCA). 112-115. 2023
- Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee.... 100-104. 2023
- Data Analytics on Blockchains. 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). 2023
- On Persisting EMF Data Using Blockchains. 2022 9th International Conference on Internet of Things: Systems, Management and Security (IOTSMS). 109-113. 2022
- Base Station Anomaly Prediction Leveraging Model-Driven Framework for Classification in Neo4j. 2022 International Conference on Broadband Communications for Next Generation Networks and Multimedia Applications (CoBCom). 2022
- A Utility to Transform CSV Data into EMF. 2021 Eighth International Conference on Software Defined Systems (SDS). 37-42. 2021
- Model-driven Multi-objective Optimization Approach to 6G Network Planning. 2021 15th International Conference on Advanced Technologies, Systems and Services in Telecommunications (TELSIKS). 223-226. 2021
- Model Driven Approach for Neural Networks. 2020 International Conference on Intelligent Data Science Technologies and Applications (IDSTA). 87-94. 2020
- ATL Transformation of Queueing Networks to Queueing Petri Nets. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. 261-268. 2017
- Model-to-Model based Approach for Software Component Allocation in Embedded Systems. Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. 320-328. 2017
- Server consolidation using Coloured Petri Nets and CPN tools. 2015 6th International Conference on Information and Communication Systems (ICICS). 32-37. 2015
- Cost-Aware Performance Modeling of Multi-tier Web Applications in the Cloud. Communications in Computer and Information Science. 186-196. 2012
- Performance evaluation for software migration. Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering. 323-328. 2011
- Power-Aware Linear Programming based Scheduling for heterogeneous computer clusters. International Conference on Green Computing. 325-332. 2010
- Decentralized Load Balancing for Heterogeneous Grids. 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns. 545-550. 2009
- MGST: A Framework for Performance Evaluation of Desktop Grids. Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS. 2341-2348. 2009
- Dynamic scheduling for heterogeneous Desktop Grids. Proceedings - IEEE/ACM International Workshop on Grid Computing. 136-143. 2008
- MARO - MinDrift affinity routing for resource management in heterogeneous computing systems. Proceedings of the 2007 conference of the center for advanced studies on Collaborative research - CASCON '07. 71-71. 2007
- Modeling and Veri cation of cryptographic protocols using coloured petri nets and design/CPN. Proceedings of Mompes 2005 2nd International Workshop on Model Based Methodologies for Pervasive and Embedded Software. 1-19. 2005
-
journal articles
- Access Control Verification in Smart Contracts Using Colored Petri Nets. Computers. 13. 2024
- AI-Enabled Framework for Mobile Network Experimentation Leveraging ChatGPT: Case Study of Channel Capacity Calculation for η-µ Fading and Co-Channel Interference. Electronics. 12:4088-4088. 2023
- Test case prioritization for model transformations. Journal of King Saud University - Computer and Information Sciences. 34:6324-6338. 2022
- Model-Driven Approach to Fading-Aware Wireless Network Planning Leveraging Multiobjective Optimization and Deep Learning. Mathematical Problems in Engineering. 2022:1-23. 2022
- A Model-Driven Approach for Solving the Software Component Allocation Problem. Algorithms. 14:354-354. 2021
- A Framework for the Regression Testing of Model-to-Model Transformations. E-Informatica Software Engineering Journal. 15:65-84. 2021
- Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements. E-Informatica Software Engineering Journal. 14:97-115. 2020
- Meta-Heuristics for Solving the Software Component Allocation Problem. IEEE Access. 8:153067-153076. 2020
- An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems. Journal of Computing and Information Technology. 26:85-97. 2018
- On Utilizing Model Transformation for the Performance Analysis of Queueing Networks. Journal of Software Engineering and Applications. 11:435-457. 2018
- Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools. Journal of King Saud University - Computer and Information Sciences. 27:376-385. 2015
- Power-aware linear programming based scheduling for heterogeneous computer clusters. Future generations computer systems. 28:745-754. 2012
- Performance evaluation for software migration (abstracts only). Performance Evaluation Review. 39:18-18. 2011
- Abstract only. ACM SIGSOFT Software Engineering Notes. 36:42-42. 2011
- Dynamic scheduling for heterogeneous Desktop Grids. Journal of Parallel and Distributed Computing. 70:1231-1240. 2010
- Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems. IEEE Transactions on Parallel and Distributed Systems. 19:1671-1682. 2008
- Dynamic Capacity Planning with Comprehensive Formation of SLAs in Clouds. International Journal of Computer Applications. 117:46-50.
-
other
-
theses