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: Hansson:Hans
Contributed to:
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.