A brief account of runtime verification M Leucker, C Schallhart The journal of logic and algebraic programming 78 (5), 293-303, 2009
Oct 15, 2024 · List of computer science publications by Christian Schallhart.
Education: Vienna University of Technology
Research interests: Software Quality, Formal Methods, and Information Systems
Skills and Expertise: Software Engineering, Formal Methods, Testing, runtime verification, Web Data Extraction, Information Systems, Software Development
Christian Schallhart's research: Web Data Extraction, Testing, Runtime Verification.
Data-Driven Parametric Text Normalization: Rapidly Scaling Finite-State Transduction Verbalizers to New Languages
This paper presents a methodology for rapidly generating FST-based verbalizers for ASR and TTS systems by efficiently sourcing language-specific data.