122 citations · 143 across the 6 of their papers we have counts for
6 papers
Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL
Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1
Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…
Proceedings of the 20th International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 20th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 05th July 202…
Regional Impacts of COVID-19 on Carbon Dioxide Detected Worldwide from Space
Brad Weir, David Crisp, Christopher W O'Dell +11
Activity reductions in early 2020 due to the Coronavirus Disease 2019 pandemic led to unprecedented decreases in carbon dioxide (CO2) emissions. Despite their record size, the resu…
Global to local impacts on atmospheric CO2 caused by COVID-19 lockdown
Ning Zeng, Pengfei Han, Di Liu +10
The world-wide lockdown in response to the COVID-19 pandemic in year 2020 led to economic slowdown and large reduction of fossil fuel CO2 emissions, but it is unclear how much it w…
Global Impact of COVID-19 Restrictions on the Atmospheric Concentrations of Nitrogen Dioxide and Ozone
Christoph A. Keller, Mat. J. Evans, K. Emma Knowland +10
Social-distancing to combat the COVID-19 pandemic has led to widespread reductions in air pollutant emissions. Quantifying these changes requires a business as usual counterfactual…
Implications for Galaxy Evolution from the Cosmic Evolution of Supernova Rate Density
T. Oda, T. Totani, N. Yasuda +4
We report a comprehensive statistical analysis of the observational data of the cosmic evolution of supernova (SN) rate density, to derive constraints on cosmic star formation hist…