المؤلفون: Dardinier, Thibault, Sammler, Michael, Parthasarathy, Gaurav, Summers, Alexander J., Müller, Peter

المصدر: Proc. ACM Program. Lang. 9, POPL, Article 20 (January 2025)

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Parthasarathy, Gaurav, Dardinier, Thibault, Bonneau, Benjamin, Müller, Peter, Summers, Alexander J.

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Dardinier, Thibault, Müller, Peter

المصدر: Proc. ACM Program. Lang. 8, PLDI, Article 207 (June 2024)

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Eilers, Marco, Dardinier, Thibault, Müller, Peter

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

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

المؤلفون: Dardinier, Thibault, Parthasarathy, Gaurav, Müller, Peter

المصدر: Proc. ACM Program. Lang. 7, OOPSLA1, Article 102 (April 2023)

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Dardinier, Thibault, Parthasarathy, Gaurav, Weeks, Noé, Summers, Alexanders J., Müller, Peter

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Parthasarathy, Gaurav, Dardinier, Thibault, Bonneau, Benjamin, Müller, Peter, Summers, Alexander J.

Relation: https://doi.org/10.5281/zenodo.10802175; https://doi.org/10.5281/zenodo.10802176; oai:zenodo.org:10802176

الاتاحة: https://doi.org/10.5281/zenodo.10802176

المؤلفون: Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Li, Anqi, Müller, Peter, id_orcid:0 000-0001-7001-2566

المصدر: Proceedings of the ACM on Programming Languages, 8 (OOPSLA2)

مصطلحات موضوعية: Hyperproperties, Deductive Verification, Incorrectness Logic

وصف الملف: application/application/pdf

Relation: info:eu-repo/grantAgreement/SNF/Projekte MINT/197065; http://hdl.handle.net/20.500.11850/701993

الاتاحة: https://hdl.handle.net/20.500.11850/701993
https://doi.org/10.3929/ethz-b-000701993

المؤلفون: Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Müller, Peter, id_orcid:0 000-0001-7001-2566

المصدر: Proceedings of the ACM on Programming Languages, 8 (PLDI)

مصطلحات موضوعية: Hyperproperties, Program Logic, Incorrectness Logic, Non-Interference

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/001264464100062; info:eu-repo/grantAgreement/SNF/Projekte MINT/197065; http://hdl.handle.net/20.500.11850/680790

الاتاحة: https://hdl.handle.net/20.500.11850/680790
https://doi.org/10.3929/ethz-b-000680790

المؤلفون: Parthasarathy, Gaurav, Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Bonneau, Benjamin, Müller, Peter, id_orcid:0 000-0001-7001-2566, Summers, Alexander J.

المصدر: Proceedings of the ACM on Programming Languages, 8 (PLDI)

مصطلحات موضوعية: Software Verification, Intermediate Verification Languages, Formal Semantics, Proof Certification

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/001264464100063; info:eu-repo/grantAgreement/SNF/Projekte MINT/197065; http://hdl.handle.net/20.500.11850/680789

الاتاحة: https://hdl.handle.net/20.500.11850/680789
https://doi.org/10.3929/ethz-b-000680789

المؤلفون: Dardinier Thibault, Parthasarathy Gaurav, Müller Peter

Relation: https://doi.org/10.5281/zenodo.7706708; https://doi.org/10.5281/zenodo.7711704; oai:zenodo.org:7711704

الاتاحة: https://doi.org/10.5281/zenodo.7711704

المؤلفون: Eilers, Marco, Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Müller, Peter, id_orcid:0 000-0001-7001-2566

المصدر: Proceedings of the ACM on Programming Languages, 7 (PLDI)

مصطلحات موضوعية: Commutativity, Information flow, Separation logic, Concurrency

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/001005701900071; info:eu-repo/grantAgreement/SNF/Projekte MINT/197065; http://hdl.handle.net/20.500.11850/618841

الاتاحة: https://hdl.handle.net/20.500.11850/618841
https://doi.org/10.3929/ethz-b-000618841

المؤلفون: Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Parthasarathy, Gaurav, Müller, Peter, id_orcid:0 000-0001-7001-2566

المصدر: Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)

مصطلحات موضوعية: Modular Verification, Bounded Verification, Inlining, Loop Unrolling

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/wos/000968084600029; info:eu-repo/grantAgreement/SNF/Projekte MINT/197065; http://hdl.handle.net/20.500.11850/610519

الاتاحة: https://hdl.handle.net/20.500.11850/610519
https://doi.org/10.3929/ethz-b-000610519

المؤلفون: Basin, David, id_orcid:0 000-0003-2952-939X, Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, id_orcid:0 000-0001-8253-4513, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila

المساهمون: Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S.

المصدر: Lecture Notes in Computer Science, 13572 ; Theoretical Aspects of Computing – ICTAC 2022

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-17715-6; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-17714-9; info:eu-repo/grantAgreement/SNF/NFP 75: Gesuch/167162; http://hdl.handle.net/20.500.11850/585331; urn:isbn:978-3-031-17715-6; urn:isbn:978-3-031-17714-9

الاتاحة: https://hdl.handle.net/20.500.11850/585331
https://doi.org/10.3929/ethz-b-000585331

المؤلفون: Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Müller, Peter, Summers, Alexander J.

المصدر: Proceedings of the ACM on Programming Languages, 6 (OOPSLA2)

وصف الملف: application/application/pdf

Relation: http://hdl.handle.net/20.500.11850/584022

الاتاحة: https://hdl.handle.net/20.500.11850/584022
https://doi.org/10.3929/ethz-b-000584022

المؤلفون: Dardinier, Thibault, Parthasarathy, Gaurav, Weeks, Noé, Müller, Peter, Summers, Alexander J.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 130-151 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031131875 9783031131882

الاتاحة: http://dx.doi.org/10.1007/978-3-031-13188-2_7
https://link.springer.com/content/pdf/10.1007/978-3-031-13188-2_7

المؤلفون: Basin, David, Dardinier, Thibault, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila

المساهمون: Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S.

المصدر: Basin , D , Dardinier , T , Hauser , N , Heimes , L , Huerta y Munive , J J , Kaletsch , N , Krstić , S , Marsicano , E , Raszyk , M , Schneider , J , Tirore , D L , Traytel , D & Zingg , S 2022 , VeriMon : A Formally Verified Monitoring Tool . in H Seidl , Z Liu & C S Pasareanu (eds) , Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings . Springer , Lecture Notes in Computer Science (including subseries ....

وصف الملف: application/pdf

الاتاحة: https://curis.ku.dk/portal/da/publications/verimon(c9d1d1a8-e016-4a72-9a07-4914bcc9c003).html
https://doi.org/10.1007/978-3-031-17715-6_1
https://curis.ku.dk/ws/files/380421159/VeriMon_A_Formally_Verified_Monitoring_Tool_2_6.pdf

المؤلفون: Basin, David, Dardinier, Thibault, Heimes, Lukas, Krstić, Srđan, Raszyk, Martin, Schneider, Joshua, Traytel, Dmitriy

المصدر: Automated Reasoning ; Lecture Notes in Computer Science ; page 432-453 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510732 9783030510749

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

المؤلفون: Dardinier, Thibault, Sammler, Michael, Parthasarathy, Gaurav, Summers, Alexander J., Müller, Peter

Relation: https://doi.org/10.5281/zenodo.13938949; https://doi.org/10.5281/zenodo.13938950; oai:zenodo.org:13938950

الاتاحة: https://doi.org/10.5281/zenodo.13938950

المؤلفون: Dardinier, Thibault, Müller, Peter

Relation: https://doi.org/10.5281/zenodo.10806425; https://doi.org/10.5281/zenodo.10806426; oai:zenodo.org:10806426

الاتاحة: https://doi.org/10.5281/zenodo.10806426