Erik Ramsgaard Wognsen

  • Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Denmark

20122018
If you made any changes in Pure these will be visible here soon.

Research Output 2012 2018

2018

Mastering operational limitations of LEO satellites – The GOMX-3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 1 Oct 2018, In : Acta Astronautica. 151, p. 726-735 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Orbits
Earth (planet)
Satellites
Scheduling
Nanosatellites
2016
165 Downloads (Pure)

Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

Wognsen, E. R., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
197 Downloads (Pure)

Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 Apr 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, p. 163-168 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
1 Citation (Scopus)

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In : Information Systems Frontiers. 18, 5, p. 909–925 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)

Mastering operational limitations of LEO satellites - The GOMX3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, 67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, (Proceedings of the International Astronautical Congress, IAC).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Scheduling
Satellites
Orbits
Geostationary satellites
Earth atmosphere
2015
9 Citations (Scopus)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, p. 305-320 (Lecture Notes in Computer Science, Vol. 9268).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Energy-Aware Scheduling of FIR Filter Structures

Koch, P. & Wognsen, E. R., 2015, 18 p.

Research output: Book/ReportReportResearch

2 Citations (Scopus)

Formal Methods for Modelling and Analysis of Single-Event Upsets

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, p. 287-294

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)

Model checking of finite-state machine-based scenario-aware dataflow using timed automata

Skelin, M., Wognsen, E. R., Olesen, M. C., Hansen, R. R. & Larsen, K. G., 10 Aug 2015, 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE, p. 235-244 10 p. 7185065

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Finite automata
Chemical analysis
2014
7 Citations (Scopus)

Battery-Aware Scheduling of Mixed Criticality Systems

Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, Vol. 8803. p. 208-222 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

20 Citations (Scopus)

Formalisation and analysis of Dalvik bytecode

Wognsen, E. R., Karlsen, H. S., Olesen, M. C. & Hansen, R. R., 15 Oct 2014, In : Science of Computer Programming. 92, Part A, p. 25-55 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Application programs
Smartphones
Flow control
Semantics
Android (operating system)
2012
1 Downloads (Pure)

A Secure Relay Protocol for Door Access Control

Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., Nov 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (ed.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, p. 196-209 14 p. (Anais do SBSeg).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review