default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbdeldjalil Boudjadar
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c43]Shahinza Manzoor, Muhammad Rizwan Mughal, Syed Ali Irtaza, Saif ul Islam, Jalil Boudjadar:
A Lightweight, Computation-Efficient CNN Framework for an Optimization-Driven Detection of Maize Crop Disease. ICSOFT 2024: 271-282- 2023
- [j21]Milad Andalibi, Alireza Shourangizhaghighi, Mojtaba Hajihosseini, Seyed Saeed Madani
, Carlos Ziebert, Jalil Boudjadar:
Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. Comput. 12(4): 84 (2023) - [j20]Waheed Ali H. M. Ghanem, Waseem Akram, Saif ul Islam, Abdul Hadi, Jalil Boudjadar, Noureen Zafar:
A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep Learning. Future Internet 15(3): 86 (2023) - [j19]Arman Fathollahi, Meysam Gheisarnejad, Jalil Boudjadar, Maryam Homayounzadeh, Mohammad Hassan Khooban:
Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. IEEE Trans. Veh. Technol. 72(7): 8449-8458 (2023) - [c42]Mikkel Jensen, Jesper Jakobsen, Iman Sharifirad, Jalil Boudjadar:
Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. HPCC/DSS/SmartCity/DependSys 2023: 558-565 - [c41]Marie Unmack Baerentzen, Jalil Boudjadar, Saif ul Islam, Carl Peter Leslie Schultz:
A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. ICSOFT 2023: 680-687 - [c40]Shahinza Manzoor, Shahram Hamza Manzoor, Saif ul Islam, Jalil Boudjadar:
AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. IntelliSys (2) 2023: 291-308 - 2022
- [j18]Bushra Saleem, Rabiah Badar, Awais Manzoor, Malik Ali Judge, Jalil Boudjadar, Saif ul Islam:
Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access 10: 36464-36476 (2022) - [c39]Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha:
Formal Model In-The-Loop for Secure Industrial Control Networks. FACS 2022: 74-89 - [c38]Jalil Boudjadar, Martin Tomko:
A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical System. ICINCO 2022: 161-168 - [c37]Jesper Jakobsen, Mikkel Jensen, Iman Sharifirad, Jalil Boudjadar:
A Flexible Implementation Model for Neural Networks on FPGAs. ISDA (3) 2022: 332-342 - 2021
- [j17]Mehdi Rafiei, Jalil Boudjadar, Matthew P. Griffiths, Mohammad Hassan Khooban:
Deep Learning-Based Energy Management of an All-Electric City Bus With Wireless Power Transfer. IEEE Access 9: 43981-43990 (2021) - [j16]Mehdi Rafiei, Jalil Boudjadar, Mohammad Hassan Khooban:
Energy Management of a Zero-Emission Ferry Boat With a Fuel-Cell-Based Hybrid Energy System: Feasibility Assessment. IEEE Trans. Ind. Electron. 68(2): 1739-1748 (2021) - [j15]Mohsen Banaei, Jalil Boudjadar, Mohammad Hassan Khooban:
Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Trans. Ind. Informatics 17(8): 5430-5440 (2021) - [c36]Milad Andalibi, Mojtaba Hajihosseini, Meysam Gheisarnejad, Mohammad Hassan Khooban, Jalil Boudjadar:
A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. ICIT 2021: 541-545 - [c35]Tomas Kulik, Jalil Boudjadar, Diego F. Aranha:
Formally Verified Credentials Management for Industrial Control Systems. FormaliSE@ICSE 2021: 75-85 - [c34]Mohsen Banaei, Jalil Boudjadar, Razgar Ebrahimy, Henrik Madsen:
Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. IECON 2021: 1-6 - [c33]Jalil Boudjadar, Mads Mørk Beck:
Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. IntelliSys (2) 2021: 609-623 - [c32]Mads Mørk Beck, Jalil Boudjadar, Yousra Chougui:
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. MEDI Workshops 2021: 63-77 - [c31]Mohsen Banaei, Fatemeh Ghanami, Mohammad Hassan Khooban, Jalil Boudjadar:
Cost-effective control of Roll-on/Roll-off Emission-Free Ships. MMAR 2021: 315-320 - 2020
- [j14]Armin Letafat, Mehdi Rafiei, Masoud Ardeshiri, Morteza Sheikh, Mohsen Banaei, Jalil Boudjadar, Mohammad Hassan Khooban:
An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships. Complex. 2020: 6487873:1-6487873:12 (2020) - [j13]Faizan Murtaza, Adnan Akhunzada, Saif ul Islam, Jalil Boudjadar, Rajkumar Buyya:
QoS-aware service provisioning in fog computing. J. Netw. Comput. Appl. 165: 102674 (2020) - [j12]Meysam Gheisarnejad, Hooman Mohammadi-Moghadam, Jalil Boudjadar, Mohammad Hassan Khooban:
Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid With Nonlinear Load and Nondispatchable DG. IEEE Syst. J. 14(1): 1058-1068 (2020) - [j11]Mehdi Rafiei, Mohammad Hassan Khooban, Mosayeb Afshari Igder, Jalil Boudjadar:
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 67-II(2): 320-324 (2020) - [c30]Jalil Boudjadar, Mohammad Hassan Khooban:
A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. DS-RT 2020: 1-4 - [c29]Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen:
Security Verification of Industrial Control Systems using Partial Model Checking. FormaliSE@ICSE 2020: 98-108 - [c28]Tomas Kulik, Jalil Boudjadar, Diego F. Aranha:
Towards Formally Verified Key Management for Industrial Control Systems. FormaliSE@ICSE 2020: 119-129 - [i1]Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman:
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. CoRR abs/2003.05442 (2020)
2010 – 2019
- 2019
- [j10]Mohammad Hassan Khooban, Navid Vafamand, Jalil Boudjadar:
Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. Complex. 2019: 5358316:1-5358316:9 (2019) - [j9]Asfa Toor, Saif ul Islam, Nimra Sohail, Adnan Akhunzada, Jalil Boudjadar, Hasan Ali Khattak, Ikram Ud Din, Joel J. P. C. Rodrigues:
Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Gener. Comput. Syst. 101: 1112-1121 (2019) - [j8]Navid Vafamand, Mohammad Hassan Khooban, Tomislav Dragicevic, Jalil Boudjadar, Mohammad Hassan Asemani:
Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Syst. J. 13(3): 3233-3241 (2019) - [j7]Mohammad Hassan Khooban, Meysam Gheisarnejad, Navid Vafamand, Mohammad Jafari, Saleh Mobayen, Tomislav Dragicevic, Jalil Boudjadar:
Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Syst. J. 13(4): 4281-4291 (2019) - [j6]Mohammad Hassan Khooban, Meysam Gheisarnejad, Navid Vafamand, Jalil Boudjadar:
Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Trans. Intell. Veh. 4(2): 255-264 (2019) - [c27]Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran, Ulrik Nyman:
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. DS-RT 2019: 1-10 - [c26]Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle:
On the Design of a New Software Engineering Curriculum in Computer Engineering. FISEE 2019: 178-195 - [c25]Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar:
Compliance verification of a cyber security standard for Cloud-connected SCADA. GIoTS 2019: 1-6 - [c24]Meysam Gheisarnejad, Mohammad Hassan Khooban, Tomislav Dragicevic, Jalil Boudjadar:
Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. IECON 2019: 4063-4067 - [c23]Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen:
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE 2019: 13:1-13:11 - [c22]Meysam Gheisarnejad, Mohammad Hassan Khooban, Jalil Boudjadar:
Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. RTSI 2019: 302-307 - 2018
- [j5]Jalil Boudjadar:
Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. J. Comput. 13(10): 1202-1215 (2018) - [c21]Jalil Boudjadar, Hugo Daniel Macedo:
Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. DS-RT 2018: 37-46 - [c20]Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz:
A Framework for Threat-Driven Cyber Security Verification of IoT Systems. ICST Workshops 2018: 89-97 - [c19]Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman:
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. ISORC 2018: 51-58 - [c18]Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar:
Formal Security Analysis of Cloud-Connected Industrial Control Systems. SecITC 2018: 71-84 - 2017
- [c17]Jalil Boudjadar:
An efficient energy-driven scheduling of DVFS-multicore systems with a hierarchy of shared memories. DS-RT 2017: 9-16 - [c16]Jalil Boudjadar, Simin Nadjm-Tehrani:
Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. ICPE 2017: 263-274 - 2016
- [j4]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. 127: 103-130 (2016) - [j3]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - [j2]Jin Hyun Kim, Inhye Kang, Sungwon Kang, Abdeldjalil Boudjadar:
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures. IEEE Trans. Ind. Informatics 12(2): 655-671 (2016) - [c15]Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh:
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. FACS 2016: 153-171 - [c14]Jalil Boudjadar, Jin Hyun Kim, Simin Nadjm-Tehrani:
Performance-aware scheduling of multicore time-critical systems. MEMOCODE 2016: 105-114 - [c13]Tim Hultman, Abdeldjalil Boudjadar, Mikael Asplund:
Connectivity-optimal shortest paths using crowdsourced data. PerCom Workshops 2016: 1-6 - 2015
- [j1]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. 113: 236-260 (2015) - [c12]Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015: 91-100 - [c11]Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim:
Compositional Predictability Analysis of Mixed Critical Real Time Systems. FTSCS 2015: 69-84 - [c10]Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015: 74-83 - 2014
- [c9]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman:
Model Checking Process Algebra of Communicating Resources for Real-Time Systems. ECRTS 2014: 51-60 - [c8]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Widening the Schedulability of Hierarchical Scheduling Systems. FACS 2014: 209-227 - [c7]Abdeldjalil Boudjadar, Jin Hyun Kim, Kim Guldstrand Larsen, Ulrik Nyman:
Compositional Schedulability Analysis of An Avionics System Using UPPAAL. ICAASE 2014: 140-147 - [c6]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE 2014: 126-130 - 2013
- [c5]Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS 2013: 61-78 - [c4]Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali:
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. FSEN 2013: 111-132 - 2012
- [c3]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Revising and Extending the Uppaal Communication Mechanism. SC@TOOLS 2012: 114-131 - [c2]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Compositional Refinement for Real-Time Systems with Priorities. TIME 2012: 57-64 - 2011
- [c1]Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali:
An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
