Search Sciweavers | Sciweavers

1129 search results - page 3 / 226

» Modular Ranking Abstraction

102

click to vote

CASES
2004
ACM

89views System Software» more CASES 2004»

Modular design through component abstraction

15 years 11 months ago

Download www.irisa.fr

David Berner, Jean-Pierre Talpin, Paul Le Guernic,...

claim paper

Read More »

134

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

15 years 9 months ago

Download ece.ut.ac.ir

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoor...

claim paper

Read More »

155

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 9 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

click to vote

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

Abstracting functionality for modular performance analysis of hard real-time systems

15 years 7 months ago

Download www.artist-embedded.org

Ernesto Wandeler, Lothar Thiele

claim paper

Read More »

108

Voted

DAGSTUHL
2006

121views Software Engineering» more DAGSTUHL 2006»

Using Abstraction in Modular Verification of Synchronous Adaptive Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers