DBLP RSS Google Scholar

Refereed Articles
2016
[10] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi]
[9] Slim Kallel, Ismail Bouassida Rodriguez, Khalil Drira, Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex]
2015
[8] Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[7] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [pdf] [doi]
2013
[6] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi]
[5] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi]
2012
[4] Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel, Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi]
2009
[3] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe, 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] Slim Kallel, Anis Charfi, Mohamed Jmaiel, Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi]
2006
[1] Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel, ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex] [doi]
Refereed Conference Papers
2017
[26] Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem, 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]
2016
[25] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, 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] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi]
[23] Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, and Mohamed Jmaiel., 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] Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, 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] [pdf] [doi]
2014
[21] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, 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] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, 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] Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [pdf] [doi]
[18] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex]
[17] Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, 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] Rahma Bouaziz Kammoun, Slim Kallel, Bernad Coulette, 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] Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz, 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] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex]
[13] Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez, AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[12] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, 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] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex]
[10] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex]
[9] Rahma Bouaziz, Slim Kallel, Bernard Coulette, 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] Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem, 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] Mohamed Jmaiel, Slim Kallel, 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] Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem, 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] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, 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] Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem, 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] Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel, 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] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose, 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] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, 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] Slim Kallel, 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] Slim Kallel, Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex] [pdf]