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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning

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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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