|
|
Conferences in DBLP
- John C. Knight
Challenges in the Utilization of Formal Methods. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:1-17 [Conf]
- Constance L. Heitmeyer
On the Need for Practical Formal Methods. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:18-26 [Conf]
- Joseph Sifakis
A General Framework for the Composition of Timed Systems Extended Abstract. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:27-28 [Conf]
- Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
Operational and Logical Semantics for Polling Real-Time Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:29-40 [Conf]
- Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
A Finite-Domain Semantics for Testing Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:41-54 [Conf]
- Paritosh K. Pandya, Dang Van Hung
Duration Calculus of Weakly Monotonic Time. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:55-64 [Conf]
- Reinhard Gotzhein, Martin Kronenburg, Christian Peper
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:65-74 [Conf]
- Radu Grosu, Thomas Stauner, Manfred Broy
A Modular Visual Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:75-91 [Conf]
- D. Priddin, Alan Burns
Integrating Real-Time Structured Design and Formal Techniques. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:92-102 [Conf]
- Simeon Veloudis, Nimal Nissanke
Duration Calculus in the Specification of Safety Requirements. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:103-112 [Conf]
- Scott D. Stoller, Fred B. Schneider
Automated Stream-Based Analysis of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:113-122 [Conf]
- Antonio Cau, Chris Czarnecki, Hussein Zedan
Designing a Provably Correct Robot Control System Using a `Lean' Formal Method. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:123-132 [Conf]
- David Y. W. Park, Jens U. Skakkebæk, David L. Dill
Static Analysis to Identify Invariants in RSML Specifications. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:133-142 [Conf]
- R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
Partition Refinement in Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:143-157 [Conf]
- Michael Siegel
Formal Verification of Stabilizing Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:158-172 [Conf]
- Mannes Poel, Job Zwiers
Synchronizing Clocked Transition Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:173-185 [Conf]
- Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Some Decidability Results for Duration Calculus under Synchronous Interpretation. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:186-197 [Conf]
- Amir Pnueli, Natarajan Shankar, Eli Singerman
Fair Synchronous Transition Systems and Their Liveness Proofs. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:198-209 [Conf]
- Anuj Puri
Dynamical Properties of Timed Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:210-227 [Conf]
- Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
An Algorithm for the Approximative Analysis of Rectangular Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:228-240 [Conf]
- Jianhua Zhao, Dang Van Hung
On Checking Parallel Real-Time Systems for Linear Duration Properties. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:241-250 [Conf]
- Rachel Cardell-Oliver, Tim Glover
A Practical and Complete Algorithm for Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:251-261 [Conf]
- Detlef Schwier, Friedrich W. von Henke
Mechanical Verification of Clock Synchronization Algorithms. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:262-271 [Conf]
- Martin Fränzle, Karsten Lüth
Compiling Graphical Real-Time Specifications into Silicon. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:272-281 [Conf]
- Gerardo Schneider, Qiwen Xu
Towards a Formal Semantics of Verilog Using Duration Calculus. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:282-293 [Conf]
- Karsten Lüth
The ICOS Synthesis Environment. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:294-297 [Conf]
- 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). [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:298-302 [Conf]
- Mario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías
SGLOT: A Visual Tool for Structural LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:303-306 [Conf]
- Dragan Bosnacki, Dennis Dams
Discrete-Time Promela and Spin. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:307-310 [Conf]
- Josef Tapken, Henning Dierks
MOBY/PLC - Graphical Development of PLC-Automata. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:311-314 [Conf]
- Gérard Le Lann
Predictability in Critical Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1998, pp:315-338 [Conf]
|
