Hamdi Yahyaoui
Orcid: 0000-0003-1134-1233
According to our database1,
Hamdi Yahyaoui
authored at least 72 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Neurocomputing, October, 2023
2022
Efficient Mobile Location Tracking and Data Reduction for Proximity Detection Applications.
IEEE Access, 2022
2021
Model checking agent-based communities against uncertain group commitments and knowledge.
Expert Syst. Appl., 2021
Proceedings of the iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, 29 November 2021, 2021
2020
Computing, 2020
Comput. Secur., 2020
2019
Expert Syst. Appl., 2019
2018
2017
Knowl. Based Syst., 2017
Comput. Lang. Syst. Struct., 2017
2016
From model-driven specification to design-level set-based analysis of XACML policies.
Comput. Electr. Eng., 2016
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.
Appl. Intell., 2016
2015
Knowl. Based Syst., 2015
Inf. Syst. Frontiers, 2015
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015
2014
A novel non-functional matchmaking approach between fuzzy user queries and real world web services based on rough sets.
Future Gener. Comput. Syst., 2014
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
2013
Bootstrapping trust of Web services based on trust patterns and Hidden Markov Models.
Knowl. Inf. Syst., 2013
Towards a community-based, social network-driven framework for Web services management.
Future Gener. Comput. Syst., 2013
Symbolic model checking composite Web services using operational and control behaviors.
Expert Syst. Appl., 2013
2012
A synergy between context-aware policies and AOP to achieve highly adaptable Web services.
Serv. Oriented Comput. Appl., 2012
Knowl. Based Syst., 2012
A novel aspect-oriented BPEL framework for the dynamic enforcement of web services security.
Int. J. Web Grid Serv., 2012
Proceedings of the Eighth IEEE World Congress on Services, 2012
Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012
2011
Proceedings of the 2nd International Conference on Ambient Systems, 2011
Proceedings of the 11th Annual International Symposium on Applications and the Internet, 2011
Proceedings of the Engineering Methods in the Service-Oriented Context, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the Web Engineering - 11th International Conference, 2011
Proceedings of the 6th International Conference for Internet Technology and Secured Transactions, 2011
2010
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling.
IEEE Internet Comput., 2010
Int. J. Web Grid Serv., 2010
Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010
Proceedings of the IEEE International Conference on Web Services, 2010
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010
2009
Inf. Secur. J. A Glob. Perspect., 2009
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009
Proceedings of the Second Multi-Agent Logics, 2009
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Int. J. Softw. Eng. Knowl. Eng., 2008
Proceedings of the 8th international conference on New technologies in distributed systems, 2008
Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, 2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2007
Dynamic management of UDDI registries in a wireless environment of web services: Concepts, architecture, operation, and deployment.
J. Intell. Inf. Syst., 2007
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007
2006
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors.
Sci. Comput. Program., 2006
2005
IEEE Trans. Knowl. Data Eng., 2005
J. Object Technol., 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005
2004
J. Organ. Comput. Electron. Commer., 2004
Proceedings of the Wired/Wireless Internet Communications, Second International Conference, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.
Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004
Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004
Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), 2004
Towards an Agent-Based and Context-Oriented Approach to Compose Web Services.
Proceedings of the ICEIS 2004, 2004
2003
Proceedings of the Computational Science - ICCS 2003, 2003
2001
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001