Thomas Långbacka

According to our database, Thomas Långbacka authored at least 10 papers between 1992 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.

Niklas Holsti, Thomas Långbacka

Proceedings of the Reliable Software Technologies, 2003

2000

Worst-case execution time analysis for digital signal processors.

Niklas Holsti, Thomas Långbacka, Sami Saarinen

Proceedings of the 10th European Signal Processing Conference, 2000

1997

Refining Reactive Systems in HOL Using Action Systems.

Thomas Långbacka, Joakim von Wright

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Recording HOL Proofs in a Structured Browsable Format.

Jim Grundy, Thomas Långbacka

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Program Derivation Using the Refinement Calculator.

Michael J. Butler, Thomas Långbacka

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

TkWinHOL: A Tool for Window Inference in HOL.

Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

A HOL Formalisation of the Temporal Logic of Actions.

Thomas Långbacka

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Mechanizing Some Advanced Refinement Concepts.

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka

Formal Methods Syst. Des., 1993

1992

Mechanising some Advanced Refinement Concepts.

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Using a Theorem Prover for Reasoning about Concurrent Algorithms.

Joakim von Wright, Thomas Långbacka

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992