Search results for: Wolfgang Puffitsch
Real-Time Systems > 2018 > 54 > 2 > 389-423
Concurrency and Computation: Practice and Experience > 29 > 6 > n/a - n/a
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 180-191
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Resource and Timing Analysis > 464-478
Journal of Systems Architecture > 2015 > 61 > 9 > 449-471
Real-Time Systems > 2015 > 51 > 5 > 526-565
Concurrency and Computation: Practice and Experience > 25 > 16 > 2269 - 2289
Real-Time Systems > 2013 > 49 > 1 > 1-28
Concurrency and Computation: Practice and Experience > 24 > 8 > 753 - 771
Software: Practice and Experience > 40 > 6 > 507 - 542