Výsledky vyhľadávania - "Software and its engineering→Software verification"

Scaling Up Mechanized Proof Automation for Small-step Semantics

Autori: Blazy, Sandrine Delaët, Alain Merigoux, Denis a ďalší

Prispievatelia: Blazy, Sandrine Delaët, Alain Merigoux, Denis a ďalší

Zdroj: https://hal.science/hal-04536981 ; 2024.

Predmety: Verified compilation, Operational semantics of programming languages, Software and its engineering → Semantics, Software and its engineering → Compilers, Software and its engineering → Software verification, Applied computing → Law, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnosť: https://hal.science/hal-04536981
https://hal.science/hal-04536981v1/document
https://hal.science/hal-04536981v1/file/paper.pdf

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

Autori: El-Hokayem, Antoine Falcone, Yliès VERIMAG (VERIMAG - IMAG) a ďalší

Prispievatelia: El-Hokayem, Antoine Falcone, Yliès VERIMAG (VERIMAG - IMAG) a ďalší

Zdroj: ACM Transactions on Software Engineering and Methodology. 29:1-57

Predmety: FOS: Computer and information sciences, Monitoring, Formal Languages and Automata Theory (cs.FL), [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Runtime Verification, Computer Science - Formal Languages and Automata Theory, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Automata, Computer Science - Software Engineering, • Theory of computation → Formal languages and automata theory, Data structures design and analysis, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, • Computing methodologies → Simulation tools, Data Structures and Algorithms (cs.DS), CCS Concepts: • Software and its engineering → Software verification, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Software Engineering (cs.SE), Decentralized Monitoring, Eventual Consistency, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Simulation

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01653725/file/themis.pdf
http://arxiv.org/abs/1808.02692
https://hal.science/hal-02283429v2
https://dl.acm.org/doi/10.1145/3355181
https://hal.archives-ouvertes.fr/hal-02283429v2
https://hal.inria.fr/hal-02283429
https://dblp.uni-trier.de/db/journals/tosem/tosem29.html#El-HokayemF20
http://ui.adsabs.harvard.edu/abs/2018arXiv180802692E/abstract
https://hal.archives-ouvertes.fr/hal-02283429/document

Determinacy Race Detector for Promises (Artifact)

Autori: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Prispievatelia: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Predmety: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Autori: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Prispievatelia: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Predmety: real-time systems, General and reference → Verification, Software and its engineering → Software verification and validation, Computer systems organization → Real-time systems, response time analysis, industrial use case, ddc:004, end-to-end latency, Verification challenge, Computer systems organization → Embedded systems

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4

Toward Tool-Independent Summaries for Symbolic Execution (Artifact)

Autori: Ramos, Frederico Sabino, Nuno Adão, Pedro a ďalší

Prispievatelia: Ramos, Frederico Sabino, Nuno Adão, Pedro a ďalší

Predmety: Symbolic Execution, Software and its engineering → Software verification and validation, Runtime Modelling, Security and privacy → Formal methods and theory of security, Symbolic Summaries, ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.7

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes

Autori: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki a ďalší

Prispievatelia: Baillot, Patrick Ghyselen, Alexis Kobayashi, Naoki a ďalší

Zdroj: 32nd International Conference on Concurrency Theory, CONCUR 2021
https://hal.science/hal-03198277
32nd International Conference on Concurrency Theory, CONCUR 2021, Aug 2021, Virtual conference, France. pp.34:1--34:22, ⟨10.4230/LIPICS.CONCUR.2021.34⟩

Predmety: Complexity Analysis, Theory of computation → Process calculi, Software and its engineering → Software verification phrases Type Systems, Pi-calculus, Process Calculi, 2012 ACM Subject Classification Theory of computation → Type structures, Sized Types, Usages, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Virtual conference, France

Time: Virtual conference, France

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

Dostupnosť: https://hal.science/hal-03198277
https://hal.science/hal-03198277v2/document
https://hal.science/hal-03198277v2/file/main.pdf
https://doi.org/10.4230/LIPICS.CONCUR.2021.34

Characterizing consensus in the Heard-Of model

Autori: Balasubramanian, A. R. Walukiewicz, Igor A. R. Balasubramanian and Igor Walukiewicz a ďalší

Prispievatelia: Balasubramanian, A. R. Walukiewicz, Igor A. R. Balasubramanian and Igor Walukiewicz a ďalší

Zdroj: 31st International Conference on Concurrency Theory, CONCUR 2020

Predmety: FOS: Computer and information sciences, consensus problem, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Heard-Of model, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Logic in Computer Science (cs.LO), Theory of computation → Distributed computing models, Software and its engineering → Software verification, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, verification

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2004.09621
https://drops.dagstuhl.de/opus/volltexte/2020/12821/
https://doi.org/10.4230/LIPIcs.CONCUR.2020.9
https://drops.dagstuhl.de/opus/volltexte/2020/12821/pdf/LIPIcs-CONCUR-2020-9.pdf/
https://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-09621
https://arxiv.org/abs/2004.09621
http://doi.org/10.4230/LIPIcs.CONCUR.2020.9
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.9
https://hal.science/hal-03023767v1
https://doi.org/10.4230/lipics.concur.2020.9
https://hal.science/hal-03023767v1/document

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

Autori: El-Hokayem, Antoine Falcone, Yliès VERIMAG (VERIMAG - IMAG) a ďalší

Prispievatelia: El-Hokayem, Antoine Falcone, Yliès VERIMAG (VERIMAG - IMAG) a ďalší

Zdroj: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.science/hal-02283429 ; ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57.

Predmety: Decentralized Monitoring, Automata, Eventual Consistency, CCS Concepts: • Software and its engineering → Software verification, • Theory of computation → Formal languages and automata theory, Data structures design and analysis, • Computing methodologies → Simulation tools, Runtime Verification, Simulation, Monitoring, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnosť: https://hal.science/hal-02283429
https://hal.science/hal-02283429v2/document
https://hal.science/hal-02283429v2/file/tosem-author.pdf

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

Autori: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Prispievatelia: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Zdroj: 35th Euromicro Conference on Real-Time Systems, ECRTS 2023
https://hal.science/hal-04785541
35th Euromicro Conference on Real-Time Systems, ECRTS 2023, Editor: Alessandro V. Papadopoulos, Jul 2023, Vienna (AUSTRIA), Austria. ⟨10.4230/LIPICS.ECRTS.2023.19⟩

Predmety: Verification challenge, industrial use case, end-to-end latency, Computer systems organization → Real-time systems, Computer systems organization → Embedded systems, General and reference → Verification, Software and its engineering → Software verification and validation, [INFO]Computer Science [cs]

Geografické téma: Vienna (AUSTRIA), Austria

Dostupnosť: https://hal.science/hal-04785541
https://doi.org/10.4230/LIPICS.ECRTS.2023.19

Optimal stateless model checking for reads-from equivalence under sequential consistency

Autori: Parosh Abdulla Mohamed Atig Bengt Jonsson a ďalší

Predmety: Concurrent/parallel systems and technologies, Programming languages, Software testing, verification and validation, CCS Concepts: • Software and its engineering → Software verification and validation, Theory of computation → Verification by model checking

Relation: 10779/rmit.27592971.v1

Dostupnosť: https://figshare.com/articles/conference_contribution/Optimal_stateless_model_checking_for_reads-from_equivalence_under_sequential_consistency/27592971

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.

Autori: Cuéllar Gempeler, Santiago Harris, Bill Parker, James a ďalší

Zdroj: ACM Transactions on Privacy & Security; Nov2025, Vol. 28 Issue 4, p1-35, 35p

Predmety: COMPUTER security vulnerabilities, CRYPTOGRAPHY, COMPILERS (Computer programs), RISK assessment, APPLIED sciences, DISCLOSURE

Stress Testing Control Loops in Cyber-Physical Systems—RCR Report.

Autori: Mandrioli, Claudio Shin, Seung Yeob Maggio, Martina a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-6, 6p

Predmety: CYBER physical systems, COMPUTER software testing, EMPIRICAL research, SOFTWARE validation, SYSTEM dynamics, FEEDBACK control systems

Scalable Similarity-Aware Test Suite Minimization with Reinforcement Learning.

Autori: Gu, Sijia Mesbah, Ali

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-23, 23p

Predmety: REINFORCEMENT learning, SCALABILITY, FAULT diagnosis, MULTIPLE criteria decision making, QUALITY assurance, INTEGER programming, COMPUTER software testing

You Don't Have to Say Where to Edit! jLED—Joint Learning to Localize and Edit Source Code.

Autori: Pian, Weiguo Li, Yinghua Tian, Haoye a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-27, 27p

Predmety: SOURCE code, COMPUTER software development, EDITING software, MACHINE translating, MACHINE learning, NATURAL language processing

A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction.

Autori: Birchler, Christian Khatiri, Sajad Rani, Pooja a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-9, 9p

Predmety: SOFTWARE engineering, CYBER physical systems, COMPUTER software testing, DRONE aircraft, RELIABILITY in engineering

A Catalog of Data Smells for Coding Tasks.

Autori: Vitale, Antonio Oliveto, Rocco Scalabrino, Simone

Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-32, 32p

Predmety: LANGUAGE models, COMPUTER software development, DATA integrity, DATA quality, TAXONOMY

Machine Learning for Actionable Warning Identification: A Comprehensive Survey.

Autori: Ge, Xiuting Fang, Chunrong Li, Xuanye a ďalší

Zdroj: ACM Computing Surveys; Feb2025, Vol. 57 Issue 2, p1-35, 35p

Predmety: ARTIFICIAL neural networks, GRAPH neural networks, CONVOLUTIONAL neural networks, LANGUAGE models, MACHINE learning, DEEP learning, SOFTWARE refactoring

Reinforcement Learning Informed Evolutionary Search for Autonomous Systems Testing.

Autori: Humeniuk, Dmytro Khomh, Foutse Antoniol, Giuliano

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-45, 45p

Predmety: AUTONOMOUS robots, VIRTUAL reality, SEARCH algorithms, SPACE exploration, TEST systems

Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist.

Autori: Khatiri, Sajad Panichella, Sebastiano Tonella, Paolo

Zdroj: ICSE: International Conference on Software Engineering; 2024, p134-138, 5p

Predmety: DRONE aircraft, AERIALISTS, RELIABILITY in engineering, SCALABILITY, AUTOMATION, COMPUTER software developers

SAFE: Safety Analysis and Retraining of DNNs.

Autori: Attaoui, Mohammed Pastore, Fabrizio Briand, Lionel

Zdroj: ICSE: International Conference on Software Engineering; 2024, p74-78, 5p

Predmety: ARTIFICIAL neural networks, CLUSTERING algorithms, DEBUGGING, ACCURACY, COMPUTER software execution