- document
-
Grewe, Sylvia (author), Erdweg, S.T. (author), Mezini, Mira (author)Developing provably sound type systems is a non-trivial task which, as of today, typically requires expert skills in formal methods and a considerable amount of time. Our Veritas [3] project aims at providing support for the development of soundness proofs of type systems and efficient type checker implementations from type system specifications...conference paper 2016
- document
- Grewe, V. (author) other 2016
- document
-
Matthes, S (author), Grewe, V. (author), Lee, D (author), Linke, F. (author), Shine, Keith (author), Stromatas, Stavros (author)Trajectory optimisation is one option to reduce air traffic impact on environment. A multidimensional environmental assessment framework is needed to optimize impact on climate, local air quality and noise simultaneously. An interface between flight planning and environmental impact information can be established with environmental cost...conference paper 2016
- document
-
Grewe, V. (author), Matthes, S (author), Dahlmann, K. (author), Gollnick, V (author), Niklaß, M. (author), Linke, F. (author), Kindler, K. (author)Air traffic is an important part of our mobility with an increasing rate in transport volume of around 5% per year. Air traffic also contributes to anthropogenic warming by around 5%. Here we present a climate impact assessment tool AirClim and give an overview on the recent technology assessments. Finally, we present a best practice for a...conference paper 2016
- document
-
Yamashita, H. (author), Grewe, V. (author), Jockel, P. (author), Linke, F. (author), Schaefer, M. (author), Sasaki, D. (author)Mobility is becoming more and more important to society and hence air transportation is expected to grow further over the next decades. Reducing anthropogenic climate impact from aviation emissions and building a climate-friendly air transportation system are required for a sustainable development of commercial aviation. A climate optimized...journal article 2016
- document
-
Jockel, P. (author), Tost, H. (author), Pozzer, A. (author), Kunze, M. (author), Kirner, O. (author), Brenninkmeijer, C.A.M. (author), Brinkop, S. (author), Cai, D.S. (author), Dyroff, C. (author), Eckstein, J. (author), Frank, F. (author), Garny, H. (author), Gottschald, K.D. (author), Graf, P. (author), Grewe, V. (author), Kerkweg, A. (author), Kern, B. (author), Matthes, S (author), Mertens, M (author), Meul, S. (author), Neumaier, M. (author), Nützel, M (author), Oberländer-Hayn, S (author), Ruhnke, R. (author), Runde, T. (author), Sander, R. (author), Scharffe, D (author), Zahn, A. (author)Three types of reference simulations, as recommended by the Chemistry–Climate Model Initiative (CCMI), have been performed with version 2.51 of the European Centre for Medium-Range Weather Forecasts – Hamburg (ECHAM)/Modular Earth Submodel System (MESSy) Atmospheric Chemistry (EMAC) model: hindcast simulations (1950–2011), hindcast simulations...journal article 2016
- document
-
Grewe, V. (author), Dahlmann, K. (author), Flink, J. (author), Frömming, C. (author), Ghosh, R. (author), Gierens, K. (author), Heller, R (author), Hendricks, J. (author), Jockel, P. (author), Kaufmann, S. (author), Kölker, K. (author), Linke, F. (author), Luchkova, T. (author), Lührs, B. (author), van Manen, Jesper (author), Matthes, S (author), Minikin, A. (author), Niklaß, Malte (author), Plohr, M. (author), Righi, M. (author), Rosanka, S. (author), Schmitt, A (author), Schumann, U (author), Terekhov, I. (author), Unterstrasser, S. (author), Vázquez-Navarro, M. (author), Voigt, C. (author), Wicke, K. (author), Yamashita, H. (author), Zahn, A. (author), Ziereis, H. (author)The WeCare project (Utilizing Weather information for Climate efficient and eco efficient future aviation), an internal project of the German Aerospace Center (Deutsches Zentrum für Luft- und Raumfahrt, DLR), aimed at finding solutions for reducing the climate impact of aviation based on an improved understanding of the atmospheric impact from...journal article 2017
- document
-
Linke, F. (author), Grewe, V. (author), Gollnick, V (author)Among the various transport modes aviation’s impact on climate change deserves special attention. Due to typical flight altitudes in the upper troposphere and above, the effect of aircraft engine emissions like e.g. water vapour, nitrogen oxides and aerosols on radiative forcing agents is substantial. The...journal article 2017
- document
-
Grewe, V. (author), Bock, L. (author), Dahlmann, K. (author), Gierens, K. (author), Hüttenhofer, L. (author), Unterstrasser, S. (author), Gangoli Rao, A. (author), Bhat, A. (author), Yin, F. (author), Reichelt, T.G. (author), Paschereit, O. (author), Levy, Y. (author)Air traffic is important to our society and guarantees mobility especially for long distances. Air traffic is also contributing to climate warming via emissions of CO2 and various non-CO2 effects, such as contrail-cirrus or increase in ozone concentrations. Here we investigate the climate impact of a future aircraft design, a multi fuel blended...journal article 2017
- document
-
Grewe, V. (author), Matthes, S (author), Frömming, C. (author), Brinkop, S. (author), Jockel, P. (author), Gierens, K. (author), Champougny, T. (author), Fuglestvedt, J. (author), Haslerud, A. (author), Irvine, E. (author), Shine, K. (author)Current air traffic routing is motivated by minimizing economic costs, such as fuel use. In addition to the climate impact of CO2 emissions from this fuel use, aviation contributes to climate change through non-CO2 impacts, such as changes in atmospheric ozone and methane concentrations and formation of contrail-cirrus. These non-CO2 impacts...journal article 2017
- document
-
Grewe, V. (author), Tsati, E. (author), Mertens, M. (author), Frömming, C. (author), Jockel, P. (author)Questions such as “what is the contribution of road traffic emissions to climate change?” or “what is the impact of shipping emissions on local air quality?” require a quantification of the contribution of specific emissions sectors to the concentration of radiatively active species and air-quality-related species, respectively. Here, we present...journal article 2017
- document
-
Hendricks, J. (author), Righi, M. (author), Dahlmann, K. (author), Gottschaldt, K.-D. (author), Grewe, V. (author), Ponater, M. (author), Sausen, R. (author), Heinrichs, D. (author), Winkler, C. (author), Wolfermann, A. (author), Kampffmeyer, T. (author), Friedrich, R (author), Klötzke, M. (author), Kugler, U. (author)Although climate change is a global problem, specific mitigation measures are frequently applied on regional or national scales only. This is the case in particular for measures to reduce the emissions of land-based transport, which is largely characterized by regional or national systems with independent infrastructure, organization, and...journal article 2017
- document
-
Grewe, V. (author), Linke, Florian (author)Air traffic guarantees mobility and serves the needs of society to travel over long distances in a decent time. But aviation also contributes to climate change. Here, we present various mitigation options, based on technological and operational measures and present a framework to compare the different mitigation options by taking into account...journal article 2017
- document
-
Matthes, Sigrun (author), Grewe, V. (author), Dahlmann, Katrin (author), Frömming, Christine (author), Irvine, Emma (author), Lim, Ling (author), Linke, Florian (author), Lührs, Benjamin (author), Owen, Bethan (author), Shine, Keith (author), Stromatas, Stavros (author), Yamashita, Hiroshi (author), Yin, F. (author)Comprehensive assessment of the environmental aspects of flight movements is of increasing interest to the aviation sector as a potential input for developing sustainable aviation strategies that consider climate impact, air quality and noise issues simultaneously. However, comprehensive assessments of all three environmental aspects do not yet...journal article 2017
- document
-
Yin, F. (author), Grewe, V. (author), van Manen, J. (author), Matthes, Sigrun (author), Yamashita, Hiroshi (author), Linke, Florian (author), Lührs, Benjamin (author)For the first time, the algorithmic Climate Change Functions (aCCFs) for ozone, methane, water vapor, and persistent contrails have been developed within the ATM4E project to provide information on the climate sensitive regions, which can be conveniently implemented for the climate based flight routing. These aCCFs need to be verified before...conference paper 2018
- document
-
Niklaß, Malte (author), Lührs, Benjamin (author), Grewe, V. (author), Gollnick, Volker (author)Within this study, the lack of incentivizing airlines to internalize their climate costs is tried to be closed by the introduction of climate-charged airspaces, as non-CO2 emissions have locationand time-dependent effects upon the climate. In order to create an incentive for airlines to minimize flight time and emissions in highly...conference paper 2018
- document
-
Grewe, Sylvia (author), Erdweg, S.T. (author), Pacak, André (author), Raulf, Michael (author), Mezini, Mira (author)Exploration of language specifications helps to discover errors and inconsistencies early during the development of a programming language. We propose exploration of language specifications via application of existing automated first-order theorem provers (ATPs). To this end, we translate language specifications and exploration tasks to first...journal article 2018
- document
-
Lührs, Benjamin (author), Niklaß, Malte (author), Frömming, Christine (author), Grewe, V. (author), Gollnick, Volker (author)Besides CO2, the climate impact of commercial aviation is strongly influenced by non-CO2 effects, which are highly sensitive to meteorological conditions and their spatial variations. To assess the cost-benefit potential (climate impact mitigation vs. cost increase) of climate and weather optimized flight trajectories in the North Atlantic...conference paper 2018
- document
-
Mertens, Mariano (author), Grewe, V. (author), Rieger, V.S. (author), Jöckel, Patrick (author)We quantify the contribution of land transport and shipping emissions to tropospheric ozone for the first time with a chemistry-climate model including an advanced tagging method (also known as source apportionment), which considers not only the emissions of nitrogen oxides (NOx, NO, and NO2), carbon monoxide (CO), and volatile organic...journal article 2018
- document
-
Gottschaldt, Klaus Dirk (author), Schlager, Hans (author), Baumann, Robert (author), Sinh Cai, Duy (author), Eyring, Veronika (author), Graf, Phoebe (author), Grewe, V. (author), Jöckel, Patrick (author), Jurkat-Witschas, Tina (author), Voigt, Christiane (author), Zahn, Andreas (author), Ziereis, Helmut (author)This study places HALO research aircraft observations in the upper-tropospheric Asian summer monsoon anticyclone (ASMA) into the context of regional, intra-annual variability by hindcasts with the ECHAM/MESSy Atmospheric Chemistry (EMAC) model. The observations were obtained during the Earth System Model Validation (ESMVal) campaign in...journal article 2018