Search Sciweavers | Sciweavers

23

CONCUR
1998
Springer

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

13 years 11 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 »

28

click to vote

TIME
2005
IEEE

140views Automated Reasoning» more TIME 2005»

Analysis of Timed Processes with Data Using Algebraic Transformations

14 years 1 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 »

38

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 11 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 »

25

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 11 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 »

23

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 5 months ago