Nejib Ben Hadj-Alouane

According to our database1, Nejib Ben Hadj-Alouane
  • authored at least 46 papers between 1990 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
On the Verification of Opacity in Web Services and Their Composition.
IEEE Trans. Services Computing, 2017

Hardware Architectures for Embedded Speaker Recognition Applications: A Survey.
ACM Trans. Embedded Comput. Syst., 2017

Optimal Dynamic Placement of Virtual Machines in Geographically Distributed Cloud Data Centers.
Int. J. Cooperative Inf. Syst., 2017

Checking and Enforcing Security through Opacity in Healthcare Applications.
CoRR, 2017

Dimensionality reduction with missing values imputation.
CoRR, 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

Measuring opacity in web services.
Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 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

Computing Quantified Opacity for SOG-Abstracted Web Services.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
An automated approach for merging business process fragments.
Computers in Industry, 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

A platform as-a-service for hybrid cloud/fog environments.
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment.
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment.
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
Checking Opacity of Vulnerable Critical Systems On-The-Fly.
IJITWE, 2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.
Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs.
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

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
An On-the-Fly Approach for the Verification of Opacity in Critical Systems.
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

Business Process Fragments Behavioral Merge.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Optimal Virtual Machine Placement in a Multi-tenant Cloud.
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

A Behavior-Aware Systematic Approach for Merging Business Process Fragments.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Traffic-aware virtual machine placement in geographically distributed Clouds.
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

Optimal Virtual Machine Placement in Large-Scale Cloud Systems.
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
An Approach for Producing Privacy-Aware Reusable Business Process Fragments.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

A Semantics-Based Privacy-Aware Approach for Fragmenting Business Processes.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
An approach for the synthesis of decentralised supervisors for distributed adaptive systems.
IJCCBS, 2011

A branch-and-price approach for an integrated capacity dimensioning and demand routing in SDH/WDM networks.
IJBPSCM, 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
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference.
IEEE Trans. Automat. Contr., 2009

2006
A Mixed Integer Dynamic Programming Approach to a Class of Optimal Control Problems in Hybrid Systems.
Cybernetics and Systems, 2006

2005
On the verification of intransitive noninterference in multilevel security.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2005

Characterizing intransitive noninterference for 3-domain security policies with observability.
IEEE Trans. Automat. Contr., 2005

1996
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation.
Discrete Event Dynamic Systems, 1996

1991
Developing control and integration software for flexible manufacturing systems.
Journal of Systems Integration, 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


  Loading...