Michael Andersen

Learn More
In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDM-SL. The language has been fitted to work in an SA/RT framework and the article presents how it supports the specification of the data transformation part of SA/RT. Furthermore we present some of the advanced constructs of the(More)
This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV(More)
We report the discovery of the gamma-ray burst GRB 000131 and its optical afterglow. The optical identification was made with the VLT 84 hours after the burst following a BATSE detection and an Inter Planetary Network local-ization. GRB 000131 was a bright, long-duration GRB, with an apparent precursor signal 62 s prior to trigger. The after-glow was(More)
Jens Hjorth*, Jesper Sollerman†, Palle Møller‡, Johan P. U. Fynbo§, Stan E. Woosleyø, Chryssa Kouveliotou¶, Nial R. Tanvir#, Jochen Greiner , Michael I. Andersen**, Alberto J. Castro-Tirado††, José María Castro Cerón‡‡, Andrew S. Fruchter‡‡, Javier Gorosabel‡‡,††, Páll Jakobsson*, Lex Kaper§§, Sylvio Kloseøø, Nicola Masetti¶¶, Holger Pedersen*, Kristian(More)
X-shooter is the first 2nd generation instrument of the ESO Very Large Telescope (VLT). It is a very efficient, single-target, intermediate-resolution spectrograph that was installed at the Cassegrain focus of UT2 in 2009. The instrument covers, in a single exposure, the spectral range from 300 to 2500 nm. It is designed to maximize the sensitivity in this(More)
We present the RPI-MATLAB-Simulator (RPIsim) as an open source tool for research and education in multibody dynamics. RPIsim is designed and organized to be extended. Its modular design allows users to edit or add new components without worrying about extra implementation details. RPIsim has two main goals: 1. Provide an intuitive and easily extendable(More)
We present optical light curves of the gravitationally lensed components A ({A1 A2 A3) and B of the quadruple quasar RX J0911.4 0551 ( ). The observations were primarily obtained at the Nordic Optical z p 2.80 Telescope between 1997 March and 2001 April and consist of 74 I-band data points for each component. The data allow the measurement of a time delay(More)
Context. Wide binaries are a potential pathway for the formation of hot Jupiters. The binary fraction among host stars is an important discriminator between competing formation theories, but has not been well characterised. Additionally, contaminating light from unresolved stars can significantly affect the accuracy of photometric and spectroscopic(More)