المؤلفون: Dubach, Guillaume, Muehlboeck, Fabian

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Number Theory, 68V15 (Primary) 68V20, 11P81 (Secondary)

URL الوصول: http://arxiv.org/abs/2103.11389

المؤلفون: Chalupa, Marek, Muehlboeck, Fabian, Lei, Stefanie Muroya, Henzinger, Thomas A.

المصدر: Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 260-281 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031308253 9783031308260

الاتاحة: http://dx.doi.org/10.1007/978-3-031-30826-0_15
https://link.springer.com/content/pdf/10.1007/978-3-031-30826-0_15

المؤلفون: Chalupa, Marek, Mühlböck, Fabian, Muroya Lei, Stefanie, Henzinger, Thomas A

المصدر: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring . Institute of Science and Technology Austria; 2023. doi: 10.15479/AT:ISTA:12407

مصطلحات موضوعية: runtime monitoring, best effort, third party, ddc:005

Relation: info:eu-repo/semantics/altIdentifier/issn/2664-1690; info:eu-repo/grantAgreement/EC/H2020/101020093; https://research-explorer.ista.ac.at/record/12407; https://research-explorer.ista.ac.at/download/12407/12408

الاتاحة: https://research-explorer.ista.ac.at/record/12407
https://research-explorer.ista.ac.at/download/12407/12408

المؤلفون: Chalupa, Marek, Mühlböck, Fabian, Muroya Lei, Stefanie, Henzinger, Thomas A

المصدر: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering . Vol 13991. Springer Nature; 2023:260-281. doi: 10.1007/978-3-031-30826-0_15

مصطلحات موضوعية: ddc:000

Relation: info:eu-repo/semantics/altIdentifier/issn/0302-9743; info:eu-repo/semantics/altIdentifier/issn/1611-3349; info:eu-repo/semantics/altIdentifier/isbn/9783031308253; info:eu-repo/grantAgreement/EC/H2020/101020093; https://research-explorer.ista.ac.at/record/12856; https://research-explorer.ista.ac.at/download/12856/12865

الاتاحة: https://research-explorer.ista.ac.at/record/12856
https://research-explorer.ista.ac.at/download/12856/12865

المؤلفون: Chalupa, Marek, Mühlböck, Fabian, Muroya Lei, Stefanie, Henzinger, Thomas A

المصدر: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming . 2024;240. doi: 10.1016/j.scico.2024.103212

Relation: info:eu-repo/semantics/altIdentifier/issn/0167-6423; info:eu-repo/grantAgreement/EC/H2020/101020093

الاتاحة: https://research-explorer.ista.ac.at/record/18169

المؤلفون: Mühlböck, Fabian, Henzinger, Thomas A

المصدر: Mühlböck F, Henzinger TA. Differential Monitoring . IST Austria; 2021. doi: 10.15479/AT:ISTA:9946

مصطلحات موضوعية: run-time verification, software engineering, implicit specification, ddc:005

Relation: info:eu-repo/semantics/altIdentifier/issn/2664-1690; info:eu-repo/grantAgreement/FWF//Z211; https://research-explorer.ista.ac.at/record/9946; https://research-explorer.ista.ac.at/download/9946/9948

الاتاحة: https://research-explorer.ista.ac.at/record/9946
https://research-explorer.ista.ac.at/download/9946/9948

المؤلفون: Mühlböck, Fabian, Tate, Ross

المصدر: Mühlböck F, Tate R. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages . 2021;5. doi: 10.1145/3485504

مصطلحات موضوعية: gradual typing, gradual guarantee, nominal, structural, call tags, ddc:005

Relation: info:eu-repo/semantics/altIdentifier/issn/2475-1421; info:eu-repo/grantAgreement/FWF//Z211

الاتاحة: https://research-explorer.ista.ac.at/record/10153
https://research-explorer.ista.ac.at/download/10153/10154

المؤلفون: Muehlboeck, Fabian, Tate, Ross

المساهمون: National Science Foundation

المصدر: Proceedings of the ACM on Programming Languages ; volume 5, issue OOPSLA, page 1-29 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3485504
https://dl.acm.org/doi/pdf/10.1145/3485504

المؤلفون: Mühlböck, Fabian, Henzinger, Thomas A

المصدر: Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification . Vol 12974. Cham: Springer Nature; 2021:231-243. doi: 10.1007/978-3-030-88494-9_12

مصطلحات موضوعية: run-time verification, software engineering, implicit specification, ddc:005

Relation: info:eu-repo/semantics/altIdentifier/issn/0302-9743; info:eu-repo/semantics/altIdentifier/issn/1611-3349; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-88493-2; info:eu-repo/semantics/altIdentifier/wos/000719383800012; info:eu-repo/grantAgreement/FWF//Z211; https://research-explorer.ista.ac.at/record/10108; https://research-explorer.ista.ac.at/download/10108/10109

الاتاحة: https://research-explorer.ista.ac.at/record/10108
https://research-explorer.ista.ac.at/download/10108/10109

المؤلفون: Muehlboeck, Fabian, Tate, Ross

المساهمون: Division of Computing and Communication Foundations

المصدر: Proceedings of the ACM on Programming Languages ; volume 2, issue OOPSLA, page 1-29 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3276482
https://dl.acm.org/doi/pdf/10.1145/3276482

المؤلفون: Muehlboeck, Fabian, Tate, Ross

المساهمون: Division of Computing and Communication Foundations

المصدر: Proceedings of the ACM on Programming Languages ; volume 1, issue OOPSLA, page 1-30 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3133880
https://dl.acm.org/doi/pdf/10.1145/3133880

المؤلفون: Muehlboeck, Fabian, Henzinger, Thomas A.

المصدر: Runtime Verification ; Lecture Notes in Computer Science ; page 231-243 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030884932 9783030884949

الاتاحة: http://dx.doi.org/10.1007/978-3-030-88494-9_12
https://link.springer.com/content/pdf/10.1007/978-3-030-88494-9_12

المؤلفون: Chalupa, Marek¹ (AUTHOR) marek.chalupa@ist.ac.at, Muehlboeck, Fabian^1,2 (AUTHOR), Muroya Lei, Stefanie¹ (AUTHOR), Henzinger, Thomas A.¹ (AUTHOR)

المصدر: Science of Computer Programming. Feb2025, Vol. 240, pN.PAG-N.PAG. 1p.

مصطلحات موضوعية: *PARALLEL programming, *MIDDLEWARE, *COMPUTER software, *VERDICTS, *PROTOTYPES

المؤلفون: Muehlboeck, Fabian

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ab5e243a1585d6d7077b9e6934756359

المؤلفون: Greenman, Ben, Muehlboeck, Fabian, Tate, Ross

المصدر: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

الاتاحة: http://dx.doi.org/10.1145/2594291.2594308
https://dl.acm.org/doi/pdf/10.1145/2594291.2594308

المؤلفون: Muehlboeck, Fabian, Tate, Ross

المصدر: Artifact Digital Object Group

الاتاحة: http://dx.doi.org/10.1145/3276913