Projects per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Dive into details by clicking on the dots.
Projects
- 2 Finished
-
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
Project: Research
-
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
Project: Research
Research output
-
A toolchain for domestic heat-pump control using Uppaal Stratego
Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., Aug 2023, In: Science of Computer Programming. 230, 102987.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 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, In: Journal of Hydroinformatics. 25, 4, p. 1256-1275 20 p., 1257.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 Downloads (Pure) -
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. (eds.). Springer, p. 344-362 19 p. (Lecture Notes in Computer Science, Vol. 13299).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (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. (eds.). Springer, p. 151-173 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13182 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Automata-Theoretic Approach to Verification of MPLS Networks under Link Failures
Duijn, I. V., Jensen, P. G., Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., Apr 2022, In: I E E E - A C M Transactions on Networking. 30, 2, p. 766-781 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
1 Citation (Scopus)
Datasets
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Srba, J. (Contributor), Schou, M. K. (Creator) & Vanerio, J. (Creator), Zenodo, 13 Oct 2022
DOI: 10.5281/zenodo.7191619, https://zenodo.org/record/7191619
Dataset
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Creator), Schou, M. K. (Creator), Srba, J. (Creator) & Traytel, D. (Creator), Zenodo, 2 Aug 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Dataset
-
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"
Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator) & Srba, J. (Creator), Zenodo, 1 Aug 2022
DOI: 10.5281/zenodo.6833494, https://zenodo.org/record/6833494
Dataset
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
-
Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets
Kristensen, A. B. (Creator), Jensen, P. G. (Creator), Pedersen, T. (Creator), Srba, J. (Creator) & Taankvist, P. H. (Creator), Zenodo, 6 Apr 2022
DOI: 10.5281/zenodo.6417272, https://zenodo.org/record/6417272
Dataset
Press/Media
-
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 item of Media coverage
Press/Media: Press / Media