Mohamed Hadj Kacem

According to our database1, Mohamed Hadj Kacem authored at least 39 papers between 2005 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A formal approach to specify and verify Internet of Things architecture.
Internet Things, December, 2023

Internet of Things design patterns modeling proven correct by construction: Application to aged care solution.
Future Gener. Comput. Syst., November, 2023

2022
A model transformation approach for multiscale modeling of software architectures applied to smart cities.
Concurr. Comput. Pract. Exp., 2022

Automated Transformation of IoT Systems Models into Event-B Specifications.
Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

Modeling IoT Design Patterns Proven Correct by Construction.
Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients.
Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

2021
MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems.
IET Softw., 2021

A Meta-Modeling Approach to Describe Internet of Things Architectures.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

2020
Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

2019
Feature models as service contracts in service oriented architecture.
Int. J. Serv. Technol. Manag., 2019

2018
A refinement-based approach for specifying multi-scale software architectures: application to SoS.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
Iterative multi-scale modeling of software-intensive systems of systems architectures.
Proceedings of the Symposium on Applied Computing, 2017

Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture.
Proceedings of the Enterprise Information Systems - 19th International Conference, 2017

Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture.
Proceedings of the ICEIS 2017, 2017

Transformation of compound SOA Design Patterns.
Proceedings of the 8th International Conference on Ambient Systems, 2017

Model consistency for multi-scale architectures applied to smart systems.
Proceedings of the 8th International Conference on Ambient Systems, 2017

2016
Multiple Software Product Lines for Service Oriented Architecture.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Software Architectures: Multi-Scale Refinement.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Multi-scale modeling for software-intensive systems-of-systems architectures.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

2015
A refinement-based approach for building valid SOA design patterns.
Int. J. Cloud Comput., 2015

An Approach for SOA Design Patterns Composition.
Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Towards a multi-scale modeling approach for software architectures.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A UML-based Approach for Multi-scale Software Architectures.
Proceedings of the ICEIS 2015, 2015

A formal approach for SOA design patterns composition.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2014
A multi-scale modelling perspective for SoS architectures.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

Feature model for modeling compound SOA design patterns.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

2013
An Approach for Modeling and Formalizing SOA Design Patterns.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Towards an approach for modeling and formalizing SOA design patterns with Event-B.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.
Proceedings of the ICEIS 2013, 2013

Building Correct by Construction SOA Design Patterns: Modeling and Refinement.
Proceedings of the Software Architecture - 7th European Conference, 2013

2012
Modeling and enforcing invariants of dynamic software architectures.
Softw. Syst. Model., 2012

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2008
Modélisation des applications distribuées à architecture dynamique : Conception et Validation. (Modeling of distributed applications in dynamic architecture: Design and Validation).
PhD thesis, 2008

A UML rule-based approach for describing and checking dynamic software architectures.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2006
An UML-Based Approach for Validation of Software Architecture Descriptions.
Proceedings of the Trends in Enterprise Application Architecture, 2006

Describing dynamic software architectures using an extended UML model.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005
Using UML2.0 and GG for Describing the Dynamic of Software Architectures.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.
Proceedings of the ICEIS 2005, 2005

Towards a UML profile for the description of dynamic software architectures.
Proceedings of the Component-Oriented Enterprise Applications, 2005


  Loading...