Search results for: Marc Geilen
Journal of Signal Processing Systems > 2019 > 91 > 1 > 75-91
Journal of Signal Processing Systems > 2019 > 91 > 1 > 21-32
Microprocessors and Microsystems > 2017 > 52 > C > 439-460
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 4 > 669 - 682
Journal of Parallel and Distributed Computing > 2017 > 101 > C > 79-91
Journal of Signal Processing Systems > 2017 > 87 > 1 > 157-175
Lecture Notes in Computer Science > Wireless Sensor Networks > Performance and Quality of Service > 53-68
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 6 > 905 - 918
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 319-334
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 170-187
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 260-275
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Based Verification > 394-406
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Logic and Automata > 276-290