Search Sciweavers | Sciweavers

3387 search results - page 229 / 678

» Model-Checking for Real-Time Systems

211

click to vote

ECRTS
2003
IEEE

111views Embedded Systems» more ECRTS 2003»

A Real-Time RMI Framework for the RTSJ

16 years 10 days ago

Download www.cs.york.ac.uk

The Real-Time Speciﬁcation for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...

Andrew Borg, Andy J. Wellings

claim paper

Read More »

163

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

130

click to vote

DATE
2008
IEEE

133views Hardware» more DATE 2008»

Model Checking of Analog Systems using an Analog Specification Language

16 years 1 months ago

Download www.date-conference.com

Sebastian Steinhorst, Lars Hedrich

claim paper

Read More »

148

click to vote

PROMAS
2007
Springer

137views Intelligent Agents» more PROMAS 2007»

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

16 years 1 months ago

Download www.uni-koblenz.de

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...

claim paper

Read More »

156

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers