On the public citation graph

Towards Building Verifiable CPS using Lingua Franca

https://doi.org/10.1145/3609134
0 signed · 64 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11691372_27openalex-snapshot
Safety Metric Temporal Logic Is Fully Decidable
inferredcites →https://doi.org/10.1007/3-540-06859-7_145openalex-snapshot
First version of a data flow procedure language
inferredcites →https://doi.org/10.1007/3-540-36384-x_24openalex-snapshot
Efficient Computation of Recurrence Diameters
inferredcites →https://doi.org/10.1007/3-540-45657-0_7openalex-snapshot
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
inferredcites →https://doi.org/10.1007/3-540-57318-6_22openalex-snapshot
Verifying hybrid systems
inferredcites →https://doi.org/10.1007/3-540-60360-3_42openalex-snapshot
Static analysis of communication for asynchronous concurrent programming languages
inferredcites →https://doi.org/10.1007/978-0-387-68612-7openalex-snapshot
Introduction to Discrete Event Systems
inferredcites →https://doi.org/10.1007/978-3-030-41131-2_4openalex-snapshot
Reactors: A Deterministic Model for Composable Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-031-13185-1_27openalex-snapshot
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_40openalex-snapshot
An SMT-Based Approach to Coverability Analysis
inferredcites →https://doi.org/10.1007/978-3-319-66197-1_9openalex-snapshot
Specification and Automated Verification of Dynamic Dataflow Networks
inferredcites →https://doi.org/10.1007/978-3-540-88194-0openalex-snapshot
Formal Methods and Software Engineering
inferredcites →https://doi.org/10.1007/978-3-642-20398-5_21openalex-snapshot
Model Checking Using SMT and Theory of Lists
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_44openalex-snapshot
Linear Completeness Thresholds for Bounded Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-38856-9_24openalex-snapshot
Automatic Verification of Erlang-Style Concurrency
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_26openalex-snapshot
CBMC – C Bounded Model Checker
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/s10009-008-0091-0openalex-snapshot
Bounded model checking of software using SMT solvers instead of SAT solvers
inferredcites →https://doi.org/10.1007/s10009-012-0244-zopenalex-snapshot
CADP 2011: a toolbox for the construction and analysis of distributed processes
inferredcites →https://doi.org/10.1016/j.entcs.2004.12.021openalex-snapshot
SAT-based Induction for Temporal Safety Properties
inferredcites →https://doi.org/10.1016/j.entcs.2005.07.017openalex-snapshot
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs
inferredcites →https://doi.org/10.1016/j.scico.2014.01.008openalex-snapshot
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
inferredcites →https://doi.org/10.1016/s0167-8191(99)00070-8openalex-snapshot
Advances in the dataflow computational model
inferredcites →https://doi.org/10.1063/1.5012394openalex-snapshot
Review of advanced driver assistance systems (ADAS)
inferredcites →https://doi.org/10.1109/32.159839openalex-snapshot
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
inferredcites →https://doi.org/10.1109/32.265634openalex-snapshot
Proving properties of real-time systems through logical specifications and Petri net models
inferredcites →https://doi.org/10.1109/5.97297openalex-snapshot
The synchronous approach to reactive and real-time systems
inferredcites →https://doi.org/10.1109/ase.2009.88openalex-snapshot
A Framework for State-Space Exploration of Java-Based Actor Programs
inferredcites →https://doi.org/10.1109/date.2008.4484672openalex-snapshot
Parametric Throughput Analysis of Synchronous Data Flow Graphs
inferredcites →https://doi.org/10.1109/fdl50818.2020.9232939openalex-snapshot
A Language for Deterministic Coordination Across Multiple Timelines
inferredcites →https://doi.org/10.1109/fmcad14388.2008openalex-snapshot
2008 Formal Methods in Computer-Aided Design
inferredcites →https://doi.org/10.1109/isorc12072.2007openalex-snapshot
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
inferredcites →https://doi.org/10.1109/mvt.2006.343641openalex-snapshot
Wireless communications for vehicle safety: Radio link performance and wireless connectivity methods
inferredcites →https://doi.org/10.1109/proc.1987.13876openalex-snapshot
Synchronous data flow
inferredcites →https://doi.org/10.1145/1141277.1141704openalex-snapshot
Modere
inferredcites →https://doi.org/10.1145/1837274.1837461openalex-snapshot
Cyber-physical systems
inferredcites →https://doi.org/10.1145/1869542.1869625openalex-snapshot
Xtext
inferredcites →https://doi.org/10.1145/2491509.2491514openalex-snapshot
Bounded satisfiability checking of metric temporal logic specifications
inferredcites →https://doi.org/10.1145/2627752openalex-snapshot
Herding Cats
inferredcites →https://doi.org/10.1145/2687357.2687368openalex-snapshot
Savina - An Actor Benchmark Suite
inferredcites →https://doi.org/10.1145/2980024.2872399openalex-snapshot
COATCheck
inferredcites →https://doi.org/10.1145/3337932.3338812openalex-snapshot
Effpi
inferredcites →https://doi.org/10.1145/3448128openalex-snapshot
Toward a Lingua Franca for Deterministic Concurrent Systems
inferredcites →https://doi.org/10.1145/359104.359108openalex-snapshot
An improved algorithm for decentralized extrema-finding in circular configurations of processes
inferredcites →https://doi.org/10.2168/lmcs-3(1:8)2007openalex-snapshot
On the decidability and complexity of Metric Temporal Logic over finite words
inferredcites →https://doi.org/10.3233/978-1-58603-929-5-457openalex-snapshot
Bounded Model Checking
inferredcites →https://doi.org/10.3390/math8071068openalex-snapshot
Verification of Cyberphysical Systems
inferredcites →https://doi.org/10.48550/arxiv.2109.07771openalex-snapshot
Quantifying and Generalizing the CAP Theorem
inferredcites →https://doi.org/10.48550/arxiv.2207.09555openalex-snapshot
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4830040openalex-extracted
Time Automata-Based Approach for Modeling and Risk Assessment of Industrial Robot Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-70893-0_8openalex-snapshot
SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_1openalex-snapshot
Modelling Cyber-Physical Systems for Verification and Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_4openalex-snapshot
Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_2openalex-snapshot
Efficient Verification of Lingua Franca Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_21openalex-snapshot
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
inferred← citeshttps://doi.org/10.1007/978-3-032-35298-9_17openalex-snapshot
LF-Mc: An Efficient Verifier for Lingua Franca
inferred← citeshttps://doi.org/10.1016/j.compind.2026.104494openalex-snapshot
A timed automata-based approach for modeling and risk assessment of industrial robot systems
inferred← citeshttps://doi.org/10.1109/les.2024.3469278openalex-snapshot
Navigating Time and Energy Tradeoffs in Reactive Heterogeneous Systems
inferred← citeshttps://doi.org/10.1109/ticps.2025.3556065openalex-snapshot
iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1145/3762653openalex-snapshot
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
inferred← citeshttps://doi.org/10.1145/3831586.3838154openalex-snapshot
D eter V: Verifying Deterministic Parallel Execution
inferred← citeshttps://doi.org/10.18255/1818-1015-2024-3-240-279openalex-snapshot
LTL-specification for development and verification of logical control programs in feedback systems
inferred← citeshttps://doi.org/10.21941/kcss/2024/1openalex-snapshot
Language Design for Reactive Systems
inferred← citeshttps://doi.org/10.3103/s0146411625700312openalex-snapshot
LTL Specification for the Development and Verification of Logical Control Programs in Feedback Systems
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.