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
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
Glässer, U.
, Hallerstede, S., Leuschel, M. & Riccobene, E. (2014).
Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. 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
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
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
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
Hallerstede, S., Hasanagic, M., Krings, S.
, Larsen, P. G. & Leuschel, M. (2018).
From Software Specifications to Constraint Programming. I E. Broch Johnsen & I. Schafer (red.),
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (s. 21-36). Springer.
https://doi.org/10.1007/978-3-319-92970-5_2
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
Clark, J., Bendisposto, J.
, Hallerstede, S., Hansen, D. & Leuschel, M. (2016).
Generating Event-B Specifications from Algorithm Descriptions. I M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (red.),
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Bind 9675, s. 183-197). Springer.
https://doi.org/10.1007/978-3-319-33600-8_11
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
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
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
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
Glässer, U.
, Hallerstede, S., Leuschel, M. & Riccobene, E. (2014).
Integration of Tools for Rigorous Software Construction and Analysis. 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
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
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
Freitas, L.
, Hallerstede, S., Hansen, D., Kuppe, M., Mejia, F., Merz, S., Vanzetto, H. & Winter, K. (2014).
Modeling Dijkstra’s Termination Detection Algorithm in TLA+. 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
Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014).
Modelling Energy Consumption in Embedded Systems with VDM-RT. I Y. Ameur & K.-D. Schewe (red.),
Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (s. 130-135 ). Springer VS.
https://doi.org/10.1007/978-3-662-43652-3_1
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
Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Derakhshandeh, S. Y.
& Khooban, M. H. (2023).
Multi-Criteria Design of Electric Transit Bus Based on Wireless Charging Infrastructure: A Case Study of Real Road Map in Wakefield.
Automation ,
4(3), 291-308.
https://doi.org/10.3390/automation4030017
Gmehlich, R., Grau, K.
, Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011).
On Fitting a Formal Method into Practice. I S. Qin & Z. Qiu (red.),
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 195-210). Springer.
https://doi.org/10.1007/978-3-642-24559-6_15
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
Fathollahidehkordi, A., Gheisarnejad Chirani, M., Boudjadar, J., Homayounzadeh, M. & Khooban, M. H. (2023).
Optimal Design of Wireless Charging Electric Buses-Based Machine Learning: A Case Study of Nguyen-Dupuis Network.
I E E E Transactions on Vehicular Technology,
72(7), 8449-8458.
https://doi.org/10.1109/TVT.2023.3247838