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)
SystemC
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
A framework to simulate UML models: moving from a semi-formal to a formal environment
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Linking architectural and component system views by abstract state machines
Languages for system specification
Editorial: abstract state machines and high-level system design and analysis
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
A high-level modular definition of the semantics of C#
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
A logic for secure memory access of abstract state machines
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
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Formal specification and verification of the C# thread model
Theoretical Computer Science - Formal methods for components and objects
Weaving concerns in model based development of data-intensive web applications
Proceedings of the 2006 ACM symposium on Applied computing
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Compiling model transformations to EJB3-specific transformer plugins
Proceedings of the 2006 ACM symposium on Applied computing
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A high-level specification for Semantic Web Service Discovery Services
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Composition of executable business process models by combining business rules and process flows
Expert Systems with Applications: An International Journal
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
A Case Study on Semantic Unit Composition
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Model-driven validation of SystemC designs
Proceedings of the 44th annual Design Automation Conference
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Animações através de programação por demonstração
IHC '06 Proceedings of VII Brazilian symposium on Human factors in computing systems
On the interoperability of model-to-model transformation languages
Science of Computer Programming
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Attribute algebra for N-layer metamodeling
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
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
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
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
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
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Auxiliary state machines + context-triggered properties in verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Towards proving type safety of .NET CIL
Science of Computer Programming
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Abstract state machines for product family modeling
MCBE'08 Proceedings of the 9th WSEAS International Conference on Mathematics & Computers In Business and Economics
Testing diagnostics of modern microprocessors with the use of functional models
Automation and Remote Control
ASM and evolutionary algorithm for economic optimization of project risk management
EC'08 Proceedings of the 9th WSEAS International Conference on Evolutionary Computing
Linking the Meaning of Programs to What the Compiler Can Verify
Verified Software: Theories, Tools, Experiments
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
FM '08 Proceedings of the 15th international symposium on Formal Methods
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
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Algebraic Semantics for Contract-Based Software Components
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
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
Model Based Refinement and the Tools of Tomorrow
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
A Scenario-Based Validation Language for ASMs
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Verified AsmL Implementation of Belief Revision
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Formal Modeling and Analysis of a Flash Filesystem in Alloy
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Formal Verification of ASM Models Using TLA +
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Model-driven validation of SystemC designs
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
Semi-automatic Composition of Geospatial Web Services Using JBoss Rules
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
A Reference Model for Grid Architectures and Its Analysis
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Computational Modeling of Criminal Activity
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
Models in Software Engineering
Model Transformations for Performability Analysis of Service Configurations
Models in Software Engineering
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Co-Design of Web Information Systems Supported by SPICE
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
A practical state machine project
Proceedings of the 47th Annual Southeast Regional Conference
A semantic framework for metamodel-based languages
Automated Software Engineering
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Efficient Model Transformations by Combining Pattern Matching Strategies
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Towards proving type safety of C#
Computer Languages, Systems and Structures
Generating formal specifications for security-critical applications - A model-driven approach
IWSESS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems
Application and middleware transparent checkpointing with TCKPT on ClusterGrids
Future Generation Computer Systems
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Abstract Specification of the UBIFS File System for Flash Memory
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards a Reactive Semantic Execution Environment
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based Runtime Verification Framework for Self-optimizing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite differencing of logical formulas for static analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
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
A refinement method for Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A deidealisation semantics for KAOS
Proceedings of the 2010 ACM Symposium on Applied Computing
Compositional semantics of system-level designs written in systemC
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
A model-based standard for SDL
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Towards constraint-based preservation in systems specification
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Modeling workflow patterns from first principles
ER'07 Proceedings of the 26th international conference on Conceptual modeling
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
WSMO-lite annotations for web services
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Achievements and problems of conceptual modelling
Active conceptual modeling of learning
OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
An ASM-based executable formal model of service-oriented component interactions and orchestration
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Adaptive routing in mobile ad hoc networks based on decision aid approach
Proceedings of the 8th ACM international workshop on Mobility management and wireless access
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Practical issues with formal specifications: lessons learned from an industrial case study
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Intelligent author identification
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
Formal Methods in System Design
Run-time verification of networked software
RV'10 Proceedings of the First international conference on Runtime verification
A customised ASM thesis for database transformations
Acta Cybernetica
A model-driven process for engineering a toolset for a formal method
Software—Practice & Experience
The CoreASM modeling framework
Software—Practice & Experience
Reference attribute grammars for metamodel semantics
SLE'10 Proceedings of the Third international conference on Software language engineering
Completeness of fair ASM refinement
Science of Computer Programming
Partial Updates in Complex-Value Databases
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
ASMs and operational algorithmic completeness of lambda calculus
Fields of logic and computation
Abstract state machines and the inquiry process
Fields of logic and computation
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
A model advisor for NuSMV specifications
Innovations in Systems and Software Engineering
Non-functional properties in the model-driven development of service-oriented systems
Software and Systems Modeling (SoSyM)
A proof system with bounded non-determinism in database transformations
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
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
Proceedings of the 2011 workshop on New security paradigms workshop
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
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
Towards a theory of refinement for data migration
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Hybrid specification of reactive systems: an institutional approach
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
WSMX: a semantic service oriented middleware for b2b integration
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Self-stabilization preserving compiler
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An abstract model for process mediation
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
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
Model checking abstract state machines with answer set programming
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Computational modeling and experimental validation of aviation security procedures
ISI'06 Proceedings of the 4th IEEE international conference on Intelligence and Security Informatics
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Simulator for real-time abstract state machines
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Synchronous message passing and semaphores: an equivalence proof
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Structured event-b models and proofs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Engineering MDA into compositional reasoning for analyzing middleware-based applications
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Model transformations in the development of data–intensive web applications
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Brief announcement: monitoring of linear distributed computations
DISC'06 Proceedings of the 20th international conference on Distributed Computing
ASM and SDL models of geographic routing in mobile ad hoc networks
SDL'05 Proceedings of the 12th international conference on Model Driven
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Modeling- and analysis techniques for web services and business processes
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
A semantics-based protocol for business process transactions
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
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
Towards a theory of genericity based on government and binding
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Rigorous Methods for Software Construction and Analysis
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
Rigorous Methods for Software Construction and Analysis
Rigorous Methods for Software Construction and Analysis
JASMine: accessing java code from CoreASM
Rigorous Methods for Software Construction and Analysis
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Symbolic bounded conformance checking of model programs
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Formal verification of application-specific security properties in a model-driven approach
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
A high-level specification for mediators(virtual providers)
BPM'05 Proceedings of the Third international conference on Business Process Management
An abstract machine architecture for web service based business process management
BPM'05 Proceedings of the Third international conference on Business Process Management
Type safety of generics for the .NET common language runtime
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Abstract state machines for data-parallel computing
Conceptual Modelling and Its Theoretical Foundations
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Analyzing temporal properties of abstract models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Functional requirements validation by transforming use case models into Abstract State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A cellular automata model on residential migration in response to neighborhood social dynamics
Mathematical and Computer Modelling: An International Journal
Components monitoring through formal specifications
Proceedings of the 17th international doctoral symposium on Components and Architecture
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
CoMA: conformance monitoring of java programs by abstract state machines
RV'11 Proceedings of the Second international conference on Runtime verification
Contribution to a rigorous analysis of web application frameworks
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Test generation for sequential nets of abstract state machines
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Continuous ASM, and a pacemaker sensing fragment
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
An ASM model of concurrency in a web browser
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A unified processor model for compiler verification and simulation using ASM
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A reliability prediction method for abstract state machines
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Refactoring abstract state machine models
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Scenario-based testing using symbolic animation of B models
Software Testing, Verification & Reliability
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Modelling of Complex Systems: Systems as Dataflow Machines
Fundamenta Informaticae - Machines, Computations and Universality, Part II
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
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
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Contribution to a rigorous analysis of web application frameworks
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Optimising ordering strategies for symbolic model checking of railway interlockings
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Software components as invariant-typed arrows
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Incremental development of large, secure smart card applications
Proceedings of the Workshop on Model-Driven Security
Validation of formal models by refinement animation
Science of Computer Programming
A client-centric ASM-based approach to identity management in cloud computing
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Using the CASM language for simulator synthesis and model verification
Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools
Formal execution semantics for asynchronous constructs of AADL
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Model-Driven testing for web applications using abstract state machines
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Relativity and abstract state machines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
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
Editorial: Data migration: A theoretical perspective
Data & Knowledge Engineering
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Formal development of wireless sensor-actor networks
Science of Computer Programming
Adaptation space exploration for service-oriented applications
Science of Computer Programming
A reliability model for Service Component Architectures
Journal of Systems and Software
A method and tool for tracing requirements into specifications
Science of Computer Programming
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
| Hi-index | 0.00 |