Publications

Sort by: Date | Author | Title

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

Jastram, M., Hallerstede, S., Leuschel, M. & Russo, A. G. (2010). An approach of requirements tracing in formal refinement. In G. T. Leavens, P. O'Hearn & S. K. Rajamani (Eds.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (pp. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

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

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

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

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

Bodeveix, J.-P., Boudjadar, J. & Filali, M. (2011). An Alternative Definition for Timed Automata Composition. In Automated Technology for Verification and Analysis (pp. 105-119). Springer. https://doi.org/10.1007/978-3-642-24372-1_9

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

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. In AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (pp. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

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. (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. & 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

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2012). Callable timed automata: Adding process creation and process calls to UPPAAL. In J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (Eds.), 12th International Workshop on Automated Verification of Critical Systems https://www.researchgate.net/publication/235623524_Callable_timed_automata_Adding_process_creation_and_process_calls_to_UPPAAL

Bendisposto, J. & Hallerstede, S. (2012). Component Reification in Systems Modelling. Paper presented at Rodin User and Developer Workshop, Fontainebleau, France. http://deploy-eprints.ecs.soton.ac.uk/382/1/Rodin%20Workshop%20Proceedings%20.pdf

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Compositional Refinement for Real-Time Systems with Priorities. In Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (pp. 57-64). IEEE. https://doi.org/10.1109/TIME.2012.21

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

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. In Software Composition (pp. 114-131). Springer. https://doi.org/10.1007/978-3-642-30564-1_8

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

Boudjadar, J., Vaandrager, F., Bodeveix, J.-P. & Filali, M. (2013). Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. In F. Arbab & M. Sirjani (Eds.), 5th IPM International Conference on Fundamentals of Software Engineering (pp. 111-132). Springer. https://doi.org/10.1007/978-3-642-40213-5_8

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. In Formal Aspects of Component Software (pp. 61-78). Springer. https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

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

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

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

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. In Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering (Vol. 1294, pp. 140-147). CEUR Workshop Proceedings. http://vbn.aau.dk/en/publications/compositional-schedulability-analysis-of-an-avionics-system-using-uppaal(748cd13d-5a03-4afb-aa5a-3f13998c25f0).html

Boudjadar, J., David, A., Kim, J. H., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2014). Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks. In 2014 Theoretical Aspects of Software Engineering Conference (pp. 126-130). IEEE. https://doi.org/10.1109/TASE.2014.27

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

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

Beevi, F. H. A., Pedersen, C. F., Wagner, S. R. & Hallerstede, S. (2014). Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration. In C. Ramos, P. Novais, C. Ehrwein Nihan & J. M. Corchado Rodriguez (Eds.), Ambient Intelligence - Software and Applications: 5th International Symposium on Ambient Intelligence (Vol. 291, pp. 201-208). Springer. https://doi.org/10.1007/978-3-319-07596-9_22

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. In 2014 26th Euromicro Conference on Real-Time Systems (pp. 51-60) https://doi.org/10.1109/ECRTS.2014.24

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

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

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. (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. & 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

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. In Proceedings of ERTS2 2014 http://vbn.aau.dk/files/87334413/ERTSpaper.pdf

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

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

Boudjadar, J., David, A., Hyun Kim, J., G. Larsen, K., Mikucionis, M., Nyman, U. M. & Skou, A. (2015). A Reconfigurable Framework for Compositional Schedulability and Power Analysis of Hierarchical Scheduling Systems with Frequency Scaling. Science of Computer Programming, 113(3), 236-260. https://doi.org/10.1016/j.scico.2015.10.003

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. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (pp. 74-83). IEEE Computer Society Press. https://doi.org/10.1109/ISORC.2015.21

Boudjadar, J., Hyun Kim, J., Legay, A. & Choi, J.-Y. (2015). Optimizing the Resource Requirements of Hierarchical Scheduling Systems. In 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems https://www.researchgate.net/publication/284182983_Optimizing_the_Resource_Requirements_of_Hierarchical_Scheduling_Systems

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. In Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on (pp. 91-100). IEEE. https://doi.org/10.1145/2737166.2737170 .

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. In Formal Aspects of Component Software (pp. 209-227). Springer. https://link.springer.com/chapter/10.1007/978-3-319-15317-9_14

Displaying results 1 to 50 out of 154

Revised 13.11.2025

Stefan Hallerstede