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 ; Kontermann, Christian ; 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 ; Schmitt, Peter ; Hartrott, Philipp von ; 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 ; Müller, Falk ; Oechsner, Matthias ; Udoh, Annett ; Quartier, Julian ; 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, ISBN 978-3-514-00836-6,
[Book Section]

Hüggenberg, Daniel ; Speicher, Magdalena ; Klenk, Andreas ; Zickler, Stefan ; Schwienheer, Michael ; Wang, Yan ; Schmitt, Peter ; Oesterlin, Heiner ; Maier, Gerhard ; Nieweg, Britta ; 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>, 95 (8), pp. 52-62. [Article]

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

Schmitt, Peter ; Maier, Gerhard ; Schwienheer, Michael ; Oechsner, Matthias ; Oesterlin, Heiner ; Riedel, Hermann ; 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., pp. 35-52, Düsseldorf, Stahlinstitut VDEh, [Book Section]

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

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

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

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

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

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

Beckert, Bernhard ; Hähnle, Reiner ; 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, p. 260,
IEEE Computer Society, Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, DOI: 10.1109/SEFM.2006.25,
[Conference or Workshop Item]

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) (2006):
Verification of Object-Oriented Software: The KeY Approach.
In: Lecture Notes in Computer Science (LNCS), 4334, Berlin, Heidelberg, New York, Springer-Verlag, ISBN 978-3-540-68977-5,
[Book]

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

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

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

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

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

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

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998):
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12, 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 ; Iturrioz, Luisa ; Klement, Erich Peter ; Mundici, Daniele ; Prade, Henri ; Schmitt, Peter ; Hähnle, Reiner (1995):
COST Action 15: Many-Valued Logics for Computer Science Applications.
In: Computational Logic, 2 (2), pp. 32--33. [Article]

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

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

This list was generated on Tue Jul 27 02:21:10 2021 CEST.