On the public citation graph
Operational and compositional semantics of synchronous automaton compositions
0 signed · 138 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-52148-8_4openalex-snapshot
Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_17openalex-snapshot
On the Development of Reactive Systems
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0026110openalex-snapshot
Modelling statecharts behaviour in a fully abstract way
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)90071-kopenalex-snapshot
An implementation of an efficient algorithm for bisimulation equivalence
inferredcites →https://doi.org/10.1016/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
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/3788687openalex-snapshot
An Introduction to Input/Output Automata
inferredcites →https://doi.org/10.1145/41625.41641openalex-snapshot
LUSTRE: a declarative language for real-time programming
inferredcites →https://doi.org/10.6100/ir348201openalex-snapshot
Semantics of reactive systems : comparison and full abstraction
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2526openalex-snapshot
Detecting safety‐related components in statecharts through traceability and model slicing
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-45263-x_6openalex-snapshot
On Timed Coordination Languages
inferred← citeshttps://doi.org/10.1007/3-540-45315-6_26openalex-snapshot
An Axiomatic Semantics for the Synchronous Language Gentzen
inferred← citeshttps://doi.org/10.1007/3-540-45352-0_18openalex-snapshot
Compositional Verification of Synchronous Networks
inferred← citeshttps://doi.org/10.1007/3-540-45440-3_19openalex-snapshot
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_7openalex-snapshot
Embedded Control: From Asynchrony to Synchrony and Back
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-46423-9_17openalex-snapshot
MATOU: An Implementation of Mode-Automata
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_8openalex-snapshot
Translation Validation: From DC+ to C
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_28openalex-snapshot
Statecharts via Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_16openalex-snapshot
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages
inferred← citeshttps://doi.org/10.1007/3-540-49213-5_19openalex-snapshot
On the Combination of Synchronous Languages
inferred← citeshttps://doi.org/10.1007/3-540-49254-2_11openalex-snapshot
Formal Verification and Hardware Design with Statecharts
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_29openalex-snapshot
Verifying quantitative real-time properties of synchronous programs
inferred← citeshttps://doi.org/10.1007/3-540-57186-8_96openalex-snapshot
Embedding declarative subprograms into imperative constructs
inferred← citeshttps://doi.org/10.1007/3-540-57209-0_22openalex-snapshot
Integration of structured analysis and timed statecharts for real-time and concurrency specification
inferred← citeshttps://doi.org/10.1007/3-540-58179-0_74openalex-snapshot
Compositional semantics of Esterel and verification by compositional reductions
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-58485-4_40openalex-snapshot
About synchronous programming and abstract interpretation
inferred← citeshttps://doi.org/10.1007/3-540-61055-3_40openalex-snapshot
Compositional semantics of non-deterministic synchronous languages
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_35openalex-snapshot
Compiling Argos into Boolean equations
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_18openalex-snapshot
A process language for statecharts
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_9openalex-snapshot
Communication concepts for statecharts: A semantic foundation
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-63166-6_23openalex-snapshot
Some thoughts on statecharts, 13 years later
inferred← citeshttps://doi.org/10.1007/3-540-63875-x_52openalex-snapshot
Hierarchical automata as model for statecharts
inferred← citeshttps://doi.org/10.1007/978-0-387-34979-4_25openalex-snapshot
Computer-Aided Formal Specification for Concurrent Engineering Platforms
inferred← citeshttps://doi.org/10.1007/978-0-387-35190-2_5openalex-snapshot
An approach to Verilog-VHDL interoperability for synchronous designs
inferred← citeshttps://doi.org/10.1007/978-0-387-35533-7_21openalex-snapshot
A Concise Compositional Statecharts Semantics Definition
inferred← citeshttps://doi.org/10.1007/978-1-4471-0765-1_26openalex-snapshot
Planning and Control of Robot Motion based on Time-Scale Transformation and Iterative Learning Control
inferred← citeshttps://doi.org/10.1007/978-1-4471-1021-7_26openalex-snapshot
Formal Verification in Robotics: Why and How?
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_8openalex-snapshot
Synchronous Observers and the Verification of Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-13050-3_8openalex-snapshot
Model-Driven Software Design Automation for Complex Rehabilitation
inferred← citeshttps://doi.org/10.1007/978-3-319-47846-3_24openalex-snapshot
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
inferred← citeshttps://doi.org/10.1007/978-3-319-68034-7_7openalex-snapshot
Compositional Model Checking Is Lively
inferred← citeshttps://doi.org/10.1007/978-3-322-94703-1_16openalex-snapshot
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification
inferred← citeshttps://doi.org/10.1007/978-3-540-24597-1_36openalex-snapshot
Component-Based Construction of Deadlock-Free Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24599-5_6openalex-snapshot
Concurrency, Time, and Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-24634-3_18openalex-snapshot
On the Expressiveness of Absolute-Time Coordination Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_20openalex-snapshot
Notes on Timed Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_19openalex-snapshot
Composition for Component-Based Modeling
inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_2openalex-snapshot
A Compositional Semantics for Statecharts using Labeled Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20775-4_9openalex-snapshot
Bridging the Gap between Two Concurrent Constraint Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-72283-7_13openalex-snapshot
Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts
inferred← citeshttps://doi.org/10.1007/978-94-007-1594-3_2openalex-snapshot
Models of Computation and Languages
inferred← citeshttps://doi.org/10.1007/bfb0000481openalex-snapshot
Invariants of parameterized binary tree networks as greatest fixpoints
inferred← citeshttps://doi.org/10.1007/bfb0020452openalex-snapshot
Execution of distributed reactive systems
inferred← citeshttps://doi.org/10.1007/bfb0028726openalex-snapshot
Synchronous programming of reactive systems
inferred← citeshttps://doi.org/10.1007/bfb0030631openalex-snapshot
Compositional specification of embedded systems with Statecharts
inferred← citeshttps://doi.org/10.1007/bfb0035391openalex-snapshot
Formal verification of statecharts with instantaneous chain reactions
inferred← citeshttps://doi.org/10.1007/bfb0037426openalex-snapshot
A light-weight formalism for the specification of reactive systems
inferred← citeshttps://doi.org/10.1007/bfb0053571openalex-snapshot
Mode-automata: About modes and states for reactive systems
inferred← citeshttps://doi.org/10.1007/bfb0053597openalex-snapshot
A refinement calculus for statecharts
inferred← citeshttps://doi.org/10.1007/bfb0055057openalex-snapshot
Translation validation for synchronous languages
inferred← citeshttps://doi.org/10.1007/pl00013710openalex-snapshot
Behavioural Views for Software Requirements Engineering
inferred← citeshttps://doi.org/10.1007/s00165-004-0041-xopenalex-snapshot
Timed CCP compositionally embeds Argos and Lustre
inferred← citeshttps://doi.org/10.1007/s00766-013-0198-zopenalex-snapshot
On requirement verification for evolving Statecharts specifications
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.034openalex-snapshot
On the Expressiveness of Relative-Timed Coordination Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.047openalex-snapshot
On the Expressiveness of Timed Coordination via Shared Dataspaces
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.09.546openalex-snapshot
Modular Approach for Probabilistic Safety Assessment of Systems with Multiple Failure Modes
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.014openalex-snapshot
Composition for component-based modeling
inferred← citeshttps://doi.org/10.1016/j.scico.2005.10.011openalex-snapshot
On the expressiveness of timed coordination models
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102493openalex-snapshot
Compositional model checking with divergence preserving branching bisimilarity is lively
inferred← citeshttps://doi.org/10.1016/s0020-0190(02)00314-9openalex-snapshot
On disjunction of literals in triggers of statecharts transitions
inferred← citeshttps://doi.org/10.1016/s0022-0000(03)00003-5openalex-snapshot
An axiomatic semantics for the synchronous language Gentzen
inferred← citeshttps://doi.org/10.1016/s0096-0551(01)00016-9openalex-snapshot
Argos: an automaton-based synchronous language
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00026-5openalex-snapshot
Incremental design of statechart specifications
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00093-xopenalex-snapshot
Mode-Automata: a new domain-specific construct for the development of safe critical systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00096-5openalex-snapshot
The semantics and execution of a synchronous block-diagram language
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00041-xopenalex-snapshot
About synchronous programming and abstract interpretation
inferred← citeshttps://doi.org/10.1016/s0167-8191(99)00013-7openalex-snapshot
Implementation of communicating reactive processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00104-3openalex-snapshot
Automatic verification of parameterized networks of processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00420-5openalex-snapshot
An axiomatic semantics for Esterel
inferred← citeshttps://doi.org/10.1016/s0920-5489(01)00091-5openalex-snapshot
A formal semantics of SMIL: a web standard to describe multimedia documents
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36343-7openalex-snapshot
Communicating Reactive State Machines: Design, Model and Implementation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40526-xopenalex-snapshot
Synchronous Languages and Reactive System Design
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80255-5openalex-snapshot
Projectable semantics for Statecharts
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80291-9openalex-snapshot
On the expressiveness of Timed Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1023/a:1008678014487openalex-snapshot
Verification of Real-Time Systems using Linear Relation Analysis
inferred← citeshttps://doi.org/10.1023/a:1008697810328openalex-snapshot
The Synchronous Approach to Designing Reactive Systems
inferred← citeshttps://doi.org/10.1023/a:1011295931367openalex-snapshot
Formal Methods in Designing Embedded Systems—the SACRES Experience
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1080/00207729808929599openalex-snapshot
Control laws, tasks and procedures with ORCCAD: application to the control of an underwater arm
inferred← citeshttps://doi.org/10.1109/32.798329openalex-snapshot
Automatic distribution of reactive systems for asynchronous networks of processors
inferred← citeshttps://doi.org/10.1109/43.766725openalex-snapshot
Hierarchical finite state machines with multiple concurrency models
inferred← citeshttps://doi.org/10.1109/acsd.2012.22openalex-snapshot
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts
inferred← citeshttps://doi.org/10.1109/acssc.1998.751618openalex-snapshot
Interaction of finite state machines and concurrency models
inferred← citeshttps://doi.org/10.1109/csd.1998.657537openalex-snapshot
Hierarchical concurrent finite state machines in Ptolemy
inferred← citeshttps://doi.org/10.1109/csd.2001.981771openalex-snapshot
Software implementation of synchronous programs
inferred← citeshttps://doi.org/10.1109/date.2004.1268878openalex-snapshot
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
inferred← citeshttps://doi.org/10.1109/emrts.2000.854014openalex-snapshot
Running-modes of real-time systems: a case-study with mode-automata
inferred← citeshttps://doi.org/10.1109/fdl.2017.8303892openalex-snapshot
Rethinking of I/O-automata composition
inferred← citeshttps://doi.org/10.1109/re.2013.6636706openalex-snapshot
On requirements verification for model refinements
inferred← citeshttps://doi.org/10.1109/sefm.2004.1347513openalex-snapshot
Towards formalizing behavioral substitutability in component frameworks
inferred← citeshttps://doi.org/10.1109/sefm.2004.48openalex-snapshot
Towards formalizing behavioral substitutability in component frameworks
inferred← citeshttps://doi.org/10.1109/sefm.2006.15openalex-snapshot
Describing and Executing Random Reactive Systems
inferred← citeshttps://doi.org/10.1109/tcst.2015.2388491openalex-snapshot
Formal Modeling of Grafcets With Time Petri Nets
inferred← citeshttps://doi.org/10.1142/s0218194023500195openalex-snapshot
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
inferred← citeshttps://doi.org/10.1145/216633.216664openalex-snapshot
Static timing analysis of real-time systems
inferred← citeshttps://doi.org/10.1145/235321.235322openalex-snapshot
The STATEMATE semantics of statecharts
inferred← citeshttps://doi.org/10.1145/263699.263747openalex-snapshot
Automatic verification of parameterized linear networks of processes
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/3591594openalex-snapshot
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC
inferred← citeshttps://doi.org/10.1145/504077.504078openalex-snapshot
The intuitionism behind Statecharts steps
inferred← citeshttps://doi.org/10.1145/571157.571173openalex-snapshot
On the expressive power of temporal concurrent constraint programming languages
inferred← citeshttps://doi.org/10.14236/ewic/fa1997.12openalex-snapshot
On Formal Semantics of Statecharts as Supported by STATEMATE.
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.4.22openalex-snapshot
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
inferred← citeshttps://doi.org/10.15514/ispras-2014-26(1)-4openalex-snapshot
Automation of conformance testing for communication protocols
inferred← citeshttps://doi.org/10.21941/kcss/2024/1openalex-snapshot
Language Design for Reactive Systems
inferred← citeshttps://doi.org/10.26190/unsworks/22938openalex-snapshot
Modelling and programming embedded controllers with timed automata and synchronous languages
inferred← citeshttps://doi.org/10.3166/tsi.30.441-471openalex-snapshot
Compilation modulaire d´un langage synchrone Spécification, simulation, implémentation et vérification d´applications synchrones
inferred← citeshttps://doi.org/10.3233/fi-1999-402306openalex-snapshot
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
inferred← citeshttps://doi.org/10.5281/zenodo.26423openalex-snapshot
Dolichoderus (Hypoclinea) Crawleyi N. Sp., A Species Of Ant New To Science; With A Few Notes On The Genus.
inferred← citeshttps://doi.org/10.5555/968878.969073openalex-snapshot
Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
inferred← citeshttps://doi.org/10.70675/0d242e5czfe16z49f6za04ezf51f4dabb08eopenalex-snapshot
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
inferred← citeshttps://doi.org/10.70675/0dce1a74z691dz4f11z8abfzbd414478a91dopenalex-snapshot
A synchronous approach to quasi-periodic systems
inferred← citeshttps://doi.org/10.70675/4ccafc14z2536z4724z9fcez8be0ee865532openalex-snapshot
Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués
inferred← citeshttps://doi.org/10.70675/64c17c42z9261z4a64z909ezd31f498102f0openalex-snapshot
Conception de systèmes de reconnaissance d’activités humaines
inferred← citeshttps://doi.org/10.7146/brics.v9i22.21738openalex-snapshot
On the Expressive Power of Concurrent Constraint Programming Languages
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.