This paper reflects on the influential nature of some of the many scientific achievements linked to Ed Brinksma on the occasion of his 60th birthday. We in particular discuss pioneering contributions in the contexts of constraint-oriented specification, model-based testing, and cost-optimal timed reachability, as well as with respect to tools and algorithms for the construction and analysis of systems. We shed light on these achievements by linking a historical perspective with recent and very applied research directly rooted in these contributions.
CITATION STYLE
Hermanns, H. (2017). From lotosphere to thermosphere. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10500 LNCS, pp. 357–367). Springer Verlag. https://doi.org/10.1007/978-3-319-68270-9_18
Mendeley helps you to discover research relevant for your work.