MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Clock Difference Diagrams." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Clock Difference Diagrams
by Kim G. Larsen, Carsten Weise, Wang Yi, Yi Wang, Justin Pearson, Justin Pearson — 1998 — Nordic Journal of Computing
…BRICS RS-98-46 Larsen et al.: Clock Difference Diagrams BRICS Basic Research in Computer Science…
Cited by 15 (3 self) – Add To MetaCart

Efficient Timed Reachability Analysis using Clock Difference Diagrams
by Justin Pearson, Carsten Weise, Wang Yi, Gerd Behrmann, Gerd Behrmann, Kim G. Larsen, Kim G. Larsen — 1998 — In Proceedings of the 12th Int. Conf. on Computer Aided Veri
… In this paper, we introduce a more ecient BDD-like data-structure for federations, Clock Difference Diagrams…
Cited by 41 (6 self) – Add To MetaCart

UPPAAL - Now, Next, and Future
by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi — 2001 — In Proc. MOVEP’00, LNCS 2067
…. In particular, we outline Clock Dierence Diagrams (CDDs), new compact representations of states, a distributed…
Cited by 4 (0 self) – Add To MetaCart

Data Structures and Algorithms for the Analysis of Real Time Systems
by Gerd Behrmann, Gerd Behrmann, Phd Dissertation — 2003
… model checking of state/event systems, over clock difference diagrams (CDD) – an ROBDD like data…
Cited by 2 (1 self) – Add To MetaCart

Verification of plan models using UPPAAL
by Lina Khatib, Nicola Muscettola, Klaus Havelund
… and HSTS. DBM stands for Difference Bounded Matrices and CDD stands for Clock Difference Diagrams. Due…
Cited by 1 (0 self) – Add To MetaCart

UPPAAL2k
by Paul Pettersson, Kim Guldstrand Larsen, Kim Guldstr — 2000
… a new data structure called Clock Difference Diagrams, CDDs. The new structure is BDD-like (it…
Add To MetaCart

An approach translating CoD specification to be checked by UPPAAL
by Faïez Charfi, Leila Jemni, Ben Ayed, Samir Ben Ahmed, Sofiène Tahar, Rue Abou, Rayhan Bayrouni, Ariana Tunisie
… with the invariant. UPPAAL uses a new data structure called Clock Difference Diagram CDD [11].UPPAAL is very…
Add To MetaCart

An MTBDD-based implementation of forward reachability for probabilistic timed automata
by Fuzhi Wang, Marta Kwiatkowska — 2005 — Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA’05), volume 3707 of LNCS
… Decision Diagrams (DDDs) [17], Clock Difference Diagrams (CDDs) [2] and Clock-Restriction Diagram (CRDs…
Cited by 1 (1 self) – Add To MetaCart

The octahedron abstract domain
by Robert Clarisó, Jordi Cortadella — 2004 — In Static Analysis Symposium (2004
… Decision Diagrams (NDD) [13], and Clock Difference Diagrams (CDD) [4]. Although the individual constraints…
Cited by 16 (0 self) – Add To MetaCart

Satisfiability checking with difference constraints
by Scott Cotton, Andreas Podelski, Bernd Finkbeiner — 2005 — in IMPRS Computer Science, Saarbruceken
… of difference decision diagrams [22], and clock difference diagrams [18] which eliminate the redundancy…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB