MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Arne Skou" – sorted by Relevance.

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

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

16 documents found, showing 1 through 10. Next 10 →

ATOM

Modelling and Analysis of a Collision
by Avoidance Protocol Using, Henrik Ejersbo, Jensen Kim, G. Larsen, Arne Skou
… Jensen Kim G. Larsen Arne Skou BRICS, Aalborg University, Denmark, E-mail: fejersbo…
Add To MetaCart

Time-optimal Real-Time Test Case Generation using UPPAAL
by Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou — 2003 — In FATES’03
… Nielsen , Paul Pettersson , and Arne Skou Department of Information Technology Uppsala University P.O. Box…
Cited by 13 (5 self) – Add To MetaCart

Testing real-time embedded software using UPPAAL-TRON: an industrial case study
by Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou — 2005 — In EMSOFT ’05
… and Marius Mikucionis and Brian Nielsen and Arne Skou Aalborg University Center of Embedded Software Systems…
Cited by 5 (0 self) – 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
…: An Industrial Case Study Using UPPAAL Klaus Havelund Arne Skou Kim G. Larsen Kristian Lund BRICS Report Series…
Cited by 2 (0 self) – Add To MetaCart

Time-Optimal Test Cases for RealTime Systems
by Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou — 2003 — In 3rd International Workshop on Formal approaches to Testing of Software (FATES 2003
… , Paul Pettersson 1 , and Arne Skou 2 1 Department of Information Technology, Uppsala University, P…
Cited by 1 (1 self) – Add To MetaCart

Scaling up UPPAAL: automatic verification of real-time systems using compositionality and abstraction
by Henrik Ejersbo Jensen, Kim Guldstrand, Arne Skou — 2000 — Proc. FTRTFT 2000. 84 ALTISEN ET AL
… Henrik Ejersbo Jensen 1 , Kim Guldstrand Larsen 1 , and Arne Skou 1 BRICS ?? , Aalborg University…
Cited by 16 (1 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

Automatic Verification of Real-Timed Systems Using EPSILON
by Jens Chr. Godskesen, Kim G. Larsen, Arne Skou — 1994 — PROC. FME '94 (FORMAL METHODS EUROPE, SYMPOSIUM ON INDUSTRIAL BENEFIT OF FORMAL METHODS), LNCS
… Using Epsilon Jens Chr. Godskesen Kim G. Larsen Arne Skou BRICS Report Series RS-94-19 ISSN 0909…
Cited by 5 (0 self) – Add To MetaCart

Wot - a Language for Behavioral Abstractions in Causality Graphs
by Mikkel Christiansen, Mikkel Christiansen, Jesper Langfeldt Hagen, Jesper Langfeldt Hagen, Kristian Qvistgaard Skov, Kristian Qvistgaard Skov, Arne Skou — 1997
… Kristian Qvistgaard Skov Supervisor: Arne Skou Number of prints: 9 Pages: 73 Abstract: The goal…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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