![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.