Browse by Person
Up a level |
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, Bibliographie
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, Bibliographie
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
Book Section, Bibliographie
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)
Article, Bibliographie
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
eds.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Conference or Workshop Item, Bibliographie
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.
Book Section, Bibliographie
Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
ed.: Beckert, Bernhard (2008)
Specification Predicates with Explicit Dependency Information.
Conference or Workshop Item, Bibliographie
Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
ed.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Conference or Workshop Item, Bibliographie
Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
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, Bibliographie
Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie
Bubel, Richard
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie
Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
eds.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Integrating Object-Oriented Design and Deductive Verification of Software.
Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006). Pune, India (11.09.2006-15.09.2006)
doi: 10.1109/SEFM.2006.25
Conference or Workshop Item, Bibliographie
Bubel, Richard ; Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie
Wallenburg, Angela
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Verification of Object-Oriented Software: The KeY Approach.
Book, Bibliographie
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)
doi: 10.1007/s10270-004-0058-x
Article, Bibliographie
Bézivin, Jean ; Baar, Thomas ; Gardner, Tracy ; Gogolla, Martin ; Hähnle, Reiner ; Hussmann, Heinrich ; Patrascoiu, Octavian ; Schmitt, Peter ; Warmer, Jos
eds.: Nunes, Nuno Jardim ; Selic, Bran ; Rodrigues da Silva, Alberto ; Alvarez, Ambrosio Toval (2005)
OCL and Model Driven Engineering (Workshop Report).
Conference or Workshop Item, Bibliographie
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.
Report, Bibliographie
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.
Conference or Workshop Item, Bibliographie
Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
eds.: Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Conference or Workshop Item, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications
Book Section, Bibliographie
Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Book Section, Bibliographie
Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998)
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12
Article, Bibliographie
Schmitt, Peter (1995)
Massenspektrometrische Untersuchungen der Reaktionen von Radikalen und Additionskomplexen von Brombutadien und Iodbutein-Natrium-Systemen in der Gasphase.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie
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)
Article, Bibliographie
Hähnle, Reiner ; Schmitt, Peter (1994)
The liberalized delta-rule in free variable semantic tableaux.
In: Journal of Automated Reasoning, 13 (2)
Article, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Conference or Workshop Item, Bibliographie