Hans A. Hansson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1992–2017
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICST | Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. | Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson |
| 2016 | RTCSA | Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks. | Francisco Pozo, Guillermo Rodrguez-Navas, Wilfried Steiner, Hans A. Hansson |
| 2016 | SAFECOMP | Configuration-Aware Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson |
| 2006 | ETFA | Integration of networked subsystems in a resource constrained environment. | Thomas Nolte, Hans A. Hansson, Lucia Lo Bello |
| 1992 | ECRTS | Time and probabilities in specification and verification of real-time systems. | Hans A. Hansson |