Billede af Andrzej Wasowski

Andrzej Wasowski

PhD 2005, IT University of Copenhagen

 https://orcid.org/0000-0003-0532-2685
20082024

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2023

    Symbolic Semantics for Probabilistic Programs

    Voogd, E., Broch Johnsen, E., Silva, A., Susag, Z. J. & Wasowski, A., 2023, Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Springer, Cham, s. 329-345 (Lecture Notes in Computer Science; Nr. QEST, Bind 14287).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
  • 2021

    Reactive Programming of Robots with RxROS

    Larsen, H., van der Hoorn, G. & Wasowski, A., 2021, Robot Operating System (ROS). Springer, Bind 962. s. 55-83 (Studies in Computational Intelligence, Bind 962).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • 2020

    Behavior trees in action: A study of robotics applications

    Ghzouli, R., Berger, T., Broch Johnsen, E., Dragule, S. & Wasowski, A., 2020, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, November 16-17, 2020. Association for Computing Machinery, s. 196–209 (Proceedings of ACM SIGPLAN International Conference on Software Language Engineering).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil

  • Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil

  • Intention-Based Integration of Software Variants

    Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2020, Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. . Gesellschaft fur Informatik (GI), s. 57-58 2 s. (Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
  • 2017

    From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

    Dimovski, A. & Wasowski, A., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, s. 249-268 (Lecture Notes in Computer Science, Bind 10460).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil