default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. FTRTFT 1996: Uppsala, Sweden
- Bengt Jonsson, Joachim Parrow:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1135, Springer 1996, ISBN 3-540-61648-9
Invited Lectures
- Flaviu Cristian:
On the Semantics of Group Communication. 1-21 - Natarajan Shankar:
Unifying Verification Paradigms. 22-39 - Gerard J. Holzmann:
Formal Methods for Early Fault Detection. 40-54
Selected Presentations
State Charts
- Andrea Maggiolo-Schettini, Adriano Peron:
Retiming Techniques for Statecharts. 55-71 - Florence Maraninchi
, Nicolas Halbwachs:
Compiling ARGOS into Boolean Equations. 72-89 - Stephen Paynter:
Real-Time Mode-Machines. 90-109
Timed Automata
- Pedro R. D'Argenio, Ed Brinksma:
A Calculus for Timed Automata. 110-129 - Jan Springintveld, Frits W. Vaandrager:
Minimizable Timed Automata. 130-147
Duration Calculus
- Paritosh K. Pandya:
Weak Chop Inverses and Liveness in Mean-Value Calculus. 148-167 - Martin Fränzle:
Synthesizing Controllers from Duration Calculus. 168-187 - Dang Van Hung, Phan Hong Giang:
Sampling Semantics of Duration Calculus. 188-207
Case Studies
- Henning Dierks:
The Production Cell: A Verified Real-Time System. 208-227 - Konsta Karsisto, Antti Valmari:
Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. 228-245
Scheduling
- Annie Choquet, Dominique Geniet, Francis Cottet:
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application. 246-262 - Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini:
Scheduling Data Flow Programs in Hard Real-Time Environments. 263-278 - Tomasz Janowski, Mathai Joseph:
Dynamic Scheduling in the Presence of Faults: Specification and Verification. 279-297
Fault Tolerance
- Aohan Mei, Yoshihide Igarashi, Naoki Shimizu:
Efficient Broadcasting on Faulty Star Networks. 298-305
Model Checking
- Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine:
Model-Checking for Extended Timed Temporal Logics. 306-326 - Florence Pagani:
Partial Orders and Verification of Real-Time systems. 327-346
Specification
- Roberto M. Amadio, Mads Dam:
Toward a Modal Theory of Types for the pi-Calculus. 347-365 - Cheryl Dietz:
Graphical Formalization of Real-Time Requirements. 366-384 - Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting. 385-404
Verification
- Martin Westhead, Simin Nadjm-Tehrani:
Verification of Embedded Systems Using Synchronous Observers. 405-419 - Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency. 420-439 - Simon Fowler, Andy J. Wellings:
Formal Analysis of a Real-Time Kernel Specification. 440-458
Tools Demonstration
- Morten Biehl, Nils Klarlund, Theis Rauhe:
Mona: Decidable Arithmetic in Practice. 459-462 - Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma:
Verifying Synchronous Reactive Systems Programmed in ESTEREL. 463-466 - Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification. 467-470 - Rajesh K. Bawa, Emmanuelle Encrenaz:
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. 471-474 - Mario Marrero, Álvaro Suárez Sarmiento:
EVGC: A Tool for Visualizing LOTOS Behavioural Specifications. 475-478
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 2025-03-01 15: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:
