On the public citation graph

Model-checking for adventure videogames

https://doi.org/10.1016/j.infsof.2008.08.003

0 signed · 76 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.228openalex-snapshot

Software model checking: extracting verification models from source code†

inferredcites →https://doi.org/10.1007/10722468_7openalex-snapshot

Bebop: A Symbolic Model Checker for Boolean Programs

inferredcites →https://doi.org/10.1007/11531371_12openalex-snapshot

Design Verification of Web Applications Using Symbolic Model Checking

inferredcites →https://doi.org/10.1007/11841197_18openalex-snapshot

Towards the Formal Model and Verification of Web Service Choreography Description Language

inferredcites →https://doi.org/10.1007/3-540-48234-2_17openalex-snapshot

Applying Model Checking in Java Verification

inferredcites →https://doi.org/10.1007/3-540-60692-0_69openalex-snapshot

Generalized temporal verification diagrams

inferredcites →https://doi.org/10.1007/3-540-61474-5_93openalex-snapshot

Symbolic model checking

inferredcites →https://doi.org/10.1007/978-3-540-30581-1_3openalex-snapshot

Interoperability in Semantic Web Services

inferredcites →https://doi.org/10.1007/978-3-540-69744-2_22openalex-snapshot

Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations

inferredcites →https://doi.org/10.1007/978-3-540-75195-3_32openalex-snapshot

Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture

inferredcites →https://doi.org/10.1007/978-3-540-75195-3_33openalex-snapshot

Curriculum Model Checking: Declarative Representation and Verification of Properties

inferredcites →https://doi.org/10.1007/s00165-005-0071-zopenalex-snapshot

Concurrent software verification with states, events, and deadlocks

inferredcites →https://doi.org/10.1007/s001659970003openalex-snapshot

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

inferredcites →https://doi.org/10.1007/s100090050046openalex-snapshot

NUSMV: a new symbolic model checker

inferredcites →https://doi.org/10.1007/s100090200075openalex-snapshot

inferredcites →https://doi.org/10.1016/0141-9331(94)90007-8openalex-snapshot

Symbolic Model Checking

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/0890-5401(92)90017-aopenalex-snapshot

Symbolic model checking: 1020 States and beyond

inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot

Temporal and Modal Logic

inferredcites →https://doi.org/10.1016/j.chb.2008.03.012openalex-snapshot

Educational game design for online education

inferredcites →https://doi.org/10.1016/j.entcs.2005.07.034openalex-snapshot

A Model Checking-based Method for Verifying Web Application Design

inferredcites →https://doi.org/10.1016/j.entcs.2005.07.035openalex-snapshot

Towards the Semantics and Verification of BPEL4WS

inferredcites →https://doi.org/10.1016/j.scico.2006.07.003openalex-snapshot

A documental approach to adventure game development

inferredcites →https://doi.org/10.1023/a:1022920129859openalex-snapshot

Model Checking Programs

inferredcites →https://doi.org/10.1093/comjnl/bxl008openalex-snapshot

A Document-Oriented Paradigm for the Construction of Content-Intensive Applications

inferredcites →https://doi.org/10.1109/32.708566openalex-snapshot

Model checking large software specifications

inferredcites →https://doi.org/10.1109/32.798322openalex-snapshot

Teapot: a domain-specific language for writing cache coherence protocols

inferredcites →https://doi.org/10.1109/32.798325openalex-snapshot

Domain-specific languages: from design to implementation application to video device drivers generation

inferredcites →https://doi.org/10.1109/32.940728openalex-snapshot

Formal analysis of a space-craft controller using SPIN

inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot

The synchronous data flow programming language LUSTRE

inferredcites →https://doi.org/10.1109/csmr.2003.1192411openalex-snapshot

Web applications design and maintenance using symbolic model checking

inferredcites →https://doi.org/10.1109/mc.2008.73openalex-snapshot

A Content-Centric Development Process Model

inferredcites →https://doi.org/10.1109/ms.2008.36openalex-snapshot

From Documents to Applications Using Markup Languages

inferredcites →https://doi.org/10.1109/tc.1978.1675141openalex-snapshot

Binary Decision Diagrams

inferredcites →https://doi.org/10.1109/wift.1998.766303openalex-snapshot

Implementing statecharts in PROMELA/SPIN

inferredcites →https://doi.org/10.1145/1060289.1060297openalex-snapshot

CMC

inferredcites →https://doi.org/10.1145/1118890.1118892openalex-snapshot

When and how to develop domain-specific languages

inferredcites →https://doi.org/10.1145/1125808.1125809openalex-snapshot

Symbolic model checking of UML activity diagrams

inferredcites →https://doi.org/10.1145/192218.192226openalex-snapshot

A graphical interval logic for specifying concurrent systems

inferredcites →https://doi.org/10.1145/239098.239127openalex-snapshot

Model checking large software specifications

inferredcites →https://doi.org/10.1145/239098.239131openalex-snapshot

Formal refinement patterns for goal-driven requirements elaboration

inferredcites →https://doi.org/10.1145/250707.239131openalex-snapshot

Formal refinement patterns for goal-driven requirements elaboration

inferredcites →https://doi.org/10.1145/267954.267955openalex-snapshot

Hyperdocuments as automata

inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot

Patterns in property specifications for finite-state verification

inferredcites →https://doi.org/10.1145/317665.317677openalex-snapshot

Modeling Web application architectures with UML

inferredcites →https://doi.org/10.1145/337180.337234openalex-snapshot

Bandera

inferredcites →https://doi.org/10.1145/352029.352035openalex-snapshot

Domain-specific languages

inferredcites →https://doi.org/10.1145/379240.379263openalex-snapshot

A simple method for extracting models for protocol code

inferredcites →https://doi.org/10.1145/384285.379263openalex-snapshot

A simple method for extracting models for protocol code

inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot

Automatic verification of finite-state concurrent systems using temporal logic specifications

inferredcites →https://doi.org/10.1145/844128.844136openalex-snapshot

CMC

inferredcites →https://doi.org/10.4018/978-1-59904-304-3openalex-snapshot

Games And Simulations in Online Learning: Research and Development Frameworks

inferredcites →https://doi.org/10.4018/978-1-59904-304-3.ch014openalex-snapshot

Building Artificially Intelligent Learning Games

inferredcites →https://doi.org/10.5334/2007-5openalex-snapshot

Adaptive Units of Learning and Educational Videogames

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-32409-4_4openalex-snapshot

Automatic Verification for Node-Based Visual Script Notation Using Model Checking

inferred← citeshttps://doi.org/10.1007/978-3-319-46206-6_9openalex-snapshot

Normal Form of n-Valued Lukasiewicz Logic Formulas

inferred← citeshttps://doi.org/10.1007/978-3-642-33542-6_70openalex-snapshot

Future Trends in Game Authoring Tools

inferred← citeshttps://doi.org/10.1007/978-3-642-45422-6_9openalex-snapshot

An Agent Oriented Development Process for Multimedia Systems,

inferred← citeshttps://doi.org/10.1007/978-981-287-988-2_71openalex-snapshot

Design of Adventure Indonesian Folklore Game

inferred← citeshttps://doi.org/10.1007/s10472-011-9270-xopenalex-snapshot

Kripke modelling and verification of temporal specifications of a multiple UAV system

inferred← citeshttps://doi.org/10.1016/j.chb.2013.06.039openalex-snapshot

Design and analysis of collaborative interactions in social educational videogames

inferred← citeshttps://doi.org/10.1016/j.jnca.2009.02.005openalex-snapshot

Language engineering techniques for the development of e-learning applications

inferred← citeshttps://doi.org/10.1080/02602938.2014.979132openalex-snapshot

Learning-oriented e-assessment: the effects of a training and guidance programme on lecturers’ perceptions

inferred← citeshttps://doi.org/10.1080/14626268.2019.1570942openalex-snapshot

‘I have a different kind of brain’—a script-centric approach to interactive narratives in games

inferred← citeshttps://doi.org/10.1109/access.2022.3185109openalex-snapshot

Verifying Maze-Like Game Levels With Model Checker SPIN

inferred← citeshttps://doi.org/10.1109/gcce59613.2023.10315312openalex-snapshot

Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints

inferred← citeshttps://doi.org/10.1109/iiai-aai50415.2020.00107openalex-snapshot

Model Checking of Visual Scripts Created by UE4 Blueprints

inferred← citeshttps://doi.org/10.1145/3412843openalex-snapshot

Languages of Games and Play

inferred← citeshttps://doi.org/10.1145/3551349.3560505openalex-snapshot

Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking

inferred← citeshttps://doi.org/10.15439/2016f547openalex-snapshot

Modelling Group Constructions for Social Analysis

inferred← citeshttps://doi.org/10.15446/dyna.v82n193.53498openalex-snapshot

A design process for balanced educational video games with collaborative activities

inferred← citeshttps://doi.org/10.1587/transinf.2021edp7063openalex-snapshot

Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking

inferred← citeshttps://doi.org/10.2514/6.2010-7582openalex-snapshot

Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network

inferred← citeshttps://doi.org/10.3724/sp.j.1001.2013.04231openalex-snapshot

Normal Form of Łukasiewicz Logic Formulae and Related Counting Problems

inferred← citeshttps://doi.org/10.48550/arxiv.2012.15365openalex-snapshot

Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking

inferred← citeshttps://doi.org/10.5220/0003998700850094openalex-snapshot

Agent Oriented Software Engineering for Multimedia Systems’ Development - An Experimental Case Study

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.