Projekter pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 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
-
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 Citationer (Scopus)2 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. P., Hebsgaard, R., Hyldgaard, F. M. W. & Srba, J., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (red.). Springer, Bind 15530. 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
-
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
-
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Jensen, N. Ø., Larsen, K. G., Lime, D. & Srba, J., 18 aug. 2025, 36th International Conference on Concurrency Theory, CONCUR 2025. Bouyer, P. & van de Pol, J. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 s. 25. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 348).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)5 Downloads (Pure)
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