Articles with public access mandates - Falk HowarLearn more
Not available anywhere: 2
The Dart, the Psyco, and the Doop: Concolic execution in Java PathFinder and its applications
M Dimjašević, D Giannakopoulou, F Howar, M Isberner, Z Rakamarić, ...
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015
Mandates: US National Aeronautics and Space Administration
A Policy-Agnostic Programming Language for the International Data Spaces
F Bruckner, J Pampus, F Howar
International Conference on Data Management Technologies and Applications …, 2020
Mandates: Fraunhofer-Gesellschaft
Available somewhere: 16
JDart: A Dynamic Symbolic Analysis Framework
K Luckow, M Dimjašević, D Giannakopoulou, F Howar, M Isberner, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Mandates: US National Science Foundation, US National Aeronautics and Space Administration
Verifying the safety of a flight-critical system
G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
Mandates: US National Aeronautics and Space Administration
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
Mandates: US Department of Energy
Learning-based testing the sliding window behavior of TCP implementations
P Fiterău-Broştean, F Howar
Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017
Mandates: Netherlands Organisation for Scientific Research
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Mandates: US Department of Energy
Extending automata learning to extended finite state machines
S Cassel, F Howar, B Jonsson, B Steffen
Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018
Mandates: Swedish Research Council
Grey-box learning of register automata
B Garhewal, F Vaandrager, F Howar, T Schrijvers, T Lenaerts, R Smits
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
Mandates: Netherlands Organisation for Scientific Research
Data sovereignty for AI pipelines: lessons learned from an industrial project at Mondragon corporation
M Altendeitering, J Pampus, F Larrinaga, J Legaristi, F Howar
Proceedings of the 1st International Conference on AI Engineering: Software …, 2022
Mandates: European Commission
DERM: A Reference Model for Data Engineering.
D Tebernum, M Altendeitering, F Howar
DATA, 165-175, 2021
Mandates: Fraunhofer-Gesellschaft
Releasing the PSYCO: using symbolic search in interface generation for java
M Mues, F Howar, K Luckow, T Kahsai, Z Rakamarić
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
Mandates: US National Science Foundation, US National Aeronautics and Space Administration
Study of integrating random and symbolic testing for object-oriented software
M Dimjašević, F Howar, K Luckow, Z Rakamarić
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
Mandates: US National Science Foundation
Learning symbolic timed models from concrete timed data
S Dierl, FM Howar, S Kauffman, M Kristjansen, K Guldstrand Larsen, ...
NASA Formal Methods Symposium, 104-121, 2023
Mandates: German Research Foundation, Villum Foundation, European Commission
A Framework for Creating Policy-agnostic Programming Languages.
F Bruckner, J Pampus, F Howar
DATA, 31-42, 2020
Mandates: Fraunhofer-Gesellschaft
Scalable Tree-based Register Automata Learning
S Dierl, P Fiterau-Brostean, F Howar, B Jonsson, K Sagonas, F Tåquist
International Conference on Tools and Algorithms for the Construction and …, 2024
Mandates: Knut and Alice Wallenberg Foundation
Towards a Low-Code Tool for Developing Data Quality Rules.
TS Klann, M Altendeitering, F Howar
DATA, 22-29, 2023
Mandates: Federal Ministry of Education and Research, Germany
Neural Network Verification with DSE.
B Böing, F Howar, J Hüntelmann, E Müller, R Stewing
OVERLAY@ AI* IA, 1-6, 2022
Mandates: Federal Ministry of Education and Research, Germany
Publication and funding information is determined automatically by a computer program