mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2930)
2023
(7321)
2022
(8635)
2021
(8884)
2020
(8178)
2019
(8873)
Fakultäten
(8177)
Architektur
(118)
Bau Geo Umwelt
(808)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1251)
Audio-Signalverarbeitung (Prof. Seeber)
(16)
Bioanaloge Informationsverarbeitung (Prof. Hemmert)
(18)
Biomedizinische Elektronik (Prof. Hayden)
(10)
Coding for Communications and Data Storage (Prof. Wachter-Zeh)
(58)
Computational Neuroengineering (Prof. Macke)
(25)
Computational Photonics (Prof. Jirauschek)
(36)
Datenverarbeitung (Prof. Diepold)
(15)
Elektrische Antriebssysteme und Leistungselektronik (Prof. Kennel)
(79)
Elektrische Energiespeichertechnik (Prof. Jossen)
(47)
Elektrische Energieversorgungsnetze (Prof. Witzmann)
(17)
Elektromagnetische Verträglichkeit und Wellenausbreitung (N.N.)
Embedded Systems and Internet of Things (Prof. Steinhorst)
(10)
Energiewandlungstechnik (Prof. Herzog)
(44)
Energiewirtschaft und Anwendungstechnik (Prof. Wagner)
(20)
Entwurfsautomatisierung (Prof. Schlichtmann)
(55)
Erneuerbare und Nachhaltige Energiesysteme (Prof. Hamacher)
(24)
Halbleitertechnologie (Prof. Belkin)
(1)
Hochfrequenztechnik (Prof. Eibert)
(54)
Hochspannungs- und Anlagentechnik (Prof. Witzmann)
(1)
Höchstfrequenztechnik (Prof. Biebl)
(18)
Human-centered Assistive Robotics (Prof. Lee)
(14)
Hybride elektronische Systeme (Prof. Kreupl)
(9)
Hybride Regelungssysteme (Prof. Zamani)
Informationstechnische Regelung (Prof. Hirche)
(30)
Integrierte Systeme (Prof. Herkersdorf)
(26)
Kognitive Systeme (Prof. Cheng)
(20)
Kommunikationsnetze (Prof. Kellerer)
(61)
Leitungsgebundene Übertragungstechnik (Prof. Hanik)
(8)
Machine Learning (Prof. Heckel)
(9)
Medientechnik (Prof. Steinbach)
(27)
Mensch-Maschine-Kommunikation (Prof. Rigoll)
(32)
Messsystem- und Sensortechnik (Prof. Koch)
(48)
Methoden der Signalverarbeitung (Prof. Utschick)
(32)
Mikrostrukturierte mechatronische Systeme (N.N.)
Molekularelektronik (Prof. Tornow)
(15)
Nachrichtentechnik (Prof. Kramer)
(88)
Nanoelektronik (Prof. Becherer komm.)
(60)
Netzwerktheorie und Signalverarbeitung (Prof. Nossek)
(2)
Neuroelektronik (Prof. Wolfrum)
(24)
Neurowissenschaftliche Systemtheorie (N.N.)
Quantum Electronics and Computer Engineering (Prof. Müller)
(3)
Realzeit-Computersysteme (Prof. Chakraborty)
(12)
Robotik und Systemintelligenz (Prof. Haddadin, Joint Appointment mit Fakultät für Informatik)
(16)
Schaltungsentwurf (Prof. Brederlow)
(3)
Sicherheit in der Informationstechnik (Prof. Sigl)
(32)
Simulation von Nanosystemen für Energiewandlungen (Prof. Gagliardi)
(31)
Steuerungs- und Regelungstechnik (Prof. Buss)
(20)
Technische Elektronik (Prof. Schmitt-Landsiedel)
Technische Elektrophysik (Prof. Wachutka)
(15)
Theoretische Informationstechnik (Prof. Boche)
(51)
Umweltsensorik und Modellierung (Prof. Chen)
(29)
Informatik
(524)
Luftfahrt, Raumfahrt und Geodäsie
(505)
Maschinenwesen
(1236)
Mathematik
(163)
Medizin
(761)
Physik
(252)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(107)
TUM School of Education
(136)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1316)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(258)
2018
(8706)
2017
(8694)
2016
(8829)
2015
(8221)
2014
(7133)
2013
(6750)
2012
(5780)
2011
(5563)
2010
(5420)
2009
(4595)
2008
(4104)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Elektrotechnik und Informationstechnik
Embedded Systems and Internet of Things (Prof. Steinhorst)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Guennemann, Stephan
Titel:
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference
Stichworte:
bayesian inference, data-driven verification, path merging, specification mining
Kongress- / Buchtitel:
Proceedings of the 56th Design Automation Conference (DAC 2019)
Verlag / Institution:
ACM
Verlagsort:
New York, NY, USA
Jahr:
2019
Monat:
6
Seiten:
96:1--96:6
Print-ISBN:
978-1-4503-6725-7
Serientitel:
DAC '19
Volltext / DOI:
doi:10.1145/3316781.3317847
WWW:
https://s-steinhorst.github.io/PDF/2019-DAC-Learning Temporal Specifications from Imperfect Traces using Bayesian Inference.pdf
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Elektrotechnik und Informationstechnik
Embedded Systems and Internet of Things (Prof. Steinhorst)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Embedded Systems and Internet of Things (Prof. Steinhorst)
2019