Publications

Sort by: Date | Author | Title

Khooban, M. H., Gheisarnejad, M., Farsizadeh, H., Masoudian, A. & Boudjadar, J. (2020). A New Intelligent Hybrid Control Approach for DC/DC Converters in Zero-Emission Ferry Ships. IEEE Transactions on Power Electronics, 35(6), 5832-5841. Article 8890831. https://doi.org/10.1109/TPEL.2019.2951183

Andalibi, M., Hajihosseini, M., Gheisarnejad, M., Boudjadar, J., Khooban, M. H. & Dragicevic, T. (2020). A New Nonlinear Controller for Multilevel DC/DC Boost Converter. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 276-280). Article 9244399 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244399

Rafiei Foroushani, M., Khooban, M. H., Afshari-Igder, M. & Boudjadar, J. (2020). A Novel Approach to Overcome the Limitations of Reliability Centered Maintenance Implementation on the Smart Grid Distance Protection System. IEEE Transactions on Circuits and Systems II: Express Briefs, 67(2), 320-324. Article 8668570. https://doi.org/10.1109/TCSII.2019.2905639

Boudjadar, J. (2020). A Study of the Trade-off Energy Consumption-Performance-Schedulability for DVFS Multicore Systems. International Journal of Computer and Information Engineering, 14(11), 380-391.

Banaei, M., Boudjadar, J., Dragicevic, T. & Khooban, M. H. (2020). Cost Effective Operation of a Hybrid Zero-Emission Ferry Ship. In 2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (pp. 23-28). Article 9244456 IEEE. https://doi.org/10.1109/PEDG48541.2020.9244456

Banaei, M., Ghanami, F., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020). Energy Management of Hybrid Diesel/Battery Ships in Multidisciplinary Emission Policy Areas. Energies, 13(16), Article 4179. https://doi.org/10.3390/en13164179

Vafamand, N., Boudjadar, J. & Khooban, M. H. (2020). Model predictive energy management in hybrid ferry grids. Energy Reports, 6(Supplement 2), 550-557. https://doi.org/10.1016/j.egyr.2019.11.118

Hallerstede, S., Larsen, P. G., Boudjadar, J., Schultz, C. P. L. & Esterle, L. (2020). On the Design of a New Software Engineering Curriculum in Computer Engineering. In J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (Eds.), Frontiers in Software Engineering Education: FISEE 2019 (pp. 178-195). Springer. https://doi.org/10.1007/978-3-030-57663-9_12, https://doi.org/10.1007%2F978-3-030-57663-9

Murtaza, F., Akhunzada, A., Islam, S. U., Boudjadar, J. & Buyya, R. (2020). QoS-Aware Service Provisioning in Fog Computing. Journal of Network and Computer Applications, 165, Article 102674. https://doi.org/10.1016/j.jnca.2020.102674

Kulik, T., Boudjadar, J. & Tran-Jørgensen, P. W. V. (2020). Security Verification of Industrial Control Systems using Partial Model Checking. In Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020 (pp. 98-108). Article 3391558 Association for Computing Machinery. https://doi.org/10.1145/3372020.3391558

Letafat, A., Rafiei Foroushani, M., Sheikh, M., Afshari-Igder, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). Simultaneous energy management and optimal components sizing of a zero-emission ferry boat. Journal of Energy Storage, 28, Article 101215. https://doi.org/10.1016/j.est.2020.101215

Askarpour, M., Aghaei, J., Boudjadar, J. & Niknam, T. (2020). Techno-economic potential gains of electric springs in distribution networks operations. IET Generation, Transmission & Distribution, 14(1 ), 98 - 107. https://doi.org/10.1049/iet-gtd.2019.0440

Kulik, T., Boudjadar, J. & Aranha, D. F. (2020). Towards Formally Verified Key Management for Industrial Control Systems. 119-129. Paper presented at 8th International Conference on Formal Methods in Software Engineering, Seoul, Korea, Republic of. https://doi.org/10.1145/3372020.3391555

Andalibi, M., Hajihosseini, M., Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2021). A Novel Method for Stabilizing Buck-Boost Converters with CPL using Model Prediction Control. In Proceedings - 2021 22nd IEEE International Conference on Industrial Technology, ICIT 2021 (pp. 541-545). Article 9453639 IEEE. https://doi.org/10.1109/ICIT46573.2021.9453639

Boudjadar, J. & Khooban, M. H. (2021). A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 390-400). Springer. https://doi.org/10.1007/978-3-030-65796-3_38

Banaei, M., Ghanami, F., Khooban, M. H. & Boudjadar, J. (2021). Cost-effective control of Roll-on/Roll-off Emission-Free Ships. In 2021 25th International Conference on Methods and Models in Automation and Robotics, MMAR 2021 (pp. 315-320). IEEE. https://doi.org/10.1109/MMAR49549.2021.9528473

Rafiei Foroushani, M., Griffiths, M. P., Boudjadar, J. & Khooban, M. H. (2021). Deep Learning-Based Energy Management of an All-electric City Bus with Wireless Power Transfer. IEEE Access, 9, 43981-43990. Article 9380640. https://doi.org/10.1109/ACCESS.2021.3066300

Beck, M. M., Boudjadar, J. & Chougui, Y. (2021). Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings. Paper presented at International Symposium on Intelligent and Autonomous Systems, Tallinn, Estonia.

Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Energy Management of a Zero-Emission Ferry Boat with a Fuel Cell-Based Hybrid Energy System: Feasibility Assessment. IEEE Transactions on Industrial Electronics, 68(2), 1739-1748. https://doi.org/10.1109/TIE.2020.2992005

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Banaei, M., Raouf-Sheybani, H., Oloomi-Buygi, M. & Boudjadar, J. (2021). Impacts of large-scale penetration of wind power on day-ahead electricity markets and forward contracts. International Journal of Electrical Power and Energy Systems, 125, Article 106450. https://doi.org/10.1016/j.ijepes.2020.106450

Boudjadar, J. & Beck, M. M. (2021). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. Paper presented at Intelligent Systems Conference , Amsterdam, Netherlands.

Amiri, M., Dehghani, M., Khayatian, A., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Investigation of Wind Energy Impact on Power Systems Stability Using Lyapunov Exponents. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 12-22). Springer. https://doi.org/10.1007/978-3-030-65796-3_2

Iraji, M., Dehghani, M., Mohammadi, M., Vafamand, N. & Boudjadar, J. (2021). Motor Current Signature Analysis Using Shapelet. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 23-33). Springer. https://doi.org/10.1007/978-3-030-65796-3_3

Banaei, M., Boudjadar, J., Ebrahimy, R. & Madsen, H. (2021). Optimal Control Strategies of Fuel cell/Battery Based Zero-Emission Ships: A Survey. In IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society IEEE. https://doi.org/10.1109/IECON48115.2021.9589512

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Optimal Energy Resources Scheduling of Hybrid Diesel/Battery Ships in Shallow Waters. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 369-378). Springer. https://doi.org/10.1007/978-3-030-65796-3_36

Afshari-Igder, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2021). Reliability and Safety Improvement of Emission-Free Ships: Systemic Reliability Centered Maintenance. IEEE Transactions on Transportation Electrification, 7(1), 256-266. Article 9220168. https://doi.org/10.1109/TTE.2020.3030082

Banaei, M., Boudjadar, J. & Khooban, M. H. (2021). Stochastic Model Predictive Energy Management in Hybrid Emission-Free Modern Maritime Vessels. IEEE Transactions on Industrial Informatics, 17(8), 5430-5440. https://doi.org/10.1109/TII.2020.3027808

Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. Paper presented at International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal.

Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Paper presented at International Conference on Intelligent Systems Design and Applications.

Hallerstede, S. (2022, Jun 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 ed.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/

Ubys, L., Vancea, V. N., Kulik, T., Larsen, P. G., Boudjadar, J. & Aranha, D. F. (2022). Formal Model In-The-Loop for Secure Industrial Control Networks. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (pp. 74-89). Springer. https://doi.org/10.1007/978-3-031-20872-0_5

Saleem, B., Badar, R., Manzoor, A., Judge, M. A., Boudjadar, J. & Islam, S. U. (2022). Fully Adaptive Recurrent Neuro-Fuzzy Control for Power System Stability Enhancement in Multi Machine System. IEEE Access, 10, 36464-36476. https://doi.org/10.1109/ACCESS.2022.3164455

Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. In K. Arai (Ed.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (pp. 609-623). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-82196-8_45

Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022). Towards Secure Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 159-176). Springer. https://doi.org/10.1007/978-3-031-19762-8_11

Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A. & Boudjadar, J. (2022). UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET. Applied Sciences, 12(23), Article 11995. https://doi.org/10.3390/app122311995

Jensen, M., Toft Jacobsen, J., Sharifirad, I. & Boudjadar, J. (2023). Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs. In J. Chen & L. T. Yang (Eds.), 2023 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): Proceedings (pp. 558-565). IEEE. https://doi.org/10.1109/HPCC-DSS-SmartCity-DependSys60770.2023.00082

Boudjadar, J. & Schultz, C. P. L. (2023). A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. 680-687. Paper presented at 19th International Conference on Software Technologies, Rome, Italy.

Waheed, H., Akram, W., Islam, S. U., Hadi, A., Boudjadar, J. & Zafar, N. (2023). A Mobile-Based System for Detecting Ginger Leaf Disorders Using Deep Learning. Future Internet, 15(3), Article 86. https://doi.org/10.3390/fi15030086

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Andalibi, M., Shourangizhaghighi, A., Hajihosseini, M., Saaed Madani, S., Ziebert, C. & Boudjadar, J. (2023). Design and Simulation-Based Optimization of an Intelligent Autonomous Cruise Control System. Computers, 12(4), Article 84. https://doi.org/10.3390/computers12040084

Gheisarnejad Chirani, M., Mosayebi, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2023). Hybrid Power Systems for Smart Marine Power Grids: Demonstration and Case Study. In Electric Transportation Systems in Smart Power Grids (pp. 473-492). CRC Press. https://doi.org/10.1201/9781003293989

Abraham, E. (Ed.), Hallerstede, S. (Ed.), Hatcliff, J. (Ed.), Stewart, D. (Ed.) & Abou El Wafa, N. (2023). Integrated Rigorous Analysis in Cyber-Physical Systems Engineering. Dagstuhl Reports, 13(1), 155-183. https://doi.org/10.4230/DagRep.13.1.155

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y. & Khooban, M. H. (2023). Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield. Automation , 4(3), 291-308. https://doi.org/10.3390/automation4030017

Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023). Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network. I E E E Transactions on Vehicular Technology, 72(7), 8449-8458. https://doi.org/10.1109/TVT.2023.3247838

Hallerstede, S. & Kamburjan, E. (Eds.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Vol. 3507 https://ceur-ws.org/Vol-3507/

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Aher, G. R., Boudjadar, J. & Ramanujan, D. (2023). Towards Simulation-Based Circular Product Design. Procedia CIRP, 116, 690-695. https://doi.org/10.1016/j.procir.2023.02.116

Sharifirad, I. & Boudjadar, J. (2024). A Computationally-efficient Semi-supervised Learning Model for the Estimation of State Degradation of a Milling Tool. In 2024 IEEE 22nd World Symposium on Applied Machine Intelligence and Informatics, SAMI 2024 - Proceedings (pp. 187-192). IEEE. https://doi.org/10.1109/SAMI60510.2024.10432881

Boudjadar, J. & Islam, S. U. (2024). AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. 291-308. Paper presented at Intelligent Systems Conference, Amsterdam, Netherlands. https://doi.org/10.1007/978-3-031-47724-9_20

Displaying results 101 to 150 out of 155

Revised 10.08.2023

Stefan Hallerstede