Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,812,440 papers from all fields of science
Search
Sign In
Create Free Account
CoreASM
CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
1 relation
Abstract state machines
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A Formal Semantics for the Business Process Execution Language for Web Services
Roozbeh Farahbod
,
U. Glässer
,
M. Vajihollahi
Web Services and Model-Driven Enterprise…
2016
Corpus ID: 2447088
We define an abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the…
Expand
2014
2014
Suitability of Abstract State Machines for Discussing Mobile Ad-hoc Networks
A. Bianchi
,
S. Pizzutilo
,
G. Vessio
2014
Corpus ID: 62261269
Several formalisms have been applied for addressing development issues in Mobile Ad-hoc NETworks (MANETs), however they usually…
Expand
2012
2012
A prototype implementation for situation analysis using ASP and CoreASM
Zahra Vaseqi
2012
Corpus ID: 33009215
Answer Set Programming (ASP) is a non-monotonic declarative language that is widely applied to different areas in science and…
Expand
2011
2011
Simulating a Flash File System with CoreASM and Eclipse
Dominik Haneberg
,
Maximilian Junker
,
G. Schellhorn
,
W. Reif
,
G. Ernst
GI-Jahrestagung
2011
Corpus ID: 16640360
The formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal…
Expand
2010
2010
Studying MANET through a Petri Net-Based Model
A. Bianchi
,
S. Pizzutilo
2nd International Conference on Evolving Internet
2010
Corpus ID: 14588211
Several problems related to communication among Mobile Ad-hoc NETworks (MANETs) devices can be faced making use of formal models…
Expand
2010
2010
ASM-SPV: A Model Checker for Security Protocols
Jianhua Peng
,
Feng Liu
,
Zhenju Zhao
,
Danqing Huang
,
Rui Xue
Sixth International Conference on Intelligent…
2010
Corpus ID: 11765591
This paper presents details of a model checker for security protocols, called ASM-SPV (Abstract State Machines-Security Protocols…
Expand
2010
2010
Bârun: A Scripting Language for CoreASM
M. Altenhofen
,
Roozbeh Farahbod
International Workshops on Abstract State…
2010
Corpus ID: 41926273
Scenarios have been used in various stages of the software development process, in particular in requirement elicitation and…
Expand
2009
2009
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#
Sylvain Boulmé
,
Marie-Laure Potet
Rigorous Methods for Software Construction and…
2009
Corpus ID: 11899580
This paper deals with modular verification of component invariants in the B Method. On the one hand, B imposes severe…
Expand
2007
2007
Model Checking CoreASM Specifications
U. Glässer
2007
Corpus ID: 16009056
In this paper we present an approach to model checking abstract state machines using the Spin model checker. We give an algorithm…
Expand
2007
2007
Mastermind : A Computational Framework for Studying Physical Crime
U. Glässer
,
Piper J. Jackson
,
M. Vajihollahi
2007
Corpus ID: 2573092
Criminal events are understood in the context of complex interactions between the most important elements of crime, namely: the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE