Jan‐Georg Smaus
Université Toulouse III - Paul Sabatier(FR)Université Toulouse-I-Capitole(FR)Institut de Recherche en Informatique de Toulouse(FR)Université Toulouse - Jean Jaurès(FR)Institut Polytechnique de Bordeaux(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → A Fully Verified Executable LTL Model Checker(2013)84 cited
- → Modes and types in logic programming(2022)21 cited
- → Classes of terminating logic programs(2002)21 cited
- → Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL(2009)15 cited
- → MultiMedia Instruction in Safe and Secure Systems(2003)15 cited
- → Mode Analysis Domains for Typed Logic Programs(2000)14 cited
- → Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL