Christoph Lüth

88 papers A* 1A 5B 12C 8Misc 1Journal 17Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics. DATE Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, Rolf Drechsler
2024	J	`jnl`	BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics. CoRR Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
2024	A	`conf`	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 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
2024	B	`conf`	Finding the perfect MRI sequence for your patient - Towards an optimisation workflow for MRI-sequences. CEC Christina Plump, Daniel Christopher Hoinkiss, Jörn Huber, Bernhard J. Berger, Matthias Günther, Christoph Lüth, Rolf Drechsler
2024	—	`conf`	How Deduction Systems Can Help You To Verify Stability Properties. CDC Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2024	J	`jnl`	How Deduction Systems Can Help You To Verify Stability Properties. CoRR Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
2023	—	`conf`	Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. CDC Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner
2023	J	`jnl`	Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. CoRR Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner
2023	C	`conf`	Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. FDL Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
2023	Misc	`conf`	Verified Value Chains, Innovation and Competition. CSR 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
2023	—	`conf`	Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. TFP Sören Tempel, Tobias Brandt, Christoph Lüth
2022	—	`conf`	Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. CDC Lukas Gross, Lasse Maywald, Shivesh Kumar, Frank Kirchner, Christoph Lüth
2022	J	`jnl`	Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. CoRR Lukas Gross, Lasse Maywald, Shivesh Kumar, Frank Kirchner, Christoph Lüth
2022	—	`ch.`	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 Serge Autexier, Christoph Lüth, Rolf Drechsler
2022	—	`conf`	Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. EMBC Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen
2022	C	`conf`	Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. FDL Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
2021	C	`conf`	Performance Aspects of Correctness-oriented Synthesis Flows. MODELSWARD Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	C	`conf`	Integer Overflow Detection in Hardware Designs at the Specification Level. MODELSWARD Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	—	`conf`	Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. MODELSWARD (Revised Selected Papers) Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	—	`conf`	Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2020	A	`conf`	Verification Runtime Analysis: Get the Most Out of Partial Verification. DATE Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2019	A	`conf`	Better Late Than Never : Verification of Embedded Systems After Deployment. DATE Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
2019	C	`conf`	Code is Ethics - Formal Techniques for a Better World. DSD Rolf Drechsler, Christoph Lüth
2019	B	`conf`	Let's Prove It Later - Verification at Different Points in Time. SEFM Martin Ring, Christoph Lüth
2018	B	`conf`	Semantically Weighted Similarity Analysis for XML-based Content Components. DocEng Jan Oevermann, Christoph Lüth
2018	—	`conf`	Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. IVSW Rolf Drechsler, Christoph Lüth, Görschwin Fey, Tim Güneysu
2016	C	`conf`	Change impact analysis for hardware designs from natural language to system level. FDL Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler
2016	B	`conf`	Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. Intelligent Environments 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
2016	—	`conf`	Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents. MATES 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
2016	—	`conf`	Interactive Proof Presentations with Cobra. UITP Martin Ring, Christoph Lüth
2016	—	`conf`	Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC Rolf Drechsler, Serge Autexier, Christoph Lüth
2014	B	`conf`	Collaborative Interactive Theorem Proving with Clide. ITP Martin Ring, Christoph Lüth
2014	—	`conf`	Real-time collaborative Scala development with Clide. SCALA@ECOOP Martin Ring, Christoph Lüth
2013	B	`conf`	A Semantic Basis for Proof Queries and Transformations. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2013	—	`conf`	A Web Interface for Isabelle: The Next Generation. MKM/Calculemus/DML Christoph Lüth, Martin Ring
2013	—	`ed.`	Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. UITP Cezary Kaliszyk, Christoph Lüth
2012	J	`jnl`	Guaranteeing functional safety: design for provability and computer-aided verification. Auton. Robots Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter
2012	B	`conf`	Querying Proofs. LPAR David Aspinall, Ewen Denney, Christoph Lüth
2012	—	`conf`	SmartTies - Management of Safety-Critical Developments. ISoLA (1) Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
2010	B	`conf`	Adding Change Impact Analysis to the Formal Verification of C Programs. IFM Serge Autexier, Christoph Lüth
2010	B	`conf`	Experiences in Applying Formal Verification in Robotics. SAFECOMP Dennis Walter, Holger Täubig, Christoph Lüth
2010	—	`conf`	Structured Formal Development with Quotient Types in Isabelle/HOL. AISC/MKM/Calculemus Maksym Bortin, Christoph Lüth
2010	J	`jnl`	Tactics for Hierarchical Proof. Math. Comput. Sci. David Aspinall, Ewen Denney, Christoph Lüth
2009	B	`conf`	Certifiable Specification and Verification of C Programs. FM Christoph Lüth, Dennis Walter
2009	J	`jnl`	User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christoph Lüth
2008	—	`conf`	A Tactic Language for Hiproofs. AISC/MKM/Calculemus David Aspinall, Ewen Denney, Christoph Lüth
2008	C	`conf`	Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering (Workshops) Christoph Lüth
2008	—	`conf`	The Importance of Being Formal. SafeCert@ETAPS Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
2008	—	`conf`	Towards Merging PlatOmega and PGIP. UITP@TPHOLs David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
2008	C	`conf`	Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
2007	—	`conf`	A Framework for Interactive Proof. Calculemus/MKM David Aspinall, Christoph Lüth, Daniel Winterstein
2007	J	`jnl`	Sicherheit in der Künstlichen Intelligenz. Künstliche Intell. Christoph Lüth, Bernd Krieg-Brückner
2007	J	`jnl`	Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reason. David Aspinall, Christoph Lüth
2006	—	`conf`	Proof general in Eclipse: system and architecture overview. ETX David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz
2006	J	`jnl`	Structured Formal Development in Isabelle. Nord. J. Comput. Maksym Bortin, Einar Broch Johnsen, Christoph Lüth
2005	—	`conf`	Abstract Modularity. RTA Michael Gordon Abbott, Neil Ghani, Christoph Lüth
2005	—	`conf`	Assisted Proof Document Authoring. MKM David Aspinall, Christoph Lüth, Burkhart Wolff
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 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
2005	J	`jnl`	Monads of coalgebras: rational terms and term graphs. Math. Struct. Comput. Sci. Neil Ghani, Christoph Lüth, Federico De Marchi
2005	A*	`conf`	Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI Daniel Winterstein, David Aspinall, Christoph Lüth
2004	—	`conf`	CCC - The Casl Consistency Checker. WADT Christoph Lüth, Markus Roggenbach, Lutz Schröder
2004	—	`ed.`	Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003 UITP@TPHOLs David Aspinall, Christoph Lüth
2004	—	`conf`	Semantic Interrelation of Documents via an Ontology. DeLFI Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
2004	—	`conf`	Theorem Reuse by Proof Term Transformation. TPHOLs Einar Broch Johnsen, Christoph Lüth
2004	—	`conf`	Type Class Polymorphism in an Institutional Framework. WADT Lutz Schröder, Till Mossakowski, Christoph Lüth
2003	J	`jnl`	Abstracting Refinements for Transformation. Nord. J. Comput. Einar Broch Johnsen, Christoph Lüth
2003	J	`jnl`	Dualising Initial Algebras. Math. Struct. Comput. Sci. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
2003	J	`jnl`	Haskell in Space. J. Funct. Program. Christoph Lüth
2003	—	`conf`	Preface. UITP@TPHOLs David Aspinall, Christoph Lüth
2003	—	`conf`	Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. UITP@TPHOLs David Aspinall, Christoph Lüth
2003	J	`jnl`	Rewriting Via Coinserters. Nord. J. Comput. Neil Ghani, Christoph Lüth
2003	J	`jnl`	Solving Algebraic Equations Using Coalgebra. RAIRO Theor. Informatics Appl. Federico De Marchi, Neil Ghani, Christoph Lüth
2002	—	`conf`	Coalgebraic Monads. CMCS Neil Ghani, Christoph Lüth, Federico De Marchi
2002	—	`conf`	Coalgebraic approaches to algebraic terms. FICS Neil Ghani, Christoph Lüth, Federico De Marchi
2002	A	`conf`	Composing monads using coproducts. ICFP Christoph Lüth, Neil Ghani
2002	—	`conf`	Monads and Modularity. FroCoS Christoph Lüth, Neil Ghani
2002	—	`conf`	MultiMedia Instruction in Safe and Secure Systems. WADT 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
2001	—	`conf`	Algebras, Coalgebras, Monads and Comonads. CMCS Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
2000	B	`conf`	More About TAS and IsaWin - Tools for Formal Program Development. FASE Christoph Lüth, Burkhart Wolff
2000	—	`conf`	TAS - A Generic Window Inference System. TPHOLs Christoph Lüth, Burkhart Wolff
1999	J	`jnl`	Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. Christoph Lüth, Burkhart Wolff
1999	B	`conf`	TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
1998	—	`—`	Categorical term rewriting : monads and modularity. Christoph Lüth
1998	—	`conf`	HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1998	—	`conf`	Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
1997	—	`conf`	Monads and Modular Term Rewriting. Category Theory and Computer Science Christoph Lüth, Neil Ghani
1997	—	`conf`	TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
1996	—	`conf`	Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. RTA Christoph Lüth