Khalil Drira

According to our database1, Khalil Drira authored at least 229 papers between 1990 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Adapting Deep Learning models to IoT environments.
Proceedings of the 5th Conference on Cloud and Internet of Things, 2022

2021
Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2021

Software-intensive Systems-of-Systems.
Sci. Comput. Program., 2021

VNF-based network service consistent reconfiguration in multi-domain federations: A distributed approach.
J. Netw. Comput. Appl., 2021

A Cost-Effective Approach for End-to-End QoS Management in NFV-Enabled IoT Platforms.
IEEE Internet Things J., 2021

Future generation of service-oriented computing systems.
Future Gener. Comput. Syst., 2021

A semantic-enabled and context-aware monitoring system for the internet of medical things.
Expert Syst. J. Knowl. Eng., 2021

A co-training-based approach for the hierarchical multi-label classification of research papers.
Expert Syst. J. Knowl. Eng., 2021

A Semantic virtualized network functions description and discovery model.
Comput. Networks, 2021

Task Offloading in Autonomous IoT Systems using Deep Reinforcement Learning and ns3-gym.
Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021

Agile and Dynamic Virtualized Network Functions Wiring in Network Services.
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

Towards Consistent VNF Forwarding Graph Reconfiguration in Multi-domain Environments.
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020
Report of the 2nd International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2018).
ACM SIGSOFT Softw. Eng. Notes, 2020

EDR: A generic approach for the distribution of rule-based reasoning in a Cloud-Fog continuum.
Semantic Web, 2020

A Taxonomy of Supervised Learning for IDSs in SCADA Environments.
ACM Comput. Surv., 2020

New trends in adaptive smart systems, services, and architectures.
Concurr. Comput. Pract. Exp., 2020

A systematic literature review on BPMN extensions.
Bus. Process. Manag. J., 2020

Adaptive and Reconfigurable Systems and Architectures (AROSA 2020) : Summary Report.
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

Coordination Algorithm for Migration of Shared VNFs in Federated Environments.
Proceedings of the 6th IEEE Conference on Network Softwarization, 2020

Challenges of IOT Service Platforms.
Proceedings of the 7th International Conference on Internet of Things: Systems, 2020

2019
An Autonomic Cognitive Pattern for Smart IoT-Based System Manageability: Application to Comorbidity Management.
ACM Trans. Internet Techn., 2019

Experimental comparison of the diagnostic capabilities of classification and clustering algorithms for the QoS management in an autonomic IoT platform.
Serv. Oriented Comput. Appl., 2019

Least fresh first cache replacement policy for NDN-based IoT networks.
Pervasive Mob. Comput., 2019

Reasoning on the edge or in the cloud?
Internet Technol. Lett., 2019

Software Architectures for Context-Aware Smart Systems.
Inf. Softw. Technol., 2019

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

Executing bigraphical reactive systems.
Discret. Appl. Math., 2019

A BPMN Extension for Business Process Outsourcing to the Cloud.
Proceedings of the New Knowledge in Information Systems and Technologies, 2019

DOCKERANALYZER : Towards Fine Grained Resource Elasticity for Microservices-Based Applications Deployed with Docker.
Proceedings of the 20th International Conference on Parallel and Distributed Computing, 2019

Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process.
Proceedings of the Computational Science - ICCS 2019, 2019

2018
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

A performance analysis of Orchestra scheduling for time-slotted channel hopping networks.
Internet Technol. Lett., 2018

Weighted localization in mobile wireless networks.
Internet Technol. Lett., 2018

Named Data Networking: A Promising Architecture for the Internet of Things (IoT).
Int. J. Semantic Web Inf. Syst., 2018

AFIRM: Adaptive forwarding based link recovery for mobility support in NDN/IoT networks.
Future Gener. Comput. Syst., 2018

Autonomous and traffic-aware scheduling for TSCH networks.
Comput. Networks, 2018

Cache Freshness in Named Data Networking for the Internet of Things.
Comput. J., 2018

Autonomic Web Services Enhanced by Asynchronous Checkpointing.
IEEE Access, 2018

Adaptive and Reconfigurable Systems and Architectures (AROSA 2018): Summary Report.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

A Distributed Scalable Approach for Rule Processing: Computing in the Fog for the SWoT.
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Correctness by construction and style preserving reconfigurations of system of systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Towards Cooperative Semantic Computing: A Distributed Reasoning Approach for Fog-Enabled SWoT.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Enhancing Middleware-based IoT Applications through Run-Time Pluggable QoS Management Mechanisms. Application to a oneM2M compliant IoT Middleware.
Proceedings of the 9th International Conference on Ambient Systems, 2018

Anomaly Detection and Diagnosis Scheme for Mobile Health Applications.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Experiencing Low Power Wireless Links in Distribution Smart Grid Environments.
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017
Wireless Sensor Network Based Smart Grid Communications: Challenges, Protocol Optimizations, and Validation Platforms.
Wirel. Pers. Commun., 2017

A Model-Driven Methodology for the Design of Autonomic and Cognitive IoT-Based Systems: Application to Healthcare.
IEEE Trans. Emerg. Top. Comput. Intell., 2017

An M2M gateway-centric architecture for autonomic healing and optimising of machine-to-machine overlay networks.
Int. J. Ad Hoc Ubiquitous Comput., 2017

Automated and flexible composition based on abstract services for a better adaptation to user intentions.
Future Gener. Comput. Syst., 2017

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.
Comput. Electr. Eng., 2017

A bigraphical multi-scale modeling methodology for system of systems.
Comput. Electr. Eng., 2017

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

A Web-Based Knowledge Management System for Scientific Research Team.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Semantic-Aware IoT Platforms.
Proceedings of the IEEE International Conference on AI & Mobile Services, 2017

Capturing the Contributions of the Semantic Web to the IoT: A Unifying Vision.
Proceedings of the Second Workshop on Semantic Web Technologies for the Internet of Things co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

Multiscale and Multiobjective modelling: A perspective for mastering the design and operation complexity of IoT systems.
Proceedings of the 40th International Convention on Information and Communication Technology, 2017

Autonomic dynamically reconfigurable architectures for future communication systems.
Proceedings of the 9th International Conference on Management of Digital EcoSystems, 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

Producer Mobility support in Named Data Internet of Things Network.
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

How to Cache in ICN-Based IoT Environments?
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

Mining Approach for Software Architectures' Description Discovery.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
Data Services with uncertain and correlated semantics.
World Wide Web, 2016

Diameter-Constrained Overlays With Faulty Links: Equilibrium, Stability, and Upper Bounds.
IEEE Trans. Circuits Syst. II Express Briefs, 2016

Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction.
Softw. Syst. Model., 2016

Adaptive and reconfigurable software systems and architectures.
J. Syst. Softw., 2016

A GPS-less Framework for Localization and Coverage Maintenance in Wireless Sensor Networks.
KSII Trans. Internet Inf. Syst., 2016

Regular and lightweight mobility management in the HIP-based M2M overlay network.
Int. J. Auton. Adapt. Commun. Syst., 2016

An ontology driven privacy framework for collaborative working environments.
Int. J. Auton. Adapt. Commun. Syst., 2016

A collaborative methodology for tacit knowledge management: Application to scientific research.
Future Gener. Comput. Syst., 2016

Encoding Bigraphical Reactive Systems into Graph Transformation Systems.
Electron. Notes Discret. Math., 2016

Special issue Editorial: New technologies of distributed systems.
Concurr. Comput. Pract. Exp., 2016

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

Lowering Knowledge : Making Constrained Devices Semantically Interoperable.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Autonomy Through Knowledge: How IoT-O Supports the Management of a Connected Apartment.
Proceedings of the Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to, 2016

An Ontology-driven Adaptive System for the Patient Treatment Management.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Holistic link quality estimation-based routing metric for RPL networks in smart grids.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

Rôle d'une base de connaissance dans SemIoTics, un système autonome contrôlant un appartement connecté.
Proceedings of the IC 2016 : 27es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 27th French Knowledge Engineering Conference), 2016

IoT-O, a Core-Domain IoT Ontology to Represent Connected Devices Networks.
Proceedings of the Knowledge Engineering and Knowledge Management, 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 Semantic Big Data Platform for Integrating Heterogeneous Wearable Data in Healthcare.
J. Medical Syst., 2015

SARP: A dynamically readjustable period size proactive routing protocol for MANETs.
J. Comput. Syst. Sci., 2015

Latency-aware publish/subscribe systems on MANET.
Int. J. Wirel. Mob. Comput., 2015

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

Self-adaptive communication for collaborative mobile entities in ERCMS.
Int. J. Auton. Adapt. Commun. Syst., 2015

Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems.
Future Gener. Comput. Syst., 2015

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems.
ERCIM News, 2015

International conference on enabling technologies: Infrastructure for collaborative enterprises (WETICE).
Concurr. Comput. Pract. Exp., 2015

Toward semantic interoperability in oneM2M architecture.
IEEE Commun. Mag., 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

Enhanced graph rewriting systems for complex software domains (SoSyM abstract).
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Cache coherence in Machine-to-Machine Information Centric Networks.
Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015

Low-Power link quality estimation in smart grid environments.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

3rd International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015).
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Foreword: Towards Reference Architectures for Systems-of-Systems.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2015

An efficient resource naming for enabling constrained devices in SmartM2M architecture.
Proceedings of the IEEE International Conference on Industrial Technology, 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

An Approach for Multiple-Instance Based Service Composition.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
A Dynamic Random Graph Model for Diameter-Constrained Topologies in Networked Systems.
IEEE Trans. Circuits Syst. II Express Briefs, 2014

A context and application-aware framework for resource management in dynamic collaborative wireless M2M networks.
J. Netw. Comput. Appl., 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

Architecting information centric ETSI-M2M systems.
Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014

A perspective of adaptation in healthcare.
Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

An integrated framework for localization and coverage maintenance in wireless sensor networks.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014

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

Smart Metering Privacy-preserving Techniques in a Nutshell.
Proceedings of the 5th International Conference on Ambient Systems, 2014

M2M Platform with Autonomic Device Management Service.
Proceedings of the 5th International Conference on Ambient Systems, 2014

The Coverage Configuration Protocol under AT-Dist Localization.
Proceedings of the 5th International Conference on Ambient Systems, 2014

Energy Saving in WSN Using Monitoring Values Prediction.
Proceedings of the 5th International Conference on Ambient Systems, 2014

OM2M: Extensible ETSI-compliant M2M Service Platform with Self-configuration Capability.
Proceedings of the 5th International Conference on Ambient Systems, 2014

Toward Antifragile Cloud Computing Infrastructures.
Proceedings of the 5th International Conference on Ambient Systems, 2014

DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services.
Proceedings of the Web Services Foundations, 2014

2013
A Scalable Communication-Induced Checkpointing Algorithm for Distributed Systems.
IEICE Trans. Inf. Syst., 2013

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurr. Comput. Pract. Exp., 2013

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

Semantic Matching to Achieve Software Component Discovery and Composition.
Proceedings of the WEBIST 2013, 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

A model driven methodology for enabling autonomic reconfiguration of service oriented architecture.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Simultaneous mobility management in the HIP-based M2M overlay network.
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

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

Self-healing and Optimizing of the HIP-based M2M Overlay Network.
Proceedings of the 10th International Conference on Autonomic Computing, 2013

GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching.
Proceedings of the Graph-Based Representations in Pattern Recognition, 2013

Autonomic Management of the HIP-based M2M Overlay Network.
Proceedings of the 4th International Conference on Ambient Systems, 2013

New Strategies and Extensions in Weighted Clustering Algorithms for Mobile Ad Hoc Networks.
Proceedings of the 4th International Conference on Ambient Systems, 2013

SARP: Synchronous Adaptive Routing Protocol for MANETs.
Proceedings of the 4th International Conference on Ambient Systems, 2013

QoS-driven Autonomic Abilities through a Multi-homed Transport Protocol.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2012
Ontology-based collaborative framework for disaster recovery scenarios
CoRR, 2012

FADYRCOS, a semantic interoperability framework for collaborative model-based dynamic reconfiguration of networked services.
Comput. Ind., 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

Analytical Framework for QoS Aware Publish/subscribe System Deployed on MANET.
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Autonomic framework based on semantic models for self-management of ubiquitous systems.
Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012

2011
Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Adaptive Middleware Architecture for Group Communication Activities.
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

Dynamic Deployment of Collaborative Components in Service-Oriented Architectures.
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2010
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
J. Syst. Softw., 2010

An Integration Ontology for Components Composition.
Int. J. Web Portals, 2010

ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements.
Int. J. Syst. Serv. Oriented Eng., 2010

A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars.
Int. J. Auton. Comput., 2010

A large-scale monitoring and measurement campaign for web services-based applications.
Concurr. Comput. Pract. Exp., 2010

A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures.
Proceedings of the Business System Management and Engineering, 2010

A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications.
Proceedings of the Software Engineering Research, 2010

Orchestrating Safe Behavioural Adaptations of Component-Based Systems.
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A Formal Approach to Enforcing Consistency in Self-adaptive Systems.
Proceedings of the Software Architecture, 4th European Conference, 2010

Semantic Driven Self-Adaptation of Communications Applied to ERCMS.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2009
A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Experiments results and large scale measurement data for web services performance assessment.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes, 2008

Context-aware adaptation for group communication support applications with dynamic architecture
CoRR, 2008

A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities.
Comput. Commun., 2008

Introducing a cross-layer interpreter for multimedia streams.
Comput. Networks, 2008

Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Towards modelling and analysis of a coordination protocol for dynamic software adaptation.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Towards these of Models for Autonomic Network Management.
Proceedings of the Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30, 2008

A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Graphical Representations of Message Exchanges into Web Service-Based Applications.
Proceedings of the ICEIS 2008, 2008

A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications.
Proceedings of the ICEIS 2008, 2008

Model-Based QoS-Enabled Self-Healing Web Services.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Introduction to the First Workshop on QoS in Self-healing Web Services (QSWS 2008).
Proceedings of the Business Process Management Workshops, 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

2007
SEC+: an enhanced search engine for component-based software development.
ACM SIGSOFT Softw. Eng. Notes, 2007

Model-based design methods for adaptive e-learning environments.
Interact. Technol. Smart Educ., 2007

A Framework for the Dynamic Configuration of Adaptive Transport Protocols: Application to QoS Requirements.
Proceedings of the WINSYS 2007, 2007

A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Modeling Architectural Level Repair in Web Services.
Proceedings of the WEBIST 2007, 2007

Architectural Adaptability Management for Mobile Cooperative Systems.
Proceedings of the 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 2007

Reconfiguration of Web Services Architectures: A model-based approach.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.
Proceedings of the Software Architecture, First European Conference, 2007

2006
Towards Autonomous Management of QoS through Model-Driven Adaptability in Communication-Centric Systems.
Int. Trans. Syst. Sci. Appl., 2006

Using graph grammars for interaction style description: applications for service-oriented architectures.
Comput. Syst. Sci. Eng., 2006

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

SEC: a search engine for component based software development.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

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

A model-based coordinated adaptability framework for QoS management in cooperative mobile and wireless applications.
Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2006

Architecture Transformation and Refinement for Model-Driven Adaptability Management: Application to QoS Provisioning in Group Communication.
Proceedings of the Software Architecture, Third European Workshop, 2006

Maintien de la cohérence des intentions de communication dans la rédaction coopérative.
Proceedings of the CIDE.9: 9<sup>e</sup> Colloque International sur le Document Électronique, 2006

Compositional specification of event-based software architectural styles.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Graphical simulation of the dynamic evolution of the software architectures specified in Z.
Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

An Online Component Deployment System for Dynamic Collaborative Sessions.
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 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

Sharing Engineering Information and Knowledge.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

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

Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs.
, 2005

2004
A Component-Based Design Approach for Collaborative Distributed Systems.
Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004

The Internal-Local-Remote Dependency Model for Generic Coordination in Distributed Collaboration Sessions.
Proceedings of the Advanced Distributed Systems: Third International School and Symposium, 2004

Manufacturing Automation Network's Cooperative E-Space.
Proceedings of the Virtual Enterprises and Collaborative Networks, IFIP 18th World Computer Congress, TC5 / WG5.5, 2004

Finding Manufacturing Expertise Using Ontologies and Cooperative Agents.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.
Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'04), 2004

Abstract Channels as Connectors for Software Components in Group Communication Services.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004

2003
Introduction.
J. Supercomput., 2003

A Logical Model for Coordination Rule Classes in Collaborative Sessions.
Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

2002
Formal design and development of a Corba-based application for cooperative HTML group editing support.
J. Syst. Softw., 2002

A multi-modal coordination service model for cooperative distributed systems engineering.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

A design framework for collaborative authoring environments applied to Web using SEdit.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Supporting distributed experts in e-meetings for synchronous collaboration.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Managing Dependencies in Dynamic Collaborations using Coordination Diagrams.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002

2001
A Design Methodology Applied to Distance Learning Support Software.
Interact. Learn. Environ., 2001

An integrated approach to coordination description in distributed multimedia applications.
Integr. Comput. Aided Eng., 2001

Testability analysis in communicating systems.
Comput. Networks, 2001

A Layered Design Model for Knowledge and Information Sharing Cooperative Systems.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Cooperative Systems for Information Sharing and Exchange.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

Services, Methodologies and Platforms for Cooperative Environments.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Causal Broadcast Protocol for Very Large Group Communication Systems.
Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Introduction.
Proceedings of the Cooperative Environments for Distributed Systems Engineering, 2001

Product Data and Workflow Management.
Proceedings of the Cooperative Environments for Distributed Systems Engineering, 2001

2000
A Reference Design Model for Group Communication Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

A Multi-Paradigm Layered Architecture for Synchronous Distance Learning.
Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

A Cooperation Service for CORBA Objects. From the Model to the Applications.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1995
Quantified reduced views of state graphs using Markovian and timed observational equivalence.
Proceedings of the Protocol Specification, 1995

On the definition and representation of the quality of service for multimedia systems.
Proceedings of the High Performance Networking VI, 1995

1994
Distributed Coin Tossing.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993
Testability of a Communicating System Through an Environment.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

The Refusal Graph: a Tradeoff between Verification and Test.
Proceedings of the Protocol Test Systems, 1993

Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.
Proceedings of the Protocol Specification, 1993

A Formal Assessment of Synchronous Testability for Communicating Systems.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Verifying Communication Protocols Via Testing-Projection.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Characterizing and Ordering Errors Detected by Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992

1990
A Bus Instrumentation Protocol Specified in LOTOS.
Proceedings of the Formal Description Techniques, 1990


  Loading...