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

Between environmental perception and decision-making: compo..:

Philipp, Robin , 2024
Link: https://nbn-resolving.de..
 
?
2

STARS: A Tool for Measuring Scenario Coverage When Testing ..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops,
Schallau, Till ; Mäckel, Dominik ; Naujokat, Stefan. - p. 62-70 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Tree-Based Scenario Classification: A Formal Framework for ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Schallau, Till ; Naujokat, Stefan ; Kullmann, Fiona. - p. 259-278 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Scalable Tree-based Register Automata Learning:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Dierl, Simon ; Fiterau-Brostean, Paul ; Howar, Falk... - p. 87-108 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Implementing Data Sovereignty: Requirements & Challenges fr..:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,
Hellmeier, Malte ; Pampus, Julia ; Qarawlus, Haydar. - p. 1-9 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Automatic Disengagement Scenario Reconstruction Based on Ur..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Zhu, Zhijing ; Philipp, Robin ; Zhao, Yongqi... - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Mitigating Emergency Stop Collisions in AGV Fleets in Case ..:

, In: 2023 Seventh IEEE International Conference on Robotic Computing (IRC),
Ogorelysheva, Natalia ; Vasileva, Anna ; Stadtler, Jannik.. - p. 314-322 , 2023
Link: https://doi.org/10.1109/..
 
?
8

A Survey-Based Evaluation of the Data Engineering Maturity ..:

, In: Communications in Computer and Information Science; Data Management Technologies and Applications,
Tebernum, Daniel ; Altendeitering, Marcel ; Howar, Falk - p. 1-23 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Safe AI in Autonomous Vehicles: Track at AISoLA 2023:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Howar, Falk ; Hungar, Hardi - p. 421-425 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Formal Methods for a Digital Industry: Industrial Track at ..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,
Hessenkämper, Axel ; Howar, Falk ; Hungar, Hardi. - p. 337-339 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Systematization and Identification of Triggering Conditions..:

, In: 2022 IEEE Intelligent Vehicles Symposium (IV),
Zhu, Zhijing ; Philipp, Robin ; Hungar, Constanze. - p. 798-805 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Active Automata Learning as Black-Box Search and Lazy Parti..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Howar, Falk ; Steffen, Bernhard - p. 321-338 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Lifelong Learning of Reactive Systems in Practice:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Bainczyk, Alexander ; Steffen, Bernhard ; Howar, Falk - p. 38-53 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Data Sovereignty for AI Pipelines: Lessons Learned from an ..:

, In: 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN),
Altendeitering, Marcel ; Pampus, Julia ; Larrinaga, Felix.. - p. 193-204 , 2022
Link: https://doi.org/10.1145/..
 
?
15

Data sovereignty for AI pipelines : lessons learned from..:

, In: Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI,
Altendeitering, Marcel ; Pampus, Julia ; Larrinaga, Felix.. - p. 193-204 , 2022
Link: https://dl.acm.org/doi/1..
 
1-15