default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristoph Lüth
Person information
- affiliation: University of Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c64]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: 1-9- [c63]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: 1-6 - [i5]Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler:
BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics. CoRR abs/2404.04132 (2024) - [i4]Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth:
How Deduction Systems Can Help You To Verify Stability Properties. CoRR abs/2404.10747 (2024) - 2023
- [c62]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: 2135-2140 - [c61]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: 470-476 - [c60]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: 1-8 - [c59]Sören Tempel, Tobias Brandt, Christoph Lüth:
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. TFP 2023: 16-35 - [i3]Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner:
Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. CoRR abs/2312.10328 (2023) - 2022
- [c58]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: 2695-2701 - [c57]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: 4584-4589 - [c56]Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler:
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. FDL 2022: 1-6 - [p1]Serge Autexier, Christoph Lüth, Rolf Drechsler:
Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen. Künstliche Intelligenz im Gesundheitswesen 2022: 835-850 - [i2]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 abs/2211.15437 (2022) - 2021
- [c55]Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD 2021: 76-86 - 2020
- [c54]Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC 2020: 375-380 - [c53]Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE 2020: 873-878 - [c52]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: 26-48 - [c51]Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD 2020: 41-48
2010 – 2019
- 2019
- [c50]Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Better Late Than Never : Verification of Embedded Systems After Deployment. DATE 2019: 890-895 - [c49]Rolf Drechsler, Christoph Lüth:
Code is Ethics - Formal Techniques for a Better World. DSD 2019: 1-3 - [c48]Martin Ring, Christoph Lüth:
Let's Prove It Later - Verification at Different Points in Time. SEFM 2019: 454-468 - 2018
- [c47]Jan Oevermann, Christoph Lüth:
Semantically Weighted Similarity Analysis for XML-based Content Components. DocEng 2018: 20:1-20:4 - [c46]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: 1-6 - 2016
- [c45]Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler:
Change impact analysis for hardware designs from natural language to system level. FDL 2016: 1-7 - [c44]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: 234-237 - [c43]Rolf Drechsler, Serge Autexier, Christoph Lüth:
Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC 2016: 3-17 - [c42]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: 131-146 - [c41]Martin Ring, Christoph Lüth:
Interactive Proof Presentations with Cobra. UITP 2016: 43-52 - 2014
- [c40]Martin Ring, Christoph Lüth:
Real-time collaborative Scala development with Clide. SCALA@ECOOP 2014: 63-66 - [c39]Martin Ring, Christoph Lüth:
Collaborative Interactive Theorem Proving with Clide. ITP 2014: 467-482 - 2013
- [c38]David Aspinall, Ewen Denney, Christoph Lüth:
A Semantic Basis for Proof Queries and Transformations. LPAR 2013: 53-70 - [c37]Christoph Lüth, Martin Ring:
A Web Interface for Isabelle: The Next Generation. MKM/Calculemus/DML 2013: 326-329 - [e2]Cezary Kaliszyk, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents] - 2012
- [j13]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): 303-331 (2012) - [c36]Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder:
SmartTies - Management of Safety-Critical Developments. ISoLA (1) 2012: 238-252 - [c35]David Aspinall, Ewen Denney, Christoph Lüth:
Querying Proofs. LPAR 2012: 92-106 - 2010
- [j12]David Aspinall, Ewen Denney, Christoph Lüth:
Tactics for Hierarchical Proof. Math. Comput. Sci. 3(3): 309-330 (2010) - [c34]Maksym Bortin, Christoph Lüth:
Structured Formal Development with Quotient Types in Isabelle/HOL. AISC/MKM/Calculemus 2010: 34-48 - [c33]Serge Autexier, Christoph Lüth:
Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73 - [c32]Dennis Walter, Holger Täubig, Christoph Lüth:
Experiences in Applying Formal Verification in Robotics. SAFECOMP 2010: 347-360
2000 – 2009
- 2009
- [j11]Christoph Lüth:
User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [c31]Christoph Lüth, Dennis Walter:
Certifiable Specification and Verification of C Programs. FM 2009: 419-434 - 2008
- [c30]David Aspinall, Ewen Denney, Christoph Lüth:
A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354 - [c29]Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) 2008: 335-338 - [c28]Christoph Lüth:
Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering (Workshops) 2008: 341-342 - [c27]David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner:
Towards Merging PlatOmega and PGIP. UITP@TPHOLs 2008: 3-21 - [c26]Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
The Importance of Being Formal. SafeCert@ETAPS 2008: 57-70 - 2007
- [j10]David Aspinall, Christoph Lüth:
Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reason. 39(2): 107-108 (2007) - [j9]Christoph Lüth, Bernd Krieg-Brückner:
Sicherheit in der Künstlichen Intelligenz. Künstliche Intell. 21(1): 51-52 (2007) - [c25]David Aspinall, Christoph Lüth, Daniel Winterstein:
A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175 - 2006
- [j8]Maksym Bortin, Einar Broch Johnsen, Christoph Lüth:
Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006) - [c24]David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz:
Proof general in Eclipse: system and architecture overview. ETX 2006: 45-49 - 2005
- [j7]Neil Ghani, Christoph Lüth, Federico De Marchi:
Monads of coalgebras: rational terms and term graphs. Math. Struct. Comput. Sci. 15(3): 433-451 (2005) - [c23]Daniel Winterstein, David Aspinall, Christoph Lüth:
Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI 2005: 1587-1588 - [c22]David Aspinall, Christoph Lüth, Burkhart Wolff:
Assisted Proof Document Authoring. MKM 2005: 65-80 - [c21]Michael Gordon Abbott, Neil Ghani, Christoph Lüth:
Abstract Modularity. RTA 2005: 46-60 - [i1]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 - 2004
- [c20]Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell:
Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282 - [c19]Einar Broch Johnsen, Christoph Lüth:
Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167 - [c18]Christoph Lüth, Markus Roggenbach, Lutz Schröder:
CCC - The Casl Consistency Checker. WADT 2004: 94-105 - [c17]Lutz Schröder, Till Mossakowski, Christoph Lüth:
Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251 - [e1]David Aspinall, Christoph Lüth:
Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003. Electronic Notes in Theoretical Computer Science 103, Elsevier 2004 [contents] - 2003
- [j6]Federico De Marchi, Neil Ghani, Christoph Lüth:
Solving Algebraic Equations Using Coalgebra. RAIRO Theor. Informatics Appl. 37(4): 301-314 (2003) - [j5]Christoph Lüth:
Haskell in Space. J. Funct. Program. 13(6): 1077-1085 (2003) - [j4]Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Dualising Initial Algebras. Math. Struct. Comput. Sci. 13(2): 349-370 (2003) - [j3]Neil Ghani, Christoph Lüth:
Rewriting Via Coinserters. Nord. J. Comput. 10(4): 290-312 (2003) - [j2]Einar Broch Johnsen, Christoph Lüth:
Abstracting Refinements for Transformation. Nord. J. Comput. 10(4): 313-336 (2003) - [c16]David Aspinall, Christoph Lüth:
Preface. UITP@TPHOLs 2003: 1-2 - [c15]David Aspinall, Christoph Lüth:
Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. UITP@TPHOLs 2003: 3-26 - 2002
- [c14]Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic approaches to algebraic terms. FICS 2002: 6-8 - [c13]Christoph Lüth, Neil Ghani:
Monads and Modularity. FroCoS 2002: 18-32 - [c12]Christoph Lüth, Neil Ghani:
Composing monads using coproducts. ICFP 2002: 133-144 - [c11]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: 82-117 - [c10]Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic Monads. CMCS 2002: 71-91 - 2001
- [c9]Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Algebras, Coalgebras, Monads and Comonads. CMCS 2001: 128-145 - 2000
- [c8]Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370 - [c7]Christoph Lüth, Burkhart Wolff:
TAS - A Generic Window Inference System. TPHOLs 2000: 406-423
1990 – 1999
- 1999
- [j1]Christoph Lüth, Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999) - [c6]Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243 - 1998
- [b1]Christoph Lüth:
Categorical term rewriting : monads and modularity. University of Edinburgh, UK, 1998 - [c5]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: 160-173 - [c4]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: 116-134 - 1997
- [c3]Christoph Lüth, Neil Ghani:
Monads and Modular Term Rewriting. Category Theory and Computer Science 1997: 69-86 - [c2]Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858 - 1996
- [c1]Christoph Lüth:
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. RTA 1996: 261-275
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
