On the public citation graph
Modelling statecharts behaviour in a fully abstract way
0 signed · 71 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.1007/3-540-11160-3_6openalex-snapshot
On the algorithmic properties of concurrent programs
inferredcites →https://doi.org/10.1007/3-540-15670-4_19openalex-snapshot
The ESTEREL synchronous programming language and its mathematical semantics
inferredcites →https://doi.org/10.1007/3-540-17943-7_123openalex-snapshot
An axiomatic approach to the specification of distributed computer architectures
inferredcites →https://doi.org/10.1007/3-540-17945-3_18openalex-snapshot
A compositional proof theory for real-time distributed message passing
inferredcites →https://doi.org/10.1007/3-540-18088-5_9openalex-snapshot
A timed failures model for extended communicating processes
inferredcites →https://doi.org/10.1007/bf02252954openalex-snapshot
A formal approach to designing delay-insensitive circuits
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
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/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/0890-5401(88)90020-xopenalex-snapshot
Compositional semantics for real-time distributed computing
inferredcites →https://doi.org/10.1016/s0019-9958(71)90355-xopenalex-snapshot
Proving algorithms by tail functions
inferredcites →https://doi.org/10.1109/tassp.1986.1164809openalex-snapshot
Signal--A data flow-oriented language for signal processing
inferredcites →https://doi.org/10.1145/41625.41645openalex-snapshot
Full abstraction of a real-time denotational semantics for an OCCAM-like language
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11557432_8openalex-snapshot
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_14openalex-snapshot
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_26openalex-snapshot
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
inferred← citeshttps://doi.org/10.1007/3-540-52148-8_4openalex-snapshot
Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
inferred← citeshttps://doi.org/10.1007/3-540-54415-1_49openalex-snapshot
What is in a step: On the semantics of statecharts
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
inferred← citeshttps://doi.org/10.1007/3-540-56346-6_25openalex-snapshot
From equations to hardware. Towards the systematic mapping of algorithms onto parallel architectures
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_163openalex-snapshot
A comparison of Statecharts variants
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_213openalex-snapshot
Statecharts, transition structures and transformations
inferred← citeshttps://doi.org/10.1007/3-540-62222-5_48openalex-snapshot
A formal foundation for distributed workflow execution based on state charts
inferred← citeshttps://doi.org/10.1007/3-540-63141-0_13openalex-snapshot
Horizontal and vertical structuring techniques for statecharts
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_42openalex-snapshot
Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3240-0_2openalex-snapshot
Formal Semantics for Ward & Mellor’s Transformation Schemas
inferred← citeshttps://doi.org/10.1007/978-1-4471-3860-0_15openalex-snapshot
A Compositional Axiomatisation of Safety and Liveness Properties for Statecharts
inferred← citeshttps://doi.org/10.1007/978-1-4613-1347-2_1openalex-snapshot
Integrating Operational Specification with Performance Modeling for Digital-System Design
inferred← citeshttps://doi.org/10.1007/978-3-540-27813-9_1openalex-snapshot
Rob Tristan Gerth: 1956-2003
inferred← citeshttps://doi.org/10.1007/978-3-540-30464-7_56openalex-snapshot
An Approach to Formalizing the Semantics of UML Statecharts
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_1openalex-snapshot
A Bibliography of Willem-Paul de Roever
inferred← citeshttps://doi.org/10.1007/978-3-642-13754-9_15openalex-snapshot
What Is in a Step: New Perspectives on a Classical Question
inferred← citeshttps://doi.org/10.1007/bfb0031997openalex-snapshot
Semantics of reactive systems in abstract time
inferred← citeshttps://doi.org/10.1007/bfb0084815openalex-snapshot
Operational and compositional semantics of synchronous automaton compositions
inferred← citeshttps://doi.org/10.1007/pl00013710openalex-snapshot
Behavioural Views for Software Requirements Engineering
inferred← citeshttps://doi.org/10.1007/s00236-015-0238-xopenalex-snapshot
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
inferred← citeshttps://doi.org/10.1007/s10270-006-0042-8openalex-snapshot
UML vs. classical vs. rhapsody statecharts: not all models are created equal
inferred← citeshttps://doi.org/10.1016/0020-0190(91)90190-sopenalex-snapshot
Introduction to design choices in the semantics of Statecharts
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90053-iopenalex-snapshot
A compositional axiomatization of Statecharts
inferred← citeshttps://doi.org/10.1016/0967-0661(93)92108-gopenalex-snapshot
A statecharts-based specification and verification of real-time job scheduling systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-041699-1.50015-xopenalex-snapshot
A real-time reactive model of control of an autonomous mobile robot
inferred← citeshttps://doi.org/10.1016/b978-0-08-041708-0.50012-xopenalex-snapshot
Verification of timing properties in a statecharts-based model of real-time reactive systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-041894-0.50047-2openalex-snapshot
A STATECHARTS-BASED SPECIFICATION AND VERIFICATION OF REAL-TIME JOB SCHEDULING SYSTEMS
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.09.029openalex-snapshot
An Algebraic Theory Of Boundary Crossing Transitions
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.09.007openalex-snapshot
Constructive semantics for instantaneous reactions
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00016-9openalex-snapshot
Argos: an automaton-based synchronous language
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00381-4openalex-snapshot
A comparison of Statecharts step semantics
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)42663-2openalex-snapshot
A Semantics-Preserving Transformation of Statecharts to FNLOG
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49042-2openalex-snapshot
Specification of Real-time Job Scheduling Systems Using Timed Statecharts
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)50159-7openalex-snapshot
A Statecharts-Based Specification and Verification of Real-TIme Job Scheduling Systems
inferred← citeshttps://doi.org/10.1109/32.667880openalex-snapshot
Extending statecharts with temporal logic
inferred← citeshttps://doi.org/10.1109/43.31537openalex-snapshot
Using statecharts for hardware description and synthesis
inferred← citeshttps://doi.org/10.1109/cmpeur.1990.113615openalex-snapshot
Hierarchical specification of reactive systems: a case study
inferred← citeshttps://doi.org/10.1109/ecbs.1996.494542openalex-snapshot
Behavioral views for software requirements engineering
inferred← citeshttps://doi.org/10.1109/icdcs.1991.148655openalex-snapshot
An object-oriented approach to formal specification of reactive systems
inferred← citeshttps://doi.org/10.1109/ispdc.2008.60openalex-snapshot
UML Statecharts Compositional Semantics in LOTOS
inferred← citeshttps://doi.org/10.1109/real.1989.63558openalex-snapshot
Communicating shared resources: a model for distributed real-time systems
inferred← citeshttps://doi.org/10.1109/real.1989.63578openalex-snapshot
From synchronous intensional programming to efficient implementation
inferred← citeshttps://doi.org/10.1145/136586.136589openalex-snapshot
On statecharts with overlapping
inferred← citeshttps://doi.org/10.1145/235321.235322openalex-snapshot
The STATEMATE semantics of statecharts
inferred← citeshttps://doi.org/10.1145/355045.355062openalex-snapshot
A compositional approach to statecharts semantics
inferred← citeshttps://doi.org/10.1145/357474.355062openalex-snapshot
A compositional approach to statecharts semantics
inferred← citeshttps://doi.org/10.1145/504077.504078openalex-snapshot
The intuitionism behind Statecharts steps
inferred← citeshttps://doi.org/10.14279/depositonce-628openalex-snapshot
Model checking combined Z and Statechart specifications
inferred← citeshttps://doi.org/10.3990/1.9783952285008openalex-snapshot
Extensions of Statecharts with probability, time, and stochastic timing
inferred← citeshttps://doi.org/10.4038/engineer.v46i2.6907openalex-snapshot
Formal Verification Strategy for Statechart based Design of Reconfigurable Control of High Integrity Reactive Systems
inferred← citeshttps://doi.org/10.47749/t/unicamp.1993.62398openalex-snapshot
Construção de interfaces homem-computador:
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.