Search Sciweavers | Sciweavers

15

CONCUR
1998
Springer

133views Distributed And Parallel Com...» more CONCUR 1998»

13 years 9 months ago

This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...

Jean-François Raskin, Pierre-Yves Schobbens...

claim paper

Read More »

17

click to vote

TIME
2005
IEEE

140views Automated Reasoning» more TIME 2005»

Analysis of Timed Processes with Data Using Algebraic Transformations

13 years 10 months ago

Download alexandria.tue.nl

The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...

Michel A. Reniers, Yaroslav S. Usenko

claim paper

Read More »

28

click to vote

FASE
2004
Springer

183views Software Engineering» more FASE 2004»

Specification and Analysis of Real-Time Systems Using Real-Time Maude

13 years 8 months ago

Download heim.ifi.uio.no

Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

17

click to vote

CAV
2003
Springer

155views Hardware» more CAV 2003»

An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic

13 years 8 months ago

Download www.ics.ele.tue.nl

Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...

Marc Geilen

claim paper

Read More »

14

click to vote

EUSFLAT
2009

113views Fuzzy Logic» more EUSFLAT 2009»

Real-Time Segmentation of Moving Objects in H.264 Compressed Domain with Dynamic Design of Fuzzy Sets

13 years 2 months ago