Jan |
Feb |
Mar |
Apr |
|||||||||
29 |
5 |
12 |
19 |
26 |
5 |
12 |
19 |
2 |
9 |
16 |
23 |
30 |
Flanagan, Qadeer |
Types for Atomicity (PS) Types for Atomic Interfaces (email from Dave Tucker) |
Shaw, Garlan, et al |
Reasoning about Implicit Invocation
(PDF) Lessons on Converting Batch Systems to Support Interaction (Web page) Architectural Mismatch, or Why it's hard to build a system out of existing parts (PDF) |
Godefroid, et al |
VeriWeb: Automatically Testing Dynamic
Web Sites (PS) |
De Alfaro |
Model Checking the World
Wide Web (PS,
PDF) |
Godefroid, et al |
Automated Systematic Testing for Constraint-Based
Interactive Services (PS) |
Sabelfeld, Myers |
Language-Based Information
Flow Security (PS, PDF) |
Schneider, Morrisett, Harper |
A Language-Based Approach
to Security (PS) |
Easterbrook, Chechik, et
al |
Multi-Valued Symbolic Model-Checking
(PS) A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (PS) |
Godefroid, et al |
Generalized Model Checking:
Reasoning about Partial State Spaces (PS) Abstraction-based Model Checking using Modal Transition Systems (PS) |
Naumovic, Avrunin, Clarke,
Osterweil |
Applying Static Analysis
to Software Architectures (PS) |
Magee, Kramer, Giannakopoulou,
et al |
Behavior Analysis of Software
Architectures (PDF) |
Garlan, et al |
Specifying and Analyzing
Dynamic Software Architectures (paper) |
Chan |
Temporal-Logic Queries
(CAV 2000) |
Chechik, et al |
Model Exploration with
Temporal Logic Query Checking (PS) |
Jackson, et al |
Automating First-Order
Relational Logic (PDF) A Micromodularity Mechanism (PDF) |
Aldrich, Chambers, Notkin |
ArchJava: Connecting Software
Architecture to Implementation (PDF) Architectural Reasoning in Java (PDF) |
De Alfaro, Henzinger |
Interface Automata (PS, PDF) Synchronous and Bidirectional Component Interfaces (PS, PDF) — read this paper for the excellent introductory material alone |
Cobleigh, Clarke, Osterweil |
FLAVERS (PS) |
Dwyer, Hatcliff, Păsăreanu, et al |
Tool-Supported Program
Abstraction for Finite-State Verification (PDF) Filter-Based Model Checking of Partial Systems (PDF) |
Ball, et al |
Boolean and Cartesian Abstractions
for Model Checking C Programs (TACAS 2001) Automatically Validating Temporal Safety Properties of Interfaces (PS,PDF) Automatic Predicate Abstraction of C Programs (PS,PDF) |
Dam, et al |
Toward Parametric Verification of Open Distributed Systems (paper) |