| 2008 |
|---|
| 40 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Message from the CORCS 2008 Workshop Organizers.
COMPSAC 2008: 1295 |
| 39 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
CORCS 2008 Workshop Organization.
COMPSAC 2008: 1296 |
| 38 | EE | Cristina Cerschi Seceleanu,
Paul Pettersson,
Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing.
ICST 2008: 102-111 |
| 2007 |
|---|
| 37 | 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 |
| 36 | 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 |
| 35 | 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 |
|---|
| 34 | EE | Joel Huselius,
Johan Andersson,
Hans Hansson,
Sasikumar Punnekkat:
Automatic Generation and Validation of Models of Legacy Software.
RTCSA 2006: 342-349 |
| 33 | 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 |
|---|
| 32 | EE | Thomas Nolte,
Hans Hansson,
Lucia Lo Bello:
Automotive communications-past, current and future.
ETFA 2005 |
| 31 | EE | Thomas Nolte,
Guillermo Rodríguez-Navas,
Julian Proenza,
Sasikumar Punnekkat,
Hans Hansson:
Towards analyzing the fault-tolerant operation of server-CAN.
ETFA 2005 |
| 30 | EE | Mikael Åkerholm,
Anders Möller,
Hans Hansson,
Mikael Nolin:
Towards a Dependable Component Technology for Embedded System Applications.
WORDS 2005: 320-328 |
| 29 | | 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 |
| 28 | | Hans Hansson,
Mikael Nolin,
Thomas Nolte:
Real-Time Systems.
The Industrial Information Technology Handbook 2005: 1-28 |
| 2004 |
|---|
| 27 | 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 |
|---|
| 26 | 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 |
| 25 | 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 |
|---|
| 24 | 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 |
|---|
| 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 |
