FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Lehrstuhl für Informatik 2 (Programmiersysteme)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(700)
Research Grants
(34)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems (2008)
Saglietti F, Oster N, Pinte FA
Journal article, Original article
Qualität und Zuverlässigkeit im Software Engineering (2008)
Saglietti F, Oster N, Söhnlein S
Journal article, Original article
Präzisierung und werkzeuggestützte Umsetzung des Software Process Engineering Metamodel 2.0 (2008)
Ellner R
Thesis
Hard Real-time Scheduling mittels Column Generation (2007)
Kumlehn A
Thesis
Parallel Dynamic Parameter Adaption of Adaptive Array Antennas Based on Nature Inspired Optimisation (2007)
Kókai G, Böhner M, Christ T, Frühauf HH
Journal article, Original article
Relabeling and the independence theorem in the double-pushout approach to graph transformations (2007)
Schneider HJ
Journal article, Original article
JaMP: An Implementation of OpenMP for a Java DSM (2007)
Klemm M, Bezold M, Veldema R, Philippsen M
Journal article, Original article
Graph-based procedural abstraction (2007)
Dreweke A, Wörlein M, Fischer I, Schell D, Meinl T, Philippsen M
Conference contribution, Conference Contribution
Application of a memetic algorithm to the calibration of micro-lithography (2007)
Christoph D, Fühner T, Tollkühn B, Erdmann A, Kókai G
Book chapter / Article in edited volumes
Design and Implementation of a DAG-Miner (2007)
Werth T
Thesis
‹
1
...
21
22
23
24
25
...
70
›