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
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
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
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
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
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
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
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
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
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., 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
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
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., 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