TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 28.

Schmitt, Peter and Kontermann, Christian and Oechsner, Matthias (2017):
Methods of life assessment at flexible service-like loadings of power plants – a comparison of codes and standards.
In: 43rd MPA Seminar Fit for Future. New Advances in Material and Component Assessment. Manuscripts. Stuttgart: MPA: 2017, 17 S. (PDF: www.mpa.uni-stuttgart.de), [Book Section]

Müller, Falk and Schmitt, Peter and von Hartrott, Philipp and Schweizer, Christoph (2017):
Untersuchung zum Verformungs- und Versagensverhalten von austenitischem Stahlguss unter LCF-Belastung bei hoher Temperatur.
In: Frühjahrstagung 2017, Motoren, Bad Neuenahr, Tagungsband. Frankfurt: Forschungsvereinigung Verbrennungskraftmaschinen e.V. = FVV. Abschlussbericht Vorhaben Nr. 1216, Heft R578 (2017), S. 7 – 32 (FVV R578), [Book Section]

Schmitt, Peter and Müller, Falk and Oechsner, Matthias and Udoh, Annett and Quartier, Julian and Klenk, Andreas (2017):
Verbesserte Ermittlung der Lebensdauer von Kraftwerkskomponenten mit hohen Betriebszeiten bei veränderten Betriebsbedingungen.
In: 40. Vortragsveranstaltung Langzeitverhalten warmfester Stähle und Hochtemperaturwerkstoffe der Forschungsvereinigung Warmfeste Stähle und Hochtemperaturwerkstoffe am 24. November 2017 im Stahl-Zentrum in Düsseldorf. Düsseldorf: Stahlinstitut VDEh, 2017, pp. 79-98, [Book Section]

Hüggenberg, Daniel and Speicher, Magdalena and Klenk, Andreas and Zickler, Stefan and Schwienheer, Michael and Wang, Yan and Schmitt, Peter and Oesterlin, Heiner and Maier, Gerhard and Nieweg, Britta and Oechsner, Matthias (2015):
Hochtemperatur-Werkstoff-Teststrecke HWT II – begleitende experimentelle und numerische Untersuchungen an Werkstoffen und Komponenten.
In: VGB PowerTech 95 (2015), 8, S. 52 – 62. ISSN 1435-3199 <reviewed>, [Article]

Ahrendt, Wolfgang and Beckert, Bernhard and Bruns, Daniel and Bubel, Richard and Gladisch, Christoph and Grebing, Sarah and Hähnle, Reiner and Hentschel, Martin and Klebanov, Vladimir and Mostowski, Wojciech and Scheben, Christoph and Schmitt, Peter and Ulbrich, Mattias
Giannakopoulou, Dimitra and Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: Post-Conference Proceedings VSTTE 2014, Springer, In: LNCS, [Conference or Workshop Item]

Schmitt, Peter and Maier, Gerhard and Schwienheer, Michael and Oechsner, Matthias and Oesterlin, Heiner and Riedel, Hermann and Mohrmann, Ralf (2014):
Methoden zur Lebensdauerbewertung von Kraftwerkskomponenten unter flexibler Betriebsweise – Experimente zur Kriechermüdungsbelastung.
In: Beiträge zur 37. Vortragsveranstaltung Langzeitverhalten warmfester Stähle und Hochtemperatur- werkstoffe der Arbeitsgemeinschaft für warmfeste Stähle und Hochtemperaturwerkstoffe am 28. November 2014 im Stahl-Zentrum in Düsseldorf., Düsseldorf, Stahlinstitut VDEh, pp. 35-52, [Book Section]

Bubel, Richard and Hähnle, Reiner and Schmitt, Peter
Beckert, Bernhard (ed.) (2008):
Specification Predicates with Explicit Dependency Information.
In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, CEUR Workshop Proceedings, 372, [Conference or Workshop Item]

Beckert, Bernhard and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and Schmitt, Peter
Pfenning, Frank (ed.) (2007):
The KeY System 1.0 (Deduction Component).
In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, Springer-Verlag, In: LNCS, 4603, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Bonsangue, Marcello and Johnsen, Einar Broch (eds.) (2007):
KeY: A Formal Method for Object-Oriented Systems.
In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), Springer-Verlag, In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, In: LNCS, 4468, DOI: 10.1007/978-3-540-72952-5_2,
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2],
[Conference or Workshop Item]

Hähnle, Reiner
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2007):
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 1--18, [Book Section]

Bubel, Richard
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2007):
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 569-587, [Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter
de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de Roever, Willem (eds.) (2007):
Verifying Object-Oriented Programs with KeY: a Tutorial.
In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, 4709, ISBN 978-3-540-74791-8,
DOI: 10.1007/978-3-540-74792-5_4,
[Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (2006):
Integrating Object-Oriented Design and Deductive Verification of Software.
In: Fourth IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM), Pune, India, IEEE Computer Society, In: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, DOI: 10.1109/SEFM.2006.25,
[Online-Edition: https://doi.org/10.1109/SEFM.2006.25],
[Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 295--315, [Book Section]

Wallenburg, Angela
Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach, Springer-Verlag, pp. 453--480, [Book Section]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Verification of Object-Oriented Software: The KeY Approach.
Springer-Verlag, In: LNCS, 4334, [Book]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, p. 32, 4, (1), DOI: 0.1007/s10270-004-0058-x,
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x],
[Article]

Bézivin, Jean and Baar, Thomas and Gardner, Tracy and Gogolla, Martin and Hähnle, Reiner and Hussmann, Heinrich and Patrascoiu, Octavian and Schmitt, Peter and Warmer, Jos
Nunes, Nuno Jardim and Selic, Bran and Rodrigues da Silva, Alberto and Alvarez, Ambrosio Toval (eds.) (2005):
OCL and Model Driven Engineering (Workshop Report).
In: UML Modeling Languages and Applications: UML 2004 Satellite Activities and Revised Selected Papers, Springer-Verlag, In: Lecture Notes in Computer Science, 3297, [Conference or Workshop Item]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
(2000/4), [Report]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: In Proc. Java Card Workshop, Cannes, France, {INRIA} technical report, [Conference or Workshop Item]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter
Ojeda-Aciego, Manuel and de Guzmán, Inma P. and Brewka, Gerhard and Pereira, Luís Moniz (eds.) (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: Proc. 8th European Workshop on Logics in AI (JELIA), Springer-Verlag, In: LNCS, 1919, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner
Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 11--41, [Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter
Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 97--116, [Book Section]

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (1998):
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, p. 40, [Article]

Schmitt, Peter (1995):
Massenspektrometrische Untersuchungen der Reaktionen von Radikalen und Additionskomplexen von Brombutadien und Iodbutein-Natrium-Systemen in der Gasphase.
Darmstadt: 1995. 114 S.,
Darmstadt, Technische Univ. Darmstadt, TU Darmstadt, [Ph.D. Thesis]

Tassart, Guy and Iturrioz, Luisa and Klement, Erich Peter and Mundici, Daniele and Prade, Henri and Schmitt, Peter and Hähnle, Reiner (1995):
COST Action 15: Many-Valued Logics for Computer Science Applications.
In: Computational Logic, pp. 32--33, 2, (2), [Article]

Hähnle, Reiner and Schmitt, Peter (1994):
The liberalized delta-rule in free variable semantic tableaux.
In: Journal of Automated Reasoning, pp. 211--222, 13, (2), [Article]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele (eds.) (1993):
The even more liberalized delta-rule in free variable semantic tableaux.
In: Proceedings of the third Kurt Gödel Colloquium KGC'93, Brno, Czech Republic, Springer-Verlag, In: LNCS, 713, [Conference or Workshop Item]

This list was generated on Tue Oct 15 00:47:53 2019 CEST.