Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Investigating Type-Certifying Compilation with Isabelle
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Refinement Algebra for Formal Bytecode Generation
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Design for Reuse via Structuring Techniques for ASMs
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Constructive Foundations for Featherweight Java
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
A Logic for Abstract State Machines
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
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
Theoretical Computer Science - Foundations of software science and computation structures
Operational semantics of transactions
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A portable Virtual Machine target for Proof-Carrying Code
Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Journal of Automated Reasoning
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler
Journal of Automated Reasoning
A Type System for the Java Bytecode Language and Verifier
Journal of Automated Reasoning
Algebraic Semantics of an Imperative Programming Language
Programming and Computing Software
Using abstract state machines for distributed data warehouse design
APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Lightweight Bytecode Verification
Journal of Automated Reasoning
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Linking architectural and component system views by abstract state machines
Languages for system specification
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Non-interference for a JVM-like language
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
A Guarded Fragment for Abstract State Machines
Journal of Logic, Language and Information
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
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
Precise Analysis of Memory Consumption using Program Logics
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Formal specification and verification of the C# thread model
Theoretical Computer Science - Formal methods for components and objects
A machine-checked model for a Java-like language, virtual machine, and compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
An assertion-based proof system for multithreaded Java
Theoretical Computer Science - Formal methods for components and objects
A portable virtual machine target for proof-carrying code
Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Reasoning about safety properties in a JVM-like environment
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM-based model of dynamic service update in OSGi
ACM SIGSOFT Software Engineering Notes
The Abstract State Machines Method: Preface
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
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Java bytecode verification via static single assignment form
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards proving type safety of .NET CIL
Science of Computer Programming
Linking the Meaning of Programs to What the Compiler Can Verify
Verified Software: Theories, Tools, Experiments
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Using EventB to Create a Virtual Machine Instruction Set Architecture
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Platform Independent Timing of Java Virtual Machine Bytecode Instructions
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Validation of streaming XML documents with abstract state machines
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
A rewriting logic approach to operational semantics
Information and Computation
ACM SIGBED Review
Towards proving type safety of C#
Computer Languages, Systems and Structures
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
A Formally Verified Compiler Back-end
Journal of Automated Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Java Bytecode Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A framework for proving contract-equipped classes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A unified formal specification and analysis of the new java memory models
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
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
Validation of the JavaCard platform with implicit induction techniques
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Java as a functional programming language
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A semantic characterization of unbounded-nondeterministic abstract state machines
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Term rewriting for web information systems: termination and church-rosser property
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Modeling workflow patterns from first principles
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Coupling design and verification in software product lines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
CoqJVM: an executable specification of the Java virtual machine using dependent types
TYPES'07 Proceedings of the 2007 international conference on Types for proofs and programs
On the role of non-functional properties in compiler verification
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A Dozen Instructions Make Java Bytecode
Electronic Notes in Theoretical Computer Science (ENTCS)
A provably correct stackless intermediate representation for Java bytecode
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
The CoreASM modeling framework
Software—Practice & Experience
Abstract state machines and the inquiry process
Fields of logic and computation
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
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
An OCL semantics specified with QVT
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Transparent java threads migration protocol over peer2peer
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Java type confusion and fault attacks
FDTC'06 Proceedings of the Third international conference on Fault Diagnosis and Tolerance in Cryptography
Formal methods for smartcard security
Foundations of Security Analysis and Design III
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
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
An ASM-Characterization of a class of distributed algorithms
Rigorous Methods for Software Construction and Analysis
Rigorous Methods for Software Construction and Analysis
Verifying a compiler for java threads
ESOP'10 Proceedings of the 19th 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
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
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A Deterministic Algorithm for Identifying Direct Superclasses in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
The Abstract State Machines Method
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
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Contribution to a rigorous analysis of web application frameworks
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
PE-KeY: a partial evaluator for java programs
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
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
The rewriting logic semantics project: A progress report
Information and Computation
| Hi-index | 0.00 |