The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Slim Kallel" ( http://dblp.L3S.de/Authors/Slim_Kallel )

URL (Homepage):  http://www.redcad.org/members/kallel/  Author page on DBLP  Author page in RDF  Community of Slim Kallel in ASPL-2

Publication years (Num. hits)
2006-2013 (24) 2014-2016 (16) 2017-2019 (16)
Publication types (Num. hits)
article(14) inproceedings(41) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 57 publication records. Showing 56 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem Modelling and verifying time-aware processes for cyber-physical environments. Search on Bibsonomy IET Software The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul A SAT-Based Formal Approach for Verifying Business Process Configuration. Search on Bibsonomy Innovate-Data The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul A Model-based Approach for the Modeling and the Verification of Railway Signaling System. Search on Bibsonomy ENASE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fairouz Fakhfakh, Ahemd Neji, Saoussen Cheikhrouhou, Slim Kallel Optimizing the Performance of Timed-Constrained Business Processes in Cloud-Fog Environment. Search on Bibsonomy MEDI Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zakaria Maamar, Noura Faci, Slim Kallel, Mohamed Sellami, Emir Ugljanin Software agents meet internet of things. Search on Bibsonomy Internet Technol. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Hadj Kacem, Christophe Dony Specification and automatic checking of architecture constraints on object oriented programs. Search on Bibsonomy Information & Software Technology The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Nesrine Chabouh, Slim Kallel, Zakaria Maamar Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets. Search on Bibsonomy MEDI Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. Search on Bibsonomy AINA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Khalil Drira, Mohamed Jmaiel Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems. Search on Bibsonomy Computers & Electrical Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Mohamed Jmaiel An approach based on runtime models for developing dynamically adaptive systems. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem Verification of the Consistency of Time-Aware Cyber-Physical Processes. Search on Bibsonomy ICSOC Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. Search on Bibsonomy CCNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem Modeling and verification of temporal properties in cyber-physical systems. Search on Bibsonomy CCNC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ismael Bouassida Rodriguez, Slim Kallel, Mohamed Jmaiel, Khalil Drira AROSA 2017: Summary Report. Search on Bibsonomy WETICE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. Search on Bibsonomy SCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Ismael Bouassida Rodriguez, Khalil Drira Adaptive and reconfigurable software systems and architectures. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. Search on Bibsonomy OTM Conferences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem Time patterns for cyber-physical systems. Search on Bibsonomy ISCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. Search on Bibsonomy WETICE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Khalil Drira, Mohamed Jmaiel Arosa Track Report. Search on Bibsonomy WETICE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel The temporal perspective in business process modeling: a survey and research challenges. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Mohamed Jmaiel, Sumitra Reddy Enabling Technologies: Infrastructure for Collaborative Enterprises. Search on Bibsonomy Comput. J. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. Search on Bibsonomy WETICE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes. Search on Bibsonomy ICSOC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Mohamed Jmaiel Middleware for Dynamically Adaptive Systems. Search on Bibsonomy ARCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel Monitoring of Quality of Service in Dynamically Adaptive Systems. Search on Bibsonomy ICAIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahma Bouaziz 0001, Slim Kallel, Bernard Coulette An Approach for Security Patterns Application in Component Based Models. Search on Bibsonomy ICCSA (5) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). Search on Bibsonomy WETICE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel Toward a Verification of Time-Centric Business Process Models. Search on Bibsonomy WETICE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rahma Bouaziz 0001, Slim Kallel, Bernard Coulette A Collaborative Process for Developing Secure Component Based Applications. Search on Bibsonomy WETICE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. Search on Bibsonomy IEEE SCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Mohamed Jmaiel Managing Architectural Reconfiguration at Runtime. Search on Bibsonomy IJWP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel AO4AADL: Aspect oriented extension for AADL. Search on Bibsonomy Central Europ. J. Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz An Aspect-Oriented Approach to Enforce Security Properties in Business Processes. Search on Bibsonomy ICSOC Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Mohamed Jmaiel Runtime Adaptation of Component Based Systems. Search on Bibsonomy NETYS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel Time-Aware Automatic Process View Generation. Search on Bibsonomy ICEBE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sihem Loukil, Slim Kallel, Mohamed Jmaiel Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez AROSA Track Report. Search on Bibsonomy WETICE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rahma Bouaziz 0001, Slim Kallel, Bernard Coulette An Engineering Process for Security Patterns Application in Component Based Models. Search on Bibsonomy WETICE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel Toward a Time-centric modeling of Business Processes in BPMN 2.0. Search on Bibsonomy iiWAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel A Survey on Time-aware Business Process Modeling. Search on Bibsonomy ICEIS (3) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel Modeling and enforcing invariants of dynamic software architectures. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohamed Jmaiel, Slim Kallel AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures. Search on Bibsonomy WETICE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem Modeling Secure Mobile Agent Systems. Search on Bibsonomy KES-AMSTA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem MDA-Based Approach for Implementing Secure Mobile Agent Systems. Search on Bibsonomy AOSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Slim Kallel Specifying and monitoring non-functional properties. Search on Bibsonomy 2011   RDF
1Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel Toward an Aspect Oriented ADL for Embedded Systems. Search on Bibsonomy ECSA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe A holistic approach for access control policies: from formal specification to aspect-based enforcement. Search on Bibsonomy IJICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel Specifying and Monitoring Temporal Properties in Web Services Compositions. Search on Bibsonomy ECOWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. Search on Bibsonomy DPM/SETOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose From Formal Access Control Policies to Runtime Enforcement Aspects. Search on Bibsonomy ESSoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Mohamed Jmaiel Using Aspects for Enforcing Formal Architectural Invariants. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel Aspect-based enforcement of formal delegation policies. Search on Bibsonomy CRiSIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel ForMAAD Method: An Experimental Design for Air Traffic Control. Search on Bibsonomy ITSSA The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license