Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pieper, Pascal
52  Ergebnisse:
Personensuche X
?
1

Hardware and Environment Modeling:

, In: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes,
Pieper, Pascal ; Drechsler, Rolf - p. 21-106 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Verification:

, In: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes,
Pieper, Pascal ; Drechsler, Rolf - p. 107-152 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Conclusion:

, In: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes,
Pieper, Pascal ; Drechsler, Rolf - p. 153-156 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Preliminaries:

, In: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes,
Pieper, Pascal ; Drechsler, Rolf - p. 13-20 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Formal and Practical Techniques for the Complex System Desi..:

Pieper, Pascal ; Drechsler, Rolf - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
6

Introduction:

, In: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes,
Pieper, Pascal ; Drechsler, Rolf - p. 1-11 , 2024
Link: https://doi.org/10.1007/..
 
?
7

Better early than never: Formal and practical techniques fo..:

Pieper, Pascal , April 2023
Exemplare: Zentrale;
 
?
8

Advanced Embedded System Modeling and Simulation in an Open..:

Pieper, Pascal ; Herdt, Vladimir ; Drechsler, Rolf
Journal of Low Power Electronics and Applications.  12 (2022)  4 - p. 52 , 2022
Link: https://doi.org/10.3390/..
 
?
9

Advanced Environment Modeling and Interaction in an Open So..:

, In: Proceedings of the Great Lakes Symposium on VLSI 2022,
Pieper, Pascal ; Herdt, Vladimir ; Drechsler, Rolf - p. 193-197 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Verifying SystemC TLM peripherals using modern C++ symbolic..:

, In: Proceedings of the 59th ACM/IEEE Design Automation Conference,
Pieper, Pascal ; Herdt, Vladimir ; Große, Daniel. - p. 1177-1182 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

SATiSFy - Frühzeitige Validierung von Safety- und Security.. 

Abschlussbericht : Bewilligungszeitraum: 1.5.2018-31.7.2021 
Drechsler, Rolf ; Bruns, Niklas ; Pieper, Pascal ; Rinaldo, Rhea. , 18. November 2021
Link: https://doi.org/10.2314/..
 
?
12

Minimally Invasive HW/SW Co-debug Live Visualization on Arc..:

, In: Proceedings of the 2021 Great Lakes Symposium on VLSI,
Pieper, Pascal ; Wimmer, Ralf ; Angst, Gerhard. - p. 321-326 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Dynamic information flow tracking for embedded binaries usi..:

, In: Proceedings of the 2020 57th ACM/EDAC/IEEE Design Automation Conference (DAC)
Pieper, Pascal ; Herdt, Vladimir ; Große, Daniel.. (2020) 
Link: https://dl.acm.org/doi/1..
 
?
14

Comparison and interpretation of impressed marks left by a ..:

Riva, Fabiano ; Mattijssen, Erwin J.A.T. ; Hermsen, Rob...
Forensic Science International.  313 (2020)  - p. 110363 , 2020
Link: https://doi.org/10.1016/..
 
?
15

Dynamic information flow tracking for embedded binaries usi..:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,
Pieper, Pascal ; Herdt, Vladimir ; Große, Daniel. - p. 1-6 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15