Dr.-Ing. Jens Becker
- Geschäftsführung
- Sprechstunden: nach Vereinbarung
- Raum: 322
CS 30.10 - Tel.: +49 721 608-46498
- jens becker ∂does-not-exist.kit edu
- www.itiv.kit.edu
- Engesserstraße 5
76131 Karlsruhe
Dr.-Ing. Jens Becker
Lebenslauf
- Geboren im September 1974
- Mitarbeiter am ITIV seit Oktober 2002
- Seit Mai 2006 Geschäftsführer am ITIV
Lehre
- Vorlesung "Communication Systems and Protocols (CSP)"
- Übungen zur Vorlesung "Communication Systems and Protocols (CSP)"
- Vorlesung "Hardware Modeling and Simulation (HMS)"
Aktivitäten
- Vertreter des wissenschaftlichen Dienstes im Bachelorprüfungsausschuss des Studiengangs Elektrotechnik und Informationstechnik
Publikationen
2015
Zeitschriftenaufsätze
-
The Road to “ITIV Labs” – an Integrated Concept for Project-Oriented Systems Engineering Education
Beuth, T.; Gaedeke, T.; Tradowsky, C.; Becker, J.; Klimm, A.; Sander, O.
2015. International Journal of Information and Education Technology, 5 (4), 250–254. doi:10.7763/IJIET.2015.V5.511
2014
Dissertationen
-
Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld. Dissertation
Becker, J. E.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000050508
2011
Proceedingsbeiträge
-
Towards Provable Protocol Conformance of Serial Automotive Communication IP
Becker, J. E.; Sander, O.; Klimm, A.; Bulach, S.; Weinberger, K.; Becker, J.
2011. Proceedings of the Design & Verification Conference & Exhibition (DVCon’11), San Jose, California, USA, February 28 - March 3, 2011, 1P.5/1–6, MPA
2009
Proceedingsbeiträge
-
Sicherung von Zuverlässigkeit und Interoperabilität bei der fahrzeuginternen Kommunikation mittels formaler Verifikation
Becker, J.; Sander, O.; Klimm, A.; Becker, J. E.; Kimmeskamp, T.; Formann, J.; Echtle, K.; Weinberger, K.; Bulach, S.
2009. Proceedings of the 14. Internationaler Kongress Elektronik im Kraftfahrzeug = Electronic Systems for Vehicles, Baden-Baden, 7. und 8. Oktober 2009, 345–356, VDI Verlag
2006
Proceedingsbeiträge
-
Evaluation of a Packet Switching Algorithm for Network on Chip Topologies using a Xilinx Virtex-II FPGA based Rapid Prototyping System
Becker, J. E.; Bieser, C.; Becker, J.; Müller-Glaser, K. D.
2006. 2006 IEEE International Symposium on Industrial Electronics, 9-13 July 2006, Montreal, Quebec, Canada; Vol. 4, 3184–3189, Institute of Electrical and Electronics Engineers (IEEE)
2005
Proceedingsbeiträge
-
Energy Model of Networks-on-Chip and a Bus
Wolkotte, P. T.; Smit, G. J. M.; Kavaldjiev, N.; Becker, J. E.; Becker, J.
2005. Proceedings / 2005 International Symposium on System-on-Chip, 15 - 17 Nov. 2005, Tampere, Finland. Ed.: J. Nurmi, 82–85, IEEE Operations Center -
Energy efficient NoC for best effort communication
Wolkotte, P. T.; Smit, G. J. M.; Becker, J. E.
2005. FPL 2005 - International Conference on Field Programmable Logic and Applications, 24 - 26 Aug. 2005, Tampere, Finland. Ed.: T. Rissa, 197–202, IEEE Operations Center. doi:10.1109/FPL.2005.1515722
2004
Proceedingsbeiträge
-
Anwendungsspezifische IP-Generierung für zukünftige SoC-Implementierungen in mobilen Kommunikationssystemen
Thomas, A.; Becker, J. E.; Becker, J.
2004. DASS 2004 - Dresdner Arbeitstagung Schaltungs- und Systementwurf "Intellectual Property Prinzipien-Workshop", 19.- 20. April 2004, Dresden, Fraunhofer Institut
2003
Proceedingsbeiträge
-
Hardware/software co-training by FPGA/ASIC synthesis and programming of a RISC microprocessor-core
Becker, J. E.; Bieser, C.; Thomas, A.; Müller-Glaser, K. D.; Becker, J.
2003. Proceedings / 2003 IEEE International Conference on Microelectronic Systems Education, June 1 - 2, 2003, Anaheim, California, USA, 134–135, IEEE Computer Society. doi:10.1109/MSE.2003.1205288