Fingerprint
- 1 Lignende profiler
-
CLAIRE : ControLing wAter In an uRban Environment
Larsen, K. G. (PI (principal investigator)), Rasmussen, M. R. (PI (principal investigator)), Nielsen, T. D. (CoI (co-investigator)), Srba, J. (CoI (co-investigator)) & Nielsen, J. E. (CoI (co-investigator))
Projekter: Projekt › Forskning
-
Support fo the development of the model checker TAPAAL
Srba, J. (PI (principal investigator))
01/01/2024 → 31/12/2025
Projekter: Projekt › Forskning
-
WHATIF (Fast and Quantitative What-if Analysis for Dependable Communication Networks)
Schmid, S. (PI (principal investigator)), Srba, J. (CoPI) & Larsen, K. G. (CoPI)
01/03/2020 → 28/02/2024
Projekter: Projekt › Forskning
-
Quantitative Analysis and Synthesis of Network Protocols
Srba, J. (PI (principal investigator)), Larsen, K. G. (Projektdeltager) & Schmid, S. (Projektdeltager)
01/08/2019 → 31/07/2024
Projekter: Projekt › Forskning
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
Publikationer
-
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., 2026, I: Journal of Building Performance Simulation. 18, 7, s. 743-766 24 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 !!Link opens in a new tab Citationer (Scopus) -
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: Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (red.). Springer, s. 52-89 38 s. (Lecture Notes in Computer Science, Bind 14550).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 !!Link opens in a new tab Citationer (Scopus)57 Downloads (Pure) -
Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study
Schnepf, N., Badonnel, R., Saucez, D., Schmid, S. & Srba, J., 2025, Proceedings of IEEE/IFIP Network Operations and Management Symposium 2025, NOMS 2025. Zuckerman, D., Ulema, M., Limam, N., Kim, Y.-T., Granville, L. Z. & Fulber-Garcia, V. (red.). IEEE (Institute of Electrical and Electronics Engineers), 11073658. (IEEE/IFIP Network Operations and Management Symposium).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Bruhns, G. S., Hansen, M., Hebsgaard, R., Hyldgaard, F. M. W. & Srba, J., 2025, Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (red.). Springer, s. 208-230 23 s. (Lecture Notes in Computer Science (LNCS), Bind 15530).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil10 Downloads (Pure) -
Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets
Brandt, E. N., Højriis, J. E. F., Pedersen, K. S. & Srba, J., 2025, Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings. Liu, Z., Saoud, A. & Wehrheim, H. (red.). Springer, s. 437-447 11 s. (Lecture Notes in Computer Science (LNCS), Bind 16237).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Forskningsdatasæt
-
Reproducibility Package for "TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net"
Gonzalez, B. M. R. (Ophavsperson), Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Srba, J. (Ophavsperson) & Zimmermann, M. (Ophavsperson), Zenodo, 10 jul. 2025
Datasæt
-
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"
Schmid, S. (Bidrager), Jiri, S. (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. A. (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
Presse/medier
-
-
-
-
Forskere: Bassiner og vandrør kan udnyttes bedre med nyt værktøj
31/10/2024 → 05/11/2024
2 elementer af Mediedækning
Presse/medie
-
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 element af Mediedækning
Presse/medie