المؤلفون: Ben Shimon, Yoav, Lahav, Ori, Shoham, Sharon

المساهمون: Yoav Ben Shimon and Ori Lahav and Sharon Shoham

مصطلحات موضوعية: Hyperproperties, Concurrent objects, Distributed objects, Linearizability, Strong linearizability, Simulation

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

Relation: Is Part Of LIPIcs, Volume 319, 38th International Symposium on Distributed Computing (DISC 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.8

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2024.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-212630
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.8

المؤلفون: Pasqua, Michele, Ceccato, Mariano, Tonella, Paolo

المساهمون: Pasqua, Michele, Ceccato, Mariano, Tonella, Paolo

مصطلحات موضوعية: Search-based testing, Hyperproperties, Information flows, Security testing, Code coverage criteria

Relation: ispartofbook:Proceedings of the IEEE/ACM 46th International Conference on Software Engineering; International Conference on Software Engineering; firstpage:1405; lastpage:1416; numberofpages:12; https://hdl.handle.net/11562/1124786

الاتاحة: https://hdl.handle.net/11562/1124786
https://doi.org/10.1145/3597503.3640323

المؤلفون: Kontinen, Juha, Virtema, Jonni, Vollmer, Heribert, Yang, Fan, Fröhlich, Nicolas

المساهمون: Juha Kontinen and Jonni Virtema and Heribert Vollmer and Fan Yang and Nicolas Fröhlich

مصطلحات موضوعية: finite model theory, formal linguistics, hyperproperties, information theory, team semantics

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

Relation: Is Part Of Dagstuhl Reports, Volume 14, Issue 3 (2024); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.3.31

الاتاحة: https://doi.org/10.4230/DagRep.14.3.31
https://nbn-resolving.org/urn:nbn:de:0030-drops-211827
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.3.31

المؤلفون: 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

المؤلفون: Attiya, Hagit, Enea, Constantin, Nassar, Shafik

المساهمون: Technion - Israel Institute of Technology Haifa, École polytechnique (X), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Leibniz International Proceedings in Informatics (LIPIcs) ; 34th International Conference on Concurrency Theory, {CONCUR} 2023, ; https://hal.science/hal-04465413 ; 34th International Conference on Concurrency Theory, {CONCUR} 2023,, Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.27⟩

مصطلحات موضوعية: Byzantine failures, Hyperproperties, Forward Simulation, Distributed Algorithms, [INFO]Computer Science [cs]

جغرافية الموضوع: Antwerp, Belgium

Relation: hal-04465413; https://hal.science/hal-04465413; https://hal.science/hal-04465413/document; https://hal.science/hal-04465413/file/concur23.pdf

الاتاحة: https://hal.science/hal-04465413
https://hal.science/hal-04465413/document
https://hal.science/hal-04465413/file/concur23.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2023.27

المؤلفون: Bartocci, Ezio, Henzinger, Thomas A., Nickovic, Dejan, Oliveira da Costa, Ana

المساهمون: Ezio Bartocci and Thomas A. Henzinger and Dejan Nickovic and Ana Oliveira da Costa

مصطلحات موضوعية: Hyperproperties, Asynchronous, Automata, Logic

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

Relation: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.21

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
https://nbn-resolving.org/urn:nbn:de:0030-drops-190153
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.21

المؤلفون: Kontinen, Juha, Sandström, Max, Virtema, Jonni

المساهمون: Juha Kontinen and Max Sandström and Jonni Virtema

مصطلحات موضوعية: Hyperproperties, Linear Temporal Logic, Team Semantics

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

Relation: Is Part Of LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.60

الاتاحة: https://doi.org/10.4230/LIPIcs.MFCS.2023.60
https://nbn-resolving.org/urn:nbn:de:0030-drops-185949
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.60

المؤلفون: Bozzelli, Laura, Peron, Adriano, Sánchez, César

المساهمون: Laura Bozzelli and Adriano Peron and César Sánchez

مصطلحات موضوعية: Hyperproperties, Asynchronous hyperproperties, Temporal logics for hyperproperties, Expressiveness, Decidability, Model checking

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

Relation: Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.27

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2022.27
https://nbn-resolving.org/urn:nbn:de:0030-drops-170905
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.27

المؤلفون: Beutner, Raven, Carral, David, Finkbeiner, Bernd, Hofmann, Jana, Krötzsch, Markus

المساهمون: Helmholtz Center for Information Security Saarbrücken (CISPA), Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données (BOREAL), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Ingénierie des Agro-polymères et Technologies Émergentes (UMR IATE), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Montpellier, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Montpellier (UM), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS), Technische Universität Dresden = Dresden University of Technology (TU Dresden), All authors are partially supported by the German Research Foundation (DFG) in project 389792660, TRR 248 (Center for Perspicuous Systems). M. Krötzsch is additionally supported by the Bundesministerium für Bildung und Forschung (BMBF) in project ScaDS.AI (Center for Scalable Data Analytics and Artificial Intelligence), and by the Center for Advancing Electronics Dresden (cfaed). R. Beutner and J. Hofmann carried out this work as members of the Saarbrücken Graduate School of Computer Science.

المصدر: LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833578 ; LICS 2022 - 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. pp.1-13, ⟨10.1145/3531130.3533369⟩ ; https://lics.siglog.org/lics22/cfp.php

مصطلحات موضوعية: Hyperproperties, HyperLTL, Satisfiability, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Haifa, Israel

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2205.15138; ARXIV: 2205.15138

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833578
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833578v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03833578v1/file/22-lics-deciding-hyperproperties.pdf
https://doi.org/10.1145/3531130.3533369

المؤلفون: Kontinen, Juha, Sandström, Max

المساهمون: Silva, Alexandra, Wassermann, Renata, de Queiroz, Ruy, Department of Mathematics and Statistics

مصطلحات موضوعية: Mathematics, Linear temporal logic, Team semantics, Hyperproperties

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

Relation: Logic, Language, Information, and Computation; Lecture Notes in Computer Science; Kontinen , J & Sandström , M 2021 , On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties . in A Silva , R Wassermann & R de Queiroz (eds) , Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Proceedings . Lecture Notes in Computer Science , no. 13038 , Springer International Publishing AG , pp. 302-318 , 27th Workshop on Logic, Language, Information and Computation , 05/10/2021 . https://doi.org/10.1007/978-3-030-88853-4_19; conference; ORCID: /0000-0003-0115-5154/work/105909908; ORCID: /0000-0002-6365-2562/work/105911280; http://hdl.handle.net/10138/338176; f835ea01-2946-4cf6-b3f2-e3ddb72c10be; 000876648000019

الاتاحة: http://hdl.handle.net/10138/338176

المؤلفون: Dongol, Brijesh, Schellhorn, Gerhard, Wehrheim, Heike

المساهمون: Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim

مصطلحات موضوعية: Strong Observational Refinement, Hyperproperties, Forward Simulation, Weak Progressiveness

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

Relation: Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.31

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2022.31
https://nbn-resolving.org/urn:nbn:de:0030-drops-170947
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.31

المؤلفون: Beutner, Raven, Finkbeiner, Bernd

المساهمون: Raven Beutner and Bernd Finkbeiner

مصطلحات موضوعية: hyperproperties, temporal logic, alternating-time temporal logic, model checking, multi-agent systems, information flow, asynchronous hyperproperties

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

Relation: Is Part Of LIPIcs, Volume 203, 32nd International Conference on Concurrency Theory (CONCUR 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.24

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2021.24
https://nbn-resolving.org/urn:nbn:de:0030-drops-144019
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.24

المؤلفون: Ludovico Fusco, Alessandro Aldini

المساهمون: Gianni D'Angelo, Flaminia Luccio, Francesco Palmieri, Fusco, Ludovico, Aldini, Alessandro

مصطلحات موضوعية: Hyperproperties, RFID systems, Anti-collision protocols, Hyperlogics

وصف الملف: ELETTRONICO

Relation: ispartofbook:Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024); Italian Conference on Cyber Security (ITASEC 2024); volume:3731; numberofpages:13; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Gianni D'Angelo, Flaminia Luccio, Francesco Palmieri; https://hdl.handle.net/11576/2740351; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85199496810

الاتاحة: https://hdl.handle.net/11576/2740351

المؤلفون: D'Osualdo, Emanuele, Farzan, Azadeh, Dreyer, Derek

المصدر: Proceedings of the ACM on Programming Languages. ACM. 2022, 6(OOPSLA2), S. 289-314. eISSN 2475-1421. Verfügbar unter: doi:10.1145/3563298

مصطلحات موضوعية: Hyperproperties, Modularity, Compositionality, Weakest Precondition, ddc:004

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

Relation: http://dx.doi.org/10.1145/3563298

الاتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1lvy4m2xpa5qp4
https://doi.org/10.1145/3563298

المؤلفون: Chisnall, David, Garg, Deepak, Hritcu, Catalin, Payer, Mathias

المساهمون: David Chisnall and Deepak Garg and Catalin Hritcu and Mathias Payer

مصطلحات موضوعية: secure compilation, low-level attacks, source-level reasoning, attacker models, full abstraction, hyperproperties, enforcement mechanisms, compartmentalization, security architectures, side-channels

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

Relation: Is Part Of Dagstuhl Reports, Volume 11, Issue 10 (2022); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.173

الاتاحة: https://doi.org/10.4230/DagRep.11.10.173
https://nbn-resolving.org/urn:nbn:de:0030-drops-159332
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.10.173

المؤلفون: Virtema, Jonni, Hofmann, Jana, Finkbeiner, Bernd, Kontinen, Juha, Yang, Fan, Bojańczyk, Mikołaj, Chekuri, Chandra

المصدر: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2021 ; Leibniz International Proceedings in Informatics (LIPIcs) ; 213

مصطلحات موضوعية: Expressivity, Hyperproperties, Linear temporal logic, Model checking, ddc:004, Konferenzschrift

Relation: ESSN:1868-8969; http://dx.doi.org/10.15488/16493; https://www.repo.uni-hannover.de/handle/123456789/16620

الاتاحة: https://www.repo.uni-hannover.de/handle/123456789/16620
https://doi.org/10.15488/16493

المؤلفون: Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard, Wehrheim, Heike

المساهمون: John Derrick and Simon Doherty and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim

مصطلحات موضوعية: Strong Observational Refinement, Hyperproperties, Forward Simulation

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

Relation: Is Part Of LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.55

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2021.55
https://nbn-resolving.org/urn:nbn:de:0030-drops-148575
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.55

المؤلفون: Gutsfeld, Jens Oliver, Müller-Olm, Markus, Ohrem, Christoph

المساهمون: Jens Oliver Gutsfeld and Markus Müller-Olm and Christoph Ohrem

مصطلحات موضوعية: Hyperlogics, Hyperproperties, Model Checking, Automata

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

Relation: Is Part Of LIPIcs, Volume 171, 31st International Conference on Concurrency Theory (CONCUR 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.50

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2020.50
https://nbn-resolving.org/urn:nbn:de:0030-drops-128628
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.50

المؤلفون: Mascle, Corto, Zimmermann, Martin

المساهمون: Corto Mascle and Martin Zimmermann

مصطلحات موضوعية: Hyperproperties, Linear Temporal Logic, Satisfiability

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

Relation: Is Part Of LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.29

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2020.29
https://nbn-resolving.org/urn:nbn:de:0030-drops-116720
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.29