Search Sciweavers | Sciweavers

91

ICALP
2007
Springer

116views Programming Languages» more ICALP 2007»

Reachability-Time Games on Timed Automata

15 years 6 months ago

d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...

Marcin Jurdzinski, Ashutosh Trivedi

claim paper

Read More »

83

click to vote

IPPS
2007
IEEE

143views Distributed And Parallel Com...» more IPPS 2007»

Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude

15 years 6 months ago

Download folk.uio.no

This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal speciﬁcation and model checking analysis of timedependent cryptographi...

Peter Csaba Ölveczky, Martin Grimeland

claim paper

Read More »

94

click to vote

QUESTA
2007

117views more QUESTA 2007»

Analyzing a degenerate buffer with general inter-arrival and service times in discrete time

14 years 11 months ago

Download telin.ugent.be

We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...

Wouter Rogiest, Koenraad Laevens, Joris Walraevens...

claim paper

Read More »

70

click to vote

DAC
2007
ACM

85views Computer Architecture» more DAC 2007»

The Case for the Precision Timed (PRET) Machine

16 years 24 days ago