Výsledky vyhľadávania - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.3: Verification*

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

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

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

Modeling and Verification of Real-Time Systems - Formalisms and Software Tools

Autori: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Prispievatelia: Merz, Stephan Navet, Nicolas Proof-oriented development of computer-based systems (MOSEL) a ďalší

Zdroj: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.

Predmety: 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.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://inria.hal.science/inria-00187581

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

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

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

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

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 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

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

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

Unified Functional Safety Assessment of Industrial Automation Systems

Autori: Bhatti, Zeeshan Ejaz Sinha, Roopak Roop, Partha a ďalší

Prispievatelia: Bhatti, Zeeshan Ejaz Sinha, Roopak Roop, Partha a ďalší

Zdroj: https://inria.hal.science/hal-00858218 ; [Research Report] RR-8357, Inria. 2013.

Predmety: safety assessment, IEC 61499, probabilistic verification, PRISM, safety analysis, 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.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.6: Reliability, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnosť: https://inria.hal.science/hal-00858218

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

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

Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets

Autori: Guo, Xiaojie Quinton, Sophie Fradet, Pascal a ďalší

Prispievatelia: Guo, Xiaojie Quinton, Sophie Fradet, Pascal a ďalší

Zdroj: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3

Predmety: Analyzer, Certifier, Coq-vertified, Real-time system verification, Formal Analysis, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Paris, France

Dostupnosť: https://inria.hal.science/hal-01629288
https://inria.hal.science/hal-01629288v1/document
https://inria.hal.science/hal-01629288v1/file/offset_WiP.pdf