On the public citation graph
Mesa: Support for scenario-based design of concurrent systems
0 signed · 48 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-61042-1_37openalex-snapshot
An analyzer for message sequence charts
inferredcites →https://doi.org/10.1007/978-0-387-35271-8_6openalex-snapshot
Timing Constraints in Message Sequence Chart Specifications
inferredcites →https://doi.org/10.1007/bfb0035393openalex-snapshot
Syntactic detection of process divergence and non-local choice in message sequence charts
inferredcites →https://doi.org/10.1016/0004-3702(91)90006-6openalex-snapshot
Temporal constraint networks
inferredcites →https://doi.org/10.1016/0967-0661(93)90235-jopenalex-snapshot
Object-oriented software engineering. A use case driven approach
inferredcites →https://doi.org/10.1090/dimacs/032/06openalex-snapshot
Implementing and verifying MSC specifications using PROMELA/XSPIN
inferredcites →https://doi.org/10.1109/12.88473openalex-snapshot
SDE: incremental specification and development of communications software
inferredcites →https://doi.org/10.1145/237432.237434openalex-snapshot
Four dark corners of requirements engineering
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11604655_55openalex-snapshot
Executable Requirements Specifications Using Triggered Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/11691372_32openalex-snapshot
MSCan – A Tool for Analyzing MSC Specifications
inferred← citeshttps://doi.org/10.1007/11767589_21openalex-snapshot
Can I Execute My Scenario in Your Net? VipTool Tells You!
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_26openalex-snapshot
Detecting Implied Scenarios Analyzing Non-local Branching Choices
inferred← citeshttps://doi.org/10.1007/3-540-48224-5_65openalex-snapshot
Realizability and Verification of MSC Graphs
inferred← citeshttps://doi.org/10.1007/3-540-49019-1_19openalex-snapshot
Matching Specifications for Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_25openalex-snapshot
Scenario Matching Problem in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-13590-8_10openalex-snapshot
On the Usage of Network Visualization for Multiagent System Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-45069-6_9openalex-snapshot
TRIM: A Tool for Triggered Message Sequence Charts
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.012openalex-snapshot
Early Verification of Computer Systems Temporal Properties
inferred← citeshttps://doi.org/10.1016/j.knosys.2010.03.014openalex-snapshot
Towards a framework for estimating system NFRs on behavioral models
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.034openalex-snapshot
Realizability and verification of MSC graphs
inferred← citeshttps://doi.org/10.1023/a:1025890110119openalex-snapshot
An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development
inferred← citeshttps://doi.org/10.1109/acsd.2011.31openalex-snapshot
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers
inferred← citeshttps://doi.org/10.1109/ase.1998.732635openalex-snapshot
Synthesizing software architecture descriptions from Message Sequence Chart specifications
inferred← citeshttps://doi.org/10.1109/ase.2000.873682openalex-snapshot
New visual interface for engineering use case models
inferred← citeshttps://doi.org/10.1109/ase.2001.989814openalex-snapshot
Shared variables interaction diagrams
inferred← citeshttps://doi.org/10.1109/iccneee.2015.7381373openalex-snapshot
Deriving behavioural models of component-based software systems from requirements specifications
inferred← citeshttps://doi.org/10.1109/icse.2000.870421openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1109/icse.2005.1553581openalex-snapshot
Monitoring and control in scenario-based requirements analysis
inferred← citeshttps://doi.org/10.1109/iri.2013.6642473openalex-snapshot
Detecting distributed software components that will not cause emergent behavior in asynchronous communication style
inferred← citeshttps://doi.org/10.1109/iri.2014.7051895openalex-snapshot
Detection of implied scenarios in multiagent systems with clustering agents' communications
inferred← citeshttps://doi.org/10.1109/sew.2007.104openalex-snapshot
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
inferred← citeshttps://doi.org/10.1109/syscon.2016.7490662openalex-snapshot
Model-based operational-functional unified specification for mission systems
inferred← citeshttps://doi.org/10.1109/tse.2003.1178048openalex-snapshot
Synthesis of behavioral models from scenarios
inferred← citeshttps://doi.org/10.1109/tse.2003.1214326openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1142/s0218194001000566openalex-snapshot
INCREMENTAL SCENARIO MODELING USING HIERARCHICAL OBJECT-ORIENTED PETRI NET
inferred← citeshttps://doi.org/10.1145/1005561.1005563openalex-snapshot
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
inferred← citeshttps://doi.org/10.1145/1062455.1062527openalex-snapshot
Monitoring and control in scenario-based requirements analysis
inferred← citeshttps://doi.org/10.1145/1081706.1081716openalex-snapshot
Detecting and resolving semantic pathologies in UML sequence diagrams
inferred← citeshttps://doi.org/10.1145/337180.337215openalex-snapshot
Inference of message sequence charts
inferred← citeshttps://doi.org/10.1145/582419.582429openalex-snapshot
Multiple instances and symbolic variables in executable sequence charts
inferred← citeshttps://doi.org/10.1145/583854.582429openalex-snapshot
Multiple instances and symbolic variables in executable sequence charts
inferred← citeshttps://doi.org/10.14257/ijseia.2015.9.9.08openalex-snapshot
Scalable Scenario Specifications to Synthesize Component-centric Behaviour Models
inferred← citeshttps://doi.org/10.26512/2015.08.d.20500openalex-snapshot
Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
inferred← citeshttps://doi.org/10.3233/978-1-60750-049-0-336openalex-snapshot
Behavioral Model Composition: a Non Functional Requirements Driven Approach
inferred← citeshttps://doi.org/10.70675/c3eebce1z831bz424ezb37bzafd8c00bc9fcopenalex-snapshot
Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels
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.