Výsledky vyhľadávania - acm: d.: software/d.4: operating system/d.4.5: reliability/d.4.5.3: verification

Adding Integrity Verification Capabilities to the LDPC-Staircase Erasure Correction Codes

Autori: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) a ďalší

Prispievatelia: Cunche, Mathieu Roca, Vincent Protocols and applications for the Internet (PLANETE) a ďalší

Zdroj: https://inria.hal.science/inria-00379155 ; 2009.

Predmety: ACM: D.: Software, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Dostupnosť: https://inria.hal.science/inria-00379155
https://inria.hal.science/inria-00379155v1/document
https://inria.hal.science/inria-00379155v1/file/verifec_globecom09_v0.06.pdf

Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Autori: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria a ďalší

Prispievatelia: Sangnier, Arnaud Sznajder, Nathalie Potop-Butucaru, Maria a ďalší

Zdroj: https://hal.sorbonne-universite.fr/hal-01540339 ; [Research Report] UPMC Sorbonne Universités. 2017.

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols/C.2.2.2: Protocol verification, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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

Dostupnosť: https://hal.sorbonne-universite.fr/hal-01540339
https://hal.sorbonne-universite.fr/hal-01540339v1/document
https://hal.sorbonne-universite.fr/hal-01540339v1/file/draft.pdf

Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems

Autori: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel a ďalší

Prispievatelia: Balabonski, Thibaut Courtieu, Pierre Rieg, Lionel a ďalší

Zdroj: Proceedings of AVOCS 2017 ; Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS) ; https://hal.sorbonne-universite.fr/hal-01549942 ; Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/FMICS-AVoCS2017

Predmety: 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.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Geografické téma: Turin, Italy

Dostupnosť: https://hal.sorbonne-universite.fr/hal-01549942
https://doi.org/10.1007/978-3-319-67113-0_11

Configurable toolset for static verification of operating systems kernel modules.

Autori: Zakharov, I. Mandrykin, M. Mutilin, V. a ďalší

Zdroj: Programming & Computer Software; Jan2015, Vol. 41 Issue 1, p49-64, 16p

Predmety: KERNEL operating systems, COMPUTER operating systems, SOFTWARE reliability, SOFTWARE verification, LINUX operating systems

Comprehensive Formal Verification of an OS Microkernel

Autori: Gerwin Klein June Andronick Kevin Elphinstone a ďalší

Prispievatelia: Gerwin Klein June Andronick Kevin Elphinstone a ďalší

Zdroj: http://www.nicta.com.au/pub?doc=7371.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification, D.4.5 [Operating Systems, Reliability—Verification General Terms, Verification, Security, Reliability Additional Key Words and Phrases, seL4, Isabelle/HOL, operating systems, microkernel, L4 ACM Reference Format

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.9140; http://www.nicta.com.au/pub?doc=7371

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.9140
http://www.nicta.com.au/pub?doc=7371

Operating system verification--An overview.

Autori: Klein, Gerwin

Zdroj: Sādhanā: Academy Proceedings in Engineering Sciences; Feb2009, Vol. 34 Issue 1, p27-69, 43p, 8 Diagrams, 2 Charts

Predmety: COMPUTER operating systems, SOFTWARE verification, COMPUTER software development, AUTOMATIC theorem proving, SYSTEMS software

Self-Adaptive Software Needs Quantitative Verification at Runtime.

Autori: CALINESCU, RADU GHEZZI, CARLO KWIATKOWSKA, MARTA a ďalší

Zdroj: Communications of the ACM; Sep2012, Vol. 55 Issue 9, p69-77, 8p, 4 Diagrams

Predmety: SELF-adaptive software, SOFTWARE verification, RUN time systems (Computer science), AUTONOMIC computing, ADAPTIVE computing systems, FORMAL description techniques (Computer science), MATHEMATICAL models

From Operating-System Correctness to Pervasively Veried Applications

Autori: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike a ďalší

Prispievatelia: Daum, Matthias W. Schirmer, Norbert Schmidt, Mareike a ďalší

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524575 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.105-120

Predmety: Real-Time System, Pervasive Verification, Application Program, C Code Verification, Isabelle/HOL, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Relation: inria-00524575; https://hal.inria.fr/inria-00524575; https://hal.inria.fr/inria-00524575/document; https://hal.inria.fr/inria-00524575/file/libolos104.pdf

Dostupnosť: https://hal.inria.fr/inria-00524575
https://hal.inria.fr/inria-00524575/document
https://hal.inria.fr/inria-00524575/file/libolos104.pdf

A Software Verification Method for the Internet of Things and Cyber-Physical Systems.

Autori: Manzhos, Yuriy Sokolova, Yevheniia

Zdroj: Computation; Jul2023, Vol. 11 Issue 7, p135, 31p

Predmety: INTERNET of things, COMPUTER software quality control, SOFTWARE reliability, METRIC system, SOFTWARE verification, VALUE orientations, CYBER physical systems

Preface to the Special Issue on Formal Methods and Applications.

Autori: Qinxiang Cao Fu Song Naijun Zhan

Zdroj: International Journal of Software & Informatics; 2024, Vol. 14 Issue 4, p349-351, 3p

Predmety: CYBER physical systems, KERNEL operating systems, HYBRID systems, SECURITY systems software, SOFTWARE reliability

Analysis of Three Multilevel Security Architectures

Autori: Levin, Timothy E. Irvine, Cynthia E. Weissman, Clark a ďalší

Prispievatelia: Levin, Timothy E. Irvine, Cynthia E. Weissman, Clark a ďalší

Zdroj: DTIC

Predmety: Computer Programming and Software, Computer Hardware, ARCHITECTURE, OPERATING SYSTEMS(COMPUTERS), VERIFICATION, SECURITY, KERNEL FUNCTIONS, RELIABILITY, WORKSHOPS, QUALITY ASSURANCE, DESIGN CRITERIA, AVOIDANCE, MEASUREMENT, SOFTWARE ENGINEERING, PROTECTION, MULTILEVEL SECURITY, PRINCIPLE OF LEAST PRIVILEGE, PARTIALLY ORDERED FLOWS, SCALABILITY, STRUCTURAL ABSTRACTIONS, archi, info

Relation: http://www.dtic.mil/docs/citations/ADA484370

Dostupnosť: http://www.dtic.mil/docs/citations/ADA484370

A Model for Verification of Data Security in Operating Systems.

Autori: Popek, Gerald J. Farber, David A.

Zdroj: Communications of the ACM; Sep78, Vol. 21 Issue 9, p737-749, 13p

Predmety: COMPUTER operating systems, SOFTWARE verification

Geografický termín: CALIFORNIA, UNITED States

Hacker-Proof Coding: Software verification helps find the faults, preventing hacks.

Autori: Shein, Esther

Zdroj: Communications of the ACM; Aug2017, Vol. 60 Issue 8, p12-14, 3p, 2 Color Photographs, 2 Illustrations

Predmety: SOFTWARE verification, PREVENTION of computer hacking, COMPUTER security, COMPUTER security vulnerabilities, COMPUTER security software

Towards Probabilistic Modelling in Event-B

Autori: Tarasyuk, Anton Troubitsyna, Elena Laibinis, Linas a ďalší

Prispievatelia: Tarasyuk, Anton Troubitsyna, Elena Laibinis, Linas a ďalší

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524594 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.275-289

Predmety: Event-B, refinement, control system, reliability, probability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Relation: inria-00524594; https://hal.inria.fr/inria-00524594; https://hal.inria.fr/inria-00524594/document; https://hal.inria.fr/inria-00524594/file/ifm2010276.pdf

Dostupnosť: https://hal.inria.fr/inria-00524594
https://hal.inria.fr/inria-00524594/document
https://hal.inria.fr/inria-00524594/file/ifm2010276.pdf

Introduction to Special Section on Formal Methods in Pervasive Computing.

Autori: Bakhouya, Mohamed Campbell, Roy Coronato, Antonio a ďalší

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; 2012, Vol. 7 Issue 1, p1-9, 9p

Predmety: UBIQUITOUS computing, COMPUTER software correctness, COMPUTER reliability, COMPUTER security, FORMAL methods (Computer science), COMPUTER simulation, COMPUTER network resources

A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems

Autori: Villegas, Norha Müller, Hausi Tamura, Gabriel a ďalší

Prispievatelia: Villegas, Norha Müller, Hausi Tamura, Gabriel a ďalší

Zdroj: SEAMS 2011 ; https://inria.hal.science/inria-00578337 ; SEAMS 2011, ACM SIGSOFT / IEEE TCSE, May 2011, Honolulu, Hawaii, United States. pp.80-89, ⟨10.1145/1988008.1988020⟩ ; http://doi.acm.org/10.1145/1988008.1988020

Predmety: application of control theory, assessment and evaluation of self-adaptive systems, engineering of self-adaptive systems, run-time validation and verification, software adaptation metrics, software adaptation properties, software quality attributes, 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.6: Reliability, 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.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Honolulu, Hawaii, United States

Dostupnosť: https://inria.hal.science/inria-00578337
https://inria.hal.science/inria-00578337/document
https://inria.hal.science/inria-00578337/file/seams-2011.pdf
https://doi.org/10.1145/1988008.1988020

Multiformalism and transformation inheritance for dependability analysis of critical systems

Autori: Marrone, Stefano Papa, Camilla Vittorini, Valeria a ďalší

Prispievatelia: Marrone, Stefano Papa, Camilla Vittorini, Valeria a ďalší

Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525179 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.215-228

Predmety: Multiformalism, Model Transformation, Language Inheritance, Model Composition, System Reliability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Nancy, France

Relation: inria-00525179; https://hal.inria.fr/inria-00525179

Dostupnosť: https://hal.inria.fr/inria-00525179

Reproducible and User-Controlled Software Environments in HPC with Guix

Autori: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a ďalší

Prispievatelia: Courtès, Ludovic Wurmus, Ricardo Service Expérimentation et Développement Bordeaux (SED) a ďalší

Zdroj: 2nd International Workshop on Reproducibility in Parallel Computing (RepPar)
https://inria.hal.science/hal-01161771
2nd International Workshop on Reproducibility in Parallel Computing (RepPar), Aug 2015, Vienne, Austria
http://reppar.org/

Predmety: hpc, reproducible research, package management, gestion de paquets, répétabilité, calcul intensif, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Vienne, Austria

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

Dostupnosť: https://inria.hal.science/hal-01161771
https://inria.hal.science/hal-01161771v2/document
https://inria.hal.science/hal-01161771v2/file/reproducible-hpc.pdf

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

Autori: Dal Zilio, Silvano Berthomieu, Bernard Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS) a ďalší

Prispievatelia: Dal Zilio, Silvano Berthomieu, Bernard Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS) a ďalší

Zdroj: Lecture Notes in Computer Science ; 1st International Conference on Theoretical Computer Science (TTCS) ; https://hal.science/hal-01202799 ; 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩

Predmety: real time model checking, time Petri nets, 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.4: Model checking, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Teheran, Iran

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1509.06507; info:eu-repo/grantAgreement//11025/EU/ITEA3 OpenETCS/OpenETCS; ARXIV: 1509.06507

Dostupnosť: https://hal.science/hal-01202799
https://hal.science/hal-01202799v1/document
https://hal.science/hal-01202799v1/file/article.pdf
https://doi.org/10.1007/978-3-319-28678-5_7

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification.

Autori: Deng, Liangjun Zhong, Qi Song, Jingcheng a ďalší

Zdroj: Sensors (14248220); May2025, Vol. 25 Issue 9, p2683, 21p

Predmety: LANGUAGE models, SECURITY systems software, DISTRIBUTED computing, DATA privacy, SOFTWARE reliability, SOFTWARE verification