On the public citation graph

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

https://doi.org/10.1007/bfb0015452
0 signed · 34 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.1002/0471028959.sof458openalex-snapshot
Jaehnichen, Stefan
inferred← citeshttps://doi.org/10.1007/1-4020-8153-7_13openalex-snapshot
Handling Human Factors in Integrated Systems Engineering
inferred← citeshttps://doi.org/10.1007/11539452_9openalex-snapshot
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
inferred← citeshttps://doi.org/10.1007/11867340_10openalex-snapshot
Model Checking Timed Automata with Priorities Using DBM Subtraction
inferred← citeshttps://doi.org/10.1007/3-540-44978-7_13openalex-snapshot
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations
inferred← citeshttps://doi.org/10.1007/3-540-45541-8_7openalex-snapshot
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_6openalex-snapshot
An Architecture for Interactive Program Provers
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_8openalex-snapshot
Enhancing the pre- and postcondition technique for more expressive specifications
inferred← citeshttps://doi.org/10.1007/3-540-60117-1_3openalex-snapshot
Mathematics of software engineering
inferred← citeshttps://doi.org/10.1007/3-540-60406-5_20openalex-snapshot
Tool support for formal software development: A generic architecture
inferred← citeshttps://doi.org/10.1007/3-540-61464-8_62openalex-snapshot
Efficient second-order matching
inferred← citeshttps://doi.org/10.1007/3-540-69108-1_20openalex-snapshot
ESTL: A Temporal Logic for Events and States
inferred← citeshttps://doi.org/10.1007/978-3-031-92196-4_1openalex-snapshot
A Tale of Formal Methods, Organic Computing, and Intelligent Robotics — The Scientific Life of Wolfgang Reif
inferred← citeshttps://doi.org/10.1007/978-3-031-92196-4_4openalex-snapshot
The Many Uses of Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_1openalex-snapshot
A Homage to Martin Wirsing
inferred← citeshttps://doi.org/10.1007/978-3-540-25984-8_12openalex-snapshot
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
inferred← citeshttps://doi.org/10.1007/978-3-540-30138-7_8openalex-snapshot
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_22openalex-snapshot
Towards MultiMedia Instruction in Safe and Secure Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_24openalex-snapshot
Formal Software Development in MAYA
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_23openalex-snapshot
A Heterogeneous Approach to UML Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-72621-0_5openalex-snapshot
Electronic ticketing: risks in e-commerce applications
inferred← citeshttps://doi.org/10.1007/978-3-540-76550-9_7openalex-snapshot
Die 90er Jahre
inferred← citeshttps://doi.org/10.1007/978-3-540-87698-4_22openalex-snapshot
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information
inferred← citeshttps://doi.org/10.1007/978-3-642-41533-3_47openalex-snapshot
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-60858-2_20openalex-snapshot
Mathematical Methods in System and Software Engineering
inferred← citeshttps://doi.org/10.1007/978-94-017-0487-8_11openalex-snapshot
From Higher Order Terms To Circuits
inferred← citeshttps://doi.org/10.1007/bfb0015250openalex-snapshot
Mathematical system models as a basis of software engineering
inferred← citeshttps://doi.org/10.1007/bfb0028398openalex-snapshot
A theory of structured model-based specifications in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/s10009-006-0015-9openalex-snapshot
An ontology for software component matching
inferred← citeshttps://doi.org/10.1016/j.ipl.2003.12.008openalex-snapshot
Deterministic second-order patterns
inferred← citeshttps://doi.org/10.1017/s1471068408003451openalex-snapshot
Checking the quality of clinical guidelines using automated reasoning tools
inferred← citeshttps://doi.org/10.1109/iat.2006.112openalex-snapshot
Specification and Verification of Dynamics in Cognitive Agent Models
inferred← citeshttps://doi.org/10.1109/ispse.2000.913246openalex-snapshot
Calculation carrying programs - how to code program transformations
inferred← citeshttps://doi.org/10.1142/s0218843009001987openalex-snapshot
SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT 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.