• Selma Lagerløfs Vej 300, 1-2-32

    9220 Aalborg Ø

    Danmark

20032021

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.
  • 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 tidsskriftTidsskriftartikelForskningpeer 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 proceedingKonferenceartikel i proceedingForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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 proceedingKonferenceartikel i proceedingForskningpeer 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 proceedingKonferenceartikel i proceedingForskningpeer review