2008 |
42 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Message from the CORCS 2008 Workshop Organizers.
COMPSAC 2008: 1295 |
41 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
CORCS 2008 Workshop Organization.
COMPSAC 2008: 1296 |
40 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing.
ICST 2008: 102-111 |
2007 |
39 | EE | Joel Huselius,
Johan Kraft,
Hans Hansson,
Sasikumar Punnekkat:
Evaluating the Quality of Models Extracted from Embedded Real-Time Software.
ECBS 2007: 577-585 |
38 | EE | Guillermo Rodríguez-Navas,
Julian Proenza,
Hans Hansson:
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.
ICFEM 2007: 307-326 |
37 | EE | Sigrid Eldh,
Sasikumar Punnekkat,
Hans Hansson,
Peter Jönsson:
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.
TestCom/FATES 2007: 74-89 |
36 | EE | Mikael Åkerholm,
Jan Carlson,
Johan Fredriksson,
Hans Hansson,
John Håkansson,
Anders Möller,
Paul Pettersson,
Massimo Tivoli:
The SAVE approach to component-based development of vehicular systems.
Journal of Systems and Software 80(5): 655-667 (2007) |
2006 |
35 | EE | Joel Huselius,
Johan Andersson,
Hans Hansson,
Sasikumar Punnekkat:
Automatic Generation and Validation of Models of Legacy Software.
RTCSA 2006: 342-349 |
34 | EE | Sigrid Eldh,
Hans Hansson,
Sasikumar Punnekkat,
Anders Pettersson,
Daniel Sundmark:
A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques.
TAIC PART 2006: 159-170 |
2005 |
33 | EE | Thomas Nolte,
Hans Hansson,
Lucia Lo Bello:
Automotive communications-past, current and future.
ETFA 2005 |
32 | EE | Thomas Nolte,
Guillermo Rodríguez-Navas,
Julian Proenza,
Sasikumar Punnekkat,
Hans Hansson:
Towards analyzing the fault-tolerant operation of server-CAN.
ETFA 2005 |
31 | EE | Mikael Åkerholm,
Anders Möller,
Hans Hansson,
Mikael Nolin:
Towards a Dependable Component Technology for Embedded System Applications.
WORDS 2005: 320-328 |
30 | | Jakob Axelsson,
Joakim Fröberg,
Hans Hansson,
Christer Norström,
Kristian Sandström,
Björn Villing:
A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications.
The Industrial Information Technology Handbook 2005: 1-20 |
29 | | Hans Hansson,
Mikael Nolin,
Thomas Nolte:
Real-Time Systems.
The Industrial Information Technology Handbook 2005: 1-28 |
2004 |
28 | EE | Hans Hansson,
Mikael Åkerholm,
Ivica Crnkovic,
Martin Törngren:
SaveCCM - A Component Model for Safety-Critical Real-Time Systems.
EUROMICRO 2004: 627-635 |
2003 |
27 | EE | Thomas Nolte,
Hans Hansson,
Christer Norström:
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network.
IEEE Real Time Technology and Applications Symposium 2003: 200-207 |
26 | EE | Jakob Engblom,
Andreas Ermedahl,
Mikael Sjödin,
Jan Gustafsson,
Hans Hansson:
Worst-case execution-time analysis for embedded real-time systems.
STTT 4(4): 437-455 (2003) |
2002 |
25 | EE | Thomas Nolte,
Hans Hansson,
Christer Norström:
Minimizing CAN Response-Time Jitter by Message Manipulation.
IEEE Real Time Technology and Applications Symposium 2002: 197-206 |
2000 |
24 | EE | Henrik Thane,
Hans Hansson:
Using deterministic replay for debugging of distributed real-time systems.
ECRTS 2000: 265-272 |
23 | EE | Hans Hansson,
Christer Norström,
Sasikumar Punnekkat:
Reliability Modelling of Time-Critical Distributed Systems.
FTRTFT 2000: 94-105 |
22 | EE | Sasikumar Punnekkat,
Hans Hansson,
Christer Norström:
Response Time Analysis under Errors for CAN.
IEEE Real Time Technology and Applications Symposium 2000: 258- |
21 | EE | Hans Hansson,
Christer Norström,
Sasikumar Punnekkat:
2 + 10 > 1 + 50!
IPDPS Workshops 2000: 734-737 |
20 | EE | Markus Lindgren,
Hans Hansson,
Henrik Thane:
Using measurements to derive the worst-case execution time.
RTCSA 2000: 15-22 |
19 | EE | Mats Lindgren,
Hans Hansson,
Christer Norström,
Sasikumar Punnekkat:
Deriving reliability estimates of distributed real-time systems by simulation.
RTCSA 2000: 279- |
1999 |
18 | EE | Mikael Sjödin,
Hans Hansson:
Analyzing Multimedia Traffic in Real-Time ATM Networks.
IEEE Real Time Technology and Applications Symposium 1999: 203-212 |
17 | EE | Henrik Thane,
Hans Hansson:
Towards Systematic Testing of Distributed Real-Time Systems.
IEEE Real-Time Systems Symposium 1999: 360-369 |
16 | EE | Henrik Thane,
Hans Hansson:
Handling Interrupts in Testing of Distributed Real-Time Systems.
RTCSA 1999: 450- |
1998 |
15 | EE | Mikael Sjödin,
Hans Hansson:
Improved Response-Time Analysis Calculations.
IEEE Real-Time Systems Symposium 1998: 399-408 |
14 | EE | Andreas Ermedahl,
Hans Hansson,
Marina Papatriantafilou,
Philippas Tsigas:
Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance.
RTCSA 1998: 257-266 |
13 | | Peter Altenbernd,
Hans Hansson:
The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks.
Real-Time Systems 15(2): 103-130 (1998) |
1997 |
12 | EE | Hans Hansson,
Mikael Sjödin,
Ken Tindell:
Guaranteeing Real-Time Traffic Through an ATM Network.
HICSS (5) 1997: 44-53 |
11 | EE | Andreas Ermedahl,
Hans Hansson,
Mikael Sjödin:
Response-time guarantees in ATM networks.
IEEE Real-Time Systems Symposium 1997: 274-284 |
10 | | Hans Hansson,
Harold W. Lawson,
Olof Bridal,
Christer Eriksson,
Sven Larsson,
Henrik Lön,
Mikael Strömberg:
BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems.
IEEE Trans. Computers 46(9): 1016-1027 (1997) |
1996 |
9 | EE | Hans Hansson:
Guaranteeing Real-Time Traffic Through an ATM Network.
RTCSA 1996: 58- |
8 | | Hans Hansson,
Harold W. Lawson,
Mikael Strömberg,
Sven Larsson:
BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications.
Real-Time Systems 11(3): 223-244 (1996) |
1995 |
7 | EE | Hans Hansson,
Harold W. Lawson,
Mikael Strömberg,
Sven Larsson:
BASEMENT: a distributed real-time architecture for vehicle applications.
IEEE Real Time Technology and Applications Symposium 1995: 220-229 |
1994 |
6 | | Hans Hansson,
Bengt Jonsson:
A Logic for Reasoning about Time and Reliability.
Formal Asp. Comput. 6(5): 512-535 (1994) |
1992 |
5 | | Hans Hansson,
Fredrik Orava:
A Process Calculus with Incomparable Priorities.
NAPAW 1992: 43-64 |
1991 |
4 | | Hans Hansson:
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.
FORTE 1991: 67-82 |
1990 |
3 | | Hans Hansson,
Bengt Jonsson:
A Calculus for Communicating Systems with Time and Probabitilies.
IEEE Real-Time Systems Symposium 1990: 278-287 |
1989 |
2 | | Hans Hansson,
Bengt Jonsson,
Fredrik Orava,
Björn Pehrson:
Specification for Verification.
FORTE 1989: 227-244 |
1 | | Hans Hansson,
Bengt Jonsson:
A Framework for Reasoning about Time and Reliability.
IEEE Real-Time Systems Symposium 1989: 102-111 |