by Isberner, Malte, Howar, Falk, Steffen, Bernhard
Published in Runtime Verification (2014)

by Howar, Falk, Mues, Malte, Menzies, Tim
Published in IEEE software (01.11.2021)

by Cassel, Sofia, Howar, Falk, Jonsson, Bengt, Steffen, Bernhard
Published in Formal aspects of computing (01.04.2016)

by Howar, Falk, Jasper, Marc, Mues, Malte, Schmidt, David, Steffen, Bernhard
Published in International journal on software tools for technology transfer (01.12.2021)

by Teper, Harun, Kuhse, Daniel, Gunzel, Mario, Bruggen, Georg von der, Howar, Falk, Chen, Jian-Jia
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2024)

by Steffen, Bernhard, Howar, Falk, Merten, Maik
Published in Formal Methods for Eternal Networked Software Systems (2011)

by Zhu, Zhijing, Philipp, Robin, Zhao, Yongqi, Hungar, Constanze, Pannek, Jurgen, Howar, Falk
Published in 2023 IEEE Intelligent Vehicles Symposium (IV) (04.06.2023)

by Aniculaesei, Adina, Arnsberger, Daniel, Howar, Falk, Rausch, Andreas
Published in Electronic proceedings in theoretical computer science (13.12.2016)

by Bisgin, Pinar, Strube, Tom, Henze, Jasmin, Ljungvall, Ingrid, Häggström, Jens, Wess, Gerhard, Stadler, Julia, Schummer, Christoph, Meister, Sven, Howar, Falk Maria
Published in Current directions in biomedical engineering (02.09.2022)

by Howar, Falk, Barnat, Jiří
Year of Publication 2018

by Howar, Falk, Steffen, Bernhard
Published in Machine Learning for Dynamic Software Analysis: Potentials and Limits (2018)

by Ogorelysheva, Natalia, Vasileva, Anna, Stadtler, Jannik, Roidl, Moritz, Howar, Falk
Published in 2023 Seventh IEEE International Conference on Robotic Computing (IRC) (11.12.2023)

by Howar, Falk, Steffen, Bernhard
Published in A Journey from Process Algebra Via Timed Automata to Model Learning (2022)

by Dierl, Simon, Howar, Falk
Published in Model Checking, Synthesis, and Learning (2021)

by Isberner, Malte, Howar, Falk, Steffen, Bernhard
Published in Machine learning (01.07.2014)

by Mues, Malte, Howar, Falk
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)

by Howar, Falk, Jonsson, Bengt, Vaandrager, Frits
Published in Computing and Software Science (2019)

by Mues, Malte, Howar, Falk
Published in 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T) (01.11.2020)

by Philipp, Robin, Zhu, Zhijing, Fuchs, Julian, Hartjen, Lukas, Schuldt, Fabian, Howar, Falk
Published in 2021 5th International Conference on System Reliability and Safety (ICSRS) (01.01.2021)

by Isberner, Malte, Howar, Falk, Steffen, Bernhard
Published in Computer Aided Verification (2015)