Artificial Intelligence, Cybersecurity, and Programming Languages

Fingerprint

Dyk ned i forskningsemnerne, hvor Artificial Intelligence, Cybersecurity, and Programming Languages er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.

Netværk

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Boreas – A Service Scheduler for Optimal Kubernetes Deployment

    Lebesbye, T., Mauro, J., Turin, G. & Yu, I. C., 2021, Service-Oriented Computing - 19th International Conference, ICSOC 2021, Proceedings. Hacid, H., Kao, O., Mecella, M., Moha, N. & Paik, H. (red.). Springer Science+Business Media, s. 221-237 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13121 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Certifying Choreography Compilation

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium. Cerone, A. & Olveczky, P. C. (red.). Springer Science+Business Media, s. 115-133 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12819 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Formalising a turing-complete choreographic language in Coq

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 1. jun. 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 193. s. 15:1-15:18 (Leibniz International Proceedings in Informatics, LIPIcs, Bind 193).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    4 Downloads (Pure)
  • Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, Bind 12717. s. 276-284 (Lecture Notes in Computer Science, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Microservice Dynamic Architecture-Level Deployment Orchestration

    Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 257-275 (Lecture Notes in Computer Science, Bind 12717). (Programming and Software Engineering, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review