Search the dblp DataBase
Hans Hansson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hans Hansson , Mikael Åkerholm , Ivica Crnkovic , Martin Törngren SaveCCM - A Component Model for Safety-Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2004, pp:627-635 [Conf ] Hans Hansson Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus. [Citation Graph (0, 0)][DBLP ] FORTE, 1991, pp:67-82 [Conf ] Hans Hansson , Bengt Jonsson , Fredrik Orava , Björn Pehrson Specification for Verification. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:227-244 [Conf ] Hans Hansson , Christer Norström , Sasikumar Punnekkat Reliability Modelling of Time-Critical Distributed Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2000, pp:94-105 [Conf ] Hans Hansson , Mikael Sjödin , Ken Tindell Guaranteeing Real-Time Traffic Through an ATM Network. [Citation Graph (0, 0)][DBLP ] HICSS (5), 1997, pp:44-53 [Conf ] Hans Hansson , Christer Norström , Sasikumar Punnekkat 2 + 10 > 1 + 50! [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:734-737 [Conf ] Hans Hansson , Fredrik Orava A Process Calculus with Incomparable Priorities. [Citation Graph (0, 0)][DBLP ] NAPAW, 1992, pp:43-64 [Conf ] Hans Hansson , Harold W. Lawson , Mikael Strömberg , Sven Larsson BASEMENT: a distributed real-time architecture for vehicle applications. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 1995, pp:220-229 [Conf ] Thomas Nolte , Hans Hansson , Christer Norström Minimizing CAN Response-Time Jitter by Message Manipulation. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 2002, pp:197-206 [Conf ] Thomas Nolte , Hans Hansson , Christer Norström Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 2003, pp:200-207 [Conf ] Sasikumar Punnekkat , Hans Hansson , Christer Norström Response Time Analysis under Errors for CAN. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 2000, pp:258-0 [Conf ] Mikael Sjödin , Hans Hansson Analyzing Multimedia Traffic in Real-Time ATM Networks. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 1999, pp:203-212 [Conf ] Andreas Ermedahl , Hans Hansson , Marina Papatriantafilou , Philippas Tsigas Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance. [Citation Graph (0, 0)][DBLP ] RTCSA, 1998, pp:257-266 [Conf ] Hans Hansson Guaranteeing Real-Time Traffic Through an ATM Network. [Citation Graph (0, 0)][DBLP ] RTCSA, 1996, pp:58-0 [Conf ] Joel Huselius , Johan Andersson , Hans Hansson , Sasikumar Punnekkat Automatic Generation and Validation of Models of Legacy Software. [Citation Graph (0, 0)][DBLP ] RTCSA, 2006, pp:342-349 [Conf ] Mats Lindgren , Hans Hansson , Christer Norström , Sasikumar Punnekkat Deriving reliability estimates of distributed real-time systems by simulation. [Citation Graph (0, 0)][DBLP ] RTCSA, 2000, pp:279-0 [Conf ] Markus Lindgren , Hans Hansson , Henrik Thane Using measurements to derive the worst-case execution time. [Citation Graph (0, 0)][DBLP ] RTCSA, 2000, pp:15-22 [Conf ] Henrik Thane , Hans Hansson Handling Interrupts in Testing of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] RTCSA, 1999, pp:450-0 [Conf ] Hans Hansson , Bengt Jonsson A Framework for Reasoning about Time and Reliability. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1989, pp:102-111 [Conf ] Hans Hansson , Bengt Jonsson A Calculus for Communicating Systems with Time and Probabitilies. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1990, pp:278-287 [Conf ] Andreas Ermedahl , Hans Hansson , Mikael Sjödin Response-time guarantees in ATM networks. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:274-284 [Conf ] Mikael Sjödin , Hans Hansson Improved Response-Time Analysis Calculations. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1998, pp:399-408 [Conf ] Henrik Thane , Hans Hansson Towards Systematic Testing of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1999, pp:360-369 [Conf ] Sigrid Eldh , Hans Hansson , Sasikumar Punnekkat , Anders Pettersson , Daniel Sundmark A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques. [Citation Graph (0, 0)][DBLP ] TAIC PART, 2006, pp:159-170 [Conf ] Mikael Åkerholm , Anders Möller , Hans Hansson , Mikael Nolin Towards a Dependable Component Technology for Embedded System Applications. [Citation Graph (0, 0)][DBLP ] WORDS, 2005, pp:320-328 [Conf ] Hans Hansson , Bengt Jonsson A Logic for Reasoning about Time and Reliability. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:5, pp:512-535 [Journal ] Peter Altenbernd , Hans Hansson The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1998, v:15, n:2, pp:103-130 [Journal ] Hans Hansson , Harold W. Lawson , Mikael Strömberg , Sven Larsson BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1996, v:11, n:3, pp:223-244 [Journal ] Jakob Engblom , Andreas Ermedahl , Mikael Sjödin , Jan Gustafsson , Hans Hansson Worst-case execution-time analysis for embedded real-time systems. [Citation Graph (0, 0)][DBLP ] STTT, 2003, v:4, n:4, pp:437-455 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1997, v:46, n:9, pp:1016-1027 [Journal ] Guillermo Rodríguez-Navas , Julian Proenza , Hans Hansson Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. [Citation Graph (0, 0)][DBLP ] ICFEM, 2007, pp:307-326 [Conf ] Sigrid Eldh , Sasikumar Punnekkat , Hans Hansson , Peter Jönsson Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. [Citation Graph (0, 0)][DBLP ] TestCom/FATES, 2007, pp:74-89 [Conf ] Thomas Nolte , Guillermo Rodríguez-Navas , Julian Proenza , Sasikumar Punnekkat , Hans Hansson Towards analyzing the fault-tolerant operation of server-CAN. [Citation Graph (0, 0)][DBLP ] ETFA, 2005, pp:- [Conf ] Thomas Nolte , Hans Hansson , Lucia Lo Bello Automotive communications-past, current and future. [Citation Graph (0, 0)][DBLP ] ETFA, 2005, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2007, v:80, n:5, pp:655-667 [Journal ] Message from the CORCS 2008 Workshop Organizers. [Citation Graph (, )][DBLP ] CORCS 2008 Workshop Organization. [Citation Graph (, )][DBLP ] Evaluating the Quality of Models Extracted from Embedded Real-Time Software. [Citation Graph (, )][DBLP ] Using deterministic replay for debugging of distributed real-time systems. [Citation Graph (, )][DBLP ] Scheduling Timed Modules for Correct Resource Sharing. [Citation Graph (, )][DBLP ] Towards Fully Automated Test Management for Large Complex Systems. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs