{"month":"10","status":"public","date_updated":"2025-08-05T12:19:50Z","alternative_title":["LNCS"],"language":[{"iso":"eng"}],"day":"23","date_published":"2024-10-23T00:00:00Z","OA_type":"closed access","article_processing_charge":"No","doi":"10.1007/978-3-031-73751-0_12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Reminiscences of a Real-Time Researcher","_id":"18563","citation":{"ista":"Henzinger TA. 2024.Reminiscences of a Real-Time Researcher. In: Real Time and Such. LNCS, vol. 15230, 154–164.","apa":"Henzinger, T. A. (2024). Reminiscences of a Real-Time Researcher. In S. Graf, P. Pettersson, &#38; B. Steffen (Eds.), <i>Real Time and Such</i> (Vol. 15230, pp. 154–164). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-73751-0_12\">https://doi.org/10.1007/978-3-031-73751-0_12</a>","mla":"Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” <i>Real Time and Such</i>, edited by Susanne Graf et al., vol. 15230, Springer Nature, 2024, pp. 154–64, doi:<a href=\"https://doi.org/10.1007/978-3-031-73751-0_12\">10.1007/978-3-031-73751-0_12</a>.","short":"T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.","chicago":"Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” In <i>Real Time and Such</i>, edited by Susanne Graf, Paul Pettersson, and Bernhard Steffen, 15230:154–64. LNCS. Cham: Springer Nature, 2024. <a href=\"https://doi.org/10.1007/978-3-031-73751-0_12\">https://doi.org/10.1007/978-3-031-73751-0_12</a>.","ieee":"T. A. Henzinger, “Reminiscences of a Real-Time Researcher,” in <i>Real Time and Such</i>, vol. 15230, S. Graf, P. Pettersson, and B. Steffen, Eds. Cham: Springer Nature, 2024, pp. 154–164.","ama":"Henzinger TA. Reminiscences of a Real-Time Researcher. In: Graf S, Pettersson P, Steffen B, eds. <i>Real Time and Such</i>. Vol 15230. LNCS. Cham: Springer Nature; 2024:154-164. doi:<a href=\"https://doi.org/10.1007/978-3-031-73751-0_12\">10.1007/978-3-031-73751-0_12</a>"},"acknowledgement":"I thank all my collaborators over the years. None of the mentioned contributions would have been possible without them. I also apologize for all omissions. The selection of contributions in this essay reflects primarily my personal involvement rather than any measure of importance.","date_created":"2024-11-18T09:10:06Z","page":"154-164","oa_version":"None","publication_status":"published","publication_identifier":{"isbn":["9783031737503"],"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783031737510"]},"place":"Cham","scopus_import":"1","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A"}],"volume":15230,"publication":"Real Time and Such","corr_author":"1","department":[{"_id":"ToHe"}],"intvolume":"     15230","year":"2024","publisher":"Springer Nature","abstract":[{"lang":"eng","text":"I give a personal account about the wave of new research activities that rose in the 1990s on the specification, verification, and control of real-time systems."}],"series_title":"LNCS","editor":[{"first_name":"Susanne","last_name":"Graf","full_name":"Graf, Susanne"},{"last_name":"Pettersson","full_name":"Pettersson, Paul","first_name":"Paul"},{"last_name":"Steffen","full_name":"Steffen, Bernhard","first_name":"Bernhard"}],"type":"book_chapter","quality_controlled":"1"}