Slim Kallel

According to our database1, Slim Kallel authored at least 49 papers between 2006 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Specification and automatic checking of architecture constraints on object oriented programs.
Information & Software Technology, 2018

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017
An approach based on runtime models for developing dynamically adaptive systems.
Future Generation Comp. Syst., 2017

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.
Computers & Electrical Engineering, 2017

AROSA 2017: Summary Report.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.
Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Adaptive and reconfigurable software systems and architectures.
Journal of Systems and Software, 2016

Arosa Track Report.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Time patterns for cyber-physical systems.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

2015
The temporal perspective in business process modeling: a survey and research challenges.
Service Oriented Computing and Applications, 2015

Enabling Technologies: Infrastructure for Collaborative Enterprises.
Comput. J., 2015

AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

2014
Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Toward a Verification of Time-Centric Business Process Models.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Collaborative Process for Developing Secure Component Based Applications.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

An Approach for Security Patterns Application in Component Based Models.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Monitoring of Quality of Service in Dynamically Adaptive Systems.
Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014

Middleware for Dynamically Adaptive Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013
Managing Architectural Reconfiguration at Runtime.
IJWP, 2013

AO4AADL: Aspect oriented extension for AADL.
Central Europ. J. Computer Science, 2013

AROSA Track Report.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

An Engineering Process for Security Patterns Application in Component Based Models.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Runtime Adaptation of Component Based Systems.
Proceedings of the Networked Systems - First International Conference, 2013

Toward a Time-centric modeling of Business Processes in BPMN 2.0.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

An Aspect-Oriented Approach to Enforce Security Properties in Business Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

A Survey on Time-aware Business Process Modeling.
Proceedings of the ICEIS 2013, 2013

Time-Aware Automatic Process View Generation.
Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012
Modeling and enforcing invariants of dynamic software architectures.
Software and System Modeling, 2012

AROSA Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modeling Secure Mobile Agent Systems.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

MDA-Based Approach for Implementing Secure Mobile Agent Systems.
Proceedings of the Agent-Oriented Software Engineering XIII - 13th International Workshop, 2012

2011
Specifying and monitoring non-functional properties.
PhD thesis, 2011

2010
Toward an Aspect Oriented ADL for Embedded Systems.
Proceedings of the Software Architecture, 4th European Conference, 2010

2009
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
IJICS, 2009

From Formal Access Control Policies to Runtime Enforcement Aspects.
Proceedings of the Engineering Secure Software and Systems, 2009

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

Specifying and Monitoring Temporal Properties in Web Services Compositions.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008
Using Aspects for Enforcing Formal Architectural Invariants.
Electr. Notes Theor. Comput. Sci., 2008

Aspect-based enforcement of formal delegation policies.
Proceedings of the CRiSIS '08, 2008

2007
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
ForMAAD Method: An Experimental Design for Air Traffic Control.
ITSSA, 2006


  Loading...