Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses Fulltext Access 16 Pages 2005
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation Fulltext Access 16 Pages 2005
Parallel Multithreaded Satisfiability Solver: Design and Implementation Fulltext Access 16 Pages 2005
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic Fulltext Access 16 Pages 2005
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus Fulltext Access 16 Pages 2005
Improving the Security of Downloadable Java Applications With Static Analysis Fulltext Access 16 Pages 2005
A Formal Approach for Analysis and Testing of Reliable Embedded Systems Fulltext Access 16 Pages 2005
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis Fulltext Access 16 Pages 2005
Towards a Megamodel to Model Software Evolution Through Transformations Fulltext Access 16 Pages 2005
Termination of High-Level Replacement Units with Application to Model Transformation Fulltext Access 16 Pages 2005
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD Fulltext Access 16 Pages 2005
Model Checking Functional and Performability Properties of Stochastic Fluid Models Fulltext Access 16 Pages 2005
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search Fulltext Access 16 Pages 2005
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware Fulltext Access 16 Pages 2005
Abstract Conditions for the Confluence of Explicit Substitution Calculi Fulltext Access 16 Pages 2005
Applications of unbiased perturbations towards quantifying robustness with pragmatic geometric methods Fulltext Access 16 Pages 2005
Small-sample improvements in the statistical analysis of seasonally cointegrated systems Fulltext Access 16 Pages 2005
Combined Procrustes analysis and PLSR for internal and external mapping of data from multiple sources Fulltext Access 16 Pages 2005
Bootstrapping heteroskedastic regression models: wild bootstrap vs. pairs bootstrap Fulltext Access 16 Pages 2005
Multiple comparison procedures for detecting differences in simply ordered means Fulltext Access 16 Pages 2005
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse Fulltext Access 17 Pages 2005
A Coalgebraic Semantic Framework for Component-based Development in UML Fulltext Access 17 Pages 2005
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification Fulltext Access 17 Pages 2005
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems Fulltext Access 17 Pages 2005
A Program Result Checker for the Lexical Analysis of the GNU C Compiler Fulltext Access 17 Pages 2005
Analysing Password Protocol Security Against Off-line Dictionary Attacks Fulltext Access 17 Pages 2005
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification Fulltext Access 17 Pages 2005
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Fulltext Access 17 Pages 2005