Projekter pr. år
Fingerprint
- 1 Lignende profiler
Netværk
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
-
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., 18 nov. 2021, (E-pub ahead of print) I: I E E E - A C M Transactions on Networking. s. 1-16 16 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (red.). Springer, s. 118-137 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12734 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Extended Abstract Dependency Graphs
Enevoldsen, S., Larsen, K. G. & Srba, J., 7 aug. 2021, (E-pub ahead of print) I: International Journal on Software Tools for Technology Transfer. s. 1-17 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Faster Pushdown Reachability Analysis with Applications in Network Verification
Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (red.). Springer, s. 170-186 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12971 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Improvements in Unfolding of Colored Petri Nets
Bilgram, A., Jensen, P. G., Pedersen, T., Srba, J. & Taankvist, P. H., 2021, Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings. Bell, P. C., Totzke, P. & Potapov, I. (red.). Springer, s. 69-84 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13035 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
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