Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets Fulltext Access 18 Pages 2006
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs Fulltext Access 18 Pages 2006
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP 1 Fulltext Access 18 Pages 2006
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures Fulltext Access 18 Pages 2006
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving Fulltext Access 18 Pages 2006
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility ⋆ Fulltext Access 18 Pages 2006
Proof-carrying code from certified abstract interpretation and fixpoint compression Fulltext Access 19 Pages 2006
Haruspicy 3: The anisotropic generating function of directed bond-animals is not D-finite Fulltext Access 19 Pages 2006
Hereditary properties of partitions, ordered graphs and ordered hypergraphs Fulltext Access 19 Pages 2006
On the structure of the tight-span of a totally split-decomposable metric Fulltext Access 19 Pages 2006
Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1 Fulltext Access 19 Pages 2006
How the (1+1) ES using isotropic mutations minimizes positive definite quadratic forms Fulltext Access 19 Pages 2006
A general approach to comparing infinite-state systems with their finite-state specifications Fulltext Access 19 Pages 2006
Processes as formal power series: A coinductive approach to denotational semantics Fulltext Access 19 Pages 2006
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks Fulltext Access 19 Pages 2006
An MDA approach to Access Control Specifications Using MOF and UML Profiles Fulltext Access 19 Pages 2006
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches Fulltext Access 19 Pages 2006
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment Fulltext Access 19 Pages 2006
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages Fulltext Access 19 Pages 2006
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems Fulltext Access 19 Pages 2006
The first order definability of graphs: Upper bounds for quantifier depth Fulltext Access 19 Pages 2006
A Framework for Engineering Interactions in Java-based Component Systems Fulltext Access 19 Pages 2006