On the public citation graph

Fundamental Approaches to Software Engineering

https://doi.org/10.1007/b107062
0 signed · 42 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/3-540-45657-0_13openalex-snapshot
Conformance Checking for Models of Asynchronous Message Passing Software
inferredcites →https://doi.org/10.1007/3-540-61626-8_83openalex-snapshot
Partial evaluation scheme for concurrent languages and its correctness
inferredcites →https://doi.org/10.1007/978-3-540-28630-1_5openalex-snapshot
Automatic Generation of Program Families by Model Restrictions
inferredcites →https://doi.org/10.1007/bfb0039066openalex-snapshot
The linear time - branching time spectrum
inferredcites →https://doi.org/10.1007/bfb0054173openalex-snapshot
Verification of large state/event systems using compositionality and dependency analysis
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
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(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0304-3975(87)90007-7openalex-snapshot
A context dependent equivalence between processes
inferredcites →https://doi.org/10.1016/0890-5401(92)90025-bopenalex-snapshot
A compositional protocol verification using relativized bisimulation
inferredcites →https://doi.org/10.1016/s0304-3975(03)00325-6openalex-snapshot
A generic type system for the Pi-calculus
inferredcites →https://doi.org/10.1145/289121.289132openalex-snapshot
Partial evaluation of concurrent constraint languages
inferredcites →https://doi.org/10.21236/ada196047openalex-snapshot
I/O Automata: A Model for Discrete Event Systems

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-540-77010-7_30openalex-snapshot
Exploiting Profile Modeling for Web-Based Information Systems
inferred← citeshttps://doi.org/10.1007/s10207-009-0086-1openalex-snapshot
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
inferred← citeshttps://doi.org/10.1016/b978-0-12-800162-2.00004-xopenalex-snapshot
Adapting Multi-Criteria Decision Analysis for Assessing the Quality of Software Products. Current Approaches and Future Perspectives
inferred← citeshttps://doi.org/10.1016/b978-0-12-821343-8.00025-3openalex-snapshot
Tactile computing: Essential building blocks for the Tactile Internet
inferred← citeshttps://doi.org/10.1016/b978-0-12-821343-8.00030-7openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/j.asoc.2011.01.023openalex-snapshot
Evolutionary repair of faulty software
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.08.041openalex-snapshot
Modelchecking Correctness of Refactorings - Some Experiments
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.020openalex-snapshot
Recent Advances in Real-Time Maude
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.023openalex-snapshot
A Static Semantics for Alloy and its Impact in Refactorings
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.06.005openalex-snapshot
Abstraction and Completeness for Real-Time Maude
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.055openalex-snapshot
Regular Strategies as Proof Tactics for CIRC
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.029openalex-snapshot
Graph Transformation Semantics for a QVT Language
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.028openalex-snapshot
Composing Modal Properties of Programs with Procedures
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.06.022openalex-snapshot
Probabilistic Analysis of Wireless Systems Using Theorem Proving
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.11.006openalex-snapshot
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.01.002openalex-snapshot
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
inferred← citeshttps://doi.org/10.1016/j.eswa.2012.02.126openalex-snapshot
A knowledge-based system for improving the consistency between object models and use case narratives
inferred← citeshttps://doi.org/10.1016/j.ijinfomgt.2016.05.024openalex-snapshot
UML models consistency management: Guidelines for software quality manager
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.10.008openalex-snapshot
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.08.006openalex-snapshot
An extensive systematic review on the Model-Driven Development of secure systems
inferred← citeshttps://doi.org/10.1016/j.istr.2008.03.002openalex-snapshot
White and grey-box verification and validation approaches for safety- and security-critical software systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100640openalex-snapshot
On checking equivalence of simulation scripts
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.01.001openalex-snapshot
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.05.004openalex-snapshot
Session types for safe Web service orchestration
inferred← citeshttps://doi.org/10.1016/j.ress.2020.107066openalex-snapshot
Integrated Stateflow-based simulation modelling and testability evaluation for electronic built-in-test (BIT) systems
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.029openalex-snapshot
Specification of temporal properties with OCL
inferred← citeshttps://doi.org/10.1016/j.scico.2016.02.002openalex-snapshot
Safe and efficient runtime testing framework applied in dynamic and distributed systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.09.022openalex-snapshot
Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
inferred← citeshttps://doi.org/10.1371/journal.pone.0163346openalex-snapshot
Technique for Early Reliability Prediction of Software Components Using Behaviour Models
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.