Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Beyer, Dirk - Fakultät für Informatik und Mathematik, Universität Passau
Shape Refinement through Explicit Heap Analysis
Algorithms for Interface Synthesis (Invited Tutorial)
A Tool for Verified Design using Alloy for Specification and CrocoPat for Verification
CCVisu: Automatic Visual Software Decomposition School of Computing Science
A Simple and Effective Measure for Complex Low-Level Dependencies Simon Fraser University, B.C., Canada
Animated Visualization of Software History using Evolution Storyboards Dirk Beyer
An Application of Web-Service Interfaces Simon Fraser University
arXiv:0904.4709v1[cs.SE]29Apr2009 Software Model Checking via Large-Block Encoding
Int J Softw Tools Technol Transfer (2007) 9:505525 DOI 10.1007/s10009-007-0044-z
CheckDep: A Tool for Tracking Software Dependencies Simon Fraser University, B.C., Canada
Software Model Checking via Large-Block Encoding Simon Fraser University
Program Analysis with Dynamic Precision Adjustment Simon Fraser University, Canada
CSIsat: Interpolation for LA+EUF Dirk Beyer1
Invariant Synthesis for Combined Theories Dirk Beyer1
Path Invariants Thomas A. Henzinger
An Interface Formalism for Web Services Dirk Beyer Arindam Chakrabarti Thomas A. Henzinger
Path Invariants Dirk Beyer Thomas A. Henzinger
Evolution Storyboards: Visualization of Software Structure Dynamics Dirk Beyer
DepDigger: A Tool for Detecting Complex Low-Level Dependencies Simon Fraser University, B.C., Canada
Conditional Model Checking Dirk Beyer 1,2
Feature-Aware Verification Sven Apel 1
