Publications
Books
| 2020 | |
| [1] | , The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24--26, 2020, Proceedings, Springer Nature, 2020. [bibtex] |
Refereed Articles
| 2022 | |
| [29] | , A Smart Contract-Based Access Control Framework For Smart Healthcare Systems, In The Computer Journal, 2022. (bxac183) [bibtex] [pdf] [doi] |
| [28] | , A time interval-based approach for business process fragmentation over cloud and edge resources, In Serv. Oriented Comput. Appl., volume 16, 2022. [bibtex] [pdf] [doi] |
| [27] | , Model-Driven Simulation of Elastic OCCI Cloud Resources, In Comput. J., volume 65, 2022. [bibtex] [pdf] [doi] |
| [26] | , NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates, In Software: Practice and Experience, volume 52, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [25] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [doi] |
| [24] | , Guest editorial: Selected papers from the International Conference on Smart Living and Public Health, In IET Smart Cities, volume 3, 2021. [bibtex] |
| [23] | , Optimal business process deployment cost in cloud resources, In J. Supercomput., volume 77, 2021. [bibtex] [pdf] [doi] |
| [22] | , A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [21] | , Formal Verification of Cloud and Fog Systems: A Review and Research Challenges, In J. Univers. Comput. Sci., volume 27, 2021. [bibtex] [pdf] [doi] |
| [20] | , Special issue on risk and security of smart systems, In J. Inf. Secur. Appl., volume 61, 2021. [bibtex] [pdf] [doi] |
| [19] | , Restriction-based fragmentation of business processes over the cloud, In Concurr. Comput. Pract. Exp., volume 33, 2021. [bibtex] [pdf] [doi] |
| 2020 | |
| [18] | , Toward a correct and optimal time-aware cloud resource allocation to business processes, In Future Gener. Comput. Syst., volume 112, 2020. [bibtex] [doi] |
| [17] | , A Comprehensive Survey on Modeling Cyber-physical Systems, In Concurrency and Computation: Practice and Experience, 2020. [bibtex] [doi] |
| [16] | , Business process specification, verification, and deployment in a mono-cloud, multi-edge context, In Comput. Sci. Inf. Syst., volume 17, 2020. [bibtex] [doi] |
| 2019 | |
| [15] | , Modeling and Verifying Time-aware Processes for Cyber-Physical Environments, In IET Software, volume 11, 2019. [bibtex] [doi] |
| 2018 | |
| [14] | , Specification and automatic checking of architecture constraints on object oriented programs, In Information and Software Technology, Elsevier, volume 101, 2018. [bibtex] |
| 2017 | |
| [13] | , Software Agents meet Internet of Things, In Internet Technology Letters, Willey, volume , 2017. [bibtex] [doi] |
| [12] | , Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems, In Computers & Electrical Engineering, volume 63, 2017. [bibtex] [doi] |
| [11] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, volume 68, 2017. [bibtex] |
| 2016 | |
| [10] | , An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi] |
| [9] | , Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex] |
| 2015 | |
| [8] | , Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [doi] |
| [7] | , The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [doi] |
| 2013 | |
| [6] | , AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi] |
| [5] | , Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi] |
| 2012 | |
| [4] | , Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi] |
| 2009 | |
| [3] | , A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement, In International Journal of Information and Computer Security, Inderscience publishers, volume 3, 2009. [bibtex] [doi] |
| 2008 | |
| [2] | , Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi] |
| 2006 | |
| [1] | , ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex] |
Refereed Conference Papers
| 2022 | |
| [41] | , A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes, In Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022, volume 30, 2022. [bibtex] [pdf] [doi] |
| 2021 | |
| [40] | , TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| [39] | , A Machine Learning Approach for Gas Price Prediction in Ethereum Blockchain, In IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, Madrid, Spain, July 12-16, 2021, IEEE, 2021. [bibtex] [pdf] [doi] |
| [38] | , Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone, In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021 (Ahmed Hadj Kacem, Slim Kallel, Faiza Belala, Meriem Belguidoum, Mohamed Jmaiel, Ismael Bouassida Rodriguez, eds.), CEUR-WS.org, volume 3067, 2021. [bibtex] [pdf] |
| 2020 | |
| [37] | , How blockchain helps to combat trust crisis in COVID-19 pandemic?: poster abstract, In SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, Virtual Event, Japan, November 16-19, 2020 (Jin Nakazawa, Polly Huang, eds.), ACM, 2020. [bibtex] [doi] |
| 2019 | |
| [36] | , Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings, Springer, 2019. [bibtex] |
| [35] | , Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment, In New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France (J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout, eds.), Springer, volume 1085, 2019. [bibtex] [doi] |
| [34] | , A Model-based Approach for the Modeling and the Verification of Railway Signaling System, In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 (Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, eds.), SciTePress, 2019. [bibtex] [doi] |
| [33] | , A SAT-Based Formal Approach for Verifying Business Process Configuration, In Big Data Innovations and Applications - 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings (Muhammad Younas, Irfan Awan, Salima Benbernou, eds.), Springer, volume 1054, 2019. [bibtex] [doi] |
| 2018 | |
| [32] | , Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation, In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 2018. [bibtex] |
| [31] | , Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes, In 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), 2018. [bibtex] |
| [30] | , Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets, In New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY at MEDI, 2018. [bibtex] [doi] |
| 2017 | |
| [29] | , AROSA 2017: Summary Report, In Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2017. [bibtex] |
| [28] | , Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems, In Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] [doi] |
| [27] | , Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex] |
| [26] | , Proceedings of the IEEE International Conference on Services Computing (SCC), In Proceedings of the IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2017. [bibtex] [doi] |
| 2016 | |
| [25] | , BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi] |
| [24] | , Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi] |
| [23] | , Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016. [bibtex] [doi] |
| 2015 | |
| [22] | , AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [doi] |
| 2014 | |
| [21] | , Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes, In Proceedings of the 11th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2014. [bibtex] |
| [20] | , On Enabling Time-aware Consistency of Collaborative Cross-Organisational Business Processes, In Proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, Springer, 2014. [bibtex] |
| [19] | , Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [doi] |
| [18] | , Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex] |
| [17] | , Toward a Verification of Time-centric Business Process Models, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex] |
| [16] | , A Collaborative Process for Developing Secure Component based Applications, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex] |
| 2013 | |
| [15] | , An Aspect-Oriented Approach to Enforce Security Properties in Business Processes, In ICSOC Workshops - International Workshops on Service-Oriented Computing, Springer, volume 7759, 2013. [bibtex] [doi] |
| [14] | , Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex] |
| [13] | , AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi] |
| [12] | , Toward a Time-centric modeling of Business Processes in BPMN 2.0, In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), ACM, 2013. [bibtex] |
| [11] | , Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex] |
| [10] | , Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex] |
| [9] | , An engineering process for security patterns application in component based models, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] |
| 2012 | |
| [8] | , MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex] |
| [7] | , Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures, In Proceedings of the 21st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi] |
| [6] | , Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [bibtex] [doi] |
| 2010 | |
| [5] | , Toward an Aspect Oriented ADL for Embedded Systems, In Proccedings of the 4th European Conference on Software Architecture (ECSA), Springer, volume 6285, 2010. [bibtex] [doi] |
| [4] | , RDyMASS: Reliable and dynamic enforcement of security policies for mobile agent systems, In International workshop on autonomous and spontaneous security (SETOP 2009) at the 14th European Symposium on Research in Computer Security (ESORICS 2009), Springer-Verlag, volume LNCS 5939, 2010. [bibtex] |
| 2009 | |
| [3] | , Specifying and Monitoring Temporal Properties in Web services Compositions, In Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), IEEE computer society, 2009. [bibtex] [doi] |
| [2] | , From Formal Access Control Policies to Runtime Enforcement Aspects, In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS), Springer, volume 5429, 2009. [bibtex] [doi] |
| 2007 | |
| [1] | , Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007. [bibtex] [doi] |
Masters Thesis
| 2005 | |
| [1] | , Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex] |
PhD Thesis
| 2011 | |
| [1] | , Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex] |