Dirk Beyer Thomas A. Henzinger Vasu Singh May 16, 2006 Ecole Polytechnique F...  Home/Search
Context
Related
| mtc.epfl.ch/~beyer...parative_Study.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: mtc.epfl.ch/~beyer/Publ...BEYERD (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A temporal interface for a system component is a finite automaton that specifies the legal sequences of input events. We evaluate and compare three different algorithms for automatically extracting the temporal interface from the transition graph of a component: (1) a game algorithm that computes the interface as a representation of the most general environment strategy to avoid a safety violation; (2) a learning algorithm that repeatedly queries the component to construct the minimal interface ... (Update)
Active bibliography (related documents): More All
0.3: Automatic Synthesis of Interfaces between Incompatible.. - Passerone, Rowson, Alberto (1997) (Correct)
0.3: Challenges and Opportunities in Broadband and.. - Rabaey.. (2000) (Correct)
0.1: Dynamic Component Substitutability Analysis - Natasha Sharygina Sagar (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ thomas-comparative,
author = "Dirk Beyer Thomas",
title = "A Comparative Study",
url = "citeseer.ist.psu.edu/748728.html" }
Citations (may not include all citations):244 Learning regular sets from queries and counterexamples (context) - Angluin - 1987
109 Inference of finite automata using homing sequences (context) - Rivest, Schapire - 1993
94 Counterexample-guided abstraction refinement - Clarke, Grumberg et al. - 2000
38 Interface automata - de Alfaro, Henzinger - 2001
36 Automatic synthesis of interfaces between incompatible proto.. - Passerone, Rowson et al. - 1998
7 Synthesis of interface specifications for Java classes (context) - Alur, Cerny et al. - 2005
3 Sangiovanni-Vincentelli (context) - Rowson - 1997
1 Permissive interfaces (context) - Henzinger, Jhala et al. - 2005
Documents on the same site (http://mtc.epfl.ch/~beyer/Publications/bib/Author/BEYER-D.html): More
Evolution Storyboards: Visualization of Software Structure.. - Beyer, Hassan (2006) (Correct)
Clustering Software Artifacts Based on Frequent Common Changes - Beyer, Noack (2005) (Correct)
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs - Beyer, Lewerentz (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC