Concepedia

Thomas Långbacka

TL

4

Publications

148

Citations

4

H-Index

1993

Active since

Affiliations

Space Systems Finland (Finland)(Current)

Thomas Långbacka is an author at Space Systems Finland (Finland) specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationDesign

Publications per year

1993–2000

4

Publications

4

Worst-Case Execution Time Analysis For Digital Signal Processors

Niklas Holsti, Thomas Långbacka, Sami Saarinen · Zenodo (CERN European Organization for Nuclear Research) · 2000 · 44 citations · Full text

USING A WORST-CASE EXECUTION TIME TOOL FOR REAL-TIME VERIFICATION OF THE DEBIE SOFTWARE

Niklas Holsti, Thomas Långbacka, Sami Saarinen · 2000 · 41 citations

Software Maintenance, Program Checking, Engineering +23

The Refinement Calculator: Proof Support for Program Refinement

Michael Butler, Jim Grundy, Thomas Långbacka et al. · ePrints Soton (University of Southampton) · 1997 · 40 citations

Refinement Technique, Engineering, Program Analysis +10

Mechanizing some advanced refinement concepts

Joakim Wright, Jukka Hekanaho, P. Luostarinen et al. · Formal Methods in System Design · 1993 · 23 citations

Refinement Technique, Advanced Refinement Concepts, Engineering +8

Rows per page

1–4 of 4