On the public citation graph
The Power of 10: Rules for Developing Safety-Critical Code
0 signed · 102 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1145/1127878.1127900openalex-snapshot
A historical perspective on runtime assertion checking in software development
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-65939-4_6openalex-snapshot
Detailed Design of Automotive Software
inferred← citeshttps://doi.org/10.1007/978-3-030-83906-2_8openalex-snapshot
Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes
inferred← citeshttps://doi.org/10.1007/978-3-031-86705-7_29openalex-snapshot
Integrating a Real Time Operating-System Layer to a Memory-Constrained Electrical Power System for a Nanosatellite
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_2openalex-snapshot
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers
inferred← citeshttps://doi.org/10.1007/978-3-319-58610-6_5openalex-snapshot
Detailed Design of Automotive Software
inferred← citeshttps://doi.org/10.1007/978-3-319-66266-4_13openalex-snapshot
Benchmarking Static Code Analyzers
inferred← citeshttps://doi.org/10.1007/978-3-540-69850-0_4openalex-snapshot
New Challenges in Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_41openalex-snapshot
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_20openalex-snapshot
A Formal Verification Study on the Rotterdam Storm Surge Barrier
inferred← citeshttps://doi.org/10.1007/978-981-10-4436-6_6openalex-snapshot
Formal Methods for Aerospace Systems
inferred← citeshttps://doi.org/10.1007/s10472-014-9408-8openalex-snapshot
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
inferred← citeshttps://doi.org/10.1007/s11219-011-9138-7openalex-snapshot
System-specific static code analyses: a case study in the complex embedded systems domain
inferred← citeshttps://doi.org/10.1007/s11265-008-0266-7openalex-snapshot
A Test-oriented Embedded System Production Methodology
inferred← citeshttps://doi.org/10.1007/s11334-010-0136-xopenalex-snapshot
SCRUB: a tool for code reviews
inferred← citeshttps://doi.org/10.1016/j.actaastro.2024.07.005openalex-snapshot
Fast development and validation of a Sensing Suite system for CubeSats
inferred← citeshttps://doi.org/10.1016/j.actaastro.2025.02.048openalex-snapshot
Low-thrust under-actuated satellite formation guidance and control strategies
inferred← citeshttps://doi.org/10.1016/j.conengprac.2008.03.007openalex-snapshot
Assessment of performance and dependability in embedded control systems: Methodology and case study
inferred← citeshttps://doi.org/10.1016/j.jss.2007.08.026openalex-snapshot
Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation
inferred← citeshttps://doi.org/10.1016/j.oceaneng.2018.01.016openalex-snapshot
Development of an AUV control architecture based on systems engineering concepts
inferred← citeshttps://doi.org/10.1016/j.procs.2018.08.118openalex-snapshot
Verification and online updating of decision making control logic for onboard real-time control systems
inferred← citeshttps://doi.org/10.1016/j.ress.2019.03.031openalex-snapshot
Benchmarking static code analyzers
inferred← citeshttps://doi.org/10.1049/etr.2016.0024openalex-snapshot
Safety and Security Coding Standards for C
inferred← citeshttps://doi.org/10.1109/access.2019.2927931openalex-snapshot
An Architecture-Tracking Approach to Evaluate a Modular and Extensible Flight Software for CubeSat Nanosatellites
inferred← citeshttps://doi.org/10.1109/access.2023.3256886openalex-snapshot
A Model-Driven Approach for the Management and Enforcement of Coding Conventions
inferred← citeshttps://doi.org/10.1109/acsd.2013.19openalex-snapshot
Programming and Timing Analysis of Parallel Programs on Multicores
inferred← citeshttps://doi.org/10.1109/aero.2008.4526570openalex-snapshot
The Use and Implementation of Coding Standards for High-Confidence Embedded Systems
inferred← citeshttps://doi.org/10.1109/aero.2019.8741790openalex-snapshot
Assuring Correctness, Completeness, and Performance for Model-Based Fault Diagnosis Systems
inferred← citeshttps://doi.org/10.1109/aero.2019.8741837openalex-snapshot
Eliminating Software Caused Mission Failures
inferred← citeshttps://doi.org/10.1109/aero63441.2025.11068699openalex-snapshot
Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
inferred← citeshttps://doi.org/10.1109/afrcon.2007.4401471openalex-snapshot
A holistic test procedure for security systems software: An experience report
inferred← citeshttps://doi.org/10.1109/aiccsa.2008.4493674openalex-snapshot
Development guidelines for dependable real-time embedded systems
inferred← citeshttps://doi.org/10.1109/apsec48747.2019.00021openalex-snapshot
Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller
inferred← citeshttps://doi.org/10.1109/dsc61021.2023.10354156openalex-snapshot
Enriching the Semantics of Information Flow Tracking with Source-Level Memory Allocation Event Logging
inferred← citeshttps://doi.org/10.1109/dsn64029.2025.00024openalex-snapshot
PTC: Prefix Tuning CodeT5 for High-Quality Secure Network Measurement Script Generation
inferred← citeshttps://doi.org/10.1109/etfa.2018.8502620openalex-snapshot
Static Flow Analysis of the Action Language for Foundational UML
inferred← citeshttps://doi.org/10.1109/iadcc.2010.5422901openalex-snapshot
A methodology for building safer software based critical computing systems
inferred← citeshttps://doi.org/10.1109/icaa58325.2023.00022openalex-snapshot
Assurance for Autonomy – JPL’s past research, lessons learned, and future directions
inferred← citeshttps://doi.org/10.1109/iccceee46830.2019.9071148openalex-snapshot
Harmonized Software Quality Improvement Models for Sudanese SME Based on CMMI
inferred← citeshttps://doi.org/10.1109/iccd.2009.5413154openalex-snapshot
A new verification method for embedded systems
inferred← citeshttps://doi.org/10.1109/icite.2019.8880266openalex-snapshot
Efficient Hybrid Machine Learning Algorithm for Trajectory Planning in Critical Traffic-Scenarios
inferred← citeshttps://doi.org/10.1109/icse-seip55303.2022.9793927openalex-snapshot
The Unexplored Terrain of Compiler Warnings
inferred← citeshttps://doi.org/10.1109/icse-seip55303.2022.9794086openalex-snapshot
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts
inferred← citeshttps://doi.org/10.1109/icse.2007.12openalex-snapshot
Adaptive Online Program Analysis
inferred← citeshttps://doi.org/10.1109/icse.2007.68openalex-snapshot
Randomized Differential Testing as a Prelude to Formal Verification
inferred← citeshttps://doi.org/10.1109/icsess52187.2021.9522190openalex-snapshot
A Configurable Framework for Satellite Software
inferred← citeshttps://doi.org/10.1109/issre59848.2023.00036openalex-snapshot
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
inferred← citeshttps://doi.org/10.1109/issrew.2014.110openalex-snapshot
Developing Software Reliability Models in the Architecture Phase of the Software Lifecycle
inferred← citeshttps://doi.org/10.1109/issrew.2016.48openalex-snapshot
Lessons Learned: Using a Static Analysis Tool within a Continuous Integration System
inferred← citeshttps://doi.org/10.1109/ithings-greencom-cpscom-smartdata.2016.93openalex-snapshot
Software Security Considerations for IoT
inferred← citeshttps://doi.org/10.1109/lcsys.2022.3173209openalex-snapshot
Embedded Code Generation With CVXPY
inferred← citeshttps://doi.org/10.1109/mcs.2026.3713828openalex-snapshot
Automatic Generation of Explicit Quadratic Programming Solvers: A Streamlined Path From the Math to Flat C Code
inferred← citeshttps://doi.org/10.1109/milcom.2008.4753206openalex-snapshot
Coding standards for high-confidence embedded systems
inferred← citeshttps://doi.org/10.1109/msp.2012.4openalex-snapshot
Measuring the Value of Static-Analysis Tool Deployments
inferred← citeshttps://doi.org/10.1109/msr59073.2023.00068openalex-snapshot
What Warnings Do Engineers Really Fix? The Compiler That Cried Wolf
inferred← citeshttps://doi.org/10.1109/prdc47002.2019.00047openalex-snapshot
Towards a Structured Specification of Coding Conventions
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00044openalex-snapshot
Test Benchmarks: Which One Now and in Future?
inferred← citeshttps://doi.org/10.1109/rtas61025.2024.00014openalex-snapshot
Safe and Secure? On the Timing Analysability of Cryptographic Implementations
inferred← citeshttps://doi.org/10.1109/sami.2015.7061896openalex-snapshot
Design pattern driven development of embedded applications
inferred← citeshttps://doi.org/10.1109/secdev.2016.016openalex-snapshot
Hints for High-Assurance Cyber-Physical System Design
inferred← citeshttps://doi.org/10.1109/taes.2025.3650728openalex-snapshot
A Flight-Ready Software Platform for Deploying Science Autonomy Onboard Spacecraft
inferred← citeshttps://doi.org/10.1109/tc.2017.2703824openalex-snapshot
NPAM: NVM-Aware Page Allocation for Multi-Core Embedded Systems
inferred← citeshttps://doi.org/10.1109/tdmr.2025.3537718openalex-snapshot
From Ground to Orbit: A Robust and Efficient Test Methodology for RISC-V Soft-Cores
inferred← citeshttps://doi.org/10.1109/telfor.2018.8612149openalex-snapshot
The Benefits of the Coding Standards Enforcement and it's Influence on the Developers' Coding Behaviour: A Case Study on Two Small Projects
inferred← citeshttps://doi.org/10.1145/1022494.1022496openalex-snapshot
Software engineering education (SEEd)
inferred← citeshttps://doi.org/10.1145/1498765.1498787openalex-snapshot
A direct path to dependable software
inferred← citeshttps://doi.org/10.1145/1507195.1507207openalex-snapshot
A framework for software safety in safety-critical systems
inferred← citeshttps://doi.org/10.1145/1968587.1968590openalex-snapshot
Software Engineering Education (SEEd)
inferred← citeshttps://doi.org/10.1145/2516821.2516832openalex-snapshot
Leveraging transactional memory for a predictable execution of applications composed of hard real-time and best-effort tasks
inferred← citeshttps://doi.org/10.1145/2541568.2541570openalex-snapshot
Programming languages for high-assurance autonomous vehicles
inferred← citeshttps://doi.org/10.1145/2846096openalex-snapshot
Minimizing Stack Memory for Hard Real-Time Applications on Multicore Platforms with Partitioned Fixed-Priority or EDF Scheduling
inferred← citeshttps://doi.org/10.1145/2884781.2884799openalex-snapshot
The evolution of C programming practices
inferred← citeshttps://doi.org/10.1145/3092282.3092313openalex-snapshot
Cobra: fast structural code checking (keynote)
inferred← citeshttps://doi.org/10.1145/3426428.3426922openalex-snapshot
Putting the semantics into semantic versioning
inferred← citeshttps://doi.org/10.1145/3463274.3463787openalex-snapshot
Empirical Investigation of Code Quality Rule Violations in HPC Applications
inferred← citeshttps://doi.org/10.1145/3510457.3513057openalex-snapshot
The unexplored terrain of compiler warnings
inferred← citeshttps://doi.org/10.1145/3510457.3513072openalex-snapshot
Looking for lacunae in Bitcoin core's fuzzing efforts
inferred← citeshttps://doi.org/10.1145/3585341.3585378openalex-snapshot
Evaluation of SYCL’s Suitability for High-Performance Critical Systems
inferred← citeshttps://doi.org/10.1145/3590837.3590860openalex-snapshot
Benchmark for Investigating the Security in Software Development Phases
inferred← citeshttps://doi.org/10.1145/3591594openalex-snapshot
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC
inferred← citeshttps://doi.org/10.1145/3793302.3793318openalex-snapshot
Skyt: Prompt Contracts for Software Repeatability in LLM-Assisted Development
inferred← citeshttps://doi.org/10.15514/syrcose-2014-8-6openalex-snapshot
Tools Support for Linux Kernel Deductive Verification Workflow
inferred← citeshttps://doi.org/10.18178/ijmlc.2021.11.1.1007openalex-snapshot
Sampling Algorithms Combination with Machine Learning for Efficient Safe Trajectory Planning
inferred← citeshttps://doi.org/10.2514/1.i010537openalex-snapshot
Design Guidelines for General-Purpose Payload-Oriented Nanosatellite Software Architectures
inferred← citeshttps://doi.org/10.2514/6.2020-0844openalex-snapshot
A Real-Time Algorithm for Non-Convex Powered Descent Guidance
inferred← citeshttps://doi.org/10.2514/6.2025-1651openalex-snapshot
Adaptability in Aerospace: A Historic MOSA Perspective from the Space Shuttle Program
inferred← citeshttps://doi.org/10.2514/6.2026-0564openalex-snapshot
Autonomous Spacecraft Health Management: Results From IM-2 Lunar Mission
inferred← citeshttps://doi.org/10.28945/3185openalex-snapshot
Improving Security for SCADA Control Systems
inferred← citeshttps://doi.org/10.28945/91openalex-snapshot
Improving Security for SCADA Control Systems
inferred← citeshttps://doi.org/10.3390/s19173781openalex-snapshot
An Industrial Digitalization Platform for Condition Monitoring and Predictive Maintenance of Pumping Equipment
inferred← citeshttps://doi.org/10.34961/3542openalex-snapshot
Utilizing multicore architectures to enhance software verification in real-time embedded systems
inferred← citeshttps://doi.org/10.3844/jcssp.2009.311.322openalex-snapshot
An Approach to Modeling Software Safety in Safety-Critical Systems
inferred← citeshttps://doi.org/10.4271/2015-01-0191openalex-snapshot
Reducing Defects in Automotive Software Using Static Analysis
inferred← citeshttps://doi.org/10.47749/t/unicamp.2020.1157209openalex-snapshot
A metamodel to support the formalization of coding conventions
inferred← citeshttps://doi.org/10.48550/arxiv.1602.07565openalex-snapshot
Stochastic Shortest Path with Energy Constraints in POMDPs
inferred← citeshttps://doi.org/10.48550/arxiv.1709.03404openalex-snapshot
A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual
inferred← citeshttps://doi.org/10.5121/csit.2017.70601openalex-snapshot
A Few Thoughts on Code Review and Cooperative Pair Programming : Expectations, Outcomes and Challenges
inferred← citeshttps://doi.org/10.5121/ijsea.2017.8402openalex-snapshot
Code Review and Cooperative Pair Programming Best Practice
inferred← citeshttps://doi.org/10.5555/2936924.2937212openalex-snapshot
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.