On the public citation graph
Translation validation for synchronous languages
0 signed · 57 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.1007/3-540-63166-6_21openalex-snapshot
A provably correct embedded verifier for the certification of safety critical software
inferredcites →https://doi.org/10.1007/978-3-642-59207-2openalex-snapshot
The Classical Decision Problem
inferredcites →https://doi.org/10.1007/bfb0084815openalex-snapshot
Operational and compositional semantics of synchronous automaton compositions
inferredcites →https://doi.org/10.1016/0167-6423(91)90001-eopenalex-snapshot
Synchronous programming with events and relations: the SIGNAL language and its semantics
inferredcites →https://doi.org/10.1016/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
inferredcites →https://doi.org/10.1016/0304-3975(91)90224-popenalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2001.tb02373.xopenalex-snapshot
6.5.4 SafeAir ‐ An Integrated Development Environment and Methodology
inferred← citeshttps://doi.org/10.1006/inco.2002.3175openalex-snapshot
The Small Model Property: How Small Can It Be?
inferred← citeshttps://doi.org/10.1007/1-4020-8143-x_19openalex-snapshot
Trusted Computing, Trusted Third Parties, and Verified Communications
inferred← citeshttps://doi.org/10.1007/11513988_32openalex-snapshot
Yet Another Decision Procedure for Equality Logic
inferred← citeshttps://doi.org/10.1007/11925040_6openalex-snapshot
On the Correctness of Transformations in Compiler Back-Ends
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_13openalex-snapshot
Finite Instantiations in Equivalence Logic with Uninterpreted Functions
inferred← citeshttps://doi.org/10.1007/3-540-45294-x_27openalex-snapshot
Range Allocation for Equivalence Logic
inferred← citeshttps://doi.org/10.1007/3-540-45352-0_14openalex-snapshot
A System for Object Code Validation
inferred← citeshttps://doi.org/10.1007/3-540-46562-6_42openalex-snapshot
Formal Verification of a Compiler Back-End Generic Checker Program
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_8openalex-snapshot
Translation Validation: From DC+ to C
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_39openalex-snapshot
Deciding Equality Formulas by Small Domains Instantiations
inferred← citeshttps://doi.org/10.1007/978-1-4471-0823-8_10openalex-snapshot
Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_4openalex-snapshot
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_38openalex-snapshot
Development of Semantic Debuggers Based on Refinement Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-30476-0_21openalex-snapshot
Validating the Translation of an Industrial Optimizing Compiler
inferred← citeshttps://doi.org/10.1007/978-3-540-31973-3_6openalex-snapshot
Tools for Programming, Code Generation, and Design
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_7openalex-snapshot
Adaptable Translator of B Specifications to Embedded C Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-02658-4_57openalex-snapshot
Translation Validation: From Simulink to C
inferred← citeshttps://doi.org/10.1007/978-3-642-13754-9_8openalex-snapshot
Inference Rules for Proving the Equivalence of Recursive Procedures
inferred← citeshttps://doi.org/10.1007/978-3-642-15769-1_3openalex-snapshot
Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework
inferred← citeshttps://doi.org/10.1007/pl00010809openalex-snapshot
Mechanized result verification: an industrial application
inferred← citeshttps://doi.org/10.1007/s00236-008-0075-2openalex-snapshot
Inference rules for proving the equivalence of recursive procedures
inferred← citeshttps://doi.org/10.1007/s10009-003-0125-6openalex-snapshot
Certification of compiled assembly code by invariant translation
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.013openalex-snapshot
Refinement calculus: A basis for translation validation, debugging and certification
inferred← citeshttps://doi.org/10.1017/s095679682100023xopenalex-snapshot
Cogent: uniqueness types and certifying compilation
inferred← citeshttps://doi.org/10.1023/a:1011295931367openalex-snapshot
Formal Methods in Designing Embedded Systems—the SACRES Experience
inferred← citeshttps://doi.org/10.1080/095281300454856openalex-snapshot
Towards dependable development tools for embedded systems: a case study in software verification
inferred← citeshttps://doi.org/10.1109/etfa.2005.1612509openalex-snapshot
Translation Validation for Model-Based Code-Generators for PLCs
inferred← citeshttps://doi.org/10.1109/fmcad.2014.6987587openalex-snapshot
Compiler verification for fun and profit
inferred← citeshttps://doi.org/10.1109/rtas.2007.39openalex-snapshot
Testing Model-Processing Tools for Embedded Systems
inferred← citeshttps://doi.org/10.1109/sefm.2007.24openalex-snapshot
How to Test Program Generators? A Case Study using flex
inferred← citeshttps://doi.org/10.1109/sefm.2008.13openalex-snapshot
Behaviour Directed Testing of Auto-code Generators
inferred← citeshttps://doi.org/10.1145/2543581.2543591openalex-snapshot
Synchronous programming in audio processing
inferred← citeshttps://doi.org/10.1145/2856636.2856652openalex-snapshot
An efficient path based equivalence checking for Petri net based models of programs
inferred← citeshttps://doi.org/10.1145/3062341.3062358openalex-snapshot
A formally verified compiler for Lustre
inferred← citeshttps://doi.org/10.1145/3140587.3062358openalex-snapshot
A formally verified compiler for Lustre
inferred← citeshttps://doi.org/10.1145/964001.964002openalex-snapshot
Symbolic transfer function-based approaches to certified compilation
inferred← citeshttps://doi.org/10.1561/2500000002openalex-snapshot
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
inferred← citeshttps://doi.org/10.1561/9781601988577openalex-snapshot
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
inferred← citeshttps://doi.org/10.22028/d291-25991openalex-snapshot
Compiler verification in the context of pervasive system verification
inferred← citeshttps://doi.org/10.3233/jid-2004-8201openalex-snapshot
INTEGRATION OF THE CODE GENERATION APPROACH IN THE MODEL-BASED DEVELOPMENT PROCESS BY MEANS OF TOOL CERTIFICATION
inferred← citeshttps://doi.org/10.4271/2008-01-0124openalex-snapshot
Verification of Model Processing Tools *
inferred← citeshttps://doi.org/10.70675/0d242e5czfe16z49f6za04ezf51f4dabb08eopenalex-snapshot
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
inferred← citeshttps://doi.org/10.70675/39a5d53bzce3fz4517z9ee1z77b5242313f9openalex-snapshot
Verified compilation of a synchronous dataflow language with state machines
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.