On the public citation graph
The Z/EVES system
0 signed · 196 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/bfb0105411openalex-snapshot
A structure preserving encoding of Z in isabelle/HOL
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1145/357073.357079openalex-snapshot
Simplification by Cooperating Decision Procedures
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470612514.ch5openalex-snapshot
UML+Z: Augmenting UML with Z
inferred← citeshttps://doi.org/10.1002/nem.774openalex-snapshot
Multi‐constraint security policies for delegated firewall administration
inferred← citeshttps://doi.org/10.1002/smr.1752openalex-snapshot
Delta‐based regression testing: a formal framework towards model‐driven regression testing
inferred← citeshttps://doi.org/10.1002/spe.2654openalex-snapshot
A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing
inferred← citeshttps://doi.org/10.1002/spe.757openalex-snapshot
MCL: a MobiGATE coordination language for highly adaptive and reconfigurable mobile middleware
inferred← citeshttps://doi.org/10.1002/stvr.1477openalex-snapshot
Tool support for the Test Template Framework
inferred← citeshttps://doi.org/10.1002/stvr.223openalex-snapshot
Teaching formal methods lite via testing
inferred← citeshttps://doi.org/10.1002/swf.46openalex-snapshot
A Review of Some Rigorous Software Design and Analysis Tools
inferred← citeshttps://doi.org/10.1007/11415787_26openalex-snapshot
Including Design Guidelines in the Formal Specification of Interfaces in Z
inferred← citeshttps://doi.org/10.1007/11415787_6openalex-snapshot
Model Checking Z Specifications Using SAL
inferred← citeshttps://doi.org/10.1007/11813040_18openalex-snapshot
A Formal Template Language Enabling Metaproof
inferred← citeshttps://doi.org/10.1007/11901433_32openalex-snapshot
An Open Extensible Tool Environment for Event-B
inferred← citeshttps://doi.org/10.1007/11921240_2openalex-snapshot
Z/Eves and the Mondex Electronic Purse
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_34openalex-snapshot
μ-Chart-Based Specification and Refinement
inferred← citeshttps://doi.org/10.1007/3-540-40911-4_15openalex-snapshot
μ-Charts and Z: Hows, Whys, and Wherefores
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_17openalex-snapshot
Proving Temporal Properties of Z Specifications Using Abstraction
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_2openalex-snapshot
An Outline Pattern Language for Z: Five Illustrations and Two Tables
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_21openalex-snapshot
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
inferred← citeshttps://doi.org/10.1007/3-540-44880-2_26openalex-snapshot
ZML: XML Support for Standard Z
inferred← citeshttps://doi.org/10.1007/3-540-45140-4_28openalex-snapshot
An Overview of RoZ : A Tool for Integrating UML and Z Specifications
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_14openalex-snapshot
Validation of UML Models Thanks to Z and Lustre
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_10openalex-snapshot
Mechanical Abstraction of CSPZ Processes
inferred← citeshttps://doi.org/10.1007/3-540-45648-1_6openalex-snapshot
Characters + Mark-up = Z Lexis
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_14openalex-snapshot
Combining Specification Techniques for Processes, Data and Time
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_17openalex-snapshot
Relating Z and first-order logic
inferred← citeshttps://doi.org/10.1007/3-540-48234-2_6openalex-snapshot
Formal Methods Adoption: What’s Working, What’s Not!
inferred← citeshttps://doi.org/10.1007/3-540-48234-2_9openalex-snapshot
Analyzing Mode Confusion via Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-48249-0_31openalex-snapshot
Modeling Safety-Critical Systems with Z and Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_18openalex-snapshot
A proof obligation generator for VDM-SL
inferred← citeshttps://doi.org/10.1007/3-540-63533-5_30openalex-snapshot
Using PVS to prove a Z refinement: A case study
inferred← citeshttps://doi.org/10.1007/978-0-387-32189-9_4openalex-snapshot
Telecommunications and Informatics
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_17openalex-snapshot
Model-Checking CSP-OZ Specifications with FDR
inferred← citeshttps://doi.org/10.1007/978-3-030-86507-8_13openalex-snapshot
Assisting Developers in Preventing Permissions Related Security Issues in Android Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_11openalex-snapshot
A Simplified Z Semantics for Presentation Interaction Models
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_20openalex-snapshot
Proof Patterns for Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-07314-9_14openalex-snapshot
An Algorithm to Identify Conflicts Between Norms and Values
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_4openalex-snapshot
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-12154-3_12openalex-snapshot
A Model for Capturing and Replaying Proof Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-12154-3_2openalex-snapshot
Efficient Refinement Checking in VCC
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_11openalex-snapshot
Refinement-Based Verification of the FreeRTOS Scheduler in VCC
inferred← citeshttps://doi.org/10.1007/978-3-319-29628-9_3openalex-snapshot
The Z Notation: Whence the Cause and Whither the Course?
inferred← citeshttps://doi.org/10.1007/978-3-319-41528-4_10openalex-snapshot
A Decision Procedure for Sets, Binary Relations and Partial Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-24756-2_7openalex-snapshot
Efficient CSP Z Data Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-540-30472-2_8openalex-snapshot
Integrating Formal Specification and Software Verification and Validation
inferred← citeshttps://doi.org/10.1007/978-3-540-30482-1_35openalex-snapshot
Formal Proof from UML Models
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_20openalex-snapshot
Verifying OWL and ORL Ontologies in PVS
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_15openalex-snapshot
Specification and Inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_34openalex-snapshot
A Circus Semantics for Ravenscar Protected Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_8openalex-snapshot
On the Semantic Relation of Z and HOL
inferred← citeshttps://doi.org/10.1007/978-3-540-77566-9_54openalex-snapshot
Classification, Formalization and Verification of Security Functional Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-87353-2_10openalex-snapshot
Multi-constraint Security Policies for Delegated Firewall Administration
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_25openalex-snapshot
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
inferred← citeshttps://doi.org/10.1007/978-3-642-00199-4_2openalex-snapshot
From Formal Access Control Policies to Runtime Enforcement Aspects
inferred← citeshttps://doi.org/10.1007/978-3-642-01350-8_33openalex-snapshot
Extending SOA with Semantic Mediators
inferred← citeshttps://doi.org/10.1007/978-3-642-04912-5_5openalex-snapshot
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_14openalex-snapshot
Development of Security Software: A High Assurance Methodology
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_9openalex-snapshot
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-11447-2_14openalex-snapshot
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net
inferred← citeshttps://doi.org/10.1007/978-3-642-15579-6_1openalex-snapshot
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_20openalex-snapshot
A Formal Verification Study on the Rotterdam Storm Surge Barrier
inferred← citeshttps://doi.org/10.1007/978-3-642-19208-1_15openalex-snapshot
Formal Methods in Agent-Oriented Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-22603-8_45openalex-snapshot
A Z Approach to Formalization and Validation of ORM Models
inferred← citeshttps://doi.org/10.1007/978-3-642-35705-3_1openalex-snapshot
Unifying Theories of Undefinedness in UTP
inferred← citeshttps://doi.org/10.1007/978-3-642-40561-7_16openalex-snapshot
{log} as a Test Case Generator for the Test Template Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-59758-9_25openalex-snapshot
Formal Safety Analysis of the Control Program for a Radiation Therapy Machine
inferred← citeshttps://doi.org/10.1007/bfb0055854openalex-snapshot
A kernelized architecture for multilevel secure application policies
inferred← citeshttps://doi.org/10.1007/s00165-005-0079-4openalex-snapshot
The verified software repository: a step towards the verifying compiler
inferred← citeshttps://doi.org/10.1007/s00165-007-0044-5openalex-snapshot
Unifying theories in ProofPower-Z
inferred← citeshttps://doi.org/10.1007/s00165-007-0059-yopenalex-snapshot
Mechanising Mondex with Z/Eves
inferred← citeshttps://doi.org/10.1007/s00165-009-0126-7openalex-snapshot
Z2SAL: a translation-based model checker for Z
inferred← citeshttps://doi.org/10.1007/s001650070018openalex-snapshot
A Multi-formalism Approach for the Validation of UML Models
inferred← citeshttps://doi.org/10.1007/s001650070029openalex-snapshot
Relating Z and First-Order Logic
inferred← citeshttps://doi.org/10.1007/s001659970001openalex-snapshot
A Nitpick Analysis of Mobile IPv6
inferred← citeshttps://doi.org/10.1007/s00236-007-0042-3openalex-snapshot
On using data abstractions for model checking refinements
inferred← citeshttps://doi.org/10.1007/s004500050086openalex-snapshot
Formale objektorientierte Softwareentwicklung mit ${\cal F}{{\scriptstyle{\cal O}{\cal X}}}$
inferred← citeshttps://doi.org/10.1007/s00766-019-00309-wopenalex-snapshot
Performance-driven software development: an incremental refinement approach for high-quality requirement engineering
inferred← citeshttps://doi.org/10.1007/s10009-010-0145-yopenalex-snapshot
Rodin: an open toolset for modelling and reasoning in Event-B
inferred← citeshttps://doi.org/10.1007/s10270-008-0098-8openalex-snapshot
A systematic approach to generate B preconditions: application to the database domain
inferred← citeshttps://doi.org/10.1007/s10270-015-0503-zopenalex-snapshot
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
inferred← citeshttps://doi.org/10.1007/s10817-019-09520-4openalex-snapshot
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations
inferred← citeshttps://doi.org/10.1007/s10817-021-09589-wopenalex-snapshot
Automated Reasoning with Restricted Intensional Sets
inferred← citeshttps://doi.org/10.1007/s11276-015-0962-8openalex-snapshot
Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications
inferred← citeshttps://doi.org/10.1007/s11334-014-0230-6openalex-snapshot
Formalizing the transition from requirements’ change to design change using an evolutionary traceability model
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.013openalex-snapshot
Mechanising the Alphabetised Relational Calculus
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.002openalex-snapshot
An Abstract Equivalence Notion for Object Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.025openalex-snapshot
A Z Approach in Validating ORA-SS Data Models
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.09.002openalex-snapshot
Frameworks Based on Templates for Rigorous Model-driven Development
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.02.021openalex-snapshot
Can Refinement be Automated?
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.12.007openalex-snapshot
Translation of Z specifications to executable code: Application to the database domain
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.06.002openalex-snapshot
Towards a formal model of patterns and pattern languages
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.017openalex-snapshot
Specification and (property) inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1016/j.scico.2008.09.012openalex-snapshot
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
inferred← citeshttps://doi.org/10.1016/j.scico.2010.11.012openalex-snapshot
A tactic language for refinement of state-rich concurrent specifications
inferred← citeshttps://doi.org/10.1016/j.scico.2012.06.006openalex-snapshot
Context-dependent product line engineering with lightweight formal approaches
inferred← citeshttps://doi.org/10.1016/j.scico.2017.08.013openalex-snapshot
Proof assisted bounded and unbounded symbolic model checking of software and system models
inferred← citeshttps://doi.org/10.1016/j.sysarc.2010.09.002openalex-snapshot
Verifying security properties of internet protocol stacks: The split verification approach
inferred← citeshttps://doi.org/10.1017/s1471068421000521openalex-snapshot
Integrating Cardinality Constraints into Constraint Logic Programming with Sets
inferred← citeshttps://doi.org/10.1023/a:1018921801906openalex-snapshot
Using formal methods for teaching software engineering: a tool-based approach
inferred← citeshttps://doi.org/10.1023/b:agnt.0000019688.11109.19openalex-snapshot
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
inferred← citeshttps://doi.org/10.1049/iet-sen.2010.0032openalex-snapshot
Standards compliance testing for unified modelling language tools
inferred← citeshttps://doi.org/10.1057/jos.2012.11openalex-snapshot
An analysis of the cost of validating semantic composability
inferred← citeshttps://doi.org/10.1080/00207160.2013.820282openalex-snapshot
Formalizing workflows partitioning over federated clouds: multi-level security and costs
inferred← citeshttps://doi.org/10.1108/ijwis-11-2014-0042openalex-snapshot
Formal and semi-formal verification of a web voting system
inferred← citeshttps://doi.org/10.1109/32.713327openalex-snapshot
Subtypes for specifications: predicate subtyping in PVS
inferred← citeshttps://doi.org/10.1109/acsd.2008.4574613openalex-snapshot
Dynamic semantics of OWL-S in CSP-OZ
inferred← citeshttps://doi.org/10.1109/apsec.2000.896707openalex-snapshot
μ-Charts and Z: examples and extensions
inferred← citeshttps://doi.org/10.1109/apsec.2004.82openalex-snapshot
Reasoning about Semantic Web in Isabelle/HOL
inferred← citeshttps://doi.org/10.1109/apsec.2005.21openalex-snapshot
A tools environment for developing and reasoning about ontologies
inferred← citeshttps://doi.org/10.1109/ase.1998.732566openalex-snapshot
Identifying pre-conditions with the Z/EVES theorem prover
inferred← citeshttps://doi.org/10.1109/aswec.2008.4483213openalex-snapshot
Correctness Criteria for Normalization of Semistructured Data
inferred← citeshttps://doi.org/10.1109/cmpsac.1997.624973openalex-snapshot
The use of industrial-strength formal methods
inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342815openalex-snapshot
Stream composition for highly adaptive and reconfigurable mobile middleware
inferred← citeshttps://doi.org/10.1109/crisis.2008.4757465openalex-snapshot
A formal security framework for mobile agent systems: Specification and verification
inferred← citeshttps://doi.org/10.1109/csac.1997.646176openalex-snapshot
Supporting secure canonical upgrade policies in multilevel secure object stores
inferred← citeshttps://doi.org/10.1109/csae.2011.5952747openalex-snapshot
Description of Web service composition model based on Z notation
inferred← citeshttps://doi.org/10.1109/fit.2015.32openalex-snapshot
Null Value Conflict: Formal Definition and Resolution
inferred← citeshttps://doi.org/10.1109/iccwamtip.2014.7073417openalex-snapshot
Value name conflict while integrating data indatabase integration
inferred← citeshttps://doi.org/10.1109/iceccs.2005.48openalex-snapshot
Formal semantics and verification for feature modeling
inferred← citeshttps://doi.org/10.1109/iceccs.2005.56openalex-snapshot
Integrating Object-Z with Timed Automata
inferred← citeshttps://doi.org/10.1109/iceccs.2005.78openalex-snapshot
Software Engineering Approaches to Semantic Web
inferred← citeshttps://doi.org/10.1109/iceccs.2011.13openalex-snapshot
Timed Circus: Timed CSP with the Miracle
inferred← citeshttps://doi.org/10.1109/icgciot.2015.7380707openalex-snapshot
Towards the formalization of Road traffic Management system for safety critical properties by Z notation
inferred← citeshttps://doi.org/10.1109/icmas.1998.699039openalex-snapshot
Interaction protocols in Agentis
inferred← citeshttps://doi.org/10.1109/icns.2006.2openalex-snapshot
A Formal Architecture Supporting Dynamic Composition of Web Services
inferred← citeshttps://doi.org/10.1109/icpp.2004.46openalex-snapshot
MobiGATE: a mobile gateway proxy for the active deployment of transport entities
inferred← citeshttps://doi.org/10.1109/icse.2003.1201200openalex-snapshot
Sound methods and effective tools for engineering modeling and analysis
inferred← citeshttps://doi.org/10.1109/icse.2004.1317442openalex-snapshot
Verifying DAML+OIL and beyond in Z/EVES
inferred← citeshttps://doi.org/10.1109/icse.2004.1317506openalex-snapshot
Software modeling techniques and the semantic Web
inferred← citeshttps://doi.org/10.1109/innovations.2016.7880015openalex-snapshot
Formal specification, refinement, and implementation of path planning
inferred← citeshttps://doi.org/10.1109/jsyst.2008.2009190openalex-snapshot
A Visual Tradeoff Space for Formal Verification and Validation Techniques
inferred← citeshttps://doi.org/10.1109/mysec.2011.6140637openalex-snapshot
Designing multiple types of spatial and non spatial databases integration model using formal specification approach
inferred← citeshttps://doi.org/10.1109/pads.2009.14openalex-snapshot
An Approach for Validation of Semantic Composability in Simulation Models
inferred← citeshttps://doi.org/10.1109/pads.2010.5471654openalex-snapshot
On Validation of Semantic Composability in Data-Driven Simulation
inferred← citeshttps://doi.org/10.1109/pads.2011.5936769openalex-snapshot
An Analysis of the Cost of Validating Semantic Composability
inferred← citeshttps://doi.org/10.1109/pdse.2000.847847openalex-snapshot
Specifying and verifying reconfigurable software architectures
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236216openalex-snapshot
Semantic properties of /spl mu/-charts
inferred← citeshttps://doi.org/10.1109/sefm.2010.31openalex-snapshot
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions
inferred← citeshttps://doi.org/10.1109/sefm.2010.40openalex-snapshot
A Timed Model of Circus with the Reactive Design Miracle
inferred← citeshttps://doi.org/10.1109/services.2012.75openalex-snapshot
Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs
inferred← citeshttps://doi.org/10.1109/sew.2006.39openalex-snapshot
Using Jaza to Animate RoZ Specifications of UML Class Diagrams
inferred← citeshttps://doi.org/10.1109/tse.2005.52openalex-snapshot
Software assurance by bounded exhaustive testing
inferred← citeshttps://doi.org/10.1109/wsc.2006.323173openalex-snapshot
Analyzing Static and Temporal Properties of Simulation Models
inferred← citeshttps://doi.org/10.1109/wsc.2012.6465004openalex-snapshot
Automatic generation of object-oriented code from DEVS graphical specifications
inferred← citeshttps://doi.org/10.1145/1007512.1007531openalex-snapshot
Software assurance by bounded exhaustive testing
inferred← citeshttps://doi.org/10.1145/1013886.1007531openalex-snapshot
Software assurance by bounded exhaustive testing
inferred← citeshttps://doi.org/10.1145/1131313.1131317openalex-snapshot
Decidability results for sets with atoms
inferred← citeshttps://doi.org/10.1145/1134285.1134507openalex-snapshot
From semantic web to expressive software specifications
inferred← citeshttps://doi.org/10.1145/1592434.1592437openalex-snapshot
Automated deduction for verification
inferred← citeshttps://doi.org/10.1145/1945023.1945042openalex-snapshot
Abstract specification and formalization of an operating system kernel in Z
inferred← citeshttps://doi.org/10.1145/2024724.2024728openalex-snapshot
Rigorous model-based design & verification flow for in-vehicle software
inferred← citeshttps://doi.org/10.1145/2393216.2393304openalex-snapshot
A comparative study of two formal specification languages
inferred← citeshttps://doi.org/10.1145/2677855.2677929openalex-snapshot
Formal Specification of a Privacy Aware Access Control Framework in Web Services Paradigm using Z Notation
inferred← citeshttps://doi.org/10.1145/988672.988770openalex-snapshot
A combined approach to checking web ontologies
inferred← citeshttps://doi.org/10.11606/d.3.2018.tde-04102018-135028openalex-snapshot
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
inferred← citeshttps://doi.org/10.1177/0037549709349326openalex-snapshot
Assertion Checking in J-Sim Simulation Models of Network Protocols
inferred← citeshttps://doi.org/10.12928/telkomnika.v9i1.672openalex-snapshot
Formal Specification for Spatial Information Databases Integration Framework (SIDIF)
inferred← citeshttps://doi.org/10.13140/2.1.1859.1689openalex-snapshot
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
inferred← citeshttps://doi.org/10.14236/ewic/tfm2006.10openalex-snapshot
Teaching Formal Methods in a Third World Country: What, Why and How
inferred← citeshttps://doi.org/10.14264/157991openalex-snapshot
Formal concept analysis applications to requirements engineering and design
inferred← citeshttps://doi.org/10.1504/ijaose.2008.017317openalex-snapshot
Formal driven prototyping approach for multiagent systems
inferred← citeshttps://doi.org/10.1504/ijics.2009.031043openalex-snapshot
Dynamic security framework for mobile agent systems: specification, verification and enforcement
inferred← citeshttps://doi.org/10.1631/jzus.c1200263openalex-snapshot
Validation of static properties in unified modeling language models for cyber physical systems
inferred← citeshttps://doi.org/10.17869/enu.198908openalex-snapshot
Wild networks: the articulation of feedback and evaluation in a creative inter-disciplinary design studio
inferred← citeshttps://doi.org/10.29007/s478openalex-snapshot
Can a system learn from interactive proofs?
inferred← citeshttps://doi.org/10.3844/jcssp.2019.1721.1733openalex-snapshot
Personal Legacy Information Management System for Muslim in Malaysia: A Preliminary Design
inferred← citeshttps://doi.org/10.4204/eptcs.80.3openalex-snapshot
Applying SMT Solvers to the Test Template Framework
inferred← citeshttps://doi.org/10.5075/epfl-thesis-2588openalex-snapshot
Specifying reactive system behavior
inferred← citeshttps://doi.org/10.5555/1218112.1218277openalex-snapshot
Analyzing static and temporal properties of simulation models
inferred← citeshttps://doi.org/10.5555/776816.776840openalex-snapshot
Sound methods and effective tools for engineering modeling and analysis
inferred← citeshttps://doi.org/10.5555/998675.999488openalex-snapshot
Software modeling techniques and the semantic Web
inferred← citeshttps://doi.org/10.70675/3db1f148za160z4470za8afz62f0852ce55aopenalex-snapshot
An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems
inferred← citeshttps://doi.org/10.70675/b2732a24z3d75z47e5z883cz8c0a15bcad60openalex-snapshot
An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems
inferred← citeshttps://doi.org/10.70675/b9e60d5ez93cfz4bbcza224z2accf1ce1154openalex-snapshot
Fastest : improving and supporting the Test Template Framework
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.