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. 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:274. 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