Christoph Lüth

Rolf Drechsler

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021

Performance Aspects of Correctness-oriented Synthesis Flows.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2020

Integer Overflow Detection in Hardware Designs at the Specification Level.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Verification Runtime Analysis: Get the Most Out of Partial Verification.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Towards Automatic Hardware Synthesis from Formal Specification to Implementation.

[BibT_eX]

[DOI]

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Let's Prove It Later - Verification at Different Points in Time.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Code is Ethics - Formal Techniques for a Better World.

[BibT_eX]

[DOI]

Rolf Drechsler

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Better Late Than Never : Verification of Embedded Systems After Deployment.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

Semantically Weighted Similarity Analysis for XML-based Content Components.

[BibT_eX]

[DOI]

Jan Oevermann

Proceedings of the ACM Symposium on Document Engineering 2018, 2018

2016

Interactive Proof Presentations with Cobra.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

Model-Based Specification and Refinement for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Rolf Drechsler

Serge Autexier

Proceedings of the Dynamics in Logistics, 2016

Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Intelligent Environments, 2016

Change impact analysis for hardware designs from natural language to system level.

[BibT_eX]

[DOI]

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2014

Collaborative Interactive Theorem Proving with Clide.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Real-time collaborative Scala development with Clide.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Scala Workshop, 2014

2013

A Web Interface for Isabelle: The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

A Semantic Basis for Proof Queries and Transformations.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Guaranteeing functional safety: design for provability and computer-aided verification.

[BibT_eX]

[DOI]

Auton. Robots, 2012

Querying Proofs.

[BibT_eX]

[DOI]

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

SmartTies - Management of Safety-Critical Developments.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

Tactics for Hierarchical Proof.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

Experiences in Applying Formal Verification in Robotics.

[BibT_eX]

[DOI]

Dennis Walter

Holger Täubig

Proceedings of the Computer Safety, 2010

Adding Change Impact Analysis to the Formal Verification of C Programs.

[BibT_eX]

[DOI]

Serge Autexier

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Structured Formal Development with Quotient Types in Isabelle/HOL.

[BibT_eX]

[DOI]

Maksym Bortin

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

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

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Certifiable Specification and Verification of C Programs.

[BibT_eX]

[DOI]

Dennis Walter

Proceedings of the FM 2009: Formal Methods, 2009

2008

The Importance of Being Formal.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Towards Merging PlatOmega and PGIP.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2008, 2008

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2008, 2008

A Tactic Language for Hiproofs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Sicherheit in der Künstlichen Intelligenz.

[BibT_eX]

[DOI]

Bernd Krieg-Brückner

Künstliche Intell., 2007

Special Issue on User Interfaces in Theorem Proving: Preface.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

A Framework for Interactive Proof.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Structured Formal Development in Isabelle.

[BibT_eX]

Maksym Bortin

Einar Broch Johnsen

Nord. J. Comput., 2006

Proof general in Eclipse: system and architecture overview.

[BibT_eX]

[DOI]

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

Monads of coalgebras: rational terms and term graphs.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Abstract Modularity.

[BibT_eX]

[DOI]

Michael Gordon Abbott

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

Assisted Proof Document Authoring.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Proof General / Eclipse: A Generic Interface for Interactive Proof.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Type Class Polymorphism in an Institutional Framework.

[BibT_eX]

[DOI]

Lutz Schröder

Till Mossakowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

CCC - The Casl Consistency Checker.

[BibT_eX]

[DOI]

Markus Roggenbach

Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Theorem Reuse by Proof Term Transformation.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Semantic Interrelation of Documents via an Ontology.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

2003

Abstracting Refinements for Transformation.

[BibT_eX]

Einar Broch Johnsen

Nord. J. Comput., 2003

Rewriting Via Coinserters.

[BibT_eX]

Nord. J. Comput., 2003

Dualising Initial Algebras.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2003

Haskell in Space.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Solving Algebraic Equations Using Coalgebra.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2003

Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Preface.

[BibT_eX]

[DOI]

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

2002

Coalgebraic Monads.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

MultiMedia Instruction in Safe and Secure Systems.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Composing monads using coproducts.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

Monads and Modularity.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Coalgebraic approaches to algebraic terms.

[BibT_eX]

Proceedings of the Fixed Points in Computer Science, 2002

2001

Algebras, Coalgebras, Monads and Comonads.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

TAS - A Generic Window Inference System.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

More About TAS and IsaWin - Tools for Formal Program Development.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

Categorical term rewriting : monads and modularity.

[BibT_eX]

[DOI]

PhD thesis, 1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.

[BibT_eX]

[DOI]

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Monads and Modular Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem.

[BibT_eX]

[DOI]