Searching for authors named Kim Guldstrand Larsen – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

Verification of Timed and Hybrid Systems
by Kim Guldstrand Larsen — 2000
…Verification of Timed and Hybrid Systems Kim Guldstrand Larsen BRICS # # # , Dep. of Computer…
Cited by 1 (0 self) – Add To MetaCart

A Refinement Logic for the Fork Calculus
by Klaus Havelund, Kim Guldstrand Larsen — 1995 — Protocol Specification, Testing and Verification XIV
…A Refinement Logic for the Fork Calculus Klaus Havelund Kim Guldstrand Larsen y Abstract…
Cited by 3 (0 self) – Add To MetaCart

UPPAAL2k
by Paul Pettersson, Kim Guldstrand Larsen, Kim Guldstr — 2000
…UPPAAL2k by Paul Pettersson and Kim Guldstrand Larsen Background UPPAAL [1] is a tool…
Add To MetaCart

Timed and Hybrid Automata
by Kim Guldstrand Larsen, Mogens Nielsen, P. S. Thiagarajan, J-p. Katoen — 2000
…, Denmark, June 26-30, 2000 Advanced Tutorial Timed and Hybrid Automata Organised by Kim Gulstrand Larsen…
Add To MetaCart

Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL
by Klaus Havelund, Kim Guldstrand Larsen, Arne Skou — 1998 — IN 5TH INT. AMAST WORKSHOP ON REAL-TIME AND PROBABILISTIC SYSTEMS, NUMBER 1601 IN LECTURE NOTES IN COMPUTER SCIENCE
… Klaus Havelund, Kim Guldstrand Larsen, Arne Skou BRICS, Aalborg University, Denmark fhavelund…
Cited by 6 (4 self) – Add To MetaCart

Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial . . .
by Kim G. Larsen, Kristian Lund, Klaus Havelund, Klaus Havelund, Arne Skou, Arne Skou, Kim Guldstrand Larsen — 1997
… Case Study Using UPPAAL Klaus Havelund Arne Skou Kim Guldstrand Larsen BRICS , Aalborg University…
Cited by 2 (0 self) – Add To MetaCart

Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
by Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund — 1997 — In Proc. of the 18th IEEE Real-Time Systems Symposium
… Klaus Havelund Arne Skou Kim Guldstrand Larsen BRICS, Aalborg University, Denmark fhavelund…
Cited by 41 (14 self) – Add To MetaCart

Verification of State/Event Systems by Quotienting
by Kim G. Larsen, Nicky O. Bodentien, Nicky O. Bodentien, Kåre J. Kristoffersen, Jacob Vestergaard, Jacob Vestergaard, Jakob Friis, Jakob Friis, K Are J. Kristoffersen, K Are J. Kristoffersen, Kim G, Kre Jelling, Kristoffersen Kim, Guldstrand Larsen — 1999
… Jakob Friis Kre Jelling Kristoffersen Kim Guldstrand Larsen {oliver, jacob, freeze, jelling, kgl…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 8.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB