No Photo

Hans Hansson

Lines of Research

Publications

• Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems Date: 2009-12-31 | Publisher: IGI Global
• Managing redundancy in CAN-based networks supporting N-Version Programming Date: 2009-12-31
• Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking Date: 2007-12-31
• An UPPAAL Model for Formal Verification of Master/slave Clock Synchronization over the Controller Area Network Date: 2006-12-31
• Towards analyzing the fault-tolerant operation of Server-CAN Date: 2005-12-31
• Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network Date: 2005-12-31
• Redundancy Management in a Low-Cost Distributed Hardware and Firmware Support for Software-Fault Tolerance Date: 2007-12-31
• An UPPAAL Model for Formal Verification of Clock Synchronization over CAN Date: 2005-12-31