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), Artikel 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
Jastram, M.
, Hallerstede, S., Leuschel, M. & Russo, A. G. (2010).
An approach of requirements tracing in formal refinement. I G. T. Leavens, P. O'Hearn & S. K. Rajamani (red.),
Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (s. 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, Artikel 6487873.
https://doi.org/10.1155/2020/6487873
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. Artikel 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. 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
Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018).
A Non-unified View of Modelling, Specification and Programming. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Bind I, s. 52-68). Springer.
https://doi.org/10.1007/978-3-030-03418-4_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., 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., 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
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