Concepedia

Hans Hansson

HH

73

Publications

4.2K

Citations

32

H-Index

1975

Active since

Affiliations

Mälardalen University(Current)

Uppsala University

Ericsson (Sweden)

University of Gothenburg

Hans Hansson is an author at Mälardalen University specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceReal-time SystemsFormal VerificationComputer ArchitectureFormal MethodsSystem SoftwareSoftware Analysis

Publications per year

1975–2023

73

Publications

73

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.3K citations · Full text

A calculus for communicating systems with time and probabilities

Hans Hansson, Bengt Jönsson · 1990 · 200 citations

Engineering, Complex Systems, Formal Verification +16

Automotive Communications - Past, Current and Future

Thomas Nolte, Hans Hansson, Lucia Lo Bello · 2006 · 141 citations

Vehicle Communication, Internet Of Vehicle, Engineering +8

Worst-case execution-time analysis for embedded real-time systems

Jakob Engblom, Andreas Ermedahl, Mikael Sjödin et al. · International Journal on Software Tools for Technology Transfer · 2003 · 114 citations

Real-time System, Engineering, Program Analysis +10

Improved response-time analysis calculations

Mikael Sjödin, Hans Hansson · 2002 · 110 citations

Engineering, Measurement, Computer Architecture +23

Rows per page

1–5 of 73