Modular Architectural Representation and Analysis of Fault Propagation and Transformation Fulltext Access 19 Pages 2005
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions Fulltext Access 19 Pages 2005
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems Fulltext Access 19 Pages 2005
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude Fulltext Access 19 Pages 2005
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL Fulltext Access 19 Pages 2005
Bounded Model Checking with SNF, Alternating Automata, and Büchi Automata Fulltext Access 19 Pages 2005
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Fulltext Access 19 Pages 2005
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets Fulltext Access 19 Pages 2005
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers Fulltext Access 19 Pages 2005
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality Fulltext Access 19 Pages 2005
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Fulltext Access 19 Pages 2005
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic Fulltext Access 19 Pages 2005
Discrete strip-concave functions, Gelfand-Tsetlin patterns, and related polyhedra Fulltext Access 19 Pages 2005
Computing the minimum DNF representation of Boolean functions defined by intervals Fulltext Access 20 Pages 2005
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting Fulltext Access 20 Pages 2005
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC Fulltext Access 20 Pages 2005
Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation Fulltext Access 20 Pages 2005
Integration of Reliability and Performance Analyses for Active Network Services Fulltext Access 20 Pages 2005
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis Fulltext Access 20 Pages 2005
Improving the algorithm of Bafna and Pevzner for the problem of sorting by transpositions: a practical approach Fulltext Access 20 Pages 2005
Semi-online scheduling jobs with tightly-grouped processing times on three identical machines Fulltext Access 20 Pages 2005
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis Fulltext Access 20 Pages 2005
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources Fulltext Access 20 Pages 2005
Reconstruction of 8-connected but not 4-connected hv-convex discrete sets Fulltext Access 20 Pages 2005