Hans A. Hansson

13 papers B 1C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
PROMPT - Master Courses for Professional SoftwareDevelopers.
ACM SIGSOFT Softw. Eng. Notes
Stefan Eck, Hans A. Hansson
2017 — conf
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.
ICST Workshops
Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson
2016 — conf
A model for systematic monitoring and debugging of starvation bugs in multicore software.
SCTDCP@ASE
Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson
2016 — conf
Configuration-Aware Contracts.
SAFECOMP Workshops
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson
2016 B conf
Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks.
RTCSA
Francisco Pozo, Guillermo Rodríguez-Navas, Wilfried Steiner, Hans A. Hansson
2006 C conf
Integration of networked subsystems in a resource constrained environment.
ETFA
Thomas Nolte, Hans A. Hansson, Lucia Lo Bello
2005 J jnl
Real-time server-based communication with CAN.
IEEE Trans. Ind. Informatics
Thomas Nolte, Mikael Nolin, Hans A. Hansson
2002 J jnl
Integrating reliability and timing analysis of CAN-based systems.
IEEE Trans. Ind. Electron.
Hans A. Hansson, Thomas Nolte, Christer Norström, Sasikumar Punnekkat
1992 — conf
Time and probabilities in specification and verification of real-time systems.
RTS
Hans A. Hansson
1991 — —
Time and probability in formal design of distributed systems.
Hans A. Hansson
1985 — conf
An approach for evaluating formal description techniques.
PSTV
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
1985 — conf
Automatic implementation of formal descriptions of communication protocols.
PSTV
Hans A. Hansson
1984 — conf
An ASYL/EFSM Description of the ISO Transport Protocol.
PSTV
Mats Daniels, Hans A. Hansson