( en | de | ru )

 

Disambiguation of "Larsen, Kim G."

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Spreadsheets for Parallel Execution via Model Checking.

, , , , and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 27-35. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Larsen

Larsen Schütte

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

 

Other publications of authors with the same name

Reactive Systems: Modelling, Specification and Verification, , , and . Cambridge University Press, (August 2007)UPPAAL in a Nutshell, , and . Aalborg University, Denmark and Uppsala University, Sweden, (1997)Complete proof systems for weighted modal logic., and . Theor. Comput. Sci., (2014)Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems., , and . ICTAC Training School on Software Engineering, volume 8050 of Lecture Notes in Computer Science, page 67-108. Springer, (2013)Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds., , , , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 13-18. Elsevier, (2021)Nash Equilibria in Concurrent Priced Games., , , and . LATA, volume 7183 of Lecture Notes in Computer Science, page 363-376. Springer, (2012)Monitoring Real-Time Systems under Parametric Delay., , , and . CoRR, (2024)Monitoring Dynamical Signals While Testing Timed Aspects of a System., , , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)Energy Games in Multiweighted Automata., , , and . ICTAC, volume 6916 of Lecture Notes in Computer Science, page 95-115. Springer, (2011)Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems., , , and . Engineering Dependable Software Systems, volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)