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 |