Ahmed Hadj Kacem

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

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients.

[BibT_eX]

[DOI]

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

Annotation Systems in the Medical Domain: A Literature Review.

[BibT_eX]

[DOI]

Zayneb Mannai

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

Towards a Secure Cross-Blockchain Smart Contract Architecture.

[BibT_eX]

[DOI]

Rawya Mars

Saoussen Cheikhrouhou

Mohamed Sellami

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

Special issue on risk and security of smart systems.

[BibT_eX]

[DOI]

Frédéric Cuppens

Nora Boulahia-Cuppens

Lotfi Ben Othmane

J. Inf. Secur. Appl., 2021

Educational Recommender System based on Learner's Annotative Activity.

[BibT_eX]

[DOI]

Int. J. Emerg. Technol. Learn., 2021

Study of Healthcare Annotation Systems.

[BibT_eX]

[DOI]

Int. J. E Health Medical Commun., 2021

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems.

[BibT_eX]

[DOI]

IET Softw., 2021

A Meta-Modeling Approach to Describe Internet of Things Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

A persuasive system to improve physical activities of older adults.

[BibT_eX]

[DOI]

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

High-Level Approach for the Reconfiguration of Distributed Algorithms in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2020

Ensuring the correctness of adaptive business processes: a systematic literature review.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2020

A comprehensive survey on modeling of cyber-physical systems.

[BibT_eX]

[DOI]

Imen Graja

Nawal Guermouche

Saoussen Cheikhrouhou

Concurr. Comput. Pract. Exp., 2020

Assistance of Student by Web Services based on Annotations.

[BibT_eX]

[DOI]

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

Web-based Applications and Services of Annotation in Electronic Commerce.

[BibT_eX]

[DOI]

Nesrine Charradi

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

Study of Healthcare Professionals' Interaction in the Patient Records Based on Annotations.

[BibT_eX]

[DOI]

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Serv. Technol. Manag., 2019

Accountability management for multi-tenant cloud services.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2019

Modelling and verifying time-aware processes for cyber-physical environments.

[BibT_eX]

[DOI]

Imen Graja

Nawal Guermouche

Saoussen Cheikhrouhou

IET Softw., 2019

A Study of the Forwarding Blackhole phenomenon during Software-Defined Network Updates.

[BibT_eX]

[DOI]

Amine Guidara

Lil María Rodríguez-Henríquez

Proceedings of the 6th International Conference on Software Defined Systems, 2019

Formal Verification approaches of Self-adaptive Systems: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Energy Efficient Handshake Algorithm for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing for Emerging Smart Networks, 2019

An Annotation Model for Patient Record.

[BibT_eX]

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

Specification and automatic checking of architecture constraints on object oriented programs.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Semantic Web Services Discovery: A Survey and Research Challenges.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2018

Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2018

Exact and heuristic MapReduce scheduling algorithms for cloud federation.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2018

Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Elastic Multi-Tenant Business Process Based on Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

A refinement-based approach for specifying multi-scale software architectures: application to SoS.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Efficient distribution of mapreduce jobs for maximizing profit on federated cloud.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Formalizing compound MAPE patterns for decentralized control in self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Geo-Distributed BigData Processing for Maximizing Profit in Federated Clouds Environment.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

Preserving the Correctness of Dynamic Workflows within a Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Translation of UML Models for Self-adaptive Systems into Event-B Specifications.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems Design and Applications, 2018

An Approach of Recommending Personalized Web Services through Annotations in Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, 2018

Study of Annotations in e-health Domain.

[BibT_eX]

[DOI]

Proceedings of the Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living, 2018

Optimal Evidence Collection for Accountability in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on e-Business Engineering, 2018

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, 2018

Distributed Computations in Wireless Sensor Networks by Local Interactions.

[BibT_eX]

[DOI]

Proceedings of the Ad-hoc, Mobile, and Wireless Networks, 2018

2017

Dealing with structural changes on provisioning resources for deadline-constrained workflow.

[BibT_eX]

[DOI]

J. Supercomput., 2017

Generating reusable, searchable and executable "architecture constraints as services".

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2017

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents.

[BibT_eX]

[DOI]

Mouna Ktari

Mohamed Mosbah

Int. J. Space Based Situated Comput., 2017

An Evaluative Review and Research Challenges of the Simulation in Cloud Environment.

[BibT_eX]

[DOI]

Int. J. Softw. Innov., 2017

Recognition of Learner's Personality Traits through Digital Annotations in Distance Learning.

[BibT_eX]

[DOI]

Int. J. Distance Educ. Technol., 2017

Proving Distributed Coloring of Forests in Dynamic Networks.

[BibT_eX]

[DOI]

Computación y Sistemas, 2017

Computing of Learner's Personality Traits Based on Digital Annotations.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Educ., 2017

rMatcher: A Tool for Semantic Web Services Discovery & Publication.

[BibT_eX]

[DOI]

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

Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.

[BibT_eX]

[DOI]

Proceedings of the SCSS 2017, 2017

Docker2RDF: Lifting the Docker Registry Hub into RDF.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE World Congress on Services, 2017

CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

Iterative multi-scale modeling of software-intensive systems of systems architectures.

[BibT_eX]

[DOI]

Ilhem Khlif

Proceedings of the Symposium on Applied Computing, 2017

Designing Compound MAPE Patterns for Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems Design and Applications, 2017

Algorithms for Finding Maximal and Maximum Cliques: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems Design and Applications, 2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2017, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Transformation of compound SOA Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Ambient Systems, 2017

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations.

[BibT_eX]

[DOI]

Mouna Ktari

Mohamed Mosbah

Proceedings of the 8th International Conference on Ambient Systems, 2017

Model consistency for multi-scale architectures applied to smart systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Ambient Systems, 2017

From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017

A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

Cost-Efficient Distributed MapReduce Job Scheduling across Cloud Federation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

Design and timed verification of self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

A correct-by-construction approach for proving distributed algorithms in spanning trees.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

Simulation tools for cloud computing: A survey and comparative study.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2016

An efficient validation approach for quasi-synchronous checkpointing oriented to distributed diagnosability.

[BibT_eX]

[DOI]

Cédric Eichler

Alberto Calixto Simon

J. Syst. Softw., 2016

Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview.

[BibT_eX]

[DOI]

Int. J. Emerg. Technol. Learn., 2016

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2016

Special issue Editorial: New technologies of distributed systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

Multiple Software Product Lines for Service Oriented Architecture.

[BibT_eX]

[DOI]

Akram Kamoun

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

A Novel Approach for Semantic Web Service Discovery.

[BibT_eX]

[DOI]

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

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs.

[BibT_eX]

[DOI]

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

A correct by construction approach for modeling and formalizing self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Modeling and verifying self-adaptive systems: A refinement approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Software Architectures: Multi-Scale Refinement.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

"i-Read": A Collaborative Learning Environment to Support Students with Low Reading Abilities.

[BibT_eX]

[DOI]

Nizar Omheni

Proceedings of the Intelligent Tutoring Systems - 13th International Conference, 2016

Time patterns for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Multi-scale modeling for software-intensive systems-of-systems architectures.

[BibT_eX]

[DOI]

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

2015

A refinement-based approach for building valid SOA design patterns.

[BibT_eX]

[DOI]

Int. J. Cloud Comput., 2015

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.

[BibT_eX]

[DOI]

Sirine Rebai

Mohamed Karaa

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Automatic Recognition of Personality from Digital Annotations.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2015, 2015

An Approach for SOA Design Patterns Composition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 2015

Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 2015

Towards a multi-scale modeling approach for software architectures.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

A UML-based Approach for Multi-scale Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2015, 2015

Controlling Elasticity Dependencies for Multi-tenant Business Process.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

Analyzing Multi-tenant Cloud Services' Accountability.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

An Interactive Annotation System to Support the Learner with Web Services Assistance.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Automatic Translation of Architecture Constraint Specifications into Components.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 9th European Conference, 2015

Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture.

[BibT_eX]

[DOI]

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

A formal approach for SOA design patterns composition.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

A formal pattern for dynamic networks through evolving graphs.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

An Approach for Multiple-Instance Based Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

A Provisioning Approach of Cloud Resources for Dynamic Workflows.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

A service-oriented architecture (SOA) framework for choreography verification.

[BibT_eX]

[DOI]

Sirine Rebai

Mohamed Karaa

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services.

[BibT_eX]

[DOI]

Int. J. Metadata Semant. Ontologies, 2014

A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems.

[BibT_eX]

[DOI]

Cédric Eichler

Alberto Calixto Simon

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Enhancing Proofs of Local Computations through Formal Event-B Modularization.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Prediction of Human Personality Traits From Annotation Activities.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2014, 2014

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Interoperability of healthcare information systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Networks, Computers and Communications, 2014

A Pattern based Modelling for Self-organizing Multi-agent Systems with <i>Event-B</i>.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties.

[BibT_eX]

[DOI]

Imen Graja

Imen Loulou

Proceedings of the ENASE 2014, 2014

Workflow Scheduling in Cloud Computing: A Survey.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

A multi-scale modelling perspective for SoS architectures.

[BibT_eX]

[DOI]

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Multi-tenant Services Monitoring for Accountability in Cloud Computing.

[BibT_eX]

[DOI]

Fatma Masmoudi

Monia Loulou

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014

Energy Saving in WSN Using Monitoring Values Prediction.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Ambient Systems, 2014

Towards a Multi-tenancy Aware Cloud Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

Feature model for modeling compound SOA design patterns.

[BibT_eX]

[DOI]

Akram Kamoun

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

The annotation: a track of reader's personality traits on paper.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM Southeast Regional Conference, Kennesaw, GA, USA, March 28, 2014

2013

A Formal Approach for the Validation of Web Service Orchestrations.

[BibT_eX]

[DOI]

Int. J. Web Portals, 2013

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2013

An Approach of Assistance of Learner's Annotative Activity through Web Services.

[BibT_eX]

[DOI]

Aust. J. Intell. Inf. Process. Syst., 2013

An Approach for Modeling and Formalizing SOA Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Annotative Activity as a Potential Source of Web Service Invocation.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2013, 2013

Towards an approach for modeling and formalizing SOA design patterns with Event-B.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2013, 2013

Building Correct by Construction SOA Design Patterns: Modeling and Refinement.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 7th European Conference, 2013

Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing.

[BibT_eX]

Proceedings of the CLOSER 2013, 2013

2012

A formal approach to model and verify the behaviour of publish/subscribe architectural style.

[BibT_eX]

[DOI]

Imen Loulou

Int. J. Inf. Technol. Commun. Convergence, 2012

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

BpelVT: A Tool for Formal Validation of Web Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration.

[BibT_eX]

[DOI]

Sirine Rebai

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modeling Secure Mobile Agent Systems.

[BibT_eX]

[DOI]

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

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Vers une architecture d'auto-réparation sur le Cloud Computing.

[BibT_eX]

[DOI]

Faten Khemakhem

Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

MDA-Based Approach for Implementing Secure Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering XIII - 13th International Workshop, 2012

2011

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.

[BibT_eX]

Ikbel Krichen

Imen Loulou

Proceedings of the ICSOFT 2011, 2011

2010

P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Orchestrating Safe Behavioural Adaptations of Component-Based Systems.

[BibT_eX]

[DOI]

Najla Hadj Kacem

Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A Formal Approach to Enforcing Consistency in Self-adaptive Systems.

[BibT_eX]

[DOI]

Najla Hadj Kacem

Proceedings of the Software Architecture, 4th European Conference, 2010

$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design.

[BibT_eX]

[DOI]

Zeineb Graja

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009

RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2009

2008

Towards modelling and analysis of a coordination protocol for dynamic software adaptation.

[BibT_eX]

[DOI]

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

A formal security framework for mobile agent systems: Specification and verification.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS '08, 2008

Electing a leader in the local computation model using mobile agents.

[BibT_eX]

[DOI]

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

ForMAAD: A formal method for agent-based application design.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2007

A Formal Approach to prevent Attacks on Mobile Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Emerging Security Information, 2007

A Distributed Computational Model for Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Conference, 2007

2006

ForMAAD Method: An Experimental Design for Air Traffic Control.

[BibT_eX]

Int. Trans. Syst. Sci. Appl., 2006

An UML-Based Approach for Validation of Software Architecture Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Trends in Enterprise Application Architecture, 2006

Describing dynamic software architectures using an extended UML model.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Compositional specification of event-based software architectural styles.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Towards a Formal Methodology for Designing Multi-agent Applications.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Using UML2.0 and GG for Describing the Dynamic of Software Architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ICEIS 2005, 2005

Towards a UML profile for the description of dynamic software architectures.

[BibT_eX]

[DOI]

Mohammed Nadhmi Miladi

Proceedings of the Component-Oriented Enterprise Applications, 2005

Towards a formal methodology for developing multi-agent applications using temporal Z.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A formal model for mobile agent systems using Z.

[BibT_eX]

[DOI]

Hany Loulou

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Specification and Design of Multi-agent Applications Using Temporal Z.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'04), 2004

Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.

[BibT_eX]

[DOI]

Monia Loulou

Proceedings of the Advances in Artificial Intelligence, 2004

Specification and Verification of Multi-Agent Applications using Temporal Z.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

Apport des approches agent pour l'analyse syntaxique de l'arabe.

[BibT_eX]

[DOI]

Chafik Aloulou

Abdelmajid Ben Hamadou

Lamia Hadrich Belguith

Tech. Sci. Informatiques, 2003

Implémentation du système MASPAR selon une approche multi-agent.

[BibT_eX]

[DOI]

Chafik Aloulou

Lamia Hadrich Belguith

Souha Hammami Mezghani

Proceedings of the Eighth International Conference on Parsing Technologies, 2003

2002

An Operational Semantics for Negotiating Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002

2001

Cooperative Systems for Information Sharing and Exchange.

[BibT_eX]

[DOI]

Abdelmajid Ben Hamadou

Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster).

[BibT_eX]

Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

1993

A Software Architecture for Cooperative Knowledge Based Systems.

[BibT_eX]