Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification"

Comment s'assurer de garder le contact (et nos distances)

Autoři: Balabonski, Thibaut Courtieu, Pierre Pelle, Robin a další

Přispěvatelé: Balabonski, Thibaut Courtieu, Pierre Pelle, Robin a další

Zdroj: ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03219933 ; ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France

Témata: Essaims de robots mobiles, espace euclidien, connexion, assistant de preuve, Pactole, méthodes formelles, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: La Rochelle, France

Dostupnost: https://hal.science/hal-03219933
https://hal.science/hal-03219933v1/document
https://hal.science/hal-03219933v1/file/main.pdf

Decentralized enforcement of document lifecycle constraints

Autoři: Sylvain Hallé Raphaël Khoury Quentin Betti a další

Přispěvatelé: Sylvain Hallé Raphaël Khoury Quentin Betti a další

Zdroj: Information Systems. 74:117-135

Témata: Sciences naturelles et génie, hash functions, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, Artichoke-X, business process, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, trace validation, distributed enforcement, policy enforcement, 0202 electrical engineering, electronic engineering, information engineering, runtime monitoring, smart cards, Portable Document Format, business artifact, document lifecycle, public-key encryption, Informatique, Linear Temporal Logic, confidentiality, 16. Peace & justice, finite-state automata, 13. Climate action, UML statechart, tamper-proof history, Business Process Modelling Language, lifecycle policy

Popis souboru: application/pdf

Přístupová URL adresa: http://constellation.uqac.ca/4348/1/2017%20-%20Hall%C3%A9%20et%20al%20-%20Decentralized%20Enforcement%20of%20Document%20Lifecycle%20Constraints.pdf
https://hal.science/hal-01653879v1/document
https://doi.org/10.1016/j.is.2017.08.002
https://hal.science/hal-01653879v1
https://hal.archives-ouvertes.fr/hal-01653879/document
http://www.sciencedirect.com/science/article/pii/S0306437916306494
https://hal.inria.fr/hal-01653879v1
https://hal.archives-ouvertes.fr/hal-01653879
https://constellation.uqac.ca/4348/
https://www.sciencedirect.com/science/article/pii/S0306437916306494

Reliable self-deployment of distributed cloud applications: RELIABLE SELF-DEPLOYMENT OF DISTRIBUTED CLOUD APPLICATIONS

Autoři: Etchevers, Xavier Salaün, Gwen Boyer, Fabienne a další

Přispěvatelé: Etchevers, Xavier Salaün, Gwen Boyer, Fabienne a další

Zdroj: Software: Practice and Experience. 47:3-20

Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, reliability, 9. Industry and infrastructure, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], robustness, 02 engineering and technology, Parallel, automatic deployment, and Cluster Computing [cs.DC], software components, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, distributed applications

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01290465/file/main-SPE-2015.pdf
https://dblp.uni-trier.de/db/journals/spe/spe47.html#EtcheversSBCP17
https://hal.inria.fr/hal-01290465
https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.2400
https://hal.inria.fr/hal-01290465/document
https://tel.archives-ouvertes.fr/INRIA/hal-01290465v1
https://onlinelibrary.wiley.com/doi/10.1002/spe.2400/abstract

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Autoři: Felgentreff, Tim Zendra, Olivier Oracle Labs a další

Přispěvatelé: Felgentreff, Tim Zendra, Olivier Oracle Labs a další

Zdroj: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947

Témata: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Amsterdam, Netherlands

Dostupnost: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations

Autoři: Martin-Dorel, Érik Roux, Pierre Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE) a další

Přispěvatelé: Martin-Dorel, Érik Roux, Pierre Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE) a další

Zdroj: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.science/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩

Témata: Coq formal proof, reflexive tactic, multivariate polynomials, witness verification, SDP solvers, floating-point, data refinement, Cholesky decomposition, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Paris, France

Dostupnost: https://hal.science/hal-01510979
https://hal.science/hal-01510979v1/document
https://hal.science/hal-01510979v1/file/main.pdf
https://doi.org/10.1145/3018610.3018622

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Autoři: Assaf, Mounir Naumann, David, A Signoles, Julien a další

Přispěvatelé: Assaf, Mounir Naumann, David, A Signoles, Julien a další

Zdroj: POPL 2017 - ACM Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-01618360 ; POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩ ; https://popl17.sigplan.org/

Témata: information flow, abstract interpretation, static analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO]Computer Science [cs]

Geografické téma: Paris, France

Dostupnost: https://inria.hal.science/hal-01618360
https://inria.hal.science/hal-01618360v1/document
https://inria.hal.science/hal-01618360v1/file/2017_popl.pdf
https://doi.org/10.1145/3009837.3009889

Debugging of Concurrent Systems using Counterexample Analysis

Autoři: Barbon, Gianluca Leroy, Vincent Salaün, Gwen a další

Přispěvatelé: Barbon, Gianluca Leroy, Vincent Salaün, Gwen a další

Zdroj: Lecture Notes in Computer Science ; 7th International Conference on Fundamentals of Software Engineering (FSEN) ; https://inria.hal.science/hal-01533401 ; 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩ ; http://fsen.ir/2017/

Témata: Concurrent Systems, Model Checking, Debugging, Counterexamples, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Tehran, Iran

Dostupnost: https://inria.hal.science/hal-01533401
https://inria.hal.science/hal-01533401v2/document
https://inria.hal.science/hal-01533401v2/file/fsen17_rev.pdf
https://doi.org/10.1007/978-3-319-68972-2_2

Monitoring Decentralized Specifications

Autoři: El-Hokayem, Antoine Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Přispěvatelé: El-Hokayem, Antoine Falcone, Yliès Compiler Optimization and Run-time Systems (CORSE) a další

Zdroj: ISSTA 2017 ; https://hal.science/hal-01653725 ; ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩

Témata: Eventual Consistency, Runtime Verification, Monitoring, Decentralized Specification, Monitorability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Santa Barbara, CA, United States

Dostupnost: https://hal.science/hal-01653725
https://hal.science/hal-01653725v1/document
https://hal.science/hal-01653725v1/file/themis.pdf
https://doi.org/10.1145/3092703.3092723

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

Autoři: Mateescu, Radu Poizat, Pascal Salaün, Gwen a další

Přispěvatelé: Mateescu, Radu Poizat, Pascal Salaün, Gwen a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540749738

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-WB] Computer Science [cs]/Web, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], protocols, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, adaptation contracts, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability, interfaces, tools, service composition, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, software adaptation, verification, mismatch, process algebra, on-the-fly generation

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-00717252/file/MPS-TSE-2011.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-540-89652-4_10.pdf
https://inria.hal.science/hal-00717252v1/document
https://doi.org/10.1109/tse.2011.62
https://inria.hal.science/hal-00717252v1
https://dblp.uni-trier.de/db/conf/icsoc/icsoc2008.html#MateescuPS08
https://hal.inria.fr/inria-00341598
https://link.springer.com/content/pdf/10.1007/978-3-540-89652-4_10.pdf
https://hal.inria.fr/inria-00341598/document
https://link.springer.com/chapter/10.1007/978-3-540-89652-4_10

Searching input values hitting suspicious Intervals in programs with floating-point operations

Autoři: Collavizza, Hélène Michel, Claude Rueher, Michel a další

Přispěvatelé: Collavizza, Hélène Michel, Claude Rueher, Michel a další

Zdroj: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9976 .
28th International Conference on Software and Systems (ICTSS-2016).
https://hal.science/hal-01224009
28th International Conference on Software and Systems (ICTSS-2016)., Oct 2016, Graz, Austria. pp 209 --217
http://ictss2016.ist.tugraz.at

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Geografické téma: Graz, Austria

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

Dostupnost: https://hal.science/hal-01224009
https://hal.science/hal-01224009v2/document
https://hal.science/hal-01224009v2/file/ICTSS16_sus.pdf

Formal Verification of Control-flow Graph Flattening

Autoři: Blazy, Sandrine Trieu, Alix Software certification with semantic analysis (CELTIQUE) a další

Přispěvatelé: Blazy, Sandrine Trieu, Alix Software certification with semantic analysis (CELTIQUE) a další

Zdroj: Certified Proofs and Programs (CPP 2016) ; https://inria.hal.science/hal-01242063 ; Certified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩ ; https://people.csail.mit.edu/adamc/cpp16/index.html

Témata: program obfuscation, verified compiler, C semantics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Saint-Petersburg, United States

Dostupnost: https://inria.hal.science/hal-01242063
https://inria.hal.science/hal-01242063v1/document
https://inria.hal.science/hal-01242063v1/file/cpp2016.pdf
https://doi.org/10.1145/2854065.2854082

An Abstract Memory Functor for Verified C Static Analyzers

Autoři: Blazy, Sandrine Laporte, Vincent Pichardie, David a další

Přispěvatelé: Blazy, Sandrine Laporte, Vincent Pichardie, David a další

Zdroj: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) ; ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) ; https://inria.hal.science/hal-01339969 ; ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Sep 2016, Nara, Japan. pp.14, ⟨10.1145/2951913.2951937⟩ ; http://conf.researchr.org/home/icfp-2016/

Témata: low-level memory, abstract interpretation, Coq proof assistant, points-to analysis, numerical analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Nara, Japan

Dostupnost: https://inria.hal.science/hal-01339969
https://inria.hal.science/hal-01339969v1/document
https://inria.hal.science/hal-01339969v1/file/main.pdf
https://doi.org/10.1145/2951913.2951937

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Autoři: Gotsman, Alexey Yang, Hongseok Ferreira, Carla a další

Přispěvatelé: Gotsman, Alexey Yang, Hongseok Ferreira, Carla a další

Zdroj: Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-01243192 ; Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩ ; http://conf.researchr.org/home/POPL-2016

Témata: Replication, causal consistency, integrity invariants, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Geografické téma: Saint Petersburg, FL, United States

Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE

Dostupnost: https://inria.hal.science/hal-01243192
https://inria.hal.science/hal-01243192v1/document
https://inria.hal.science/hal-01243192v1/file/CISE-POPL-2016.pdf
https://doi.org/10.1145/2837614.2837625

Préservation de la cohérence des transformations topologiques et géométriques

Autoři: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim a další

Přispěvatelé: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim a další

Zdroj: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
https://hal.science/hal-01817884
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France

Témata: transformation de graphes, modélisation géométrique à base topologique, conditions syntaxiques, préservation de la cohérence, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geografické téma: Besançon, France

Dostupnost: https://hal.science/hal-01817884
https://hal.science/hal-01817884v1/document
https://hal.science/hal-01817884v1/file/main.pdf

Automated Analysis of Asynchronously Communicating Systems

Autoři: Akroun, Lakhdar Salaün, Gwen Ye, Lina a další

Přispěvatelé: Akroun, Lakhdar Salaün, Gwen Ye, Lina a další

Zdroj: 23rd International SPIN symposium on Model Checking of Software
https://inria.hal.science/hal-01280164
23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
http://www.spin2016.info/

Témata: verification, equivalence checking, stability, asynchronous communicating systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Eindhoven, Netherlands

Dostupnost: https://inria.hal.science/hal-01280164
https://inria.hal.science/hal-01280164v1/document
https://inria.hal.science/hal-01280164v1/file/Akroun-Salaun-Ye-16.pdf
https://doi.org/10.1007/978-3-319-32582-8_1

Consistency in 3D

Autoři: Shapiro, Marc Saeida Ardekani, Masoud Petri, Gustavo a další

Přispěvatelé: Shapiro, Marc Saeida Ardekani, Masoud Petri, Gustavo a další

Zdroj: Int. Conf. on Concurrency Theory (CONCUR) 2016 ; https://inria.hal.science/hal-01350668 ; Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15 ; http://www.concur2016.ulaval.ca/

Témata: Replicated data, Structural invariants, Correctness of distributed systems, Consistency models, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.2: Distributed databases, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Geografické téma: Québec

Time: Québec, Canada

Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE

Dostupnost: https://inria.hal.science/hal-01350668
https://inria.hal.science/hal-01350668v1/document
https://inria.hal.science/hal-01350668v1/file/concur-2016-invited.pdf

An Organizing System to Perform and Enable Verification and Diagnosis Activities

Autoři: Leilde, Vincent Ribaud, Vincent Dhaussy, Philippe a další

Přispěvatelé: Leilde, Vincent Ribaud, Vincent Dhaussy, Philippe a další

Zdroj: Intelligent Data Engineering and Automated Learning – IDEAL 2016 ; https://hal.univ-brest.fr/hal-01472718 ; Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587 ; http://www.springer.com/fr/book/9783319462561#

Témata: organizing system, diagnosis, model-checking, verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: H.: Information Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Yangzou, China

Dostupnost: https://hal.univ-brest.fr/hal-01472718
https://hal.univ-brest.fr/hal-01472718v1/document
https://hal.univ-brest.fr/hal-01472718v1/file/An%20Organizing%20System%20to%20Perform%20and%20Enable%20Verification%20and%20Diagnosis%20Activities.pdf

Technical Perspective: Unexpected Connections

Autoři: Shapiro, Marc Large-Scale Distributed Systems and Applications (Regal) Laboratoire d'Informatique de Paris 6 (LIP6) a další

Přispěvatelé: Shapiro, Marc Large-Scale Distributed Systems and Applications (Regal) Laboratoire d'Informatique de Paris 6 (LIP6) a další

Zdroj: ISSN: 0001-0782.

Témata: ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE

Dostupnost: https://inria.hal.science/hal-01570845
https://inria.hal.science/hal-01570845v1/document
https://inria.hal.science/hal-01570845v1/file/main.pdf
https://doi.org/10.1145/3068768

KriQL: a query language for the diagnosis of transition systems

Autoři: Es-Salhi, Khaoula Boudaoud, Siham Rim Teodorov, Ciprian a další

Přispěvatelé: Es-Salhi, Khaoula Boudaoud, Siham Rim Teodorov, Ciprian a další

Zdroj: 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15
https://hal.science/hal-01203649
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
https://sites.google.com/site/avocs15/

Témata: query language, transition system, trace, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrieval, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Geografické téma: Edimburgh, United Kingdom

Dostupnost: https://hal.science/hal-01203649
https://hal.science/hal-01203649v1/document
https://hal.science/hal-01203649v1/file/KriQL_%20a%20query%20language%20for%20labelled%20transition%20systems.pdf

Synthesis of ranking functions using extremal counterexamples

Autoři: Gonnord, Laure Monniaux, David Radanne, Gabriel a další

Přispěvatelé: Gonnord, Laure Monniaux, David Radanne, Gabriel a další

Zdroj: Programming Languages, Design and Implementation ; https://hal.science/hal-01144622 ; Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩

Témata: Counterexample Guided Refinement, Synthesis of Ranking Functions, Termination, Static Analysis, Termite, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geografické téma: Portland, Oregon, United States

Dostupnost: https://hal.science/hal-01144622
https://hal.science/hal-01144622v1/document
https://hal.science/hal-01144622v1/file/PLDI15_termite_authorVersion.pdf
https://doi.org/10.1145/2737924.2737976