Christoph Lüth

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 28

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
How Deduction Systems Can Help You To Verify Stability Properties. CoRR (2024)
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics. CoRR (2024)
Christina Plump, Daniel Christopher Hoinkiss, Jörn Huber, Bernhard J. Berger, Matthias Günther, Christoph Lüth, Rolf Drechsler
Finding the perfect MRI sequence for your patient - Towards an optimisation workflow for MRI-sequences. CEC (2024)
Tim Henkes, Steffen Reith, Marc Stöttinger, Norbert Herfurth, Goran Panic, Julian Wälde, Fabian Buschkowski, Pascal Sasdrich, Christoph Lüth, Milan Funck, Tuba Kiyan, Arnd Weber, Detlef Boeck, René Rathfelder, Torsten Grawunder
Evaluating an Open-Source Hardware Approach from HDL to GDS for a Security Chip Design - a Review of the Final Stage of Project HEP. DATE (2024)
Arnd Weber, Sylvain Guilley, René Rathfelder, Marc Stöttinger, Christoph Lüth, Maja Malenko, Torsten Grawunder, Steffen Reith, Armand Puccetti, Jean-Pierre Seifert, Norbert Herfurth, Hagen Sankowski, Gernot Heiser
Verified Value Chains, Innovation and Competition. CSR (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. FDL (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. TFP (2023)
Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner
Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. CoRR (2023)
Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner
Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. CDC (2023)
Lukas Gross, Lasse Maywald, Shivesh Kumar, Frank Kirchner, Christoph Lüth
Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. CoRR (2022)
Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen
Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. EMBC (2022)
Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. FDL (2022)
Lukas Gross, Lasse Maywald, Shivesh Kumar, Frank Kirchner, Christoph Lüth
Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. CDC (2022)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD (2021)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE (2020)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. MODELSWARD (Revised Selected Papers) (2020)
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD (2020)
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Better Late Than Never : Verification of Embedded Systems After Deployment. DATE (2019)
Martin Ring, Christoph Lüth
Let's Prove It Later - Verification at Different Points in Time. SEFM (2019)
Rolf Drechsler, Christoph Lüth
Code is Ethics - Formal Techniques for a Better World. DSD (2019)
Rolf Drechsler, Christoph Lüth, Görschwin Fey, Tim Güneysu
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. IVSW (2018)
Jan Oevermann, Christoph Lüth
Semantically Weighted Similarity Analysis for XML-based Content Components. DocEng (2018)
Martin Ring, Christoph Lüth
Interactive Proof Presentations with Cobra. UITP (2016)
Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler
Change impact analysis for hardware designs from natural language to system level. FDL (2016)
Tim Schwartz, Ingo Zinnikus, Hans-Ulrich Krieger, Christian Bürckert, Joachim Folz, Bernd Kiefer, Peter Hevesi, Christoph Lüth, Gerald Pirkl, Torsten Spieldenner, Norbert Schmitz, Malte Wirkus, Sirko Straube
Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents. MATES (2016)
Rolf Drechsler, Serge Autexier, Christoph Lüth
Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC (2016)
Tim Schwartz, Michael Feld, Christian Bürckert, Svilen Dimitrov, Joachim Folz, Dieter Hutter, Peter Hevesi, Bernd Kiefer, Hans-Ulrich Krieger, Christoph Lüth, Dennis Mronga, Gerald Pirkl, Thomas Röfer, Torsten Spieldenner, Malte Wirkus, Ingo Zinnikus, Sirko Straube
Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. Intelligent Environments (2016)
Martin Ring, Christoph Lüth
Collaborative Interactive Theorem Proving with Clide. ITP (2014)
Martin Ring, Christoph Lüth
Real-time collaborative Scala development with Clide. SCALA@ECOOP (2014)
David Aspinall, Ewen Denney, Christoph Lüth
A Semantic Basis for Proof Queries and Transformations. LPAR (2013)
Christoph Lüth, Martin Ring
A Web Interface for Isabelle: The Next Generation. MKM/Calculemus/DML (2013)
David Aspinall, Ewen Denney, Christoph Lüth
Querying Proofs. LPAR (2012)
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
SmartTies - Management of Safety-Critical Developments. ISoLA (1) (2012)
Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter
Guaranteeing functional safety: design for provability and computer-aided verification. Auton. Robots 32 (3) (2012)
David Aspinall, Ewen Denney, Christoph Lüth
Tactics for Hierarchical Proof. Math. Comput. Sci. 3 (3) (2010)
Serge Autexier, Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs. IFM (2010)
Maksym Bortin, Christoph Lüth
Structured Formal Development with Quotient Types in Isabelle/HOL. AISC/MKM/Calculemus (2010)
Dennis Walter, Holger Täubig, Christoph Lüth
Experiences in Applying Formal Verification in Robotics. SAFECOMP (2010)
Christoph Lüth
User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
Towards Merging PlatOmega and PGIP. Electron. Notes Theor. Comput. Sci. 226 (2009)
Christoph Lüth, Dennis Walter
Certifiable Specification and Verification of C Programs. FM (2009)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
The Importance of Being Formal. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) (2008)
Christoph Lüth
Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering (Workshops) (2008)
David Aspinall, Ewen Denney, Christoph Lüth
A Tactic Language for Hiproofs. AISC/MKM/Calculemus (2008)
Christoph Lüth, Bernd Krieg-Brückner
Sicherheit in der Künstlichen Intelligenz. Künstliche Intell. 21 (1) (2007)
David Aspinall, Christoph Lüth, Daniel Winterstein
A Framework for Interactive Proof. Calculemus/MKM (2007)
David Aspinall, Christoph Lüth
Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reason. 39 (2) (2007)
Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
Structured Formal Development in Isabelle. Nord. J. Comput. 13 (1-2) (2006)
David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
Proof general in Eclipse: system and architecture overview. ETX (2006)
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Michael Gordon Abbott, Neil Ghani, Christoph Lüth
Abstract Modularity. RTA (2005)
Daniel Winterstein, David Aspinall, Christoph Lüth
Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI (2005)
Neil Ghani, Christoph Lüth, Federico De Marchi
Monads of coalgebras: rational terms and term graphs. Math. Struct. Comput. Sci. 15 (3) (2005)
David Aspinall, Christoph Lüth, Burkhart Wolff
Assisted Proof Document Authoring. MKM (2005)
Einar Broch Johnsen, Christoph Lüth
Theorem Reuse by Proof Term Transformation. TPHOLs (2004)
Christoph Lüth, Markus Roggenbach, Lutz Schröder
CCC - The Casl Consistency Checker. WADT (2004)
Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
Semantic Interrelation of Documents via an Ontology. DeLFI (2004)
Lutz Schröder, Till Mossakowski, Christoph Lüth
Type Class Polymorphism in an Institutional Framework. WADT (2004)
David Aspinall, Christoph Lüth
Preface. Electron. Notes Theor. Comput. Sci. 103 (2004)
David Aspinall, Christoph Lüth
Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. Electron. Notes Theor. Comput. Sci. 103 (2004)
Federico De Marchi, Neil Ghani, Christoph Lüth
Solving Algebraic Equations Using Coalgebra. RAIRO Theor. Informatics Appl. 37 (4) (2003)
Christoph Lüth
Haskell in Space. J. Funct. Program. 13 (6) (2003)
Neil Ghani, Christoph Lüth
Rewriting Via Coinserters. Nord. J. Comput. 10 (4) (2003)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Dualising Initial Algebras. Math. Struct. Comput. Sci. 13 (2) (2003)
Einar Broch Johnsen, Christoph Lüth
Abstracting Refinements for Transformation. Nord. J. Comput. 10 (4) (2003)
Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic Monads. CMCS (2002)
Neil Ghani, Christoph Lüth, Federico De Marchi
Coalgebraic approaches to algebraic terms. FICS (2002)
Christoph Lüth, Neil Ghani
Composing monads using coproducts. ICFP (2002)
Christoph Lüth, Neil Ghani
Monads and Modularity. FroCoS (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)
Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
Algebras, Coalgebras, Monads and Comonads. CMCS (2001)
Christoph Lüth, Burkhart Wolff
More About TAS and IsaWin - Tools for Formal Program Development. FASE (2000)
Christoph Lüth, Burkhart Wolff
TAS - A Generic Window Inference System. TPHOLs (2000)
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE (1999)
Christoph Lüth, Burkhart Wolff
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9 (2) (1999)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification (1998)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM (1998)
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT (1997)
Christoph Lüth, Neil Ghani
Monads and Modular Term Rewriting. Category Theory and Computer Science (1997)
Christoph Lüth
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. RTA (1996)

Christoph Lüth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Lüth