Sciweavers

Top Ranked Papers of 2001 on Formal Methods | All Conferences

All ConferencesSASIFLFMFORTEIWFM

click to vote

FORTE
2001

250views Formal Methods» more FORTE 2001»

Towards a Formal Framework for Interoperability Testing

13 years 6 months ago

Download www.irisa.fr

César Viho, Sébastien Barbin, L&eacu...

claim paper

Read More »

click to vote

FORTE
2001

208views Formal Methods» more FORTE 2001»

Implementing a Modal Logic over Data and Processes using XTL

13 years 6 months ago

Download ftp.inrialpes.fr

The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...

Jeremy Bryans, Carron Shankland

claim paper

Read More »

click to vote

SAS
2001
Springer

166views Formal Methods» more SAS 2001»

Estimating the Impact of Scalable Pointer Analysis on Optimization

13 years 9 months ago

Download pages.cs.wisc.edu

This paper addresses the following question: Do scalable control-ﬂow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...

Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...

claim paper

Read More »

click to vote

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

13 years 9 months ago

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

click to vote

SAS
2001
Springer

149views Formal Methods» more SAS 2001»

Analysis of Multithreaded Programs

13 years 9 months ago

Download sdg.csail.mit.edu

Abstract. The ﬁeld of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...

Martin C. Rinard

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence