BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × France
1 × Italy
1 × Norway
1 × USA
2 × Germany
Collaborated with:
S.Eldh S.Punnekkat J.Carlson H.Yin C.C.Seceleanu P.Pettersson H.Qin P.Jönsson J.Kraft H.M.Kienle T.Nolte I.Crnkovic J.Brandt M.Street Irfan Sljivo B.Gallina S.Puri G.Rodríguez-Navas M.Nyberg O.Ljungkrantz H.Lönn
Talks about:
compon (4) softwar (3) system (3) test (3) mode (3) toward (2) switch (2) specif (2) safeti (2) handl (2)

Person: Hans Hansson

DBLP DBLP: Hansson:Hans

Contributed to:

DAC 20142014
CBSE 20132013
CBSE 20122012
CSMR 20112011
ICST 20112011
ICST 20102010
ICST 20082008
TestCom/FATES 20072007
Ada-Europe 20182018

Wrote 9 papers:

DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
CBSE-2013-YinQCH #component
Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.
CBSE-2012-YinCH #component #multi #towards
Towards mode switch handling in component-based multi-mode systems (HY, JC, HH), pp. 183–188.
CSMR-2011-KraftKNCH #embedded #maintenance #predict #research
Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems (JK, HMK, TN, IC, HH), pp. 335–338.
ICST-2011-EldhHP #analysis #design #testing
Analysis of Mistakes as a Method to Improve Test Case Design (SE, HH, SP), pp. 70–79.
ICST-2010-EldhBSHP #automation #scalability #towards
Towards Fully Automated Test Management for Large Complex Systems (SE, JB, MS, HH, SP), pp. 412–420.
ICST-2008-SeceleanuPH #resource management #scheduling
Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.
TestCom-FATES-2007-EldhPHJ #case study #component #fault #middleware #testing
Component Testing Is Not Enough — A Study of Software Faults in Telecom Middleware (SE, SP, HH, PJ), pp. 74–89.
AdaEurope-2018-SljivoGCHP #component #reuse #safety #specification
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (IS, BG, JC, HH, SP), pp. 19–33.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.