Search Sciweavers | Sciweavers

1129 search results - page 3 / 226

» Modular Ranking Abstraction

131

Voted

CASES
2004
ACM

89views System Software» more CASES 2004»

Modular design through component abstraction

16 years 25 days ago

Download www.irisa.fr

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

claim paper

Read More »

161

Voted

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

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

15 years 11 months ago

Download ece.ut.ac.ir

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

claim paper

Read More »

189

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 11 months ago

Download react.cs.uni-sb.de

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

claim paper

Read More »

130

Voted

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

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

15 years 9 months ago

Download www.artist-embedded.org

Ernesto Wandeler, Lothar Thiele

claim paper

Read More »

139

Voted

DAGSTUHL
2006

121views Software Engineering» more DAGSTUHL 2006»

Using Abstraction in Modular Verification of Synchronous Adaptive Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers