Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
-
Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL
Hansen, J., Srinivasan, S., Nelissen, G. & Larsen, K. G., 31 mar. 2025.Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review
Åben adgang -
Safe and Infinite Resource Scheduling Using Energy Timed Automata
Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 2024, Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings. Chin, W.-N. & Xu, Z. (red.). Springer, s. 73-90 18 s. (Lecture Notes in Computer Science, Bind 14777 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Assume-Guarantee Reasoning for Additive Hybrid Behaviour
Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 sep. 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (red.). 1 udg. Springer, Bind 14080. s. 297-322 26 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
2 Citationer (Scopus) -
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata
Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 jun. 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE (Institute of Electrical and Electronics Engineers), (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
4 Citationer (Scopus) -
A Correlated Time Series Forecast System
Abildgaard, N. C., Bang, C. W., Hansen, J., Jacobsen, T. L., Knudsen, T. H., Lisby, N. O., Guo, C. & Yang, B., jun. 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE (Institute of Electrical and Electronics Engineers), s. 242-243 2 s. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2020-June).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review