Christoph Lüth

According to our database1, Christoph Lüth authored at least 62 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Better Late Than Never : Verification of Embedded Systems After Deployment.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation.
Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

Semantically Weighted Similarity Analysis for XML-based Content Components.
Proceedings of the ACM Symposium on Document Engineering 2018, 2018

2016
Interactive Proof Presentations with Cobra.
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents.
Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

Model-Based Specification and Refinement for Cyber-Physical Systems.
Proceedings of the Dynamics in Logistics, 2016

Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting.
Proceedings of the 12th International Conference on Intelligent Environments, 2016

Change impact analysis for hardware designs from natural language to system level.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2014
Collaborative Interactive Theorem Proving with Clide.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Real-time collaborative Scala development with Clide.
Proceedings of the Fifth Annual Scala Workshop, 2014

2013
A Web Interface for Isabelle: The Next Generation.
Proceedings of the Intelligent Computer Mathematics, 2013

A Semantic Basis for Proof Queries and Transformations.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Guaranteeing functional safety: design for provability and computer-aided verification.
Auton. Robots, 2012

Querying Proofs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

SmartTies - Management of Safety-Critical Developments.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010
Tactics for Hierarchical Proof.
Mathematics in Computer Science, 2010

Experiences in Applying Formal Verification in Robotics.
Proceedings of the Computer Safety, 2010

Adding Change Impact Analysis to the Formal Verification of C Programs.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Structured Formal Development with Quotient Types in Isabelle/HOL.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
The Importance of Being Formal.
Electr. Notes Theor. Comput. Sci., 2009

Towards Merging PlatOmega and PGIP.
Electr. Notes Theor. Comput. Sci., 2009

User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?
ECEASST, 2009

Certifiable Specification and Verification of C Programs.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß.
Proceedings of the Software Engineering 2008, 2008

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
Proceedings of the Software Engineering 2008, 2008

A Tactic Language for Hiproofs.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007
Sicherheit in der Künstlichen Intelligenz.
KI, 2007

Special Issue on User Interfaces in Theorem Proving: Preface.
J. Autom. Reasoning, 2007

A Framework for Interactive Proof.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006
Structured Formal Development in Isabelle.
Nord. J. Comput., 2006

Proof general in Eclipse: system and architecture overview.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005
Monads of coalgebras: rational terms and term graphs.
Mathematical Structures in Computer Science, 2005

Abstract Modularity.
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Assisted Proof Document Authoring.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Proof General / Eclipse: A Generic Interface for Interactive Proof.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005


2004
Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces.
Electr. Notes Theor. Comput. Sci., 2004

Preface.
Electr. Notes Theor. Comput. Sci., 2004

Type Class Polymorphism in an Institutional Framework.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

CCC - The Casl Consistency Checker.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Theorem Reuse by Proof Term Transformation.
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Semantic Interrelation of Documents via an Ontology.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

2003
Abstracting Refinements for Transformation.
Nord. J. Comput., 2003

Rewriting Via Coinserters.
Nord. J. Comput., 2003

Dualising Initial Algebras.
Mathematical Structures in Computer Science, 2003

Haskell in Space.
J. Funct. Program., 2003

Solving Algebraic Equations Using Coalgebra.
ITA, 2003

2002
Coalgebraic Monads.
Electr. Notes Theor. Comput. Sci., 2002

MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Composing monads using coproducts.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

Monads and Modularity.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Coalgebraic approaches to algebraic terms.
Proceedings of the Fixed Points in Computer Science, 2002

2001
Algebras, Coalgebras, Monads and Comonads.
Electr. Notes Theor. Comput. Sci., 2001

2000
TAS - A Generic Window Inference System.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

More About TAS and IsaWin - Tools for Formal Program Development.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
J. Funct. Program., 1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
Categorical term rewriting : monads and modularity.
PhD thesis, 1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Monads and Modular Term Rewriting.
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996


  Loading...