Follow
Kristoffer Nyborg Gregertsen
Kristoffer Nyborg Gregertsen
SINTEF Digital
Verified email at sintef.no
Title
Cited by
Cited by
Year
EROSS project–European Autonomous Robotic Vehicle for on-orbit servicing
V Dubanchet, JB Romero, KN Gregertsen, H Austad, J Gancet, ...
International Symposium on Artificial Intelligence, Robotics and Automation …, 2020
132020
Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture
KN Gregertsen, A Skavhaug
Journal of Systems Architecture 56 (10), 509-522, 2010
132010
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR® 32 UC3 microcontroller
KN Gregertsen, A Skavhaug
2009 Design, Automation & Test in Europe Conference & Exhibition, 1572-1575, 2009
112009
Execution-time control for interrupt handling
KN Gregertsen, A Skavhaug
ACM SIGAda Ada Letters 30 (1), 33-44, 2010
92010
A real-time framework for Ada 2005 and the Ravenscar profile
KN Gregertsen, A Skavhaug
2009 35th Euromicro Conference on Software Engineering and Advanced …, 2009
82009
Implementation and usage of the new Ada 2012 execution time control features
KN Gregertsen, A Skavhaug
Ada User Journal 32 (4), 265, 2011
72011
Execution time timers for interrupt handling
KN Gregertsen, A Skavhaug
ACM SIGAda Ada Letters 33 (2), 87-96, 2013
52013
Composable distributed real-time systems with deterministic network channels
H Austad, ER Jellum, S Hendseth, G Mathisen, TH Bryne, KN Gregertsen, ...
Journal of Systems Architecture 137, 102853, 2023
42023
Improving the performance of execution time control by using a hardware time management unit
KN Gregertsen, A Skavhaug
International Conference on Reliable Software Technologies, 177-192, 2012
42012
Functional specification for a Time Management Unit
KN Gregertsen, A Skavhaug
SAFECOMP, 2010
32010
Execution time management for AVR32 Ravenscar
KN Gregertsen
Institutt for teknisk kybernetikk, 2008
32008
Challenges of TSO-DSO voltage regulation under real-time data exchange paradigm
MZ Degefa, H Lundkvist, S Sanchez-Acevedo, KN Gregertsen
IEEE Open Journal of the Industrial Electronics Society 4, 75-84, 2023
22023
Revising the Ada timers and group budgets to support execution time control for interrupt handling
KN Gregertsen
ACM SIGAda Ada Letters 36 (1), 39-50, 2016
22016
Position paper: Clock support in Ada
KN Gregertsen
ACM SIGAda Ada Letters 38 (1), 55-57, 2018
12018
An extended Ravenscar profile for execution time control
KN Gregertsen
ACM SIGAda Ada Letters 33 (2), 109-114, 2013
12013
Execution Time Control: A hardware accelerated Ada implementation with novel support for interrupt handling
KN Gregertsen
NTNU, 2012
12012
Ember: An Embedded Robotics Library in SPARK
KN Gregertsen
ACM SIGAda Ada Letters 41 (2), 61-65, 2022
2022
Session Summary: Profiles
M Aldea-Rivas, KN Gregertsen
ACM SIGAda Ada Letters 38 (1), 62-65, 2018
2018
Session Summary: Clock Issues
KN Gregertsen, LM Pinho
ACM SIGAda Ada Letters 38 (1), 77-78, 2018
2018
Execution-time management for interrupt handling
KN Gregertsen, A Skavhaug
IRTAW-14, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20