Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019Combining Black-Box and White-Box Techniques for Learning Register Automata
Howar, Falk; Jonsson, Bengt; Vaandrager, Frits
Aufsatz in Buch
2019Data Ecosystems: Conceptual Foundations, Constituents and Recommendations for Action
Otto, Boris; Lis, Dominik; Jürjens, Jan; Cirullies, Jan; Opriel, Sebastian; Howar, Falk; Meister, Sven; Spiekermann, Markus; Pettenpohl, Heinrich; Möller, Frederik
Bericht
2019Detektion von epileptischen Anfällen unter Verwendung von EKG und PPG Daten
Fiege, Eric
: Howar, Falk; Meister, Sven
Master Thesis
2019Engineering of Safe Autonomous Vehicles through Seamless Integration of System Development and System Operation
Mauritz, Malte
: Rausch, Andreas; Howar, Falk
Dissertation
2019JConstraints: A Library for Working with Logic Expressions in Java
Howar, Falk; Jabbour, Fadi; Mues, Malte
Konferenzbeitrag
2019RERS 2019: Combining Synthesis with Real-World Models
Jasper, Marc; Mues, Malte; Murtovi, Alnis; Schlüter, Maximilian; Howar, Falk; Steffen, Bernhard; Schordan, Markus; Hendriks, Dennis; Schiffelers, Ramon; Kuppens, Harco; Vaandrager, Frits
Konferenzbeitrag
2018Active automata learning in practice: An annotated bibliography of the years 2011 to 2016
Howar, Falk; Steffen, Bernhard
Konferenzbeitrag
2018Automated generation of requirements-based test cases for an adaptive cruise control system
Aniculaesei, Adina; Howar, Falk; Denecke, Peer; Rausch, Andreas
Konferenzbeitrag
2018Automatische Detektion von tonisch-klonischen Anfällen mit Hilfe von SVM und kNN auf Basis in EPItect gewonnener Beschleunigungsdaten
Dulich, Pascal
: Howar, Falk; Meister, Sven
Bachelor Thesis
2018Checking consistency of real-time requirements on distributed automotive control software early in the development process using UPPAAL
Toennemann, Jan; Rausch, Andreas; Howar, Falk; Cool, Benjamin
Konferenzbeitrag
2018Digital Transformation Trends: Industry 4.0, Automation, and AI
Hessenkämper, Axel; Howar, Falk; Rausch, Andreas
Konferenzbeitrag
2018Extending automata learning to extended finite state machines
Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Konferenzbeitrag
2018Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018
: Howar, Falk; Barnat, Jiri
Tagungsband
2018Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Howar, Falk; Giannakopoulou, Dimitra; Mues, Malte; Navas, Jorge
Konferenzbeitrag
2018RERS 2018: CTL, LTL, and reachability
Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk
Konferenzbeitrag
2018Study of integrating random and symbolic testing for object-oriented software
Dimjasevic, Marko; Howar, Falk; Luckow, Kapser; Rakamaric, Zvonimir
Konferenzbeitrag