Publications

Sort by: Date | Author | Title

Banaei, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2020). A Comparative Analysis of Optimal Operation Scenarios in Hybrid Emission-Free Ferry Ships. IEEE Transactions on Transportation Electrification, 6(1), 318-333. Article 8976275. https://doi.org/10.1109/TTE.2020.2970674

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. & Khooban, M. H. (2020). A Cost-effective Scheduling Control for a Safety Critical Hybrid Power System. In D. Maga & J. Hajek (Eds.), Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020 Article 9213541 IEEE. https://doi.org/10.1109/DS-RT50469.2020.9213541

Gheisarnejad, M., Moghadam, M., Boudjadar, J. & Khooban, M. H. (2020). Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid with Nonlinear load and Non-Dispatchable DG. IEEE Systems Journal, 14(1), 1058-1068. Article 8771151. https://doi.org/10.1109/JSYST.2019.2927112

Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2019). Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. Paper presented at IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italy. https://doi.org/10.1109/RTSI.2019.8895596

Boudjadar, J. & Frasheri, M. (2025). A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. In Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (pp. 96-104). SCITEPRESS Digital Library. https://doi.org/10.5220/0013772600003982

Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. 161-168. Paper presented at International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal. https://doi.org/10.5220/0011272100003271

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. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Paper presented at International Conference on Intelligent Systems Design and Applications.

Kulik, T., Tran-Jørgensen, P. W. V., Boudjadar, J. & Schultz, C. P. L. (2018). A Framework for Threat-Driven Cyber Security Verification of IoT Systems. In Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018: Proceedings (pp. 89-97). IEEE. https://doi.org/10.1109/ICSTW.2018.00033

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

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.

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Article 103312. https://doi.org/10.1016/j.scico.2025.103312

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. In J. Cámara & S.-S. Jongmans (Eds.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 ed., pp. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008

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

Holt, J., Perry, S., Payne, R., Bryans, J., Hallerstede, S. & Hansen, F. O. (2015). A Model-Based Approach for Requirements Engineering for Systems of Systems. I E E E Systems Journal, 9(1). https://doi.org/10.1109/JSYST.2014.2312051

Bodeveix, J.-P., Boudjadar, J. & Filali, M. (2011). An Alternative Definition for Timed Automata Composition. In Automated Technology for Verification and Analysis (pp. 105-119). Springer. https://doi.org/10.1007/978-3-642-24372-1_9

Jastram, M., Hallerstede, S., Leuschel, M. & Russo, A. G. (2010). An approach of requirements tracing in formal refinement. In G. T. Leavens, P. O'Hearn & S. K. Rajamani (Eds.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (pp. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

Letafat, A., Rafiei, M., Ardeshiri, M., Sheikh, M., Banaei, M., Boudjadar, J. & Khooban, M. H. (2020). An Efficient and Cost-Effective Power Scheduling in Zero-Emission Ferry Ships. Complexity, 2020, Article 6487873. https://doi.org/10.1155/2020/6487873

Boudjadar, J. (2017). An Efficient Energy-driven Scheduling of DVFS-Multicore Systems with a Hierarchy of Shared Memories. In Proceedings - 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2017: DS-RT 2017 (pp. 1-8). IEEE. https://doi.org/10.1109/DISTRA.2017.8167661

Gheisarnejad, M., Boudjadar, J. & Khooban, M. H. (2019). A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control: Fuel Cell Air-Feed Sensors Control. IEEE Sensors Journal, 19(20), 9081-9089. Article 8744606. https://doi.org/10.1109/JSEN.2019.2924726

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

Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018). A Non-unified View of Modelling, Specification and Programming. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Vol. I, pp. 52-68). Springer. https://doi.org/10.1007/978-3-030-03418-4_4

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

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

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

Hyun Kim, J., Kang, S. & Boudjadar, J. (2016). A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Sofware Architectures. IEEE Transactions on Industrial Informatics Journal.

Boudjadar, J., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). A Reconfigurable Framework for Compositional Schedulability and Power Analysis of Hierarchical Scheduling Systems with Frequency Scaling. Science of Computer Programming, 113(3), 236-260. https://doi.org/10.1016/j.scico.2015.10.003

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

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Paper presented at Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

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.

Hardin, D., Amundson, I., Babar, J., Cofer, D., Hasan, S., Hoech, K., Belt, J., Hatcliff, J., Robby & Hallerstede, S. (2025). Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. In DASC 2025 - Digital Avionics Systems Conference, Conference Proceedings IEEE. https://doi.org/10.1109/DASC66011.2025.11257170

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/

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2012). Callable timed automata: Adding process creation and process calls to UPPAAL. In J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (Eds.), 12th International Workshop on Automated Verification of Critical Systems https://www.researchgate.net/publication/235623524_Callable_timed_automata_Adding_process_creation_and_process_calls_to_UPPAAL

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U. M. (2019). Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems. In Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019: Proceedings Article 8958666 IEEE. https://doi.org/10.1109/DS-RT47707.2019.8958666

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Compliance verification of a cyber security standard for Cloud-connected SCADA. In Global IoT Summit, GIoTS 2019 - Proceedings Article 8766363 IEEE. https://doi.org/10.1109/GIOTS.2019.8766363

Bendisposto, J. & Hallerstede, S. (2012). Component Reification in Systems Modelling. Paper presented at Rodin User and Developer Workshop, Fontainebleau, France. http://deploy-eprints.ecs.soton.ac.uk/382/1/Rodin%20Workshop%20Proceedings%20.pdf

Boudjadar, J., Dingel, J., Madzar, B. & Hyun Kim, J. (2016). Compositional Predictability Analysis of mixed-critical Real Time Systems. In P. C. Ölveczky & C. Artho (Eds.), Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers (pp. 69-84). Springer. https://doi.org/10.1007/978-3-319-29510-7_4

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Compositional Refinement for Real-Time Systems with Priorities. In Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (pp. 57-64). IEEE. https://doi.org/10.1109/TIME.2012.21

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. In Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering (Vol. 1294, pp. 140-147). CEUR Workshop Proceedings. http://vbn.aau.dk/en/publications/compositional-schedulability-analysis-of-an-avionics-system-using-uppaal(748cd13d-5a03-4afb-aa5a-3f13998c25f0).html

Boudjadar, J. (2018). Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. Journal of Computers, 13(10), 1202-1215. https://doi.org/10.17706/jcp.13.10.1202-1215

Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299

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

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

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. In F. Henglein, J. Lawall, J. Palsberg & S. Ilya (Eds.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (pp. 14-25). Association for Computing Machinery. https://doi.org/10.1145/3759427.3760363

Beevi, F. H. A., Wagner, S. R., Pedersen, C. F. & Hallerstede, S. (2016). Data Quality Oriented Efficacy Evaluation Method for Ambient Assisted Living Technologies. In PervasiveHealth 2016 - 10th EAI International Conference on Pervasive Computing Technologies for Healthcare Association for Computing Machinery. https://doi.org/10.4108/eai.16-5-2016.2263753

Beevi, F. H. A., Wagner, S. R., Hallerstede, S. & Pedersen, C. F. (2016). Data Quality Oriented Taxonomy of Ambient Assisted Living Systems. In IET International Conference on Technologies for Active and Assisted Living: TechAAL, 2015 Institution of Engineering and Technology. https://doi.org/10.1049/ic.2015.0140

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

Displaying results 1 to 50 out of 154

Revised 13.11.2025

Stefan Hallerstede