Welcome...

dr. M.R. Jongerden (Marijn)

Lecturer

Expertise

Scheduling
Outages
Mobile Devices
Costs
Model Checking
Embedded Systems
Quality Of Service
Kinetics

Publications

Recent Articles
Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M., & Remke, A. K. I. (2016). Assessing the Cost of Energy Independence. In Proceedings of the IEEE International Energy Conference, ENERGYCON 2016 (pp. 1-6). USA: IEEE Power & Energy Society. DOI: 10.1109/ENERGYCON.2016.7514139
Piotrowski, K., Casaca, A., Gerards, M. E. T., Jongerden, M. R., Melo, F., Garrido, D., ... Peralta, J. (2016). A hierarchical architecture for an energy management system. In The 10th Mediterranean Conference on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2016 (pp. 109). UK: IET Digital Library. DOI: 10.1049/cp.2016.1098
Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., ... Wognsen, E. R. (2016). Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach. In Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4 (pp. 1-15). France: International Astronautical Federation.
Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A., & van de Pol, J. C. (2016). Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016 (pp. 114-123). USA: IEEE Computer Society. DOI: 10.1109/ACSD.2016.18
Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A., & van de Pol, J. C. (2016). Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version). (CTIT Technical Report Series; No. TR-CTIT-16-03). Enschede: Centre for Telematics and Information Technology (CTIT).
Jongerden, M. R., & Haverkort, B. R. H. M. (2016). Battery Aging and the Kinetic Battery Model. (CTIT technical report; No. TR-CTIT-2016-11). Enschede: Centre for Telematics and Information Technology (CTIT).
Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R., & Remke, A. K. I. (2015). Energy Resilience Modeling for Smart Houses. In Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015 (pp. 275-286). USA: IEEE Computer Society. DOI: 10.1109/DSN.2015.31
Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B. R. H. M., & Jongerden, M. R. (2015). Development of a Smart Grid Simulation Environment. In Proceedings of the 29th and 30th Annual UK Performance Engineering Workshops (UKPEW 2014) (pp. 19-29). (Electronic Notes in Theoretical Computer Science; Vol. 318). Amsterdam: ELSEVIER. DOI: 10.1016/j.entcs.2015.10.017
Wognsen, E. R., Haverkort, B. R. H. M., Jongerden, M. R., Hansen, R. R., & Larsen, K. G. (2015). A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. In S. Sankaranarayanan, & E. Vicario (Eds.), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015 (pp. 305-320). (Lecture Notes in Computer Science; Vol. 9268). London: Springer Verlag. DOI: 10.1007/978-3-319-22975-1_20

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11)
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands