bibliographer - Falk Howar

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Reach on Register Automata via History Independence Simon Dierl Falk Howar [github]

Inferring Canonical Register Automata Falk Howar Bernhard Steffen Bengt Jonsson Sofia Cassel [github]

Active learning for extended finite state machines Sofia Cassel Falk Howar Bengt Jonsson Bernhard Steffen [github]

A succinct canonical register automaton model Sofia Cassel Falk Howar Bengt Jonsson Maik Merten Bernhard Steffen [github]

RERS 2019: Combining Synthesis with Real-World Models Marc Jasper Malte Mues Alnis Murtovi Maximilian Schlüter Falk Howar Bernhard Steffen Markus Schordan Dennis Hendriks Ramon Schiffelers Harco Kuppens Frits W. Vaandrager [github]

The Open-Source LearnLib Malte Isberner Falk Howar Bernhard Steffen [github]

Introduction to Active Automata Learning from a Practical Perspective Bernhard Steffen Falk Howar Maik Merten [github]

Learning register automata: from languages to program structures Malte Isberner Falk Howar Bernhard Steffen [github]

Hybrid learning: interface generation through static, dynamic, and symbolic analysis Falk Howar Dimitra Giannakopoulou Zvonimir Rakamarić [github]

Library Size: 13G (9 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]