Följ
Kaj Hänninen
Kaj Hänninen
Verifierad e-postadress på mdh.se
Titel
Citeras av
Citeras av
År
The Rubus component model for resource constrained real-time systems
K Hanninen, J Maki-Turja, M Nolin, M Lindberg, J Lundback, ...
2008 International Symposium on Industrial Embedded Systems, 177-183, 2008
1992008
Efficient development of real-time systems using hybrid scheduling
J Mäki-Turja, K Hänninen, M Nolin
International conference on embedded systems and applications (ESA) 6, 2005
302005
Determining maximum stack usage in preemptive shared stack systems
K Hanninen, J Maki-Turja, M Bohlin, J Carlson, M Nolin
2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 445-453, 2006
282006
Achieving Industrial Strength Timing Predictions of Embedded System Behavior.
M Nolin, J Mäki-Turja, K Hänninen
ESA, 173-178, 2008
222008
Present and future requirements in developing industrial embedded real-time systems-interviews with designers in the vehicle domain
K Hanninen, J Maki-Turja, M Nolin
13th Annual IEEE International Symposium and Workshop on Engineering of …, 2006
212006
An ontological interpretation of the hazard concept for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
The 27th European Safety and Reliability Conference ESREL'17, 18-22 Jun 2017 …, 2017
202017
Bounding shared-stack usage in systems with offsets and precedences
M Bohlin, K Hänninen, J Mäki-Turja, J Carlson, M Nolin
2008 Euromicro Conference on Real-Time Systems, 276-285, 2008
192008
Framework for real-time analysis in Rubus-ICE
K Hanninen, J Maki-Turja, S Sandberg, J Lundback, M Lindberg, M Nolin, ...
2008 IEEE International Conference on Emerging Technologies and Factory …, 2008
172008
An ontological approach to elicit safety requirements
L Provenzano, K Hänninen, J Zhou, K Lundqvist
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 713-718, 2017
152017
An ontological approach to identify the causes of hazards for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
2017 2nd International Conference on System Reliability and Safety (ICSRS …, 2017
142017
An ontological approach to hazard identification for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, L Provenzano
2017 Second International Conference on Reliability Systems Engineering …, 2017
112017
Risk-based decision-making fallacies: Why present functional safety standards are not enough
A Johnsen, GD Crnkovic, K Lundqvist, K Hänninen, P Pettersson
2017 IEEE International Conference on Software Architecture Workshops (ICSAW …, 2017
102017
Specifying software requirements for safety-critical railway systems: An experience report
L Provenzano, K Hänninen
Requirements Engineering: Foundation for Software Quality: 23rd …, 2017
82017
An environment-driven ontological approach to requirements elicitation for safety-critical systems
J Zhou, K Hänninen, K Lundqvist, Y Lu, L Provenzano, K Forsberg
2015 IEEE 23rd International Requirements Engineering Conference (RE), 247-251, 2015
82015
Inadequate risk analysis might jeopardize the functional safety of modern systems
K Hänninen, H Hansson, H Thane, M Saadatmand
arXiv preprint arXiv:1808.10308, 2018
72018
Experience report: evaluating fault detection effectiveness and resource efficiency of the architecture quality assurance framework and tool
A Johnsen, K Lundqvist, K Hänninen, P Pettersson, M Torelm
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
72017
AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL
A Johnsen, K Lundqvist, K Hänninen, M Torelm, P Pettersson
12th International ACM SIGSOFT Conference on the Quality of Software …, 2016
72016
Regression verification of AADL models through slicing of system dependence graphs
A Johnsen, K Lundqvist, P Pettersson, K Hänninen
Proceedings of the 10th international ACM Sigsoft conference on Quality of …, 2014
62014
A combined security ontology based on the unified foundational ontology
M Adach, K Hänninen, K Lundqvist
2022 IEEE 16th International Conference on Semantic Computing (ICSC), 187-194, 2022
52022
Supporting engineering requirements in the rubus component model
K Hänninen, J Mäki-Turja, M Nolin, M Lindberg, J Lundbäck, ...
Technical report, 2008
42008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20