Publications

Sortér efter: Dato | Forfatter | Titel

Hallerstede, S. (2003). Parallel hardware design in B. I D. Bert, J. P. Bowen, S. King & M. Walden (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

Voros, N. S., Snook, C. F., Hallerstede, S. & Masselos, K. (2005). Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language. Design Automation for Embedded Systems, 9(2), 67-99. https://doi.org/10.1007/s10617-005-1184-6

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2006). An open extensible tool environment for event-B. I Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (s. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

Hallerstede, S. (2006). Justifications for the event-b modelling notation. I J. Julliand & O. Kouchnarenko (red.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (s. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7

Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. I Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (s. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16

Abrial, J. R. & Hallerstede, S. (2007). Refinement, decomposition, and instantiation of discrete models: Application to event-B. Fundamenta Informaticae, 77(1-2), 1-28. https://dl.acm.org/doi/10.5555/2366448.2366450

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2008). A roadmap for the rodin toolset. I Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (s. 347) https://doi.org/10.1007/978-3-540-87603-8_35

Hallerstede, S. (2009). A (Small) Improvement of Event-B?. Afhandling præsenteret på Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl, Tyskland. http://www.stups.uni-duesseldorf.de/mediawiki/images/5/57/Pub-Ha09_291.pdf

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

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

Hallerstede, S. (2009). Incremental System Modelling in Event-B. I F. S. D. Boer, M. M. Bonsangue & E. Madelaine (red.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (s. 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. I G. T. Leavens, P. O'Hearn & S. K. Rajamani (red.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (s. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (red.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Bind 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. 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

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. 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. 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. I Automated Technology for Verification and Analysis (s. 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. Afhandling præsenteret på B2011 Workshop, Limerick, Irland. 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. I AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (s. (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. 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. (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. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 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. I J. Bendisposto, C. Jones, M. Leuschel, A. Romanovsky, T. Margaria, J. Padberg & G. Taentzer (red.), 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. Afhandling præsenteret på Rodin User and Developer Workshop, Fontainebleau, Frankrig. 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. I Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on (s. 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. 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

Boudjadar, J., Bodeveix, J.-P. & Filali, M. (2012). Revising and Extending the Uppaal Communication Mechanism. I Software Composition (s. 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. Afhandling præsenteret på International Conference on System of Systems Engineering, Genoa, Italien. 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. I F. Arbab & M. Sirjani (red.), 5th IPM International Conference on Fundamentals of Software Engineering (s. 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. I Formal Aspects of Component Software (s. 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. I K. Pierce & S. Hallerstede (red.), 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. I M. Butler, S. Hallerstede & M. Waldén (red.), Proceedings of the 4th Rodin User and Developer Workshop (Bind TUCS Lecture Notes 18, s. 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. I Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering (Bind 1294, s. 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. I 2014 Theoretical Aspects of Software Engineering Conference (s. 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. 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). 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. 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). 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. 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

Boudjadar, J., Kim, J. H., G. Larsen, K. & Nyman, U. M. (2014). Model Checking Process Algebra of Communicating Resources for Real-time Systems. I 2014 26th Euromicro Conference on Real-Time Systems (s. 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+. 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). 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. 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

Hallerstede, S., Kristensen, K. & Larsen, P. G. (2014). Modelling of Systems of Systems - An Event-B Perspective of a VDM Project. I M. Butler & S. Hallerstede (red.), 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. I M. Butler & S. Hallerstede (red.), 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

Viser resultater 1 til 50 ud af 151

Næste

Revideret 10.08.2023

Stefan Hallerstede