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

    9220 Aalborg Ø

    Danmark

20032019

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.

  • 6 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Projekter

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, K. G., Skou, A., David, A. & Srba, J.

FP7 STREP

01/04/201331/03/2016

Projekter: ProjektForskning

  • MT-LAB: MT-LAB A VKR Foundation Center of Excellence

    Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.

    VKR Centre of Excellence

    01/10/200801/10/2013

    Projekter: ProjektForskning

  • Publikationer

    Abstract Dependency Graphs and Their Application to Model Checking

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 3 Citationer (Scopus)
    6 Downloads (Pure)

    Model Checking and Synthesis for Branching Multi-Weighted Logics

    Jensen, J. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M. & Srba, J., 2019, I : Journal of Logic and Algebraic Programming. 105, 1, s. 28-46 18 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • 3 Citationer (Scopus)

    Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    1 Citationer (Scopus)

    Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 3 Citationer (Scopus)
    5 Downloads (Pure)

    Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 jan. 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (red.). Springer, s. 50-68 19 s. (Lecture Notes in Computer Science, Bind 11429).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 1 Citationer (Scopus)
    5 Downloads (Pure)

    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