Sciweavers

CRYPTO
2000
Springer
134views Cryptology» more  CRYPTO 2000»
14 years 5 months ago
Taming the Adversary
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
Martín Abadi
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
14 years 5 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 5 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
KBSE
2000
IEEE
14 years 5 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ASWEC
2000
IEEE
14 years 5 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson
TACS
2001
Springer
14 years 5 months ago
Lightweight Analysis of Object Interactions
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
Daniel Jackson, Alan Fekete
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 5 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
SAS
2001
Springer
151views Formal Methods» more  SAS 2001»
14 years 5 months ago
A Behavioral Module System for the Pi-Calculus
Sriram K. Rajamani, Jakob Rehof
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
14 years 5 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen