default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. FTRTFT 1998: Lyngby, Denmark
- Anders P. Ravn, Hans Rischel:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Lecture Notes in Computer Science 1486, Springer 1998, ISBN 3-540-65003-2
Invited Lectures
- John C. Knight:
Challenges in the Utilization of Formal Methods. 1-17 - Constance L. Heitmeyer:
On the Need for Practical Formal Methods. 18-26 - Joseph Sifakis:
A General Framework for the Composition of Timed Systems Extended Abstract. 27-28
Temporal Logic
- Henning Dierks, Ansgar Fehnker
, Angelika Mader, Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems. 29-40 - Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications. 41-54 - Paritosh K. Pandya, Dang Van Hung:
Duration Calculus of Weakly Monotonic Time. 55-64
Requirements Engineering
- Reinhard Gotzhein, Martin Kronenburg, Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. 65-74 - Radu Grosu, Thomas Stauner, Manfred Broy:
A Modular Visual Model for Hybrid Systems. 75-91 - Darren George Priddin, Alan Burns:
Integrating Real-Time Structured Design and Formal Techniques. 92-102 - Simeon Veloudis, Nimal Nissanke:
Duration Calculus in the Specification of Safety Requirements. 103-112
Analysis Techniques
- Scott D. Stoller, Fred B. Schneider:
Automated Stream-Based Analysis of Fault-Tolerance. 113-122 - Antonio Cau, Chris A. Czarnecki, Hussein Zedan:
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method. 123-132 - David Y. W. Park, Jens U. Skakkebæk, David L. Dill:
Static Analysis to Identify Invariants in RSML Specifications. 133-142 - Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan:
Partition Refinement in Real-Time Model Checking. 143-157
Verification
- Michael Siegel:
Formal Verification of Stabilizing Systems. 158-172 - Mannes Poel, Job Zwiers:
Synchronizing Clocked Transition Systems. 173-185 - Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya:
Some Decidability Results for Duration Calculus under Synchronous Interpretation. 186-197 - Amir Pnueli, Natarajan Shankar, Eli Singerman:
Fair Synchronous Transition Systems and Their Liveness Proofs. 198-209
Model Checking
- Anuj Puri:
Dynamical Properties of Timed Automata. 210-227 - Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger:
An Algorithm for the Approximative Analysis of Rectangular Automata. 228-240 - Jianhua Zhao, Dang Van Hung:
On Checking Parallel Real-Time Systems for Linear Duration Properties. 241-250 - Rachel Cardell-Oliver, Tim Glover:
A Practical and Complete Algorithm for Testing Real-Time Systems. 251-261
Applications
- Detlef Schwier, Friedrich W. von Henke:
Mechanical Verification of Clock Synchronization Algorithms. 262-271 - Martin Fränzle, Karsten Lüth:
Compiling Graphical Real-Time Specifications into Silicon. 272-281 - Gerardo Schneider, Qiwen Xu:
Towards a Formal Semantics of Verilog Using Duration Calculus. 282-293
Tools Demonstrations
- Karsten Lüth:
The ICOS Synthesis Environment. 294-297 - Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). 298-302 - Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías:
SGLOT: A Visual Tool for Structural LOTOS Specifications. 303-306 - Dragan Bosnacki, Dennis Dams:
Discrete-Time Promela and Spin. 307-310 - Josef Tapken, Henning Dierks:
MOBY/PLC - Graphical Development of PLC-Automata. 311-314
Invited Paper
- Gérard Le Lann:
Predictability in Critical Systems. 315-338
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
