( en | de | ru )

 

Disambiguation of "Hansson, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based synthesis of TTEthernet schedules: A performance study.

, , , and . SIES, page 162-165. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nils Hansson

Alexander Hansson

Clara Hansson

Gerd Hansson

Elena Hansson

 

Other publications of authors with the same name

A decomposition approach for SMT-based schedule synthesis for time-triggered networks., , , and . ETFA, page 1-8. IEEE, (2015)Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.. FORTE, volume C-2 of IFIP Transactions, page 67-82. North-Holland, (1991)Fault-tolerant Permanent Storage for Container-based Fog Architectures., , and . ICIT, page 722-729. IEEE, (2021)Using measurements to derive the worst-case execution time., , and . RTCSA, page 15-22. IEEE Computer Society, (2000)Message from the CORCS 2008 Workshop Organizers., , and . COMPSAC, page 1295. IEEE Computer Society, (2008)Towards a Dependable Component Technology for Embedded System Applications., , , and . WORDS, page 320-328. IEEE Computer Society, (2005)A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software., , , and . ISPDC, page 172-179. IEEE, (2018)Specification for Verification., , , and . FORTE, page 227-244. North-Holland, (1989)Improved Response-Time Analysis Calculations., and . RTSS, page 399-408. IEEE Computer Society, (1998)Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262., , , and . PRDC, page 129-138. IEEE Computer Society, (2015)