Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Abdeldjalil Boudjadar
@article{DBLP:journals/computers/AndalibiSHMZB23,
author = {Milad Andalibi and
Alireza Shourangizhaghighi and
Mojtaba Hajihosseini and
Seyed Saeed Madani and
Carlos Ziebert and
Jalil Boudjadar},
title = {Design and Simulation-Based Optimization of an Intelligent Autonomous
Cruise Control System},
journal = {Comput.},
volume = {12},
number = {4},
pages = {84},
year = {2023},
url = {https://doi.org/10.3390/computers12040084},
doi = {10.3390/COMPUTERS12040084},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/AndalibiSHMZB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/GhanemAIHBZ23,
author = {Waheed Ali H. M. Ghanem and
Waseem Akram and
Saif ul Islam and
Abdul Hadi and
Jalil Boudjadar and
Noureen Zafar},
title = {A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep
Learning},
journal = {Future Internet},
volume = {15},
number = {3},
pages = {86},
year = {2023},
url = {https://doi.org/10.3390/fi15030086},
doi = {10.3390/FI15030086},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/GhanemAIHBZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/FathollahiGBHK23,
author = {Arman Fathollahi and
Meysam Gheisarnejad and
Jalil Boudjadar and
Maryam Homayounzadeh and
Mohammad Hassan Khooban},
title = {Optimal Design of Wireless Charging Electric Buses-Based Machine Learning:
{A} Case Study of Nguyen-Dupuis Network},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {72},
number = {7},
pages = {8449--8458},
year = {2023},
url = {https://doi.org/10.1109/TVT.2023.3247838},
doi = {10.1109/TVT.2023.3247838},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/FathollahiGBHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/JensenJSB23,
author = {Mikkel Jensen and
Jesper Jakobsen and
Iman Sharifirad and
Jalil Boudjadar},
title = {Advanced Acceleration and Implementation of Convolutional Neural Networks
on FPGAs},
booktitle = {{IEEE} International Conference on High Performance Computing {\&}
Communications, Data Science {\&} Systems, Smart City {\&}
Dependability in Sensor, Cloud {\&} Big Data Systems {\&}
Application, HPCC/DSS/SmartCity/DependSys 2023, Melbourne, Australia,
December 17-21, 2023},
pages = {558--565},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys60770.2023.00082},
doi = {10.1109/HPCC-DSS-SMARTCITY-DEPENDSYS60770.2023.00082},
timestamp = {Wed, 10 Apr 2024 17:07:58 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/JensenJSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BaerentzenBIS23,
author = {Marie Unmack Baerentzen and
Jalil Boudjadar and
Saif ul Islam and
Carl Peter Leslie Schultz},
editor = {Hans{-}Georg Fill and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {A Knowledge-Based Proactive Intelligent System for Buildings Occupancy
Monitoring},
booktitle = {Proceedings of the 18th International Conference on Software Technologies,
{ICSOFT} 2023, Rome, Italy, July 10-12, 2023},
pages = {680--687},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012144000003538},
doi = {10.5220/0012144000003538},
timestamp = {Mon, 31 Jul 2023 15:39:29 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/BaerentzenBIS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SaleemBMJBI22,
author = {Bushra Saleem and
Rabiah Badar and
Awais Manzoor and
Malik Ali Judge and
Jalil Boudjadar and
Saif ul Islam},
title = {Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability
Enhancement in Multi Machine System},
journal = {{IEEE} Access},
volume = {10},
pages = {36464--36476},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3164455},
doi = {10.1109/ACCESS.2022.3164455},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/SaleemBMJBI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/UbysVKLBA22,
author = {Laurynas Ubys and
Valeriu Nicolas Vancea and
Tomas Kulik and
Peter Gorm Larsen and
Jalil Boudjadar and
Diego F. Aranha},
editor = {Silvia Lizeth Tapia Tarifa and
Jos{\'{e}} Proen{\c{c}}a},
title = {Formal Model In-The-Loop for Secure Industrial Control Networks},
booktitle = {Formal Aspects of Component Software - 18th International Conference,
{FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13712},
pages = {74--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20872-0\_5},
doi = {10.1007/978-3-031-20872-0\_5},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/UbysVKLBA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/BoudjadarT22,
author = {Jalil Boudjadar and
Martin Tomko},
editor = {Giuseppina Gini and
Henk Nijmeijer and
Wolfram Burgard and
Dimitar P. Filev},
title = {A Digital Twin Setup for Safety-aware Optimization of a Cyber-physical
System},
booktitle = {Proceedings of the 19th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2022, Lisbon, Portugal,
July 14-16, 2022},
pages = {161--168},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011272100003271},
doi = {10.5220/0011272100003271},
timestamp = {Wed, 07 Jun 2023 09:12:13 +0200},
biburl = {https://dblp.org/rec/conf/icinco/BoudjadarT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/JakobsenJSB22,
author = {Jesper Jakobsen and
Mikkel Jensen and
Iman Sharifirad and
Jalil Boudjadar},
editor = {Ajith Abraham and
Sabri Pllana and
Gabriella Casalino and
Kun Ma and
Anu Bajaj},
title = {A Flexible Implementation Model for Neural Networks on FPGAs},
booktitle = {Intelligent Systems Design and Applications - 22nd International Conference
on Intelligent Systems Design and Applications {(ISDA} 2022) Held
December 12-14, 2022 - Volume 3},
series = {Lecture Notes in Networks and Systems},
volume = {716},
pages = {332--342},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-35501-1\_33},
doi = {10.1007/978-3-031-35501-1\_33},
timestamp = {Thu, 22 Feb 2024 09:42:25 +0100},
biburl = {https://dblp.org/rec/conf/isda/JakobsenJSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/RafieiBGK21,
author = {Mehdi Rafiei and
Jalil Boudjadar and
Matthew P. Griffiths and
Mohammad Hassan Khooban},
title = {Deep Learning-Based Energy Management of an All-Electric City Bus
With Wireless Power Transfer},
journal = {{IEEE} Access},
volume = {9},
pages = {43981--43990},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3066300},
doi = {10.1109/ACCESS.2021.3066300},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/RafieiBGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/RafieiBK21,
author = {Mehdi Rafiei and
Jalil Boudjadar and
Mohammad Hassan Khooban},
title = {Energy Management of a Zero-Emission Ferry Boat With a Fuel-Cell-Based
Hybrid Energy System: Feasibility Assessment},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {68},
number = {2},
pages = {1739--1748},
year = {2021},
url = {https://doi.org/10.1109/TIE.2020.2992005},
doi = {10.1109/TIE.2020.2992005},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tie/RafieiBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/BanaeiBK21,
author = {Mohsen Banaei and
Jalil Boudjadar and
Mohammad Hassan Khooban},
title = {Stochastic Model Predictive Energy Management in Hybrid Emission-Free
Modern Maritime Vessels},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {17},
number = {8},
pages = {5430--5440},
year = {2021},
url = {https://doi.org/10.1109/TII.2020.3027808},
doi = {10.1109/TII.2020.3027808},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/BanaeiBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/AndalibiHGKB21,
author = {Milad Andalibi and
Mojtaba Hajihosseini and
Meysam Gheisarnejad and
Mohammad Hassan Khooban and
Jalil Boudjadar},
title = {A Novel Method for Stabilizing Buck-Boost Converters with {CPL} using
Model Prediction Control},
booktitle = {22nd {IEEE} International Conference on Industrial Technology, {ICIT}
2021, Valencia, Spain, March 10-12, 2021},
pages = {541--545},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICIT46573.2021.9453639},
doi = {10.1109/ICIT46573.2021.9453639},
timestamp = {Tue, 22 Jun 2021 10:52:54 +0200},
biburl = {https://dblp.org/rec/conf/icit2/AndalibiHGKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KulikBA21,
author = {Tomas Kulik and
Jalil Boudjadar and
Diego F. Aranha},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {Formally Verified Credentials Management for Industrial Control Systems},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {75--85},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00014},
doi = {10.1109/FORMALISE52586.2021.00014},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KulikBA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/BanaeiBEM21,
author = {Mohsen Banaei and
Jalil Boudjadar and
Razgar Ebrahimy and
Henrik Madsen},
title = {Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission
Ships: {A} Survey},
booktitle = {{IECON} 2021 - 47th Annual Conference of the {IEEE} Industrial Electronics
Society, Toronto, ON, Canada, October 13-16, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IECON48115.2021.9589512},
doi = {10.1109/IECON48115.2021.9589512},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/BanaeiBEM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellisys/BoudjadarB21,
author = {Jalil Boudjadar and
Mads M{\o}rk Beck},
editor = {Kohei Arai},
title = {Intelligent Time Synchronization Protocol for Energy Efficient Sensor
Systems},
booktitle = {Intelligent Systems and Applications - Proceedings of the 2021 Intelligent
Systems Conference, IntelliSys 2021, Amsterdam, The Netherlands, 2-3
September, 2021, Volume 2},
series = {Lecture Notes in Networks and Systems},
volume = {295},
pages = {609--623},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-82196-8\_45},
doi = {10.1007/978-3-030-82196-8\_45},
timestamp = {Thu, 12 Aug 2021 13:45:52 +0200},
biburl = {https://dblp.org/rec/conf/intellisys/BoudjadarB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BeckBC21,
author = {Mads M{\o}rk Beck and
Jalil Boudjadar and
Yousra Chougui},
editor = {Ladjel Bellatreche and
George A. Chernishev and
Antonio Corral and
Samir Ouchani and
J{\"{u}}ri Vain},
title = {Energy Efficient Real-Time Calibration of Wireless Sensor Networks
for Smart Buildings},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA,
Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1481},
pages = {63--77},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87657-9\_5},
doi = {10.1007/978-3-030-87657-9\_5},
timestamp = {Thu, 07 Oct 2021 16:53:29 +0200},
biburl = {https://dblp.org/rec/conf/medi/BeckBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmar/BanaeiGKB21,
author = {Mohsen Banaei and
Fatemeh Ghanami and
Mohammad Hassan Khooban and
Jalil Boudjadar},
title = {Cost-effective control of Roll-on/Roll-off Emission-Free Ships},
booktitle = {25th International Conference on Methods and Models in Automation
and Robotics, {MMAR} 2021, Mi{\k{e}}dzyzdroje, Poland, August 23-26,
2021},
pages = {315--320},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MMAR49549.2021.9528473},
doi = {10.1109/MMAR49549.2021.9528473},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmar/BanaeiGKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/LetafatRASBBK20,
author = {Armin Letafat and
Mehdi Rafiei and
Masoud Ardeshiri and
Morteza Sheikh and
Mohsen Banaei and
Jalil Boudjadar and
Mohammad Hassan Khooban},
title = {An Efficient and Cost-Effective Power Scheduling in Zero-Emission
Ferry Ships},
journal = {Complex.},
volume = {2020},
pages = {6487873:1--6487873:12},
year = {2020},
url = {https://doi.org/10.1155/2020/6487873},
doi = {10.1155/2020/6487873},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/LetafatRASBBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/MurtazaAIBB20,
author = {Faizan Murtaza and
Adnan Akhunzada and
Saif ul Islam and
Jalil Boudjadar and
Rajkumar Buyya},
title = {QoS-aware service provisioning in fog computing},
journal = {J. Netw. Comput. Appl.},
volume = {165},
pages = {102674},
year = {2020},
url = {https://doi.org/10.1016/j.jnca.2020.102674},
doi = {10.1016/J.JNCA.2020.102674},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jnca/MurtazaAIBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/GheisarnejadMBK20,
author = {Meysam Gheisarnejad and
Hooman Mohammadi{-}Moghadam and
Jalil Boudjadar and
Mohammad Hassan Khooban},
title = {Active Power Sharing and Frequency Recovery Control in an Islanded
Microgrid With Nonlinear Load and Nondispatchable {DG}},
journal = {{IEEE} Syst. J.},
volume = {14},
number = {1},
pages = {1058--1068},
year = {2020},
url = {https://doi.org/10.1109/JSYST.2019.2927112},
doi = {10.1109/JSYST.2019.2927112},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/GheisarnejadMBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/RafieiKIB20,
author = {Mehdi Rafiei and
Mohammad Hassan Khooban and
Mosayeb Afshari Igder and
Jalil Boudjadar},
title = {A Novel Approach to Overcome the Limitations of Reliability Centered
Maintenance Implementation on the Smart Grid Distance Protection System},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {67-II},
number = {2},
pages = {320--324},
year = {2020},
url = {https://doi.org/10.1109/TCSII.2019.2905639},
doi = {10.1109/TCSII.2019.2905639},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/RafieiKIB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/BoudjadarK20,
author = {Jalil Boudjadar and
Mohammad Hassan Khooban},
editor = {Dusan Maga and
Jiri Hajek},
title = {A Cost-effective Scheduling Control for a Safety Critical Hybrid Power
System},
booktitle = {24th {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2020, Prague, Czech Republic,
September 14-16, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DS-RT50469.2020.9213541},
doi = {10.1109/DS-RT50469.2020.9213541},
timestamp = {Tue, 13 Oct 2020 17:01:37 +0200},
biburl = {https://dblp.org/rec/conf/dsrt/BoudjadarK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KulikBT20,
author = {Tomas Kulik and
Jalil Boudjadar and
Peter W. V. Tran{-}J{\o}rgensen},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Security Verification of Industrial Control Systems using Partial
Model Checking},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {98--108},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391558},
doi = {10.1145/3372020.3391558},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/KulikBT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KulikBA20,
author = {Tomas Kulik and
Jalil Boudjadar and
Diego F. Aranha},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Towards Formally Verified Key Management for Industrial Control Systems},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {119--129},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391555},
doi = {10.1145/3372020.3391555},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KulikBA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05442,
author = {Jalil Boudjadar and
Saravanan Ramanathan and
Arvind Easwaran and
Ulrik Nyman},
title = {Combining Task-level and System-level Scheduling Modes for Mixed Criticality
Systems},
journal = {CoRR},
volume = {abs/2003.05442},
year = {2020},
url = {https://arxiv.org/abs/2003.05442},
eprinttype = {arXiv},
eprint = {2003.05442},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-05442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/KhoobanVB19,
author = {Mohammad Hassan Khooban and
Navid Vafamand and
Jalil Boudjadar},
title = {Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry
Ships},
journal = {Complex.},
volume = {2019},
pages = {5358316:1--5358316:9},
year = {2019},
url = {https://doi.org/10.1155/2019/5358316},
doi = {10.1155/2019/5358316},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/KhoobanVB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ToorISABKDR19,
author = {Asfa Toor and
Saif ul Islam and
Nimra Sohail and
Adnan Akhunzada and
Jalil Boudjadar and
Hasan Ali Khattak and
Ikram Ud Din and
Joel J. P. C. Rodrigues},
title = {Energy and performance aware fog computing: {A} case of {DVFS} and
green renewable energy},
journal = {Future Gener. Comput. Syst.},
volume = {101},
pages = {1112--1121},
year = {2019},
url = {https://doi.org/10.1016/j.future.2019.07.010},
doi = {10.1016/J.FUTURE.2019.07.010},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/ToorISABKDR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/VafamandKDBA19,
author = {Navid Vafamand and
Mohammad Hassan Khooban and
Tomislav Dragicevic and
Jalil Boudjadar and
Mohammad Hassan Asemani},
title = {Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard
Microgrids},
journal = {{IEEE} Syst. J.},
volume = {13},
number = {3},
pages = {3233--3241},
year = {2019},
url = {https://doi.org/10.1109/JSYST.2019.2892528},
doi = {10.1109/JSYST.2019.2892528},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/VafamandKDBA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/KhoobanGVJMDB19,
author = {Mohammad Hassan Khooban and
Meysam Gheisarnejad and
Navid Vafamand and
Mohammad Jafari and
Saleh Mobayen and
Tomislav Dragicevic and
Jalil Boudjadar},
title = {Robust Frequency Regulation in Mobile Microgrids: {HIL} Implementation},
journal = {{IEEE} Syst. J.},
volume = {13},
number = {4},
pages = {4281--4291},
year = {2019},
url = {https://doi.org/10.1109/JSYST.2019.2911210},
doi = {10.1109/JSYST.2019.2911210},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/KhoobanGVJMDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/KhoobanGVB19,
author = {Mohammad Hassan Khooban and
Meysam Gheisarnejad and
Navid Vafamand and
Jalil Boudjadar},
title = {Electric Vehicle Power Propulsion System Control Based on Time-Varying
Fractional Calculus: Implementation and Experimental Results},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {4},
number = {2},
pages = {255--264},
year = {2019},
url = {https://doi.org/10.1109/TIV.2019.2904415},
doi = {10.1109/TIV.2019.2904415},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tiv/KhoobanGVB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/BoudjadarREN19,
author = {Jalil Boudjadar and
Saravanan Ramanathan and
Arvind Easwaran and
Ulrik Nyman},
editor = {Floriano De Rango and
Carlos T. Calafate and
Miroslav Vozn{\'{a}}k and
Alfredo Garro and
Mauro Tropea},
title = {Combining Task-level and System-level Scheduling Modes for Mixed Criticality
Systems},
booktitle = {23rd {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications {DS-RT} 2019, Cosenza, Italy, October 7-9,
2019},
pages = {1--10},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DS-RT47707.2019.8958666},
doi = {10.1109/DS-RT47707.2019.8958666},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsrt/BoudjadarREN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/HallerstedeLBSE19,
author = {Stefan Hallerstede and
Peter Gorm Larsen and
Jalil Boudjadar and
Carl Schultz and
Lukas Esterle},
editor = {Jean{-}Michel Bruel and
Alfredo Capozucca and
Manuel Mazzara and
Bertrand Meyer and
Alexandr Naumchev and
Andrey Sadovykh},
title = {On the Design of a New Software Engineering Curriculum in Computer
Engineering},
booktitle = {Frontiers in Software Engineering Education - First International
Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {12271},
pages = {178--195},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57663-9\_12},
doi = {10.1007/978-3-030-57663-9\_12},
timestamp = {Mon, 05 Feb 2024 20:35:26 +0100},
biburl = {https://dblp.org/rec/conf/fisee/HallerstedeLBSE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/KulikTB19,
author = {Tomas Kulik and
Peter W. V. Tran{-}J{\o}rgensen and
Jalil Boudjadar},
title = {Compliance verification of a cyber security standard for Cloud-connected
{SCADA}},
booktitle = {2019 Global IoT Summit, GIoTS 2019, Aarhus, Denmark, June 17-21, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/GIOTS.2019.8766363},
doi = {10.1109/GIOTS.2019.8766363},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/giots/KulikTB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/GheisarnejadKDB19,
author = {Meysam Gheisarnejad and
Mohammad Hassan Khooban and
Tomislav Dragicevic and
Jalil Boudjadar},
title = {Shipboard Secondary Load Frequency Control Based on PPLs and Communication
Degradations},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {4063--4067},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927457},
doi = {10.1109/IECON.2019.8927457},
timestamp = {Wed, 01 Jan 2020 14:47:53 +0100},
biburl = {https://dblp.org/rec/conf/iecon/GheisarnejadKDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Tran-JorgensenK19,
author = {Peter W. V. Tran{-}J{\o}rgensen and
Tomas Kulik and
Jalil Boudjadar and
Peter Gorm Larsen},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Security analysis of cloud-connected industrial control systems using
combinatorial testing},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {13:1--13:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361211},
doi = {10.1145/3359986.3361211},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Tran-JorgensenK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtsi/GheisarnejadKB19,
author = {Meysam Gheisarnejad and
Mohammad Hassan Khooban and
Jalil Boudjadar},
title = {Adaptive Network Based Fuzzy Inference System for Frequency Regulation
in Modern Maritime Power Systems},
booktitle = {5th {IEEE} International forum on Research and Technology for Society
and Industry, {RTSI} 2019, Florence, Italy, September 9-12, 2019},
pages = {302--307},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RTSI.2019.8895596},
doi = {10.1109/RTSI.2019.8895596},
timestamp = {Thu, 14 Nov 2019 11:03:29 +0100},
biburl = {https://dblp.org/rec/conf/rtsi/GheisarnejadKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/Boudjadar18,
author = {Jalil Boudjadar},
title = {Compositional Schedulability Analysis of Multicore Modular Avionic
Architectures},
journal = {J. Comput.},
volume = {13},
number = {10},
pages = {1202--1215},
year = {2018},
url = {https://doi.org/10.17706/jcp.13.10.1202-1215},
doi = {10.17706/JCP.13.10.1202-1215},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcp/Boudjadar18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/BoudjadarM18,
author = {Jalil Boudjadar and
Hugo Daniel Macedo},
editor = {Eva Besada{-}Portas and
Oscar Rodr{\'{\i}}guez Polo and
Robson E. De Grande and
Jos{\'{e}} Luis Risco{-}Mart{\'{\i}}n},
title = {Towards a Schedulability-driven Architecture Exploration for Mixed
Criticality Multicore Systems},
booktitle = {22nd {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2018, Madrid, Spain, October 15-17,
2018},
pages = {37--46},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DISTRA.2018.8600927},
doi = {10.1109/DISTRA.2018.8600927},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/BoudjadarM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KulikTBS18,
author = {Tomas Kulik and
Peter W. V. Tran{-}J{\o}rgensen and
Jalil Boudjadar and
Carl Schultz},
title = {A Framework for Threat-Driven Cyber Security Verification of IoT Systems},
booktitle = {2018 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops, V{\"{a}}ster{\aa}s,
Sweden, April 9-13, 2018},
pages = {89--97},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSTW.2018.00033},
doi = {10.1109/ICSTW.2018.00033},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/KulikTBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BoudjadarKPLLN18,
author = {Jalil Boudjadar and
Jin Hyun Kim and
Linh Thi Xuan Phan and
Insup Lee and
Kim G. Larsen and
Ulrik Nyman},
title = {Generic Formal Framework for Compositional Analysis of Hierarchical
Scheduling Systems},
booktitle = {21st {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2018, Singapore, Singapore, May 29-31, 2018},
pages = {51--58},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISORC.2018.00015},
doi = {10.1109/ISORC.2018.00015},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BoudjadarKPLLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secitc/KulikTB18,
author = {Tomas Kulik and
Peter W. V. Tran{-}J{\o}rgensen and
Jalil Boudjadar},
editor = {Jean{-}Louis Lanet and
Cristian Toma},
title = {Formal Security Analysis of Cloud-Connected Industrial Control Systems},
booktitle = {Innovative Security Solutions for Information Technology and Communications
- 11th International Conference, SecITC 2018, Bucharest, Romania,
November 8-9, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11359},
pages = {71--84},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12942-2\_7},
doi = {10.1007/978-3-030-12942-2\_7},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/secitc/KulikTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/Boudjadar17,
author = {Jalil Boudjadar},
editor = {Andrea D'Ambrogio and
Robson E. De Grande and
Alfredo Garro and
Andrea Tundis},
title = {An efficient energy-driven scheduling of DVFS-multicore systems with
a hierarchy of shared memories},
booktitle = {21st {IEEE/ACM} International Symposium on Distributed Simulation
and Real Time Applications, {DS-RT} 2017, Rome, Italy, October 18-20,
2017},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/DISTRA.2017.8167661},
doi = {10.1109/DISTRA.2017.8167661},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/Boudjadar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BoudjadarN17,
author = {Jalil Boudjadar and
Simin Nadjm{-}Tehrani},
editor = {Walter Binder and
Vittorio Cortellessa and
Anne Koziolek and
Evgenia Smirni and
Meikel Poess},
title = {Schedulability and Memory Interference Analysis of Multicore Preemptive
Real-time Systems},
booktitle = {Proceedings of the 8th {ACM/SPEC} on International Conference on Performance
Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26, 2017},
pages = {263--274},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3030207.3030233},
doi = {10.1145/3030207.3030233},
timestamp = {Tue, 21 Mar 2023 20:58:10 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BoudjadarN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoudjadarDKLMNS16,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {Statistical and exact schedulability analysis of hierarchical scheduling
systems},
journal = {Sci. Comput. Program.},
volume = {127},
pages = {103--130},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.05.008},
doi = {10.1016/J.SCICO.2016.05.008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoudjadarDKLMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/Larsen16,
author = {Jin Hyun Kim and
Axel Legay and
Louis{-}Marie Traonouez and
Abdeldjalil Boudjadar and
Ulrik Nyman and
Kim G. Larsen and
Insup Lee and
Jin{-}Young Choi},
title = {Optimizing the resource requirements of hierarchical scheduling systems},
journal = {{SIGBED} Rev.},
volume = {13},
number = {3},
pages = {41--48},
year = {2016},
url = {https://doi.org/10.1145/2983185.2983192},
doi = {10.1145/2983185.2983192},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigbed/Larsen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/KimKKB16,
author = {Jin Hyun Kim and
Inhye Kang and
Sungwon Kang and
Abdeldjalil Boudjadar},
title = {A Process Algebraic Approach to Resource-Parameterized Timing Analysis
of Automotive Software Architectures},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {12},
number = {2},
pages = {655--671},
year = {2016},
url = {https://doi.org/10.1109/TII.2016.2527624},
doi = {10.1109/TII.2016.2527624},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/KimKKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MadzarBDFR16,
author = {Boris Madzar and
Jalil Boudjadar and
Juergen Dingel and
Thomas E. Fuhrman and
S. Ramesh},
editor = {Olga Kouchnarenko and
Ramtin Khosravi},
title = {Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore
Systems},
booktitle = {Formal Aspects of Component Software - 13th International Conference,
{FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10231},
pages = {153--171},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57666-4\_10},
doi = {10.1007/978-3-319-57666-4\_10},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/MadzarBDFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BoudjadarKN16,
author = {Jalil Boudjadar and
Jin Hyun Kim and
Simin Nadjm{-}Tehrani},
title = {Performance-aware scheduling of multicore time-critical systems},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {105--114},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797753},
doi = {10.1109/MEMCOD.2016.7797753},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BoudjadarKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/HultmanBA16,
author = {Tim Hultman and
Abdeldjalil Boudjadar and
Mikael Asplund},
title = {Connectivity-optimal shortest paths using crowdsourced data},
booktitle = {2016 {IEEE} International Conference on Pervasive Computing and Communication
Workshops, PerCom Workshops 2016, Sydney, Australia, March 14-18,
2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PERCOMW.2016.7457106},
doi = {10.1109/PERCOMW.2016.7457106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/HultmanBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BoudjadarDKLMNS15,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {A reconfigurable framework for compositional schedulability and power
analysis of hierarchical scheduling systems with frequency scaling},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {236--260},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.10.003},
doi = {10.1016/J.SCICO.2015.10.003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BoudjadarDKLMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/KimBNMLSLP15,
author = {Jin Hyun Kim and
Abdeldjalil Boudjadar and
Ulrik Nyman and
Marius Mikucionis and
Kim G. Larsen and
Arne Skou and
Insup Lee and
Linh Thi Xuan Phan},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Quantitative Schedulability Analysis of Continuous Probability Tasks
in a Hierarchical Context},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {91--100},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737170},
doi = {10.1145/2737166.2737170},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/KimBNMLSLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BoudjadarDMK15,
author = {Abdeldjalil Boudjadar and
Juergen Dingel and
Boris Madzar and
Jin Hyun Kim},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Compositional Predictability Analysis of Mixed Critical Real Time
Systems},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {69--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_4},
doi = {10.1007/978-3-319-29510-7\_4},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/BoudjadarDMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BoudjadarKDLMNS15,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Alexandre David and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou and
Insup Lee and
Linh Thi Xuan Phan},
title = {Flexible Framework for Statistical Schedulability Analysis of Probabilistic
Sporadic Tasks},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {74--83},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.21},
doi = {10.1109/ISORC.2015.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isorc/BoudjadarKDLMNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BoudjadarKLN14,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Kim G. Larsen and
Ulrik Nyman},
title = {Model Checking Process Algebra of Communicating Resources for Real-Time
Systems},
booktitle = {26th Euromicro Conference on Real-Time Systems, {ECRTS} 2014, Madrid,
Spain, July 8-11, 2014},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ECRTS.2014.24},
doi = {10.1109/ECRTS.2014.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BoudjadarKLN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoudjadarDKLMNS14,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
editor = {Ivan Lanese and
Eric Madelaine},
title = {Widening the Schedulability of Hierarchical Scheduling Systems},
booktitle = {Formal Aspects of Component Software - 11th International Symposium,
{FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {209--227},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15317-9\_14},
doi = {10.1007/978-3-319-15317-9\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BoudjadarKLN14,
author = {Abdeldjalil Boudjadar and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Za{\"{\i}}di Sahnoun},
title = {Compositional Schedulability Analysis of An Avionics System Using
{UPPAAL}},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {140--147},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/icaase/BoudjadarKLN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BoudjadarDKLMNS14,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim G. Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
title = {Degree of Schedulability of Mixed-Criticality Real-Time Systems with
Probabilistic Sporadic Tasks},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {126--130},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.27},
doi = {10.1109/TASE.2014.27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BoudjadarDKLMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BoudjadarDKLMNS13,
author = {Abdeldjalil Boudjadar and
Alexandre David and
Jin Hyun Kim and
Kim Guldstrand Larsen and
Marius Mikucionis and
Ulrik Nyman and
Arne Skou},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Zhiming Liu and
Jinyun Xue},
title = {Hierarchical Scheduling Framework Based on Compositional Analysis
Using Uppaal},
booktitle = {Formal Aspects of Component Software - 10th International Symposium,
{FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8348},
pages = {61--78},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07602-7\_6},
doi = {10.1007/978-3-319-07602-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BoudjadarDKLMNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BoudjadarVBF13,
author = {Abdeldjalil Boudjadar and
Frits W. Vaandrager and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Extending {UPPAAL} for the Modeling and Verification of Dynamic Real-Time
Systems},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {111--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_8},
doi = {10.1007/978-3-642-40213-5\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BoudjadarVBF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BoudjadarBF12,
author = {Abdeldjalil Boudjadar and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Thomas Gschwind and
Flavio De Paoli and
Volker Gruhn and
Matthias Book},
title = {Revising and Extending the Uppaal Communication Mechanism},
booktitle = {Software Composition - 11th International Conference, SC@TOOLS 2012,
Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7306},
pages = {114--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30564-1\_8},
doi = {10.1007/978-3-642-30564-1\_8},
timestamp = {Thu, 25 Jun 2020 18:42:50 +0200},
biburl = {https://dblp.org/rec/conf/soco/BoudjadarBF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BoudjadarBF12,
author = {Abdeldjalil Boudjadar and
Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {Compositional Refinement for Real-Time Systems with Priorities},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {57--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.21},
doi = {10.1109/TIME.2012.21},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/BoudjadarBF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BodeveixBF11,
author = {Jean{-}Paul Bodeveix and
Abdeldjalil Boudjadar and
Mamoun Filali},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {An Alternative Definition for Timed Automata Composition},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {105--119},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_9},
doi = {10.1007/978-3-642-24372-1\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BodeveixBF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:27 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:
