Software Quality Research (SQUARE)

  • PostadresseVis på kort

    Emil Holms Kanal, 2F16, EHK

    2300 Copenhagen

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • 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 kapitelBidrag til bog/antologiForskningpeer 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 kapitelBidrag til bog/antologiForskningpeer 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 kapitelBidrag til bog/antologiForskningpeer 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 kapitelBidrag til bog/antologiForskningpeer 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 kapitelBidrag til bog/antologiForskningpeer review

    Åben adgang
    Fil