Nejib Ben Hadj-Alouane
Orcid: 0000-0002-7487-3344
According to our database1,
Nejib Ben Hadj-Alouane
authored at least 65 papers
between 1990 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the Distributed Computing for Emerging Smart Networks, 2022
2021
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021
A Genetic Algorithm for the Placement of Latency-Sensitive Multiplayer Game Servers in the Fog.
Proceedings of the IEEE Global Communications Conference, 2021
Proceedings of the 18th IEEE/ACS International Conference on Computer Systems and Applications, 2021
2020
Enhancing Energy Saving in Smart Farming through Aggregation and Partition Aware IOT Routing Protocol.
Sensors, 2020
Proceedings of the 45th IEEE LCN Symposium on Emerging Topics in Networking, 2020
2019
IEEE Access, 2019
Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019
Vers une approche heuristique distribuée à base d'ontologie pour la fouille des règles d'association dans les données massives.
Proceedings of the Extraction et Gestion des connaissances, 2019
2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
Proceedings of the 14th International Wireless Communications & Mobile Computing Conference, 2018
Paving the Way for Autonomous Cars in the City of Tomorrow: A Prototype for Mobile Devices Support at the Edges of 5G Network.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018
2017
IEEE Trans. Serv. Comput., 2017
ACM Trans. Embed. Comput. Syst., 2017
Optimal Dynamic Placement of Virtual Machines in Geographically Distributed Cloud Data Centers.
Int. J. Cooperative Inf. Syst., 2017
Network-Aware Stochastic Virtual Machine Placement in Geo-Distributed Data Centers - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017
Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017
ParallelCharMax: An Effective Maximal Frequent Itemset Mining Algorithm Based on MapReduce Framework.
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
2016
Evaluation of Traffic-Aware VM Placement Policies in Distributed Cloud Using CloudSim.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016
Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016
Traffic-Aware Virtual Machine Migration Scheduling Problem in Geographically Distributed Data Centers.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016
2015
Int. J. Inf. Technol. Web Eng., 2015
Proceedings of the Web Information Systems Engineering - WISE 2015, 2015
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015
2014
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the International Conference on Control, 2014
Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments.
Proceedings of the Thirty-Seventh Australasian Computer Science Conference, 2014
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013
2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
2011
JOCN, 2011
An approach for the synthesis of decentralised supervisors for distributed adaptive systems.
Int. J. Crit. Comput. Based Syst., 2011
A branch-and-price approach for an integrated capacity dimensioning and demand routing in SDH/WDM networks.
Int. J. Bus. Perform. Supply Chain Model., 2011
Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study.
Proceedings of the Business Process Management Workshops, 2011
2010
Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010
Modeling Time Constraints in Inter-organizational Workflows.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010
Engineering Process for Capacity-driven Web Services.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1, DISI, Funchal, Madeira, Portugal, June 8, 2010
2009
IEEE Trans. Autom. Control., 2009
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009
2006
A Mixed Integer Dynamic Programming Approach to a Class of Optimal Control Problems in Hybrid Systems.
Cybern. Syst., 2006
2005
IEEE Trans. Syst. Man Cybern. Part B, 2005
Characterizing intransitive noninterference for 3-domain security policies with observability.
IEEE Trans. Autom. Control., 2005
2004
An algorithmic approach to verification of intransitive non-interference in security policies.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
1996
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation.
Discret. Event Dyn. Syst., 1996
1994
IEEE Trans. Autom. Control., 1994
1991
J. Syst. Integr., 1991
1990
The Design and Implementation of the Control and Integration Software of a Flexible Manufacturing System.
Proceedings of the First International Conference on Systems Integration, 1990