The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Beyond VHDL: textual formalisms, visual techniques, or both?
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models
Proceedings of the 6th international workshop on Hardware/software codesign
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Specification and verification of pipelining in the ARM2 RISC microprocessor
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Verification of relational tranducers for electronic commerce
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A formal model for the parallel semantics of P3L
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study
IEEE Transactions on Software Engineering
A joined architecture/compiler design environment for ASIPs
CASES '00 Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems
The simulation semantics of systemC
Proceedings of the conference on Design, automation and test in Europe
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Design space characterization for architecture/compiler co-exploration
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Interactive simulation of security policies
Proceedings of the 2002 ACM symposium on Applied computing
Distributed computation of web queries using automata
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Abstract state machines and computationally complete query languages
Information and Computation
The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
Efficient architecture/compiler co-exploration for ASIPs
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Δ: Set-theoretic query language capturing LOGSPACE
Annals of Mathematics and Artificial Intelligence
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Using Domain-Specific Languages for the Realization of Component Composition
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Formal Syntax and Semantics of Java
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Guarded Transitions in Evolving Specifications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
On Concept-Based Definition of Domain-Specific Languages
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Model Checking Support for the ASM High-Level Language
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Learning Collective Behaviour from Local Interactions
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Enhanced Control Flow Graphs in Montages
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Abstract State Machines for the Composition of Architectural Styles
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Verification Approach for Distributed Abstract State Machines
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Modeling Software: From Theory to Practice
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Design for Reuse via Structuring Techniques for ASMs
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
On the Need for a Neural Abstract Machine
Sequence Learning - Paradigms, Algorithms, and Applications
Verification of Quantitative Temporal Properties of SDL Specifications
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Language Independent Container Specification
Selected Papers from the International Seminar on Generic Programming
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Integrating Domain Specific Language Design in the Software Life Cycle
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Termination Detection Algorithm: Specification and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Logspace Reducibility via Abstract State Machines
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Automatic Verification of Abstract State Machines
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Symbolic Analysis of Transition Systems
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
On Verification of Refinements of Timed Distributed Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines and Pure Mathematics
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
An ASM Dynamic Semantics for Standard ML
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Model Checking Abstract State Machines and Beyond
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Partially Ordered Runs: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines at the Cusp of the Millenium
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Report on a Practical Application of ASMs in Software Design
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Towards an ASM Thesis for Unconventional Algorithms
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines and Computationally Complete Query Languages
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Description and Simulation of Microprocessor Instruction Sets Using ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Investigating Java Concurrency Using Abstract State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Choiceless Polynominal Time Computation and the Zero-One Law
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Background, Reserve, and Gandy Machines
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
A Logic for Abstract State Machines
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
State-Based Extensions of CASL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Flaw Detection in Formal Specifications
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Verifying Behavioural Specifications in CafeOBJ Environment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Decidable Classes of the Verification Problem in a Timed Predicate Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Modelling large railway interlockings and model checking small ones
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Verification of relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on PODS 2000
Runtime verification of .NET contracts
Journal of Systems and Software - Special issue on: Component-based software engineering
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
A UML Validation Toolset Based on Abstract State Machines
Proceedings of the 16th IEEE international conference on Automated software engineering
Composition and Refinement of Behavioral Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
Journal of Automated Reasoning
SystemC
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Modeling the meaning of transitions from and to concurrent states in UML state machines
Proceedings of the 2003 ACM symposium on Applied computing
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
SiteLang::Edu: towards a context-driven e-learning content utilization model
Proceedings of the 2004 ACM symposium on Applied computing
A software architecture for knowledge-based systems
The Knowledge Engineering Review
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
MAC and UML for secure software design
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
New semantic model for authentication protocols in ASMs
Journal of Computer Science and Technology
Survey of compiler testing methods
Programming and Computing Software
Design for Verification of SystemC Transaction Level Models
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
A Guarded Fragment for Abstract State Machines
Journal of Logic, Language and Information
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Editorial: abstract state machines and high-level system design and analysis
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Ordinary interactive small-step algorithms, I
ACM Transactions on Computational Logic (TOCL)
A schema language for coordinating construction and composition of partial behavior descriptions
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Theoretical Computer Science - Formal methods for components and objects
Formal specification and verification of the C# thread model
Theoretical Computer Science - Formal methods for components and objects
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Can abstract state machines be useful in language theory?
Theoretical Computer Science
Specification Of Network Embedded Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic (TOCL)
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic (TOCL)
Model-driven validation of SystemC designs
Proceedings of the 44th annual Design Automation Conference
Coinductive Verification of Program Optimizations Using Similarity Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Refinement of Atomic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM-based model of dynamic service update in OSGi
ACM SIGSOFT Software Engineering Notes
Abstract state machines capture parallel algorithms: Correction and extension
ACM Transactions on Computational Logic (TOCL)
Specifying module interfaces with finitely defined automata
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
An ASML model for an intelligent vehicle control system
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
ICER: a tool for finding errors in a UML model
Proceedings of the 2008 ACM symposium on Applied computing
Formal verification of ASMs using MDGs
Journal of Systems Architecture: the EUROMICRO Journal
The Abstract State Machines Method: Preface
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
State Isomorphism in Model Programs with Abstract Data Structures
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
An SMT Approach to Bounded Reachability Analysis of Model Programs
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The Verification of the On-Chip COMA Cache Coherence Protocol
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Semantic Integration of eGovernment Services in Schleswig-Holstein
EGOV '08 Proceedings of the 7th international conference on Electronic Government
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Model-driven validation of SystemC designs
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Processor Description Languages
Processor Description Languages
On Bounded Reachability of Programs with Set Comprehensions
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Operational ontological approach to formal programming language specification
Programming and Computing Software
A rewriting logic approach to operational semantics
Information and Computation
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Towards proving type safety of C#
Computer Languages, Systems and Structures
Application and middleware transparent checkpointing with TCKPT on ClusterGrids
Future Generation Computer Systems
Abstract Specification of the UBIFS File System for Flash Memory
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Transformation of SystemC to AsmL Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based Runtime Verification Framework for Self-optimizing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Partial updates exploration II
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Modelling conditional knowledge discovery and belief revision by abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Formal description of a distributed location service for mobile ad hoc networks
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Remarks on turbo ASMs for functional equations and recursion schemes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
The hidden computation steps of turbo abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
ASMs versus natural semantics: a comparison with new insights
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Consistent integration for sequential abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A framework for modeling the semantics of expression evaluation with abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
UML 2.0 state machines: complete formal semantics via core state machines
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
SDL profiles: formal semantics and tool support
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Generating a compiler for SDL from the formal language definition
SDL'03 Proceedings of the 11th international conference on System design
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
SDL time extensions from a semantic point of view
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Verifying smart card applications: an ASM approach
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A semantic characterization of unbounded-nondeterministic abstract state machines
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Array modeling in Java virtual machine
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
On the correctness of model transformations in the development of embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
OWL-S atomic services composition with SWRL rules
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Information systems in modeling interactive computations on granules
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic (TOCL)
Exact exploration and hanging algorithms
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Evolving databases: an application to electronic commerce
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Coordinating services for accessing and processing data in dynamic environments
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
The CoreASM modeling framework
Software—Practice & Experience
Design and verification of systemc transaction-level models
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Yuri, logic, and computer science
Fields of logic and computation
Fields of logic and computation
ASMs and operational algorithmic completeness of lambda calculus
Fields of logic and computation
Program optimization using abstract state machines
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Modelling multimodal 3D virtual environments with asynchronous multi-agent abstract state machine
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
On the correctness of transformations in compiler back-ends
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Database query processing using finite cursor machines
ICDT'07 Proceedings of the 11th international conference on Database Theory
Modeling and verification of MPI based distributed software
EuroPVM/MPI'06 Proceedings of the 13th European PVM/MPI User's Group conference on Recent advances in parallel virtual machine and message passing interface
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
An abstract model for service compositions based on agents
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Self-stabilization preserving compiler
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
A model-to-implementation mapping tool for automated model-based GUI testing
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Comprehensive verification framework for dependability of self-optimizing systems
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
An approach for the verification of systemc designs using asml
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
An asml executable model for WS-BPEL with orthogonal transactional behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Simulator for real-time abstract state machines
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
AsmL-based concurrency semantic variations for timed use case maps
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Embedded Systems Design
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
A metamodel for SDL-2000 in the context of metamodelling ULF
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
A tactic-driven process for developing reusable components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Can abstract state machines be useful in language theory?
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
An ASM-Characterization of a class of distributed algorithms
Rigorous Methods for Software Construction and Analysis
A systematic verification approach for mondex electronic purses using ASMs
Rigorous Methods for Software Construction and Analysis
Multi-paradigmatic model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Formal operations for SDL language profiles
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Symbolic bounded conformance checking of model programs
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
A logic to specify and verify synchronous transitions
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
SDL-2000: a language with a formal semantics
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Evaluating hybrid queries through service coordination in HYPATIA
Proceedings of the 15th International Conference on Extending Database Technology
A type system for static and dynamic checking of C++ pointers
Computer Languages, Systems and Structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Towards an axiomatization of simple analog algorithms
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Applied Ontology
Program Schemes, Queues, the Recursive Spectrum and Zero-one Laws
Fundamenta Informaticae - Machines, Computations and Universality, Part II
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Foundational analyses of computation
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Interactive information systems: Toward perception based computing
Theoretical Computer Science
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
A Hoare-style verification calculus for control state ASMs
Proceedings of the Fifth Balkan Conference in Informatics
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using the CASM language for simulator synthesis and model verification
Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools
Relativity and abstract state machines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
DKAL*: constructing executable specifications of authorization protocols
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
Model-based testing in legacy software modernization: an experience report
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Formalizing the design of embedded software using sequence diagrams and abstract state machines
Proceedings of the 2nd annual conference on Research in information technology
BICS'13 Proceedings of the 6th international conference on Advances in Brain Inspired Cognitive Systems
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
The rewriting logic semantics project: A progress report
Information and Computation
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
Hi-index | 0.00 |