On the public citation graph
Unifying models
0 signed · 56 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.1006/inco.1994.1028openalex-snapshot
Characteristic Formulas for Processes with Divergence
inferredcites →https://doi.org/10.1007/3-540-52148-8_1openalex-snapshot
Process calculi, from theory to practice: Verification tools
inferredcites →https://doi.org/10.1007/3-540-55253-7_1openalex-snapshot
Model checking and boolean graphs
inferredcites →https://doi.org/10.1007/3-540-56496-9_4openalex-snapshot
Efficient local correctness checking
inferredcites →https://doi.org/10.1007/3-540-56922-7_21openalex-snapshot
Timed modal specification — Theory and tools
inferredcites →https://doi.org/10.1007/3-540-57318-6_28openalex-snapshot
An approach to the description and analysis of hybrid systems
inferredcites →https://doi.org/10.1007/3-540-58555-9_122openalex-snapshot
Formalising the semantics of Ward/Mellor SA/RT essential models using a process algebra
inferredcites →https://doi.org/10.1007/978-1-4471-3534-0_7openalex-snapshot
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems
inferredcites →https://doi.org/10.1007/978-3-642-82921-5_4openalex-snapshot
Notes on Communicating Sequential Systems
inferredcites →https://doi.org/10.1007/bf01088591openalex-snapshot
Giving semantics to SA/RT by means of high-level timed Petri nets
inferredcites →https://doi.org/10.1007/bf01211434openalex-snapshot
Towards a formal foundation of the specification and description language SDL
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0167-6423(93)90003-8openalex-snapshot
Generating data flow analysis algorithms from modal specifications
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50009-3openalex-snapshot
Automata on Infinite Objects
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1093/oso/9780198537809.003.0005openalex-snapshot
Abstract interpretation: a semantics-based tool for program analysis
inferredcites →https://doi.org/10.1109/32.90448openalex-snapshot
Informal and formal requirements specification languages: bridging the gap
inferredcites →https://doi.org/10.1145/237721.237733openalex-snapshot
Faster checking of software specifications by eliminating isomorphs
inferredcites →https://doi.org/10.1145/242224.242296openalex-snapshot
Method engineering for real-life concurrent systems
inferredcites →https://doi.org/10.1145/242224.242385openalex-snapshot
Tools get formal methods into practice
inferredcites →https://doi.org/10.1145/357233.357237openalex-snapshot
Synthesis of Communicating Processes from Temporal Logic Specifications
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45923-5_6openalex-snapshot
Model Generation by Moderated Regular Extrapolation
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_13openalex-snapshot
Flexible and Reliable Process Model Properties: An Integrated Approach
inferred← citeshttps://doi.org/10.1007/3-540-49727-7_22openalex-snapshot
Program Analysis as Model Checking of Abstract Interpretations
inferred← citeshttps://doi.org/10.1007/978-1-4471-2297-5_10openalex-snapshot
Service-Orientation: Conquering Complexity with XMDD
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_12openalex-snapshot
Predicate Abstraction and Such...
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_2openalex-snapshot
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-03418-4_15openalex-snapshot
Towards Interactive Compilation Models
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_20openalex-snapshot
On the Expressiveness of Joining and Splitting
inferred← citeshttps://doi.org/10.1007/978-3-319-27810-0_10openalex-snapshot
Playing with Abstraction and Representation
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_12openalex-snapshot
Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts
inferred← citeshttps://doi.org/10.1007/978-3-319-96562-8_8openalex-snapshot
Constraint-Based Behavioral Consistency of Evolving Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24626-8_11openalex-snapshot
Model Generation for Legacy Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_35openalex-snapshot
Agile IT: Thinking in User-Centric Models
inferred← citeshttps://doi.org/10.1007/978-3-642-18275-4_4openalex-snapshot
Quality Engineering: Leveraging Heterogeneous Information
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_4openalex-snapshot
Synthesis-Based Variability Control: Correctness by Construction
inferred← citeshttps://doi.org/10.1007/978-3-642-39176-7_21openalex-snapshot
Property-Driven Benchmark Generation
inferred← citeshttps://doi.org/10.1007/s10009-012-0254-xopenalex-snapshot
A constraint-based variability modeling framework
inferred← citeshttps://doi.org/10.1007/s10009-014-0336-zopenalex-snapshot
Property-driven benchmark generation: synthesizing programs of realistic structure
inferred← citeshttps://doi.org/10.1007/s10009-014-0339-9openalex-snapshot
Tailored generation of concurrent benchmarks
inferred← citeshttps://doi.org/10.1016/j.cl.2011.11.001openalex-snapshot
Ring: A unifying meta-model and infrastructure for Smalltalk source code analysis tools
inferred← citeshttps://doi.org/10.1109/isorc.2004.1300336openalex-snapshot
Modeling dependable systems: what can model driven development contribute and what likely not?
inferred← citeshttps://doi.org/10.1109/see.1997.591825openalex-snapshot
A formal requirements engineering method for specification, synthesis, and verification
inferred← citeshttps://doi.org/10.1109/sew.2011.17openalex-snapshot
Constraint-oriented Variability Modeling
inferred← citeshttps://doi.org/10.5555/1946284.1946288openalex-snapshot
Quality engineering: leveraging heterogeneous information
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.