Stefan Leue  Home/Search
Context Related
| inf.unikonstanz.de/soft/re...pstv95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: inf.unikonstan...ications_en.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The expressiveness of many state-transition based formal description techniques, e.g. the ITU-TS standardised Specification and Description Language (SDL), does not capture hard real-time requirements. In telecommunications systems engineering, hard real-time requirements, however, are an important class of properties. They occur in the description of progress properties in telecommunications protocols as well as in the specification of real-time related of Quality of Service (QoS)... (Update)
Similar documents based on text: More All
0.2: A Formal Approach to Optimized Parallel Protocol Implementation - Leue, Oechslin (1994) (Correct)
0.2: QoS Specification based on SDL/MSC and Temporal Logic - Leue (1994) (Correct)
0.1: Formal Methods for Broadband and Multimedia Systems - Fischer, Leue (1997) (Correct)
BibTeX entry: (Update)
S. Leue. Specifying real-time requirements for SDL specifications -- a temporal logic-based approach. In P. Dembi'nski and M. ' Sredniawa, editors, Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV'95. Chapman & Hall, 1995. http://citeseer.ist.psu.edu/leue95specifying.html More
@inproceedings{ leue95specifying,
author = "Stefan Leue",
title = "Specifying real-time requirements for {SDL} specifications - a temporal logic-based approach",
booktitle = "{PSTV}",
pages = "19-34",
year = "1995",
url = "citeseer.ist.psu.edu/leue95specifying.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
299 Model checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
268 The theory of timed automata - Alur, Dill - 1992
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992
175 Logics and models of real-time: A survey - Alur, Henzinger - 1992
103 On communicating finite-state machines (context) - Brand, Zafiropulo - 1983
99 SDL with Applications from Protocol Specification (context) - Belina, Hogrefe et al. - 1991
90 Time-constrained automata - Merritt, Modugno et al. - 1991
90 Specifying Message Passing and Time-Critical Systems with Te.. (context) - Koymans - 1989
85 Recognizing safety and liveness - Alpern, Schneider - 1987
34 CCITT Specification and Description Language (context) - Recommendation - 1992
33 Prentice-Hall International (context) - Holzmann, Validation et al. - 1991
31 The Temporal Specification and Verification of Real-Time Sys.. (context) - Henzinger - 1991
28 Automatic functional test generation using the extended fini.. (context) - Cheng, Krishnakumar - 1993
25 Protocol engineering (context) - Liu - 1989
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.inf.uni-konstanz.de/soft/publications_en.php): More
Partial Order Reduction in Directed Model Checking - Lluch-Lafuente, Edelkamp, Leue (2001) (Correct)
Four Issues Concerning the Semantics of Message Flow Graphs - Ladkin, Leue (1995) (Correct)
Syntactic Analysis of Message Sequence Chart Specifications - Ben-Abdallah, Leue (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC