Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,367,921 papers from all fields of science
Search
Sign In
Create Free Account
AsmL
Known as:
ASML programming language
Abstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines formal method and developed by Microsoft. AsmL…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Finite-state machine
Functional programming
Programming language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
MAGNETICALLY LEVITATED LINEAR STAGE FOR IN-VACUUM TRANSPORTATION TASKS
Lei Zhou
,
D. Trumper
2018
Corpus ID: 173983873
INTRODUCTION The reticle handling task in photo lithography machines is becoming increasingly challenging in the extreme…
Expand
2016
2016
Unified Syntax for Abstract State Machines
Paolo Arcaini
,
Silvia Bonfanti
,
+6 authors
M. Stegmaier
International Conference on Abstract State…
2016
Corpus ID: 11158142
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines ASMs, based on the syntaxes of two…
Expand
2009
2009
Conformance analysis of ASML's test process
A. Rozinat
,
de Ism Ivo Jong
,
Cw Christian Günther
,
Wil M.P. van der Aalst
2009
Corpus ID: 13302144
Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable…
Expand
2009
2009
Symbolic Bounded Model Checking of Abstract State Machines
Margus Veanes
,
Nikolaj S. Bjørner
,
Y. Gurevich
,
W. Schulte
International Journal of Software and Informatics
2009
Corpus ID: 16261181
Abstract State Machines (ASMs) allow modeling system behaviors at any desired level of abstraction, including a level with rich…
Expand
Review
2008
Review
2008
Automated Fault Diagnosis in Embedded Systems
P. Zoeteweij
,
J. Pietersma
,
Rui Abreu
,
A. Feldman
,
A. V. Gemund
Second International Conference on Secure System…
2008
Corpus ID: 1890016
Automated fault diagnosis is emerging as an important factor in achieving an acceptable and competitive cost/dependability ratio…
Expand
2008
2008
Chapter 4 Detecting behavioral conflicts among crosscutting concerns
P. Dürr
,
Lodewijk Bergmans
,
M. Aksit
2008
Corpus ID: 86866998
Aspects have been successfully promoted as a means to improve the modularization of software in the presence of crosscutting…
Expand
2007
2007
A Semantic Anchoring Infrastructure for the Design of Embedded Systems
G. Hemingway
,
Hang Su
,
Kai Chen
,
T. Koo
Annual International Computer Software and…
2007
Corpus ID: 14854263
Embedded systems are a key enabling technology for the recent vast increase in functionality of a huge list of critical…
Expand
2006
2006
A semantic anchoring infrastructure for model-integrated computing
J. Sztipanovits
,
Kai Chen
2006
Corpus ID: 64160372
Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong…
Expand
2006
2006
Applying AOP in an Industrial Context: An Experience Paper
Pascal Durr
,
Lodewijk Bergmans
,
G. Gülesir
,
M. Aksit
,
Remco van Engelen
2006
Corpus ID: 8196341
2004
2004
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
A. Cavarra
,
E. Riccobene
,
P. Scandurra
Stud. Inform. Univ.
2004
Corpus ID: 16461823
The paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract…
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