Publications

Sort by: Date | Author | Title

Boudjadar, J. & Khooban, M. H. (2021). A Safety-Driven Cost Optimization for the Real-Time Operation of a Hybrid Energy System. In H. Selvaraj, G. Chmaj & D. Zydek (Eds.), Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020 (pp. 390-400). Springer. https://doi.org/10.1007/978-3-030-65796-3_38

Boudjadar, J. & Beck, M. M. (2022). Intelligent Time Synchronization Protocol for Energy Efficient Sensor Systems. In K. Arai (Ed.), Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference IntelliSys (pp. 609-623). Springer Science+Business Media. https://doi.org/10.1007/978-3-030-82196-8_45

Boudjadar, J. (2022). A Digital Twin Setup for Safety-aware Optimization of a Cyber-Physical System. 161-168. Paper presented at International Conference on Informatics in Control, Automation and Robotics, Lisbon, Portugal. https://doi.org/10.5220/0011272100003271

Boudjadar, J. (2022). A Flexible Implementation Model for Neural Networks on FPGAs. Paper presented at International Conference on Intelligent Systems Design and Applications.

Boudjadar, J. & Schultz, C. P. L. (2023). A Knowledge-Based Proactive Intelligent System for Buildings Occupancy Monitoring. 680-687. Paper presented at 19th International Conference on Software Technologies, Rome, Italy.

Boudjadar, J. & Islam, S. U. (2024). AgriScanNet-18: A Robust Multilayer CNN for Identification of Potato Plant Diseases. 291-308. Paper presented at Intelligent Systems Conference, Amsterdam, Netherlands. https://doi.org/10.1007/978-3-031-47724-9_20

Boudjadar, J., Islam, S. U. & Buyya, R. (2025). Dynamic FPGA reconfiguration for scalable embedded artificial intelligence (AI): A co-design methodology for convolutional neural networks (CNN) acceleration. Future Generation Computer Systems, 169, Article 107777. https://doi.org/10.1016/j.future.2025.107777

Boudjadar, J. & Frasheri, M. (2025). A Digital Twin Enabled Runtime Analysis and Mitigation for Autonomous Robots Under Uncertainties. In Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO (pp. 96-104). SCITEPRESS Digital Library. https://doi.org/10.5220/0013772600003982

Butler, M., Hallerstede, S. & Lecomte, T. (2013). Preface. In M. Butler, S. Hallerstede & M. Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop (Vol. TUCS Lecture Notes 18, pp. 3-3). Turku Centre for Computer Science. http://tucs.fi/publications/view/?pub_id=pBuHaWa13a

Clark, J., Bendisposto, J., Hallerstede, S., Hansen, D. & Leuschel, M. (2016). Generating Event-B Specifications from Algorithm Descriptions. In M. Butler, K.-D. Schewe, A. Mashkoor & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Proceedings: ABZ 2016 (Vol. 9675, pp. 183-197). Springer. https://doi.org/10.1007/978-3-319-33600-8_11

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (Eds.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 6286 https://doi.org/10.1007/978-3-642-17071-3

Esparza Isasa, J. A., Jørgensen, P. W. V., Nielsen, C. B. & Hallerstede, S. (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. In Y. Ameur & K.-D. Schewe (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: v (pp. 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), Article 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. 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+. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74

Gheisarnejad, M., Moghadam, M., Boudjadar, J. & Khooban, M. H. (2020). Active Power Sharing and Frequency Recovery Control in an Islanded Microgrid with Nonlinear load and Non-Dispatchable DG. IEEE Systems Journal, 14(1), 1058-1068. Article 8771151. https://doi.org/10.1109/JSYST.2019.2927112

Gheisarnejad, M., Boudjadar, J. & Khooban, M. H. (2019). A New Adaptive Type-II Fuzzy-Based Deep Reinforcement Learning Control: Fuel Cell Air-Feed Sensors Control. IEEE Sensors Journal, 19(20), 9081-9089. Article 8744606. https://doi.org/10.1109/JSEN.2019.2924726

Gheisarnejad, M., Karimaghaee, P., Boudjadar, J. & Khooban, M. H. (2019). Real-Time Cellular Wireless Sensor Testbed for Frequency Regulation in Smart Grids. IEEE Sensors Journal, 19(23), 11656-11665. Article 8794525. https://doi.org/10.1109/JSEN.2019.2934599

Gheisarnejad, M., Khooban, M. H., Dragicevic, T. & Boudjadar, J. (2019). Shipboard Secondary Load Frequency Control Based on PPLs and Communication Degradations. In Proceedings: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society (pp. 4063-4067). Article 8927457 IEEE. https://doi.org/10.1109/IECON.2019.8927457

Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2019). Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. Paper presented at IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italy. https://doi.org/10.1109/RTSI.2019.8895596

Gheisarnejad Chirani, M., Mosayebi, M., Rafiei Foroushani, M., Boudjadar, J. & Khooban, M. H. (2023). Hybrid Power Systems for Smart Marine Power Grids: Demonstration and Case Study. In Electric Transportation Systems in Smart Power Grids (pp. 473-492). CRC Press. https://doi.org/10.1201/9781003293989

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Integration of Tools for Rigorous Software Construction and Analysis. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. 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. In U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (Eds.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Vol. Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. 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. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 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. Paper presented at International Conference on System of Systems Engineering, Genoa, Italy. https://doi.org/10.1109/SYSoSE.2012.6384136

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Paper presented at Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Germany. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Paper presented at B2011 Workshop, Limerick, Ireland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008

Hallerstede, S., Leuschel, M. & Plagge, D. (2013). Validation of Formal Models by Refinement Animation. Science of Computer Programming, 78(3), 272-292. https://doi.org/10.1016/j.scico.2011.03.005

Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3

Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299

Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4

Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017

Hallerstede, S. & Hoang, T. S. (2012). Refinement by interface instantiation. In J. Derrick, J. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves & E. Riccobene (Eds.), Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-642-30885-7_16

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. In Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (pp. 105-124)

Hallerstede, S. (2009). How to make mistakes. In C. Attiogbé & D. Mery (Eds.), From Research to Teaching Formal Methods: The B Method: (TFM-B’2009) (pp. 93-108). APCB. http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/TFMB09_proceedings.pdf

Hallerstede, S. (2009). Incremental System Modelling in Event-B. In F. S. D. Boer, M. M. Bonsangue & E. Madelaine (Eds.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (pp. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Hallerstede, S. (2010). Structured Event-B Models and Proofs. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (pp. 273-286). Springer. https://doi.org/10.1007/978-3-642-11811-1_21

Hallerstede, S. & Snook, C. (2011). Refining Nodes and Edges of State Machines. In S. Qin & Z. Qiu (Eds.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (pp. 569-584). Springer. https://doi.org/10.1007/978-3-642-24559-6_38

Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. In K. Pierce & S. Hallerstede (Eds.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf

Hallerstede, S. & Hoang, T. S. (2014). Refinement of decomposed models by interface instantiation. Science of Computer Programming, 94(P2), 144-163. https://doi.org/10.1016/j.scico.2014.05.005

Hallerstede, S. (2014). Quasi-lexicographic convergence. Lecture Notes in Computer Science, 8477, 86-100. https://doi.org/10.1007/978-3-662-43652-3_7

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Hallerstede, S. (2014). Program Development in Event-B with Proof Outlines. In M. Butler & S. Hallerstede (Eds.), Proceedings of the 5th Rodin User and Developer Workshop, 2014 http://eprints.soton.ac.uk/365301/1/Proceedings.pdf

Hallerstede, S. (2016). The correctness of event-B inductive convergence. Science of Computer Programming, 131(December), 94-108. https://doi.org/10.1016/j.scico.2016.04.012

Hallerstede, S., Hasanagic, M., Krings, S., Larsen, P. G. & Leuschel, M. (2018). From Software Specifications to Constraint Programming. In E. Broch Johnsen & I. Schafer (Eds.), Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Proceedings: 16th International Conference, SEFM 2018, Proceedings (pp. 21-36). Springer. https://doi.org/10.1007/978-3-319-92970-5_2

Hallerstede, S., Larsen, P. G. & Fitzgerald, J. (2018). A Non-unified View of Modelling, Specification and Programming. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Proceedings: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Vol. I, pp. 52-68). Springer. https://doi.org/10.1007/978-3-030-03418-4_4

Displaying results 51 to 100 out of 154

Revised 13.11.2025

Stefan Hallerstede