Abdeldjalil Boudjadar

According to our database1, Abdeldjalil Boudjadar authored at least 44 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System.
IEEE Trans. Circuits Syst. II Express Briefs, 2020

Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid With Nonlinear Load and Nondispatchable DG.
IEEE Syst. J., 2020

QoS-aware service provisioning in fog computing.
J. Netw. Comput. Appl., 2020

An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships.
Complex., 2020

Security Verification of Industrial Control Systems using Partial Model Checking.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Towards Formally Verified Key Management for Industrial Control Systems.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System.
Proceedings of the 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2020

2019
Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results.
IEEE Trans. Intell. Veh., 2019

Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids.
IEEE Syst. J., 2019

Robust Frequency Regulation in Mobile Microgrids: HIL Implementation.
IEEE Syst. J., 2019

Energy and performance aware fog computing: A case of DVFS and green renewable energy.
Future Gener. Comput. Syst., 2019

Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships.
Complex., 2019

Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems.
Proceedings of the 5th IEEE International forum on Research and Technology for Society and Industry, 2019

Security analysis of cloud-connected industrial control systems using combinatorial testing.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations.
Proceedings of the IECON 2019, 2019

Compliance verification of a cyber security standard for Cloud-connected SCADA.
Proceedings of the 2019 Global IoT Summit, 2019

On the Design of a New Software Engineering Curriculum in Computer Engineering.
Proceedings of the Frontiers in Software Engineering Education, 2019

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems.
Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

2018
Compositional Schedulability Analysis of Multicore Modular Avionic Architectures.
J. Comput., 2018

Formal Security Analysis of Cloud-Connected Industrial Control Systems.
Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2018

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

A Framework for Threat-Driven Cyber Security Verification of IoT Systems.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems.
Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017
Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

An efficient energy-driven scheduling of DVFS-multicore systems with a hierarchy of shared memories.
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

2016
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
IEEE Trans. Ind. Informatics, 2016

Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Rev., 2016

Statistical and exact schedulability analysis of hierarchical scheduling systems.
Sci. Comput. Program., 2016

Connectivity-optimal shortest paths using crowdsourced data.
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

Performance-aware scheduling of multicore time-critical systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling.
Sci. Comput. Program., 2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Compositional Predictability Analysis of Mixed Critical Real Time Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Compositional Schedulability Analysis of An Avionics System Using UPPAAL.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Widening the Schedulability of Hierarchical Scheduling Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

2013
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012
Compositional Refinement for Real-Time Systems with Priorities.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Revising and Extending the Uppaal Communication Mechanism.
Proceedings of the Software Composition - 11th International Conference, 2012

2011
An Alternative Definition for Timed Automata Composition.
Proceedings of the Automated Technology for Verification and Analysis, 2011


  Loading...