I agree that this site is using cookies. You can find further informations here.
X
Kropf, Thomas
182  results:
Search for persons X
?
1

Simulation and Detection of Bus-Off Attacks in CAN:

, In: 2024 IEEE Intelligent Vehicles Symposium (IV),
Laufenberg, Jo ; Graser, Heiner ; Kropf, Thomas. - p. 3078-3084 , 2024
Link: https://doi.org/10.1109/..
 
?
2

CAN Simulation Framework - From Classic CAN to CAN XL:

, In: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC),
Laufenberg, Jo ; Kropf, Thomas ; Bringmann, Oliver - p. 3343-3348 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Attack Simulation and Adaptation in CAN for Training and Ev..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Laufenberg, Jo ; Throner, Susanne ; Kropf, Thomas. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
4

A Framework for CAN Communication and Attack Simulation:

, In: 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring),
Laufenberg, Jo ; Kropf, Thomas ; Bringmann, Oliver - p. 1-7 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Static Analysis of Controller Area Network Communication fo..:

Laufenberg, Jo ; Kropf, Thomas ; Bringmann, Oliver
European Journal for Security Research.  6 (2021)  2 - p. 171-187 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Automated Graph-Based Fault Injection Into Virtual Prototyp..:

, In: 2020 IEEE European Test Symposium (ETS),
Laufenberg, Jo ; Kropf, Thomas ; Bringmann, Oliver - p. 1-2 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Kommunikative Funktionen des Dialekts im Unterricht 

Theorie und Praxis in der deutschen Schweiz  Reihe Germanistische Linguistik ; 67
Kropf, Thomas - Reprint 2017 . , 2017
Link: https://doi.org/10.1515/..

Copies:  Zentrale:Magazin dn 7864
 
?
8

Modeling and Managing Context-Aware Systems' Variability:

Mens, Kim ; Capilla, Rafael ; Hartmann, Herman.
IEEE Software.  34 (2017)  6 - p. 58-63 , 2017
Link: https://doi.org/10.1109/..
 
?
9

Electric Powertrain's Impact on Braking System:

Duval-Destin, Marc ; Kropf, Thomas ; Abadie, Vincent.
Auto Tech Review.  4 (2015)  4 - p. 34-37 , 2015
Link: https://doi.org/10.1365/..
 
?
10

Bridging the gap between test cases and requirements by abs..:

Merz, Florian ; Sinz, Carsten ; Post, Hendrik..
Innovations in Systems and Software Engineering.  11 (2015)  4 - p. 233-242 , 2015
Link: https://doi.org/10.1007/..
 
?
11

Scalable and Optimized Hybrid Verification of Embedded Soft..:

Behrend, Jörg ; Lettnin, Djones ; Grünhage, Alexander...
Journal of Electronic Testing.  31 (2015)  2 - p. 151-166 , 2015
Link: https://doi.org/10.1007/..
 
?
12

Accelerated model-based robustness testing of state machine..:

Heckeler, Patrick ; Eichelberger, Hanno ; Kropf, Thomas...
ACM SIGAPP Applied Computing Review.  13 (2013)  3 - p. 50-67 , 2013
Link: https://doi.org/10.1145/..
 
?
13

Accelerated model-based robustness testing of state machine..:

Heckeler, Patrick ; Eichelberger, Hanno ; Kropf, Thomas...
ACM SIGAPP Applied Computing Review.  13 (2013)  3 - p. 50-67 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

Accelerated robustness testing of state-based components us..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
Heckeler, Patrick ; Schlich, Bastian ; Kropf, Thomas - p. 1188-1195 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Towards assertion-based verification of heterogeneous syste..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Lämmermann, Stefan ; Ruf, Jürgen ; Kropf, Thomas... - p. 1171-1176 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15