default search action
3. FTRTFT 1994: Lübeck, Germany
- Hans Langmaack, Willem P. de Roever, Jan Vytopil:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Lecture Notes in Computer Science 863, Springer 1994, ISBN 3-540-58468-4
Invited Lectures
- Limor Fix, Fred B. Schneider:
Hybrid Verification by Exploiting the Environment. 1-18 - Jozef Hooman:
Correctness of Real Time Systems by Construction. 19-40 - Leslie Lamport, Stephan Merz:
Specifying and Verifying Fault-Tolerant Systems. 41-76 - Amir Pnueli:
Development of Hybrid Systems. 77-85 - Chaochen Zhou:
Linear Duration Invariants. 86-109
Selected Presentations
- Anish Arora:
Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs. 110-127 - Michael von der Beeck:
A Comparison of Statecharts Variants. 128-148 - Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. 149-169 - Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
Verification of an Audio Control Protocol. 170-192 - Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables. 193-210 - Hanifa Boucheneb, Gérard Berthelot:
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. 211-227 - Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Designing and Implementing Correct Real-Time Systems. 228-246 - Manfred Broy, Ketil Stølen:
Specification and Refinement of Finite Dataflow Networks - a Relational Approach. 247-267 - Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems. 268-287 - Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
Provably Correct Systems. 288-335 - Jifeng He, Jianping Zheng:
Simulation Approach to Provably Correct Hardware Compilation. 336-350 - Thomas A. Henzinger, Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems. 351-372 - Tomasz Janowski:
Fault-Tolerant Bisimulation and Process Tranformations. 373-392 - Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
Layering of Real-Time Distributed Processes. 393-417 - Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
Testing and Refinement for Nondeterministic and Probabilistic Processes. 418-430 - Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. 431-454 - Peter Kearney, Mark Utting
:
A Layered Real-Time Specification of a RISC Processor. 455-475 - J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, Prem Shankar Goel:
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. 476-487 - Yassine Lakhnech, Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic. 488-510 - Gérard Le Lann:
Scheduling in Critical Real-Time Systems: a Minfesto. 511-528 - Zhiming Liu, Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems. 529-546 - Olivier Maffeïs, Paul Le Guernic:
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. 547-566 - Ryosei Mori, Naoki Yonezaki:
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. 567-582 - Simin Nadjm-Tehrani, Jan-Erik Strömberg:
From Physical Modelling to Compositional Models of Hybrid Systems. 583-604 - Michael Schenke:
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. 605-620 - R. K. Shyamasundar, S. Ramesh:
Languages for Reactive Specifications: Synchrony Vs Asynchrony. 621-640 - Henny Sipma, Zohar Manna:
Specification and Verification of Controlled Systems. 641-659 - Jens Ulrik Skakkebæk, Natarajan Shankar:
Towards a Duration Calculus Proof Assistant in PVS. 660-679 - Wang Yi:
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. 680-693 - Thomas Wilke:
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata. 694-715 - Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun:
A Calculus for Hybrid Sampled Data Systems. 716-737 - Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya:
Formal Design of Hybrid Systems. 738-755 - Zheng Yuhua, Chaochen Zhou:
A Formal Proof of the Deadline Driven Scheduler. 756-775
Tools Demonstration
- Tools Demonstration. 776-787
- Susanne Wiefel, Gerhard Trefz:
STATEMATE. 776 - John M. Rushby, Jens Ulrik Skakkebæk:
The PVS Verification System and PC/DC. 777 - Hans-Martin Hörcher:
The DST Z-Tools. 778 - Hans-Martin Hörcher, Uwe Schmidt:
The VDM Domain Compiler. 779 - Thomas Lindner:
Case Study Production Cell. 780 - Poul Bøgh Lassen:
IFAD VDM-SL Toolbox. 781 - Klaus Winkelmann, Klaus Nökel:
Control Specification Language - CSL. 782 - Klaus Winkelmann, Thomas Filkorn:
System Verification Environment - SVE. 783 - ITEX-DE: A TTCN Development Environment. 784
- The SDL Design Tool. 785
- Thomas Käufl, Stefan Klingenbeck:
Tatzelwurm. 786 - Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Formal Specification and Verification Using KIV. 787
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-01-06 01:43 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: