An Integer Static Analysis for Better Extrapolation in Uppaal - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen. An Integer Static Analysis for Better Extrapolation in Uppaal. In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 84-99, Springer, 2021. [doi]

This author has not been identified. Look up 'Sebastian Lund' in GoogleThis author has not been identified. Look up 'Jesper van Diepen' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Marco Muñiz' in GoogleThis author has not been identified. Look up 'Tobias Ringholm Jørgensen' in GoogleThis author has not been identified. Look up 'Tobias Skaarup Daa Andersen' in Google

runs on WebDSL