Search Results - "Howar, Falk"

The RERS challenge: towards controllable and scalable benchmark synthesis.

Authors: Howar, Falk Jasper, Marc Mues, Malte et al.

Source: International Journal on Software Tools for Technology Transfer. Dec2021, Vol. 23 Issue 6, p917-930. 14p.

Subjects: Benchmark problems (Computer science), Bisimulation

Thrilling AI – A novel, signal-based digital biomarker for diagnosing canine heart diseases.

Authors: Bisgin, Pinar Strube, Tom Henze, Jasmin et al.

Source: Current Directions in Biomedical Engineering; Aug2022, Vol. 8 Issue 2, p765-768, 4p

Learning register automata: from languages to program structures.

Authors: Isberner, Malte Howar, Falk Steffen, Bernhard

Source: Machine Learning; Jul2014, Vol. 96 Issue 1-2, p65-98, 34p

Simplifying Translation Validation via Model Extrapolation.

Authors: Howar, Falk Margaria, Tiziana Wagner, Christian

Source: Journal of Integrated Design & Process Science. 2013, Vol. 17 Issue 3, p71-91. 21p.

Active learning for extended finite state machines.

Authors: Cassel, Sofia Howar, Falk Jonsson, Bengt et al.

Source: Formal Aspects of Computing. Apr2016, Vol. 28 Issue 2, p233-263. 31p.

Subjects: Finite state machines, Data flow computing, Active learning, Generalization, Machine learning

Rigorous examination of reactive systems.

Authors: Howar, Falk Isberner, Malte Merten, Maik et al.

Source: International Journal on Software Tools for Technology Transfer. Oct2014, Vol. 16 Issue 5, p457-464. 8p.

Subjects: Verification of computer systems, Software verification, Software validation, Benchmark testing (Engineering), Statistical models, Mathematical models

Tailored generation of concurrent benchmarks.

Authors: Steffen, Bernhard Howar, Falk Isberner, Malte et al.

Source: International Journal on Software Tools for Technology Transfer. Oct2014, Vol. 16 Issue 5, p543-558. 16p.

Subjects: Software validation, Benchmark testing (Engineering), Concurrent engineering, Statistical models, Computer software testing

A research agenda for active automata learning.

Authors: Fortz, Sophie Ghassemi, Fatemeh Henry, Léo et al.

Source: International Journal on Software Tools for Technology Transfer. Feb2026, p1-22.

Improving AI-Based Canine Heart Disease Diagnosis with Expert-Consensus Auscultation Labeling.

Authors: Bisgin P Strube T Tschorn N et al.

Source: Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference [Annu Int Conf IEEE Eng Med Biol Soc] 2025 Jul; Vol. 2025, pp. 1-7.

Publication Type: Journal Article

Journal Info: Publisher: [IEEE] Country of Publication: United States NLM ID: 101763872 Publication Model: Print Cited Medium: Internet ISSN: 2694-0604 (Electronic) Linking ISSN: 23757477 NLM ISO Abbreviation: Annu Int Conf IEEE Eng Med Biol Soc Subsets: MEDLINE