On the public citation graph

Fundamental Approaches to Software Engineering

https://doi.org/10.1007/b92746
0 signed · 41 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 points at this work

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

inferred← citeshttps://doi.org/10.1007/1-4020-8143-x_5openalex-snapshot
Analyzing Network Management Effects with SPIN and cTLA
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.026openalex-snapshot
A Program Logic for Bytecode
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.025openalex-snapshot
Cooperation-based Invariants for OO Languages
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.05.026openalex-snapshot
Automatic Verification of Bossa Scheduler Properties
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.05.034openalex-snapshot
Formal Fault Tree Analysis - Practical Experiences
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.084openalex-snapshot
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.06.043openalex-snapshot
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
inferred← citeshttps://doi.org/10.1016/j.jsc.2016.07.014openalex-snapshot
Mechanically certifying formula-based Noetherian induction reasoning
inferred← citeshttps://doi.org/10.1016/j.scico.2005.05.003openalex-snapshot
To use or not to use the goto statement: Programming styles viewed from Hoare Logic
inferred← citeshttps://doi.org/10.1016/j.scico.2006.03.001openalex-snapshot
Modular invariants for layered object structures
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.026openalex-snapshot
A perspective on architectural re-engineering
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.016openalex-snapshot
Supervisory control theory with Alloy
inferred← citeshttps://doi.org/10.1016/j.scico.2018.03.002openalex-snapshot
Zone-based formal specification and timing analysis of real-time self-adaptive systems
inferred← citeshttps://doi.org/10.1016/j.scico.2018.10.005openalex-snapshot
Structure and behavior preserving statecharts refinements
inferred← citeshttps://doi.org/10.1016/j.scico.2019.06.001openalex-snapshot
A calculus for dynamic architectures
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.11.020openalex-snapshot
HasCasl: Integrated higher-order specification and program development
inferred← citeshttps://doi.org/10.1016/s0020-0190(03)00387-9openalex-snapshot
On the design of correct and optimal dynamical systems and games
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80731-xopenalex-snapshot
Transforming Application Compositions with XSLTs
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80744-8openalex-snapshot
Modeling Petri Net Based Systems by Net Transformations
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80808-9openalex-snapshot
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
inferred← citeshttps://doi.org/10.1109/icsm.1999.792635openalex-snapshot
A two-phase process for software architecture improvement
inferred← citeshttps://doi.org/10.1109/wpc.1999.777742openalex-snapshot
An architecture for automated software maintenance
inferred← citeshttps://doi.org/10.1145/2422498.2422507openalex-snapshot
Incremental development of large, secure smart card applications
inferred← citeshttps://doi.org/10.1145/3106411openalex-snapshot
A Logic-Based Approach for the Verification of UML Timed Models
inferred← citeshttps://doi.org/10.1145/3125374.3125382openalex-snapshot
Towards a Green Ranking for Programming Languages
inferred← citeshttps://doi.org/10.1145/3238147.3240473openalex-snapshot
jStanley: placing a green thumb on Java collections
inferred← citeshttps://doi.org/10.1145/3278122.3278130openalex-snapshot
Measuring effectiveness of sample-based product-line testing
inferred← citeshttps://doi.org/10.1145/3393934.3278130openalex-snapshot
Measuring effectiveness of sample-based product-line testing
inferred← citeshttps://doi.org/10.1145/3417113.3423000openalex-snapshot
Energy wars - Chrome vs. Firefox
inferred← citeshttps://doi.org/10.1145/3428259openalex-snapshot
Taming type annotations in gradual typing
inferred← citeshttps://doi.org/10.1145/3470133openalex-snapshot
A Systematic Review of API Evolution Literature
inferred← citeshttps://doi.org/10.1145/3494322.3494328openalex-snapshot
Integrating Multi-Disciplinary Offline and Online Engineering in Industrial Cyber-Physical Systems through DevOps
inferred← citeshttps://doi.org/10.1145/3533767.3534369openalex-snapshot
ATR: template-based repair for Alloy specifications
inferred← citeshttps://doi.org/10.1145/3571249openalex-snapshot
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
inferred← citeshttps://doi.org/10.1145/3579027.3609001openalex-snapshot
Automata Learning for Dynamic Software Product Lines
inferred← citeshttps://doi.org/10.1145/3622758.3622891openalex-snapshot
Code Merging using Transformations and Member Identity
inferred← citeshttps://doi.org/10.1145/3677995.3678194openalex-snapshot
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
inferred← citeshttps://doi.org/10.1145/3678720.3685316openalex-snapshot
A Reversible Debugger for MPI Applications
inferred← citeshttps://doi.org/10.1145/3704870openalex-snapshot
The Decision Problem for Regular First Order Theories
inferred← citeshttps://doi.org/10.1145/985072.985079openalex-snapshot
Toward a management framework for self-adaptive systems
inferred← citeshttps://doi.org/10.11606/d.2.2022.tde-16112022-130402openalex-snapshot
>i /i<: caracterização e aplicação no direito contratual brasileiro
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.