Thomas Långbacka

Publication Activity (10 Years)

Years Active: 1992-2003
Publications (10 Years): 0

Publications

Niklas Holsti, Thomas Långbacka
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. Ada-Europe (2003)
Niklas Holsti, Thomas Långbacka, Sami Saarinen
Worst-case execution time analysis for digital signal processors. EUSIPCO (2000)
Thomas Långbacka, Joakim von Wright
Refining Reactive Systems in HOL Using Action Systems. TPHOLs (1997)
Jim Grundy, Thomas Långbacka
Recording HOL Proofs in a Structured Browsable Format. AMAST (1997)
Michael J. Butler, Thomas Långbacka
Program Derivation Using the Refinement Calculator. TPHOLs (1996)
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
TkWinHOL: A Tool for Window Inference in HOL. TPHOLs (1995)
Thomas Långbacka
A HOL Formalisation of the Temporal Logic of Actions. TPHOLs (1994)
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanizing Some Advanced Refinement Concepts. Formal Methods Syst. Des. 3 (1/2) (1993)
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanising some Advanced Refinement Concepts. TPHOLs (1992)
Joakim von Wright, Thomas Långbacka
Using a Theorem Prover for Reasoning about Concurrent Algorithms. CAV (1992)