Mohamed Jmaiel

According to our database1, Mohamed Jmaiel
  • authored at least 227 papers between 1995 and 2018.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Multi-objective design exploration approach for Ravenscar real-time systems.
Real-Time Systems, 2018

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

Privacy in cloud computing environments: a survey and research challenges.
The Journal of Supercomputing, 2017

A novel analysis approach for the design and the development of context-aware applications.
Journal of Systems and Software, 2017

A semantic-based representation and analysis of monitoring data for self-adaptive systems.
Int. J. Auton. Comp., 2017

A context change detection approach for ubiquitous environments.
IJAACS, 2017

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

Reactive performance monitoring of Cloud computing environments.
Cluster Computing, 2017

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

A bigraphical multi-scale modeling methodology for system of systems.
Computers & Electrical Engineering, 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

PRIARMOR: An IaaS Solution for Low-Level Privacy Enforcement in the Cloud.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

Efficient composite event detection based on DHT protocol.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

A tool for modeling SoS architectures using bigraphs.
Proceedings of the Symposium on Applied Computing, 2017

System of systems software architecture description using the ISO/IEC/IEEE 42010 standard.
Proceedings of the Symposium on Applied Computing, 2017

A Design Guideline for Adaptation Decisions in the Autonomic Loop.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

A Hybrid Approach for Private Data Protection in the Cloud.
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

IoT-based health monitoring via LoRaWAN.
Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017

PCA-based multivariate anomaly detection in mobile healthcare applications.
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

An Adaptive Scrum Model for Developing Disease Registries.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

Tools of Epidemiologic Research Protocol Creation: A Survey.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

A Novel Analysis Procedure for Context-Aware Applications in Ubiquitous Environments: Application to a Smart Building Case Study.
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

A Utility-Based Approach for Self-Adaptive Systems: Application to a Smart Building.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

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

Development of a parser for the AADL error model annex.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016
The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA.
Service Oriented Computing and Applications, 2016

Safe and efficient runtime testing framework applied in dynamic and distributed systems.
Sci. Comput. Program., 2016

SoLDES: Service-oriented Lexical Database Exploitation System.
Research in Computing Science, 2016

Analytical decisional model for latency aware publish/subscribe systems on MANET.
Journal of Systems and Software, 2016

Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines.
IJISMD, 2016

Encoding Bigraphical Reactive Systems into Graph Transformation Systems.
Electronic Notes in Discrete Mathematics, 2016

Special issue Editorial: New technologies of distributed systems.
Concurrency and Computation: Practice and Experience, 2016

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

Re-OPSEC: Real time opportunistic scheduler framework for energy aware mobile crowdsensing.
Proceedings of the 24th International Conference on Software, 2016

EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

Efficient parallel multi-objective optimization for real-time systems software design exploration.
Proceedings of the 2016 International Symposium on Rapid System Prototyping, 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

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

OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems.
Proceedings of the International Conference on Internet of Things and Cloud Computing, 2016

An Overview of a Decision Approach for Autonomic Applications Architectural Adaptation.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

Recursive and Rolling Windows for Medical Time Series Forecasting: A Comparative Study.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

Energy/coverage quality trade-off based tasks allocation for opportunistic real time mobile crowdsensing.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Towards ODRAH: An ontology-based data reliability assessment in mobile health.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

AspectAda: An aspect oriented extension of ada for real-time systems.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

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

Time-Dependent QoS Aware Best Service Combination Selection.
Int. J. Web Service Res., 2015

Latency-aware publish/subscribe systems on MANET.
IJWMC, 2015

A comparative evaluation of state-of-the-art load and stress testing approaches.
IJCAT, 2015

Runtime testing approach of structural adaptations for dynamic and distributed systems.
IJCAT, 2015

Semantic-based approach to improve the description and the discovery of Linguistic Web Services.
Eng. Appl. of AI, 2015

Development of reconfigurable distributed embedded systems with a model-driven approach.
Concurrency and Computation: Practice and Experience, 2015

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

Context analysis approach for context aware applications deployed on pervasive environments.
EAI Endorsed Trans. Context-aware Syst. & Appl., 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

A multi-scale modeling approach for software architecture deployment.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations.
Proceedings of the Testing Software and Systems, 2015

Towards a Decision Approach for Autonomic Systems Adaptation.
Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, 2015

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

Requirement-based lexical web service generation.
Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015

Designing energy efficient Smart Buildings in ubiquitous environments.
Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015

Heuristic Based Time-Aware Service Selection Approach.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

A Semantic Driven Approach for an Automated Composition Based on Abstract Services.
Proceedings of the 12th IEEE International Conference on e-Business Engineering, 2015

Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models.
Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

Une étude de la décision pour l'adaptation autonomique des systèmes.
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

XPath translation to enhance the semantic matching of fine-grained Web service security policies.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Towards patterns-based Linguistic Web Service composition.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

From AADL Model to LNT Specification.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks.
Proceedings of the Cooperative Robots and Sensor Networks, 2014

D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing.
IJBDI, 2014

CEP4Cloud: Complex Event Processing for Self-Healing Clouds.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Analytical Decisional Model for Publish/Subscribe Systems on MANET.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Efficient Service Selection Approach with Time-Dependent QoS.
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

Q-learning-based data replication for highly dynamic distributed hash tables.
Proceedings of the 2014 International Conference and Workshop on the Network of the Future, 2014

CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing.
Proceedings of the Networked Systems - Second International Conference, 2014

Regularity of movement based approach for M2M services discovery.
Proceedings of the International Symposium on Networks, Computers and Communications, 2014

Pruning Based Service Selection Approach Under QoS and Temporal Constraints.
Proceedings of the 2014 IEEE International Conference on Web Services, 2014

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

Threshold-based context change detection for ubiquitous environments.
Proceedings of the 3rd International Conference on Context-Aware Systems and Applications, 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

A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus.
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

DAT: Dependency Analysis Tool for Service Based Business Processes.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

Greedy Flooding in Redoubtable Sensor Networks.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 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
A policy-based approach for strong mobility of composed Web services.
Service Oriented Computing and Applications, 2013

Managing Architectural Reconfiguration at Runtime.
IJWP, 2013

Towards a semantic-driven and scalable publish/subscribe framework.
IJIPT, 2013

Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurrency and Computation: Practice and Experience, 2013

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

Semantic Matching to Achieve Software Component Discovery and Composition.
Proceedings of the WEBIST 2013, 2013

WSCCT: a tool for WS-BPEL compositions conformance testing.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

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

Conformance testing for quality assurance of clustering architectures.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

Runtime testing framework for improving quality in dynamic service-based systems.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 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

Automated Significant Load Testing for WS-BPEL Compositions.
Proceedings of the Sixth IEEE International Conference on Software Testing, 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

A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes.
Proceedings of the E-Commerce and Web Technologies - 14th International Conference, 2013

Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs.
Proceedings of the Software Architecture - 7th European Conference, 2013

A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services.
Proceedings of the CLOSER 2013, 2013

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

Towards Self Healing Publish/Subscribe System on MANET.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 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

A Comprehensive Survey on Intra and Inter Organizational Agreements.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

An Ontology-Based Approach for Linguistic Web Service Description.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems.
Proceedings of the Software Engineering Research, 2012

A flexible approach for service composition using service patterns.
Proceedings of the ACM Symposium on Applied Computing, 2012

Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.
Proceedings of the Testing Software and Systems, 2012

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems.
Proceedings of the Testing Software and Systems, 2012

QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET.
Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Predictive Schemes for QoS Awareness of Publish/Subscribe Systems on MANET.
Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 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

Towards a verification approach for reconfigurable embedded systems.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Enhancing Linguistic Web Service Description with Non-functional NLP Properties.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Towards an ontology and DHT-based publish/subscribe scalable system.
Proceedings of IEEE International Conference on Communications, 2012

Design-Time Verification of Reconfigurable Real-time Embedded Systems.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Semantic matching of web services security policies.
Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

Model-Based Conformance Testing of WS-BPEL Compositions.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Conformance Testing of WS-BPEL Compositions under Various Load Conditions.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Vers une approche d'analyse et de diagnostic pour les architectures M2M autonomes et sensibles au contexte.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

2011
A survey on software checkpointing and mobility techniques in distributed systems.
Concurrency and Computation: Practice and Experience, 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

Modeling and Managing Communities of Web Service Registries.
Proceedings of the Web Information Systems and Technologies - 7th International Conference, 2011

Graph-based Management of Communities of Web Service Registries.
Proceedings of the WEBIST 2011, 2011

A Comparative Study of the Current Cloud Computing Technologies and Offers.
Proceedings of the IEEE First Symposium on Network/Cloud Computing and Applications, 2011

Semantic Matching of WS-SecurityPolicy Assertions.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

Towards a Model-Based Approach for Reconfigurable DRE Systems.
Proceedings of the Software Architecture - 5th European Conference, 2011

A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring.
Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2010
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
Journal of Systems and Software, 2010

An Integration Ontology for Components Composition.
IJWP, 2010

ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements.
IJSSOE, 2010

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

A large-scale monitoring and measurement campaign for web services-based applications.
Concurrency and Computation: Practice and Experience, 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

Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Security Mapping to Enhance Matching Fine-Grained Security Policies.
Proceedings of the Networked Digital Technologies - Second International Conference, 2010

Towards the reuse of lingware systems: a proposed approach with a practical experiment.
Proceedings of the iiWAS'2010, 2010

A Runtime Performance Analysis for Web Service-Based Applications.
Proceedings of the Current Trends in Web Engineering, 2010

Aspect-Oriented Checkpointing Approach of Composed Web Services.
Proceedings of the Current Trends in Web Engineering, 2010

Intention Driven Service Composition with Patterns.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

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

Graph grammar-based transformation for context-aware architectures supporting group communication.
Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs.
Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Using Recommendation to Limit Search Space in Web Services Discovery.
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
Dynamic security framework for mobile agent systems: specification, verification and enforcement.
IJICS, 2009

A holistic approach for access control policies: from formal specification to aspect-based enforcement.
IJICS, 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

Periodic Checkpointing for Strong Mobility of Orchestrated Web Services.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

A Secure Content-Based Publish/Subscribe Middleware.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 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

Security aware content-based publish/subscribe system.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

A collaborative distributed video indexing.
Proceedings of the ICTA 2009, 2009

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

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

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

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

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

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

Context-aware adaptation for group communication support applications with dynamic architecture
CoRR, 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 Making WSRF Based Web Services Strongly Mobile.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

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

Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.
Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

A formal security framework for mobile agent systems: Specification and verification.
Proceedings of the CRiSIS '08, 2008

Aspect-based enforcement of formal delegation policies.
Proceedings of the CRiSIS '08, 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

Electing a leader in the local computation model using mobile agents.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
ForMAAD: A formal method for agent-based application design.
Web Intelligence and Agent Systems, 2007

SEC+: an enhanced search engine for component-based software development.
ACM SIGSOFT Software Engineering Notes, 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

A Formal Approach to prevent Attacks on Mobile Agent Systems.
Proceedings of the First International Conference on Emerging Security Information, 2007

A Distributed Computational Model for Mobile Agents.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

A serialization based approach for strong mobility of shared object.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use.
Proceedings of the Human Language Technology. Challenges of the Information Society, 2007

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

A Serialisation Based Approach for Processes Strong Mobility.
Proceedings of the Distributed Applications and Interoperable Systems, 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

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

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
Towards a Formal Methodology for Designing Multi-agent Applications.
Proceedings of the Multiagent System Technologies, Third German Conference, 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

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

Towards a formal methodology for developing multi-agent applications using temporal Z.
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.
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.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 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

Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.
Proceedings of the Advances in Artificial Intelligence, 2004

Specification and Verification of Multi-Agent Applications using Temporal Z.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003
An approach to the formal specification of lingware.
Natural Language Engineering, 2003

Development of communication protocols using algebraic and temporal specifications.
Computer Networks, 2003

2002
Guest editorial.
Journal of Systems and Software, 2002

An Operational Semantics for Negotiating Agents.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002

2001
A Belief-Goal-Role Theory for Multiagent Systems.
IJPRAI, 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

Coopération et Négociation au sein des SMA : Vers une définition de Modèles Formels (poster).
Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

An Environment for Formal Specification and Verification of Lingware.
Proceedings of the Engineering of Intelligent Systems, 2001

An Environment for Formal Lingware Engineering.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
Using a Formal Approach to Evaluate Grammars.
Proceedings of the Second International Conference on Language Resources and Evaluation, 2000

A Unified Algebraic Framework for Specifying Communication Protocols.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999
A Formal Approach to Lingware Development.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems.
Proceedings of the Multi-Agent Systems: Theories, 1998

Vers l'utilisation des méthodes formelles pour le développement de linguiciels.
Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1996
Development of communication protocols with algebraic temporal specifications.
PhD thesis, 1996

Specification of communication protocols using temporal logic.
Journal of Systems and Software, 1996

1995
An algebraic-temporal specification of a CSMA/CD-protocol.
Proceedings of the Protocol Specification, 1995


  Loading...