A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Fulltext Access 16 Pages 2007
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode Fulltext Access 16 Pages 2007
Stochastic Concurrent Constraint Programming and Differential Equations Fulltext Access 16 Pages 2007
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking Fulltext Access 16 Pages 2007
Semi-Automated Component-Based Development of Formally Verified Software Fulltext Access 16 Pages 2007
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine Fulltext Access 16 Pages 2007
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3 Fulltext Access 16 Pages 2007
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption 1 Fulltext Access 17 Pages 2007
A fibrational framework for possible-world semantics of Algol-like languages Fulltext Access 17 Pages 2007
Coordinating team players within a noisy Iterated Prisoner’s Dilemma tournament Fulltext Access 17 Pages 2007
Well-definedness and semantic type-checking for the nested relational calculus Fulltext Access 17 Pages 2007
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters Fulltext Access 17 Pages 2007
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface Fulltext Access 17 Pages 2007
Coinductive Verification of Program Optimizations Using Similarity Relations Fulltext Access 17 Pages 2007
A Preliminary Comparative Study on the Expressive Power of Reo and Linda Fulltext Access 17 Pages 2007
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F Fulltext Access 17 Pages 2007
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation Fulltext Access 17 Pages 2007
A Structural Approach for Modelling Performance of Systems Using Skeletons Fulltext Access 17 Pages 2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming Fulltext Access 17 Pages 2007
Component Substitutability via Equivalencies of Component-Interaction Automata Fulltext Access 17 Pages 2007
A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 1 Fulltext Access 17 Pages 2007