Abraham, E. (red.)
, Hallerstede, S. (red.), Hatcliff, J. (red.), Stewart, D. (red.) & 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
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. I H. Selvaraj, G. Chmaj & D. Zydek (red.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 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. I
2020 IEEE 11th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2020 (s. 276-280). Artikel 9244399 IEEE.
https://doi.org/10.1109/PEDG48541.2020.9244399
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), Artikel 84.
https://doi.org/10.3390/computers12040084
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), Artikel 4179.
https://doi.org/10.3390/en13164179
Beevi, F. H. A.
, Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014).
Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. I C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (red.),
Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Bind 291, s. 201-208). Springer.
https://doi.org/10.1007/978-3-319-07596-9_22
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., 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. I
2015 IEEE 18th International Symposium on Real-Time Distributed Computing (s. 74-83). IEEE Computer Society.
https://doi.org/10.1109/ISORC.2015.21
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. I
Formal Aspects of Component Software (s. 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. I
2014 Theoretical Aspects of Software Engineering Conference (s. 126-130). IEEE.
https://doi.org/10.1109/TASE.2014.27
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. I
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. I
Formal Aspects of Component Software (s. 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. (2012).
Callable timed automata: Adding process creation and process calls to UPPAAL. I J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (red.),
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., 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. I
Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018: Proceedings (s. 51-58). Artikel 8421146 IEEE.
https://doi.org/10.1109/ISORC.2018.00015