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
-
CLAIRE : ControLing wAter In an uRban Environment
Larsen, K. G. (PI), Rasmussen, M. R. (PI), Nielsen, T. D. (CoI), Srba, J. (CoI) & Nielsen, J. E. (CoI)
Project: Research
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)
01/04/2013 → 31/03/2016
Project: Research
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), Srba, J. (Project Participant), Ravn, A. P. (Project Participant), David, A. (Project Participant) & Wisniewski, R. (Project Participant)
01/10/2008 → 01/10/2013
Project: Research
Research output
-
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Amat, N., Amparore, E., Berthomieu, B., Bouvier, P., Zilio, S., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Li, S., Paviot-Adet, E., Petrucci, L., Srba, J., Thierry-Mieg, Y. & Wolf, K., 2025, TOOLympics Challenge 2023. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer, Vol. 14550. p. 52-89 38 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Towards model-driven heat pump control in a multi-story building
Hasrat, I. R., Andersen, K. H., Jensen, P. G., Jensen, R. L., Larsen, K. G. & Srba, J., 6 Feb 2025, (E-pub ahead of print) In: Journal of Building Performance Simulation.Research output: Contribution to journal › Journal article › Research › peer-review
-
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Schou, M. K., Poese, I. & Srba, J., 5 Dec 2024, In: Formal Aspects of Computing. 36, 4, p. 1-18 18 p., 27.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile11 Downloads (Pure) -
Optimal control strategies for stormwater detention ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R., Srba, J. & Zhao, G., Aug 2024, In: Nonlinear Analysis: Hybrid Systems. 53, 101504.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 Citations (Scopus)65 Downloads (Pure) -
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks
Gyorgyi, C., Larsen, K. G., Schmid, S. & Srba, J., 2024, IEEE INFOCOM 2024 - IEEE Conference on Computer Communications. IEEE (Institute of Electrical and Electronics Engineers), p. 2398-2407 10 p. (Proceedings - IEEE INFOCOM).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (Scopus)
Datasets
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Contributor), Jiri, S. (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. A. (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
-
Forskere: Bassiner og vandrør kan udnyttes bedre med nyt værktøj
31/10/2024 → 05/11/2024
2 items of Media coverage
Press/Media: Press / Media
-
Millionstøtte fra Obels familiefond
Larsen, P. S., Kirk, J., Knudsen, L. B., Gemzøe, A., Jensen, L. P., Wiberg, M., Mønster, L., Boer, H., Jensen, A. A., Kjær-Rasmussen, L. K., Cong, G., Farooq, S., Kofoed, J. P., Cristoffanini, P. R., Zeller, J., Dam, L., Rasmussen, T. A., Bohnen, K. W. A., Jørgensen, M. B., Ricardo, L. C. H., Tan, Z.-H., Christiansen, S. L., Zeng, Y., Yang, Z., Bai, S., Reinbacher, G. S., Stentoft, D., Bygholm, A., Andersen, L. V., Skjøtt-Larsen, J., Knudsen, T., Pedersen, J. M., Heinrich, F., Hejlesen, O., Chen, Z., Christensen, J., Siim, B., Srba, J., Helbo, J., Kørnøv, L., Cancino, H., Hüttel, H., Yin, C., Kirkegaard, P. H., Kristiansen, M., Valero, P., Agger, G., Bredgaard, T., Søndergaard, M., Nielsen, P. V., Mosgaard, M., Lind, J., Lassen, A. H., Nielsen, K. M., Mortensen, T., Thomsen, K., Fajstrup, L., Roslev, P., Andersen, E. S. & Lassen, C.
12/09/2009
1 item of Media coverage
Press/Media: Press / Media