Publications

Sort by: Date | Author | Title

Hallerstede, S. (2018). Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL. Formal Aspects of Computing, 30(3-4), 491-492. https://doi.org/10.1007/s00165-018-0454-6

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

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

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/

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. (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/

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., 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

Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026). Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. In A. Remke & B. Steffen (Eds.), Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (pp. 39-58). Springer. https://doi.org/10.1007/978-3-032-00942-5_3

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

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

Hultman, T., Boudjadar, J. & Asplund, M. (2016). Workshop on Crowd Assisted Sensing, Pervacsive systems and Communications. In CASPeR 2016

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.

Hyun Kim, J., Boudjadar, J., Nyman, U. M., Mikucionis, M., G. Larsen, K., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. In Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (pp. 91-100). IEEE. https://doi.org/10.1145/2737166.2737170 .

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

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

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

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

Khooban, M. H., Gheisarnezhad , M., Vafamand, N. & Boudjadar, J. (2019). Electric Vehicle Power Propulsion System Control Based on Time-Varying Fractional Calculus: Implementation and Experimental Results. IEEE Transactions on Intelligent Vehicles, 4(2), 255-264. Article 8671754. https://doi.org/10.1109/TIV.2019.2904415

Khooban, M. H., Gheisarnejad, M., Vafamand, N., Jafari, M., Mobayen, S., Dragicevic, T. & Boudjadar, J. (2019). Robust Frequency Regulation in Mobile Microgrids: HIL Implementation. IEEE Systems Journal, 13(4), 4281-4291. https://doi.org/10.1109/JSYST.2019.2911210

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

Khooban, M. H., Vafamand, N. & Boudjadar, J. (2019). Tracking Control for Hydrogen Fuel Cell Systems in Zero-Emission Ferry Ships. Complexity (Print), 2019, Article 5358316. https://doi.org/10.1155/2019/5358316

Khooban, M. H. & Boudjadar, J. (2019). Virtual Inertia Control Based-Superconducting Magnetic Energy Storage in Modern AC Stand-Alone Grids. In Control and Optimization of Renewable Energy Systems / 860: Mechatronics and Control - 2019 https://doi.org/10.2316/P.2019.859-007

Krings, S., Leuschel, M., Körner, P., Hallerstede, S. & Hasanagic, M. (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. In F. Calimeri, K. Hamlen & N. Leone (Eds.), Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Vol. 10702, pp. 63-79). Springer. https://doi.org/10.1007/978-3-319-73305-0_5

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

Kulik, T., Tran-Jørgensen, P. W. V. & Boudjadar, J. (2019). Formal Security Analysis of Cloud-Connected Industrial Control Systems. In J. L. Lanet & C. Toma (Eds.), Innovative Security Solutions for Information Technology and Communications - 11th International Conference, SecITC 2018, Revised Selected Papers: SECITC 2018 - International Conference on Security for Information Technology and Communications (Vol. 11359, pp. 71-84). Springer. https://doi.org/10.1007/978-3-030-12942-2_7

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

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

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

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

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

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

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

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T. & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. In O. Kouchnarenko & R. Khosravi (Eds.), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Vol. 10231, pp. 153-171). Springer. https://doi.org/10.1007/978-3-319-57666-4_10

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

Ouy, J., Lecomte, T., Christiansen, M. P., Vill Henriksen, A., Hallerstede, S., Larsen, P. G., Jæger, C. D., Basagiannis, S., Couto, L. D., El-din Mady, A., Ridouanne, H., Moner Poy, H., Valverde Alcala, J., König, C. & Balcu, N. (2016). INtegrated TOol chain for model-based design of CPSs: D1.2 - Case Studies 2. http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf

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

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

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

Rehman, Z. U., Hassan, U., Islam, S. U., Gallos, P. & Boudjadar, J. (2025). Energy-Efficient AI for Medical Diagnostics: Performance and Sustainability Analysis of ResNet and MobileNet. In Intelligent Health Systems – From Technology to Data and Knowledge (pp. 1225-1229). IOS Press. https://doi.org/10.3233/SHTI250585

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

Sartaj, H., Boudjadar, J., Frasheri, M., Ali, S. & Larsen, P. G. (2026). Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models. IEEE Software, 43(1), 89-97. https://doi.org/10.1109/MS.2025.3620578

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

Sitarz, M. K. & Boudjadar, J. (2024). Smart Occupancy-driven Control for Ventilation Systems in Buildings with Privacy Concerns. In K. Arai (Ed.), Intelligent Systems and Applications: Proceedings of the 2023 Intelligent Systems Conference (IntelliSys) Volume 4 (pp. 773-791) https://doi.org/10.1007/978-3-031-47718-8_50

Toor, A., Islam, S. U., Sohail, N., Akhunzada, A., Boudjadar, J., Khattak, H. A., Din, I. U. & Rodrigues, J. J. P. C. (2019). Energy and performance aware fog computing: A case of DVFS and green renewable energy. Future Generation Computer Systems, 101, 1112-1121. https://doi.org/10.1016/j.future.2019.07.010

Tran-Jørgensen, P. W. V., Kulik, T., Boudjadar, J. & Larsen, P. G. (2019). Security analysis of cloud-connected industrial control systems using combinatorial testing. In MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (pp. 1-11). Article 13 Association for Computing Machinery. https://doi.org/10.1145/3359986.3361211

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

Vafamand, N., Khooban, M. H., Dragicevic, T., Boudjadar, J. & Asemani, M. H. (2019). Time-Delayed Stabilizing Secondary Load Frequency Control of Shipboard Microgrids. IEEE Systems Journal, 13(3), 3233-3241. https://doi.org/10.1109/JSYST.2019.2892528

Vafamand, N., Khooban, M. H., Dragicevic, T., Blaabjerg, F. & Boudjadar, J. (2019). Robust Non-Fragile Fuzzy Control of Uncertain DC Microgrids Feeding Constant Power Loads. IEEE Transactions on Power Electronics, 34(11), 11300-11308. https://doi.org/10.1109/TPEL.2019.2896019

Vafamand, N., Mardani, M. M., Khooban, M. H., Blaabjerg, F. & Boudjadar, J. (2019). Pulsed power load effect mitigation in DC shipboard microgrids: A constrained model predictive approach. IET Power Electronics, 12(9), 2155-2160. https://doi.org/10.1049/iet-pel.2018.6159

Displaying results 101 to 150 out of 154

Revised 13.11.2025

Stefan Hallerstede