Hans A. Hansson

ORCID

Publication Activity (10 Years)

Years Active: 1984-2019
Publications (10 Years): 5

Top Venues

University Uppsala, Sweden (PHD)

Education History

University Uppsala, Sweden

PHD

Publications

Stefan Eck, Hans A. Hansson
PROMPT - Master Courses for Professional SoftwareDevelopers. ACM SIGSOFT Softw. Eng. Notes 44 (1) (2019)
Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. ICST Workshops (2017)
Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner, Hans A. Hansson
Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. RTCSA (2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson
Configuration-Aware Contracts. SAFECOMP Workshops (2016)
Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson
A model for systematic monitoring and debugging of starvation bugs in multicore software. SCTDCP@ASE (2016)
Thomas Nolte, Hans A. Hansson, Lucia Lo Bello
Integration of networked subsystems in a resource constrained environment. ETFA (2006)
Thomas Nolte, Mikael Nolin, Hans A. Hansson
Real-time server-based communication with CAN. IEEE Trans. Ind. Informatics 1 (3) (2005)
Hans A. Hansson, Thomas Nolte, Christer Norström, Sasikumar Punnekkat
Integrating reliability and timing analysis of CAN-based systems. IEEE Trans. Ind. Electron. 49 (6) (2002)
Hans A. Hansson
Time and probabilities in specification and verification of real-time systems. RTS (1992)
Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda
An approach for evaluating formal description techniques. PSTV (1985)
Hans A. Hansson
Automatic implementation of formal descriptions of communication protocols. PSTV (1985)
Mats Daniels, Hans A. Hansson
An ASYL/EFSM Description of the ISO Transport Protocol. PSTV (1984)

Hans A. Hansson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans A. Hansson