Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
EDBT 2026 Demo / reviewers in the wild / expert

John Håkansson

dblp:09/6977 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 2008
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Embedded and real-time systems › embedded system design
component-based embedded systems		 0.112008
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems · ASE 2008

Methods — techniques the papers use, named apart from their topics

model-driven engineering · 0.1component-based design · 0.1
YearPublicationVenuePosition
2008 Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
 ATVA1
2008 Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
abstract
In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.
Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson
 ASE4
2007 The SAVE approach to component-based development of vehicular systems
Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans A. Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
 J. Syst. Softw.5
2003 Generating online test oracles from temporal logic specifications
John Håkansson, Bengt Jonsson 0001, Ola Lundqvist
 Int. J. Softw. Tools Technol. Transf.1