Mohamed Jmaiel
Orcid: 0000-0002-2664-0204Affiliations:
- University of Sfax, ReDCAD Laboratory, Tunisia
- Technical University of Berlin, Germany (PhD 1996)
According to our database1,
Mohamed Jmaiel
authored at least 302 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on redcad.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
An efficient energy saving scheme using reinforcement learning for 5G and beyond in H-CRAN.
Ad Hoc Networks, March, 2024
Comput. J., February, 2024
LIDL4Oliv: A Lightweight Incremental Deep Learning Model for Classifying Olive Diseases in Images.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
2023
J. Supercomput., May, 2023
Serv. Oriented Comput. Appl., March, 2023
An Efficient Energy-Saving Scheme Using Genetic Algorithm for 5G Heterogeneous Networks.
IEEE Syst. J., March, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
Proceedings of the IEEE Symposium on Computers and Communications, 2023
Proceedings of the IEEE Symposium on Computers and Communications, 2023
Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
2022
NovidChain: Blockchain-based privacy-preserving platform for COVID-19 test/vaccine certificates.
Softw. Pract. Exp., 2022
Accountable privacy preserving attribute-based access control for cloud services enforced using blockchain.
Int. J. Inf. Sec., 2022
EPMA: Elastic Platform for Microservices-based Applications: Towards Optimal Resource Elasticity.
J. Grid Comput., 2022
Masking for better discovery: Weakly supervised complementary body regions mining for person re-identification.
Expert Syst. Appl., 2022
Expert Syst. Appl., 2022
Disentangling temporal and amplitude variations in ECG synthesis using anchored GANs.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
A Blockchain-Based Self-Sovereign Identity Approach for Inter-Organizational Business Processes.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022
Virtual Private Network Blockchain-based Dynamic Access Control Solution for Inter-organisational Large Scale IoT Networks.
Proceedings of the Risks and Security of Internet and Systems, 2022
Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
Limitations of static autonomous scheduling for TSCH protocol and advances in adaptive scheduling.
Proceedings of the 12th IEEE Annual Computing and Communication Workshop and Conference, 2022
Proceedings of the Advanced Information Networking and Applications, 2022
A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning.
Proceedings of the 19th IEEE/ACS International Conference on Computer Systems and Applications, 2022
2021
A model-based approach for multi-level privacy policies derivation for cloud services.
Int. J. Secur. Networks, 2021
A co-training-based approach for the hierarchical multi-label classification of research papers.
Expert Syst. J. Knowl. Eng., 2021
From generating process views over inter-organizational business processes to achieving their temporal consistency.
Computing, 2021
Comprehensive survey on self-organizing cellular network approaches applied to 5G networks.
Comput. Networks, 2021
Proceedings of the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2021
TUNisia-Italy Cross-Border Environment Net platform for emergency response (NETTUNIT): project presentation and early results.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021
Temporal Constraints in Smart Contract-Based Process Execution: A Case Study of Organ Transfer by Healthcare Delivery Drone.
Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021
Connected Medical Kiosks to Counter COVID-19: Needs, Architecture & Design Guidelines.
Proceedings of the 17th International Wireless Communications and Mobile Computing, 2021
A Multi-view Active Learning Approach for the Hierarchical Multi-label Classification of Research Papers.
Proceedings of the Advanced Information Networking and Applications, 2021
2020
Q-Rank: Reinforcement Learning for Recommending Algorithms to Predict Drug Sensitivity to Cancer Therapy.
IEEE J. Biomed. Health Informatics, 2020
Int. J. Softw. Tools Technol. Transf., 2020
Time-aware selection approach for service composition based on pruning and improvement techniques.
Softw. Qual. J., 2020
Toward a correct and optimal time-aware cloud resource allocation to business processes.
Future Gener. Comput. Syst., 2020
AUDIT: AnomaloUs data Detection and Isolation approach for mobile healThcare systems.
Expert Syst. J. Knowl. Eng., 2020
Concurr. Comput. Pract. Exp., 2020
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020
Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020
Fusing Local and Global Features for Person Re-identification Using Multi-stream Deep Neural Networks.
Proceedings of the Pattern Recognition and Artificial Intelligence, 2020
Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach.
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020
Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020
2019
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric.
Sci. Comput. Program., 2019
An overview of a novel analysis approach for enhancing context awareness in smart environments.
Inf. Softw. Technol., 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
Proceedings of the How AI Impacts Urban Living and Public Health, 2019
Proceedings of the How AI Impacts Urban Living and Public Health, 2019
Improving Person Re-identification by Background Subtraction Using Two-Stream Convolutional Networks.
Proceedings of the Image Analysis and Recognition - 16th International Conference, 2019
Proceedings of the Risks and Security of Internet and Systems, 2019
2018
Real Time Syst., 2018
A performance analysis of Orchestra scheduling for time-slotted channel hopping networks.
Internet Technol. Lett., 2018
Int. J. Auton. Adapt. Commun. Syst., 2018
Real-time and energy aware opportunistic mobile crowdsensing framework based on people's connectivity habits.
Comput. Networks, 2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
An adaptive neuro-fuzzy inference system for improving data quality in disease registries.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
A semantic approach for constructing valid composition scenarios of linguistic Web services.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018
Proceedings of the Enterprise Information Systems - 20th International Conference, 2018
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
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
J. Supercomput., 2017
A novel analysis approach for the design and the development of context-aware applications.
J. Syst. Softw., 2017
A semantic-based representation and analysis of monitoring data for self-adaptive systems.
Int. J. Auton. Comput., 2017
Int. J. Auton. Adapt. Commun. Syst., 2017
Future Gener. Comput. Syst., 2017
Clust. Comput., 2017
Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems.
Comput. Electr. Eng., 2017
Comput. Electr. Eng., 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017
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
Proceedings of the Software Engineering Research, 2017
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017
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
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017
Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017
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
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017
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.
Serv. Oriented Comput. Appl., 2016
Safe and efficient runtime testing framework applied in dynamic and distributed systems.
Sci. Comput. Program., 2016
Res. Comput. Sci., 2016
J. Syst. Softw., 2016
Web Services Description and Discovery for Mobile Crowdsensing: Survey and Future Guidelines.
Int. J. Inf. Syst. Model. Des., 2016
Electron. Notes Discret. Math., 2016
Concurr. Comput. Pract. Exp., 2016
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
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016
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
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
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.
Serv. Oriented Comput. Appl., 2015
Int. J. Web Serv. Res., 2015
Int. J. Comput. Appl. Technol., 2015
Runtime testing approach of structural adaptations for dynamic and distributed systems.
Int. J. Comput. Appl. Technol., 2015
Semantic-based approach to improve the description and the discovery of Linguistic Web Services.
Eng. Appl. Artif. Intell., 2015
Development of reconfigurable distributed embedded systems with a model-driven approach.
Concurr. Comput. Pract. Exp., 2015
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
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Testing Software and Systems, 2015
Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, 2015
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015
Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015
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
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
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
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
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015
2014
Proceedings of the Cooperative Robots and Sensor Networks, 2014
D-CEP4CMA: a dynamic architecture for cloud performance monitoring and analysis via complex event processing.
Int. J. Big Data Intell., 2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
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
Proceedings of the International Symposium on Networks, Computers and Communications, 2014
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
Proceedings of the 3rd International Conference on Context-Aware Systems and Applications, 2014
Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014
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
Proceedings of the 5th International Conference on Ambient Systems, 2014
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014
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
Serv. Oriented Comput. Appl., 2013
Int. J. Internet Protoc. Technol., 2013
Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems.
Concurr. Comput. Pract. Exp., 2013
Semantic Matching to Achieve Software Component Discovery and Composition.
Proceedings of the WEBIST 2013, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Networked Systems - First International Conference, 2013
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the ICEIS 2013, 2013
Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013
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
Proceedings of the Software Architecture - 7th European Conference, 2013
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
Softw. Syst. Model., 2012
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
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Proceedings of the Software Engineering Research, 2012
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
Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
Proceedings of IEEE International Conference on Communications, 2012
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012
Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
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
Concurr. Comput. Pract. Exp., 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
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
Proceedings of the IEEE First Symposium on Network/Cloud Computing and Applications, 2011
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011
Proceedings of the Software Architecture - 5th European Conference, 2011
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
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.
J. Syst. Softw., 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
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
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
Proceedings of the Current Trends in Web Engineering, 2010
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
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
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.
Int. J. Inf. Comput. Secur., 2009
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
Int. J. Inf. Comput. Secur., 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
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
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
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
Proceedings of the Engineering Secure Software and Systems, 2009
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 Softw. Eng. Notes, 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
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
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
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
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
2007
Web Intell. Agent Syst., 2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 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
Proceedings of the First International Conference on Emerging Security Information, 2007
Proceedings of the Agent Computing and Multi-Agent Systems, 2007
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007
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
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.
Int. Trans. Syst. Sci. Appl., 2006
Proceedings of the Trends in Enterprise Application Architecture, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
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
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
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
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2004
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
Proceedings of the Advances in Artificial Intelligence, 2004
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004
2003
Comput. Networks, 2003
2002
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002
2001
Int. J. Pattern Recognit. Artif. Intell., 2001
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
Proceedings of the Engineering of Intelligent Systems, 2001
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
2000
Proceedings of the Second International Conference on Language Resources and Evaluation, 2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
1999
Proceedings of the Multiple Approaches to Intelligent Systems, 1999
1998
Proceedings of the Multi-Agent Systems: Theories, 1998
Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998
1996
PhD thesis, 1996
1995
An algebraic-temporal specification of a CSMA/CD-protocol.
Proceedings of the Protocol Specification, 1995