Andreas Roth

According to our database, Andreas Roth authored at least 8 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Innovation mit System.

Andreas Roth

Wirtschaftsinformatik Manag., 2009

2007

Formal Specification.

Andreas Roth, Peter H. Schmitt

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Proof Obligations.

Andreas Roth

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

2006

Specification and verification of object oriented software components.

Andreas Roth

PhD thesis, 2006

2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.

Wolfgang Ahrendt, Andreas Roth, Ralf Sasse

Proceedings of the Logic for Programming, 2005

Specification and Verification of Encapsulation in Java Programs.

Andreas Roth

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.

Richard Bubel, Andreas Roth, Philipp Rümmer

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004