- Gérard Le Lann:
Predictability in Critical Systems. FTRTFT 1998: 315-338 - Karsten Lüth:
The ICOS Synthesis Environment. FTRTFT 1998: 294-297 - Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías
:
SGLOT: A Visual Tool for Structural LOTOS Specifications. FTRTFT 1998: 303-306 - Paritosh K. Pandya, Dang Van Hung:
Duration Calculus of Weakly Monotonic Time. FTRTFT 1998: 55-64 - David Y. W. Park, Jens U. Skakkebæk, David L. Dill:
Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142 - Amir Pnueli, Natarajan Shankar, Eli Singerman:
Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209 - Mannes Poel, Job Zwiers:
Synchronizing Clocked Transition Systems. FTRTFT 1998: 173-185 - Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger:
An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT 1998: 228-240 - Darren George Priddin, Alan Burns:
Integrating Real-Time Structured Design and Formal Techniques. FTRTFT 1998: 92-102 - Anuj Puri:
Dynamical Properties of Timed Automata. FTRTFT 1998: 210-227 - Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya:
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197 - Gerardo Schneider, Qiwen Xu:
Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293 - Detlef Schwier, Friedrich W. von Henke:
Mechanical Verification of Clock Synchronization Algorithms. FTRTFT 1998: 262-271 - Michael Siegel:
Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172 - Joseph Sifakis:
A General Framework for the Composition of Timed Systems Extended Abstract. FTRTFT 1998: 27-28 - Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan:
Partition Refinement in Real-Time Model Checking. FTRTFT 1998: 143-157 - Scott D. Stoller, Fred B. Schneider:
Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT 1998: 113-122 - Josef Tapken, Henning Dierks:
MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT 1998: 311-314 - Simeon Veloudis, Nimal Nissanke:
Duration Calculus in the Specification of Safety Requirements. FTRTFT 1998: 103-112 - 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 [contents] - 1996
- Roberto M. Amadio, Mads Dam:
Toward a Modal Theory of Types for the pi-Calculus. FTRTFT 1996: 347-365 - Rajesh K. Bawa, Emmanuelle Encrenaz:
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. FTRTFT 1996: 471-474 - Morten Biehl, Nils Klarlund, Theis Rauhe:
Mona: Decidable Arithmetic in Practice. FTRTFT 1996: 459-462 - Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439 - Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine:
Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326 - Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma:
Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466 - Annie Choquet, Dominique Geniet, Francis Cottet:
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. FTRTFT 1996: 246-262 - Flaviu Cristian:
On the Semantics of Group Communication. FTRTFT 1996: 1-21 - Pedro R. D'Argenio, Ed Brinksma:
A Calculus for Timed Automata. FTRTFT 1996: 110-129 - Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini:
Scheduling Data Flow Programs in Hard Real-Time Environments. FTRTFT 1996: 263-278
