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
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
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 .
Hallerstede, S., Leuschel, M. & Plagge, D. (2010).
Refinement-Animation for Event-B - Towards a Method of Validation. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (red.),
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (s. 287-301). Springer.
https://doi.org/10.1007/978-3-642-11811-1_22
Hallerstede, S. & Hoang, T. S. (2012).
Refinement by interface instantiation. I J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (red.),
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (s. 223-237). Springer.
https://doi.org/10.1007/978-3-642-30885-7_16
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
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
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
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
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
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
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
Hallerstede, S., Hansen, F. O., Holt, J.
, Lauritsen, R. W., Lorenzen, L. & Peleska, J. (2012).
Technical Challenges of SoS Requirements Engineering. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien.
https://doi.org/10.1109/SYSoSE.2012.6384136
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
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
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
Farooq, W., Islam, S. U., Khan, M. A., Rehman, S., Gulzari, U. A.
& Boudjadar, J. (2022).
UGAVs-MDVR: A Cluster-Based Multicast Routing Protocol for Unmanned Ground and Aerial Vehicles Communication in VANET.
Applied Sciences,
12(23), Artikel 11995.
https://doi.org/10.3390/app122311995
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
Fleischmann, A., Glässer, U., Hayes , I.
, Hallerstede, S., Hansen , D., Voisin , L. & Winter, K. (2014).
Working Groups: Comparison of Methods and Tools: Summary of Meeting of Workgroup on Methodology. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.),
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/DagRep.3.9.74