mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
mediaTUM Content
University Bibliography
2022
(2299)
2021
(7623)
2020
(7438)
2019
(8382)
Fakultäten
(7713)
Architektur
(106)
Bau Geo Umwelt
(667)
Chemie
(131)
Elektrotechnik und Informationstechnik
(1249)
Informatik
(512)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
(4)
Informatik 1 - Professur für Digital Health (Prof. Jonas)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(1)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
Informatik 3 - Professur für Database Systems (Prof. Giceva)
Informatik 3 - Professur für Data Mining and Analytics (Prof. Günnemann)
(1)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(22)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
(1)
Informatik 5 - Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(83)
Informatik 5 - Professur für Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(5)
Informatik 5 - Professur für Quantum Computing (Prof. Mendl)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(18)
Informatik 6 - Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(1)
Informatik 6 - Fachgebiet Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion (Prof. Burschka)
(1)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(112)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
(3)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 7 - Professur für Theoretical Foundations of Artificial Intelligence (Prof. Ghoshdastidar)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(35)
Informatik 9 - Fachgebiet Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(5)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatik 10 - Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
(1)
Informatik 10 - Lehrstuhl für Rechnerarchitektur & Parallele Systeme (Prof. Schulz)
(1)
Informatik 11 - Fachgebiet Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
(1)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(17)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(1)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
(2)
Informatik 13 - Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(3)
Informatik 13 - Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
(3)
Informatik 14 - Fachgebiet Theoretische Informatik (Prof. Räcke)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
(1)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
(1)
Informatik 15 - Lehrstuhl für Grafik und Visualisierung (Prof. Westermann)
Informatik 15 - Professur für Visual Computing (Prof. Nießner)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(2)
Informatik 16 - Fachgebiet Erweiterte Realität (Prof. Klinker)
(3)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(90)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(77)
Informatik 18 - Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
(1)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(14)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(2)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(5)
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
(1)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatik 25 - Lehrstuhl für Data Science and Engineering (Prof. Neumann)
Luftfahrt, Raumfahrt und Geodäsie
(482)
Maschinenwesen
(1240)
Mathematik
(102)
Medizin
(856)
Physik
(141)
Sport- und Gesundheitswissenschaften
(350)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(87)
TUM School of Education
(87)
TUM School of Governance
(80)
Wirtschaftswissenschaften
(362)
Wissenschaftszentrum Weihenstephan
(1278)
Integrated Research Centers
(412)
Zentrale Einrichtungen
(257)
2018
(8415)
2017
(8539)
2016
(8705)
2015
(8137)
2014
(7062)
2013
(6741)
2012
(5739)
2011
(5502)
2010
(5360)
2009
(4531)
2008
(4062)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Items per page
10
20
50
100
Florian Hauer, Alexander Pretschner, Bernd Holzmüller
Fitness Functions for Testing Automated and Autonomous Driving Systems
38th International Conference on Computer Safety, Reliability and Security
Springer International Publishing
2019
Florian Hauer, Tabea Schmidt, Bernd Holzmuller, Alexander Pretschner
Did We Test All Scenarios for Automated and Autonomous Driving Systems?
2019 IEEE Intelligent Transportation Systems Conference (ITSC)
IEEE
2019
Jordan, Claudius V.;Maurer, Franziska;Lowenberg, Sven;Provost, Julien
Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents
IEEE Robotics and Automation Letters
2019
4
3
2754-2761
Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander
Efficient Checking of Actual Causality with SAT Solving
IOS Press
2019
241 - 255
Hauer, Florian;Stern, Raphael;Pretschner, Alexander
Selecting Flow Optimal System Parameters for Automated Driving Systems
2019 IEEE Intelligent Transportation Systems Conference (ITSC)
IEEE
2019
Mahapatra, Tanmaya
High-level Graphical Programming for Big Data Applications
2019
Dissertation
215 p.
Ahmadvand, Mohsen;Fischer, Dennis;Banescu, Sebastian
SIP shaker: software integrity protection composition
Proceedings of the 35th Annual Computer Security Applications Conference on - ACSAC '19
ACM Press
2019
Ahmadvand, Mohsen;Below, Daniel;Banescu, Sebastian;Pretschner, Alexander
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming
Proceedings of the 3rd ACM Workshop on Software Protection - SPRO'19
ACM Press
2019
Aleieldin Salem, Michael Hesse, Jona Neumeier, Alexander Pretschner
Towards Empirically Assessing Behavior Stimulation Approaches for Android Malware
47-52
SECURWARE 2019, The Thirteenth International Conference on Emerging Security Information, Systems and Technologies
2019
Lukas Heinzmann and Sina Shafaei and Mohd Hafeez Osman and Christoph Segler and Alois Knoll
A Framework for Safety Violation Identification and Assessment in Autonomous Driving
2019
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next