3. FTRTFT 1994:
Lübeck,
Germany
Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.):
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 BibTeX
@proceedings{DBLP:conf/ftrtft/1994,
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third
International Symposium Organized Jointly with the Working Group
Provably Correct Systems - ProCoS, L{\"u}beck, Germany, September
19-23, Proceedings},
booktitle = {FTRTFT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {863},
year = {1994},
isbn = {3-540-58468-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Selected Presentations
- Anish Arora:
Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs.
110-127 BibTeX
- Michael von der Beeck:
A Comparison of Statecharts Variants.
128-148 BibTeX
- 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 BibTeX
- Doeko Bosscher, Indra Polak, Frits W. Vaandrager:
Verification of an Audio Control Protocol.
170-192 BibTeX
- Ahmed Bouajjani, Rachid Echahed, Riadh Robbana:
Verfying Invariance Properties of Timed Systems with Duration Variables.
193-210 BibTeX
- Hanifa Boucheneb, Gérard Berthelot:
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.
211-227 BibTeX
- Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Designing and Implementing Correct Real-Time Systems.
228-246 BibTeX
- Manfred Broy, Ketil Stølen:
Specification and Refinement of Finite Dataflow Networks - a Relational Approach.
247-267 BibTeX
- Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems.
268-287 BibTeX
- 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 BibTeX
- Jifeng He, Zheng Jianping:
Simulation Approach to Provably Correct Hardware Compilation.
336-350 BibTeX
- Thomas A. Henzinger, Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems.
351-372 BibTeX
- Tomasz Janowski:
Fault-Tolerant Bisimulation and Process Tranformations.
373-392 BibTeX
- Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers:
Layering of Real-Time Distributed Processes.
393-417 BibTeX
- Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
Testing and Refinement for Nondeterministic and Probabilistic Processes.
418-430 BibTeX
- Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems.
431-454 BibTeX
- Peter Kearney, Mark Utting:
A Layered Real-Time Specification of a RISC Processor.
455-475 BibTeX
- J. K. Kishore, R. S. Manjunatha, V. K. Agrawal, N. K. Malik, P. S. Goel:
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft.
476-487 BibTeX
- Yassine Lakhnech, Jozef Hooman:
Reasoning about Durations in Metric Temporal Logic.
488-510 BibTeX
- Gérard Le Lann:
Scheduling in Critical Real-Time Systems: a Minfesto.
511-528 BibTeX
- Zhiming Liu, Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems.
529-546 BibTeX
- Olivier Maffeïs, Paul Le Guernic:
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.
547-566 BibTeX
- Ryosei Mori, Naoki Yonezaki:
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.
567-582 BibTeX
- Simin Nadjm-Tehrani, Jan-Erik Strömberg:
From Physical Modelling to Compositional Models of Hybrid Systems.
583-604 BibTeX
- Michael Schenke:
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.
605-620 BibTeX
- R. K. Shyamasundar, S. Ramesh:
Languages for Reactive Specifications: Synchrony Vs Asynchrony.
621-640 BibTeX
- Henny Sipma, Zohar Manna:
Specification and Verification of Controlled Systems.
641-659 BibTeX
- Jens Ulrik Skakkebæk, Natarajan Shankar:
Towards a Duration Calculus Proof Assistant in PVS.
660-679 BibTeX
- Wang Yi:
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information.
680-693 BibTeX
- Thomas Wilke:
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata.
694-715 BibTeX
- Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun:
A Calculus for Hybrid Sampled Data Systems.
716-737 BibTeX
- Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya:
Formal Design of Hybrid Systems.
738-755 BibTeX
- Zheng Yuhua, Chaochen Zhou:
A Formal Proof of the Deadline Driven Scheduler.
756-775 BibTeX
Tools Demonstration
Copyright © Sat May 16 23:13:00 2009
by Michael Ley (ley@uni-trier.de)
