Projekter pr. år
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
Projekter
- 2 Afsluttet
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
01/10/2008 → 01/10/2013
Projekter: Projekt › Forskning
Publikationer
-
A toolchain for domestic heat-pump control using Uppaal Stratego
Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 102987.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil3 Downloads (Pure) -
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: a comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS
Zhao, G., Rasmussen, M. R., Larsen, K. G., Srba, J., Nielsen, T. D., Goorden, M., Qian, W. & Nielsen, J. E., 1 jul. 2023, I: Journal of Hydroinformatics. 25, 4, s. 1256-1275 20 s., 1257.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil6 Downloads (Pure) -
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
Riaz, I., Jensen, P. G., Srba, J. & Larsen, K. G., 17 sep. 2023, Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang -
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 344-362 19 s. (Lecture Notes in Computer Science, Bind 13299).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (red.). Springer, s. 151-173 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13182 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Forskningsdatasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Srba, J. (Bidrager), Schou, M. K. (Ophavsperson) & Vanerio, J. (Ophavsperson), Zenodo, 13 okt. 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Datasæt
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Datasæt
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Datasæt
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Datasæt
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Ophavsperson), Jensen, P. G. (Ophavsperson), Pedersen, T. (Ophavsperson), Srba, J. (Ophavsperson) & Taankvist, P. H. (Ophavsperson), Zenodo, 6 apr. 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Datasæt
Presse/medier
-
Millionstøtte fra Obels familiefond
Peter Stein Larsen, Jens Kirk, Lisbeth B. Knudsen, Anker Gemzøe, Lars Peter Jensen, Merete Wiberg, Louise Mønster, Harry Boer, Annie Aarup Jensen, Lone Krogh Kjær-Rasmussen, Gao Cong, Sami Farooq, Jens Peter Kofoed, Pablo Rolando Cristoffanini, Jörg Zeller, Lotte Dam, Tove Arendt Rasmussen, Klaus Wilhelm A. Bohnen, Martin Bak Jørgensen, Luiz Carlos Hernandes Ricardo, Zheng-Hua Tan, Steen Ledet Christiansen, Yifeng Zeng, Zhenyu Yang, Shaoping Bai, Gunnar Scott Reinbacher, Diana Stentoft, Ann Bygholm, Lars Vabbersgaard Andersen, Jakob Skjøtt-Larsen, Torben Knudsen, Jens Myrup Pedersen, Falk Heinrich, Ole Hejlesen, Zhe Chen, Jens Christensen, Birte Siim, Jiri Srba, Jan Helbo, Lone Kørnøv, Hugo Cancino, Hans Hüttel, Chungen Yin, Poul Henning Kirkegaard, Morten Kristiansen, Paola Valero, Gunhild Agger, Thomas Bredgaard, Morten Søndergaard, Peter V. Nielsen, Mette Mosgaard, Jens Lind, Astrid Heidemann Lassen, Kirsten M. Nielsen, Tore Mortensen, Kamilla Thomsen, Lisbeth Fajstrup, Peter Roslev, Esben Sloth Andersen & Claus Lassen
12/09/2009
1 element af Mediedækning
Presse/medie