Search Sciweavers | Sciweavers

296 search results - page 7 / 60

» Linear Parametric Model Checking of Timed Automata

click to vote

VMCAI
2010
Springer

188views Software Engineering» more VMCAI 2010»

Regular Linear Temporal Logic with Past

14 years 2 months ago

Download www4.in.tum.de

This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...

César Sánchez, Martin Leucker

claim paper

Read More »

click to vote

RTSS
2005
IEEE

146views Control Systems» more RTSS 2005»

Fast On-the-Fly Parametric Real-Time Model Checking

14 years 1 months ago

Download www.cs.umd.edu

This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...

Dezhuang Zhang, Rance Cleaveland

claim paper

Read More »

click to vote

FM
2009
Springer

163views Formal Methods» more FM 2009»

Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

14 years 7 days ago

Download www.mbsd.cs.ru.nl

We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...

Faranak Heidarian, Julien Schmaltz, Frits W. Vaand...

claim paper

Read More »

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

14 years 1 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »