Find

For students
For PhDs
For employees

Department of Electrical and Computer Engineering

Publications

Sort by: Date | Author | Title

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

Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y

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

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

Aher, G., Sandberg, M., Boudjadar, J. & Ramanujan, D. (2025). Informing circularity-focused design optimization using parametric life-cycle engineering simulation models. Smart and Sustainable Manufacturing Systems, 9(1), 11-36. https://doi.org/10.1520/SSMS20240018

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

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

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

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

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

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

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

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

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

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

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

Beck, M. M., Boudjadar, J. & Chougui, Y. (2021). Energy Efficient Real-time Calibration of Wireless Sensor Networks for Smart Buildings. 63-77. Paper presented at International Symposium on Intelligent and Autonomous Systems, Tallinn, Estonia. https://doi.org/10.1007/978-3-030-87657-9_5

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. In C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (Eds.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Vol. 291, pp. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

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

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

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

Betzer, J. S., Boudjadar, J., Frasheri, M. & Talasila, P. (2024). Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty. (pp. 10-17). ArXiv. https://doi.org/10.1109/DS-RT62209.2024.00012

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

Boudjadar, J. & Nadjm-Tehrani, S. (2017). Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems. 263-274. Abstract from the 8th ACM/SPEC International Conference on Performance Engineering, L'Aquila, Italy. https://doi.org/10.1145/3030207.3030233

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

Boudjadar, J., Kim, H. J. & Nadjm-Tehrani, S. (2016). Performance-aware Scheduling of Multicore Time-critical Systems. In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 (pp. 105-114). Article 7797753 IEEE. https://doi.org/10.1109/MEMCOD.2016.7797753

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikucionis, M., Nyman, U. M. & Skou, A. J. (2016). Statistical and exact Schedulability analysis of Hierarchical Scheduling Systems. Science of Computer Programming, 127, 103-130. https://doi.org/10.1016/j.scico.2016.05.008

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

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., 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., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M., Skou, A., Lee, I. & Thi Xuan Phan, L. (2015). Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (pp. 74-83). IEEE Computer Society Press. https://doi.org/10.1109/ISORC.2015.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., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). Widening the Schedulability of Hierarchical Scheduling Systems. In Formal Aspects of Component Software (pp. 209-227). Springer. https://link.springer.com/chapter/10.1007/978-3-319-15317-9_14

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2014). Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. In 2014 Theoretical Aspects of Software Engineering Conference (pp. 126-130). IEEE. https://doi.org/10.1109/TASE.2014.27

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. In 2014 26th Euromicro Conference on Real-Time Systems (pp. 51-60) https://doi.org/10.1109/ECRTS.2014.24

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Nyman, U. M. & Skou, A. (2014). Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems. In Proceedings of ERTS2 2014 http://vbn.aau.dk/files/87334413/ERTSpaper.pdf

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2013). Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. In Formal Aspects of Component Software (pp. 61-78). Springer. https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2013). Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In F. Arbab & M. Sirjani (Eds.), 5th IPM International Conference on Fundamentals of Software Engineering (pp. 111-132). Springer. https://doi.org/10.1007/978-3-642-40213-5_8

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., 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., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. In Software Composition (pp. 114-131). Springer. https://doi.org/10.1007/978-3-642-30564-1_8

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

Boudjadar, J. & Macedo, H. D. (2019). Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems. In Proceedings of the 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018 (pp. 37-46). Article 8600927 IEEE. https://doi.org/10.1109/DISTRA.2018.8600927

Boudjadar, J., Hyun Kim, J., Thi Xuan Phan, L., Lee, I., G. Larsen, K. & Nyman, U. M. (2018). Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (pp. 51-58). Article 8421146 IEEE. https://doi.org/10.1109/ISORC.2018.00015

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

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

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.

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

Displaying results 1 to 50 out of 154

1

Revised 13.11.2025

-

Stefan Hallerstede