Jan-Georg Smaus

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 2

Top Venues

CoRR

ICTERI

ICTERI (Revised Selected Papers)

GandALF

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
Implementations of two Algorithms for the Threshold Synthesis Problem. CoRR (2023)
Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus
An Existence Theorem of Nash Equilibrium in Coq and Isabelle. GandALF (2017)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (Revised Selected Papers) (2015)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an Operational Semantics to Finite Automata. ICTERI (2015)
Alexander Schimpf, Jan-Georg Smaus
Büchi Automata Optimisations Formalised in Isabelle/HOL. ICLA (2015)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. Arch. Formal Proofs 2014 (2014)
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
Abstracting an operational semantics to finite automata. CoRR (2014)
Christian Schilling, Jan-Georg Smaus, Fabian Wenzelmann
A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. IWOCA (2013)
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
A Fully Verified Executable LTL Model Checker. CAV (2013)
Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
Implementations of two algorithms for the threshold synthesis problem. ISAIM (2012)
David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
Reports of the AAAI 2010 Conference Workshops. AI Mag. 31 (4) (2010)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR (2010)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Predicate Abstraction for Real-Time Models INFINITY (2009)
Alexander Schimpf, Stephan Merz, Jan-Georg Smaus
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs (2009)
Stefan Ratschan, Jan-Georg Smaus
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. TAP@TOOLS (2009)
Jan-Georg Smaus, Jörg Hoffmann
Relaxation Refinement: A New Method to Generate Heuristic Functions. MoChArt (2008)
Jan-Georg Smaus
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint. CPAIOR (2007)
Stefan Ratschan, Jan-Georg Smaus
Verification-Integrated Falsification of non-Deterministic Hybrid Systems. ADHS (2006)
Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt (2006)
Jan-Georg Smaus
Termination of Logic Programs Using Various Dynamic Selection Rules. ICLP (2004)
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. 5 (3) (2004)
Jan-Georg Smaus
Termination of Logic Programs for Various Dynamic Selection Rules. ICLP (2003)
Jan-Georg Smaus
Is There an Optimal Generic Semantics for First-Order Equations?. ICLP (2003)
Jan-Georg Smaus
The Head Condition and Polymorphic Recursion. FLOPS (2002)
Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus
Classes of terminating logic programs. Theory Pract. Log. Program. 2 (3) (2002)
Pierre Deransart, Jan-Georg Smaus
Subject Reduction of Logic Programs as Proof-Theoretic Property. J. Funct. Log. Program. 2002 (2002)
Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing
MultiMedia Instruction in Safe and Secure Systems. WADT (2002)
Pierre Deransart, Jan-Georg Smaus
Well-Typed Logic Programs Are not Wrong. FLOPS (2001)
Jan-Georg Smaus
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification CoRR (2001)
Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus
Classes of Terminating Logic Programs CoRR (2001)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Declarations. Theory Pract. Log. Program. 1 (4) (2001)
Jan-Georg Smaus
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. LPAR (2001)
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR (2001)
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP (2001)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR (2000)
Jan-Georg Smaus, François Fages, Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR (2000)
Pierre Deransart, Jan-Georg Smaus
Les programmes bien typés ont tout bon. JFPLC (2000)
Pierre Deransart, Jan-Georg Smaus
Well-Typed Logic Programs Are not Wrong CoRR (2000)
Jan-Georg Smaus, François Fages, Pierre Deransart
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS (2000)
Sandro Etalle, Jan-Georg Smaus
Preface - Workshop on Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Jan-Georg Smaus
Proving Termination of Input-Consuming Logic Programs. ICLP (1999)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Mode Analysis Domains for Typed Logic Programs. LOPSTR (1999)
Andy King, Jan-Georg Smaus, Patricia M. Hill
for Dependency Analysis. ESOP (1999)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. LOPSTR (1998)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP (1998)
Jan-Georg Smaus, Patricia M. Hill, Andy King
Domain Construction for Mode Analysis of Typed Logic Programs. ICLP (1997)

Jan-Georg Smaus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan-Georg Smaus