On the public citation graph

AMAST Series in Computing

https://doi.org/10.1142/amast
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 points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse410openalex-snapshot
Specification Formalisms and Models
inferred← citeshttps://doi.org/10.1007/1-4020-8149-9_5openalex-snapshot
Modeling and Verification of Hybrid Systems Based on Equations
inferred← citeshttps://doi.org/10.1007/11780274_18openalex-snapshot
Proving Behavioral Refinements of COL-specifications
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_20openalex-snapshot
Formal Verification of the Horn-Preneel Micropayment Protocol
inferred← citeshttps://doi.org/10.1007/3-540-45418-7_2openalex-snapshot
Jakarta: A Toolset for Reasoning about JavaCard
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_60openalex-snapshot
Share-where maintenance in visual algebraic specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_38openalex-snapshot
An Object-Oriented Design for the ACT ONE Environment
inferred← citeshttps://doi.org/10.1007/978-3-319-04298-5_36openalex-snapshot
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents
inferred← citeshttps://doi.org/10.1007/978-3-319-09870-8_5openalex-snapshot
On Verifying Reactive Rules Using Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-75396-6_8openalex-snapshot
Model Transformations as Free Constructions
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_29openalex-snapshot
Modeling and Formal Verification of Production Automation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_30openalex-snapshot
Verifying Design with Proof Scores
inferred← citeshttps://doi.org/10.1007/978-3-540-79707-4_6openalex-snapshot
Introducing Time in an Industrial Application of Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_6openalex-snapshot
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2_22openalex-snapshot
An Institution for Imperative RSL Specifications
inferred← citeshttps://doi.org/10.1007/bfb0014423openalex-snapshot
Algebraic specification languages: An overview
inferred← citeshttps://doi.org/10.1007/bfb0015461openalex-snapshot
How to cope with the Spectrum of Spectrum
inferred← citeshttps://doi.org/10.1007/s00165-006-0091-3openalex-snapshot
Procedure compilation in the refinement calculus
inferred← citeshttps://doi.org/10.1007/s001650050015openalex-snapshot
A Formal Definition of Time in LOTOS
inferred← citeshttps://doi.org/10.1007/s10485-023-09753-wopenalex-snapshot
Partialising Institutions
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.005openalex-snapshot
An Action Environment
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.07.012openalex-snapshot
Playing with Maude
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.056openalex-snapshot
TIDE: A Generic Debugging Framework — Tool Demonstration —
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.057openalex-snapshot
An Action Compiler Targeting Standard ML
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.037openalex-snapshot
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.007openalex-snapshot
Scannerless Boolean Parsing
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.06.018openalex-snapshot
Rewriting Logic Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.020openalex-snapshot
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.018openalex-snapshot
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.013openalex-snapshot
Order-Sorted Generalization
inferred← citeshttps://doi.org/10.1016/j.ipl.2009.09.008openalex-snapshot
An encoding of partial algebras as total algebras
inferred← citeshttps://doi.org/10.1016/j.jlap.2003.12.002openalex-snapshot
Generation of abstract programming interfaces from syntax definitions
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.09.002openalex-snapshot
Constructor-based observational logic
inferred← citeshttps://doi.org/10.1016/j.jlap.2007.07.002openalex-snapshot
Soundness in verification of algebraic specifications with OBJ
inferred← citeshttps://doi.org/10.1016/j.jlap.2009.09.001openalex-snapshot
Quasi-boolean encodings and conditionals in algebraic specification
inferred← citeshttps://doi.org/10.1016/j.jsc.2004.12.011openalex-snapshot
A survey of strategies in rule-based program transformation systems
inferred← citeshttps://doi.org/10.1016/j.scico.2004.03.003openalex-snapshot
Algebraic reasoning for object-oriented programming
inferred← citeshttps://doi.org/10.1016/j.scico.2006.05.013openalex-snapshot
An action compiler targeting Standard ML
inferred← citeshttps://doi.org/10.1016/j.scico.2006.10.011openalex-snapshot
Modeling and verification of real-time systems based on equations
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.10.030openalex-snapshot
Interpolation in Grothendieck Institutions
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.06.015openalex-snapshot
Behavioural specification for hierarchical object composition
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.02.068openalex-snapshot
Ultraproducts and possible worlds semantics in institutions
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.04.008openalex-snapshot
On the algebra of structured specifications
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00059-5openalex-snapshot
Min-max Computation Tree Logic
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00018-4openalex-snapshot
The embedded software of an electricity meter: An experience in using formal methods in an industrial project
inferred← citeshttps://doi.org/10.1016/s0167-6423(97)00021-xopenalex-snapshot
The discrete time ToolBus — A software coordination architecture
inferred← citeshttps://doi.org/10.1016/s0169-7552(96)00078-5openalex-snapshot
An introduction to ET-LOTOS for the description of time-sensitive systems
inferred← citeshttps://doi.org/10.1016/s0169-7552(96)00110-9openalex-snapshot
Structural models for specifying telephone systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00011-7openalex-snapshot
Dynamic connectors for concurrency
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00268-5openalex-snapshot
Polymorphic syntax definition
inferred← citeshttps://doi.org/10.1016/s1567-8326(01)00011-xopenalex-snapshot
A hidden Herbrand theorem: combining the object and logic paradigms
inferred← citeshttps://doi.org/10.1080/019697201753229836openalex-snapshot
FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
inferred← citeshttps://doi.org/10.1109/access.2021.3093211openalex-snapshot
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
inferred← citeshttps://doi.org/10.1109/apaqs.2001.990041openalex-snapshot
Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm
inferred← citeshttps://doi.org/10.1109/apsec.2018.00024openalex-snapshot
Specification and Verification of Invariant Properties of Transition Systems
inferred← citeshttps://doi.org/10.1109/cic.2017.00041openalex-snapshot
Security Failure Trends of Cloud Computing
inferred← citeshttps://doi.org/10.1109/isia51297.2020.9416542openalex-snapshot
Validation of UML Class Diagram and OCL pre-and post-conditions using OTS/CafeOBJ proof scores
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00057openalex-snapshot
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol
inferred← citeshttps://doi.org/10.1109/saci49304.2020.9118825openalex-snapshot
Mathematical Formalism of Sequential Automaton with Parallel Branches used in Industrial Automation
inferred← citeshttps://doi.org/10.1109/tase52547.2021.00012openalex-snapshot
Advances of Proof Scores in CafeOBJ : Invited Paper
inferred← citeshttps://doi.org/10.1109/wift.1995.515483openalex-snapshot
Automated modular specification and verification of real-time reactive systems
inferred← citeshttps://doi.org/10.1145/1509096.1509116openalex-snapshot
Checking assignments of controls to risks for internal control
inferred← citeshttps://doi.org/10.1145/295558.295560openalex-snapshot
Composition and refinement of discrete real-time systems
inferred← citeshttps://doi.org/10.7717/peerj-cs.1284openalex-snapshot
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
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.