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
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. I J.-M. Bruel, A. Capozucca, M. Mazzara, B. Meyer, A. Naumchev & A. Sadovykh (red.),
Frontiers in Software Engineering Education: FISEE 2019 (s. 178-195). Springer.
https://doi.org/10.1007/978-3-030-57663-9_12,
https://doi.org/10.1007%2F978-3-030-57663-9
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
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. I
Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (s. 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. I H. Selvaraj, G. Chmaj & D. Zydek (red.),
Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (s. 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. 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
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. Artikel 8890831.
https://doi.org/10.1109/TPEL.2019.2951183
Krings, S., Leuschel, M., Körner, P.
, Hallerstede, S. & Hasanagic, M. (2018).
Three is a crowd: SAT, SMT and CLP on a chessboard. I F. Calimeri, K. Hamlen & N. Leone (red.),
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Proceedings: 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings (Bind 10702, s. 63-79). Springer.
https://doi.org/10.1007/978-3-319-73305-0_5
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 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, Artikel 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, Artikel 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. I O. Kouchnarenko & R. Khosravi (red.),
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Revised Selected Papers: FACS 2016 (Bind 10231, s. 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, Artikel 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
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
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
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. I
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings (s. 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
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