Abdeldjalil Boudjadar
Orcid: 0000-0003-1442-4907Affiliations:
- Linköping University, Sweden
According to our database1,
Abdeldjalil Boudjadar
authored at least 62 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network.
IEEE Trans. Veh. Technol., July, 2023
Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System.
Comput., April, 2023
Future Internet, March, 2023
Proceedings of the 18th International Conference on Software Technologies, 2023
Proceedings of the IEEE International Conference on High Performance Computing & Communications, 2023
2022
Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System.
IEEE Access, 2022
Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022
Proceedings of the 19th International Conference on Informatics in Control, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
2021
Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels.
IEEE Trans. Ind. Informatics, 2021
Energy Management of a Zero-Emission Ferry Boat With a Fuel-Cell-Based Hybrid Energy System: Feasibility Assessment.
IEEE Trans. Ind. Electron., 2021
Deep Learning-Based Energy Management of an All-Electric City Bus With Wireless Power Transfer.
IEEE Access, 2021
Proceedings of the 25th International Conference on Methods and Models in Automation and Robotics, 2021
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021
Proceedings of the Intelligent Systems and Applications, 2021
Proceedings of the IECON 2021, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control.
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021
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
Complex., 2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
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
IEEE Syst. J., 2019
IEEE Syst. J., 2019
Energy and performance aware fog computing: A case of DVFS and green renewable energy.
Future Gener. Comput. Syst., 2019
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
Proceedings of the 2019 Global IoT Summit, 2019
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
J. Comput., 2018
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
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
SIGBED Rev., 2016
Sci. Comput. Program., 2016
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
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
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
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013
2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the Software Composition - 11th International Conference, 2012
2011
Proceedings of the Automated Technology for Verification and Analysis, 2011