|
Conferences in DBLP
The Orc Programming Language. [Citation Graph (, )][DBLP]
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. [Citation Graph (, )][DBLP]
Approximated Context-Sensitive Analysis for Parameterized Verification. [Citation Graph (, )][DBLP]
Verification of Parameterized Systems with Combinations of Abstract Domains. [Citation Graph (, )][DBLP]
On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP]
Recursive Parametric Automata and epsilon-Removal. [Citation Graph (, )][DBLP]
A Software Platform for Timed Mobility and Timed Interaction. [Citation Graph (, )][DBLP]
Modeling, Validation, and Verification of PCEP Using the IF Language. [Citation Graph (, )][DBLP]
Distinguing Non-deterministic Timed Finite State Machines. [Citation Graph (, )][DBLP]
System Model-Based Definition of Modeling Language Semantics. [Citation Graph (, )][DBLP]
Typing Component-Based Communication Systems. [Citation Graph (, )][DBLP]
Epistemic Logic for the Applied Pi Calculus. [Citation Graph (, )][DBLP]
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
Using First-Order Logic to Reason about Submodule Construction. [Citation Graph (, )][DBLP]
A Model-Checking Approach for Service Component Architectures. [Citation Graph (, )][DBLP]
Dynamic Symbolic Execution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. [Citation Graph (, )][DBLP]
A Type Graph Model for Java Programs. [Citation Graph (, )][DBLP]
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. [Citation Graph (, )][DBLP]
|