Search results for "FTRTFT"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Florence Maraninchi, Nicolas Halbwachs	Compiling ARGOS into Boolean Equations.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Flaviu Cristian	On the Semantics of Group Communication.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Morten Biehl, Nils Klarlund, Theis Rauhe	Mona: Decidable Arithmetic in Practice.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Roberto M. Amadio, Mads Dam	Toward a Modal Theory of Types for the pi-Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Konsta Karsisto, Antti Valmari	Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma	Verifying Synchronous Reactive Systems Programmed in ESTEREL.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Ed Brinksma	A Calculus for Timed Automata.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Martin Fränzle	Synthesizing Controllers from Duration Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Florence Pagani	Partial Orders and Verification of Real-Time systems.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine	Model-Checking for Extended Timed Temporal Logics.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Andrea Maggiolo-Schettini, Adriano Peron	Retiming Techniques for Statecharts.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Dang Van Hung, Phan Hong Giang	Sampling Semantics of Duration Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Natarajan Shankar	Unifying Verification Paradigms.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Martin Westhead, Simin Nadjm-Tehrani	Verification of Embedded Systems Using Synchronous Observers.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	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.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Peter Kearney, Mark Utting	A Layered Real-Time Specification of a RISC Processor.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Jifeng He 0001, 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.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Thomas Wilke	Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata.	FTRTFT	1994	DBLP DOI BibTeX RDF
1		The SDL Design Tool.	FTRTFT	1994	DBLP BibTeX RDF
1	Michael Schenke	Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Bengt Jonsson 0001, Chris Ho-Stuart, Wang Yi 0001	Testing and Refinement for Nondeterministic and Probabilistic Processes.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Zheng Yuhua, Chaochen Zhou	A Formal Proof of the Deadline Driven Scheduler.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Ryosei Mori, Naoki Yonezaki	Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Leslie Lamport, Stephan Merz	Specifying and Verifying Fault-Tolerant Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Limor Fix, Fred B. Schneider	Hybrid Verification by Exploiting the Environment.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Michael von der Beeck	A Comparison of Statecharts Variants.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Thomas Käufl, Stefan Klingenbeck	Tatzelwurm.	FTRTFT	1994	DBLP BibTeX RDF
1		ITEX-DE: A TTCN Development Environment.	FTRTFT	1994	DBLP BibTeX RDF
1	Poul Bøgh Lassen	IFAD VDM-SL Toolbox.	FTRTFT	1994	DBLP BibTeX RDF
1	Hans-Martin Hörcher, Uwe Schmidt 0002	The VDM Domain Compiler.	FTRTFT	1994	DBLP BibTeX RDF
1	Chaochen Zhou	Linear Duration Invariants.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Yassine Lakhnech, Jozef Hooman	Reasoning about Durations in Metric Temporal Logic.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Wang Yi 0001	Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	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.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	R. K. Shyamasundar, S. Ramesh	Languages for Reactive Specifications: Synchrony Vs Asynchrony.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers	Layering of Real-Time Distributed Processes.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Jozef Hooman	Correctness of Real Time Systems by Construction.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Olivier Maffeïs, Paul Le Guernic	Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Peter W. Kopke	Verification Methods for the Divergent Runs of Clock Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Manfred Broy, Ketil Stølen	Specification and Refinement of Finite Dataflow Networks - a Relational Approach.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Doeko Bosscher, Indra Polak, Frits W. Vaandrager	Verification of an Audio Control Protocol.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya	Formal Design of Hybrid Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Steven Bradley, William Henderson, David Kendall, Adrian Robson	Designing and Implementing Correct Real-Time Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Tomasz Janowski	Fault-Tolerant Bisimulation and Process Tranformations.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Jifeng He 0001, Jianping Zheng	Simulation Approach to Provably Correct Hardware Compilation.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Gérard Le Lann	Scheduling in Critical Real-Time Systems: a Minfesto.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Klaus Winkelmann, Thomas Filkorn	System Verification Environment - SVE.	FTRTFT	1994	DBLP BibTeX RDF
1	Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	Formal Specification and Verification Using KIV.	FTRTFT	1994	DBLP BibTeX RDF
1	Anish Arora	Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Jens Ulrik Skakkebæk, Natarajan Shankar	Towards a Duration Calculus Proof Assistant in PVS.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Amir Pnueli	Development of Hybrid Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	John M. Rushby, Jens Ulrik Skakkebæk	The PVS Verification System and PC/DC.	FTRTFT	1994	DBLP BibTeX RDF
1	Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Prooving Safety Properties of Hybrid Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1		Tools Demonstration.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Mathai Joseph	Stepwise Development of Fault-Tolerant Reactive Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Huiqun Yu, Paritosh K. Pandya, Yongqiang Sun	A Calculus for Hybrid Sampled Data Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Gérard Berthelot	Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Hans-Martin Hörcher	The DST Z-Tools.	FTRTFT	1994	DBLP BibTeX RDF
1	Vered Gafni, Amiram Yehudai, Yishai A. Feldman	Activation-Oriented Specification of Real-Time Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Henny Sipma, Zohar Manna	Specification and Verification of Controlled Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verfying Invariance Properties of Timed Systems with Duration Variables.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Thomas Lindner	Case Study Production Cell.	FTRTFT	1994	DBLP BibTeX RDF
1	Susanne Wiefel, Gerhard Trefz	STATEMATE.	FTRTFT	1994	DBLP BibTeX RDF
1	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	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Simin Nadjm-Tehrani, Jan-Erik Strömberg	From Physical Modelling to Compositional Models of Hybrid Systems.	FTRTFT	1994	DBLP DOI BibTeX RDF
1	Klaus Winkelmann, Klaus Nökel	Control Specification Language - CSL.	FTRTFT	1994	DBLP BibTeX RDF
1	Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi	Real-Time Scheduling by Queue Automata.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Jozef Hooman	The Real-Time Behaviour of Asynchronously Communicating Processes.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Padmanabhan Krishnan, Peter D. Mosses	Specifying Asynchronous Transfer of Control.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Victor Yodaiken, Krithi Ramamritham	Verification of a Reliable Net Protocol.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel	Duration Specifications for Shared Processors.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Reino Kurki-Suonio, Kari Systä, Jüri Vain	Scheduling in Real-Time Models.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Asis Goswami, Michael Bell, Mathai Joseph	ISL: An Interval Logic for the Specification of Real-time Programs.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Alan Jeffrey	Translating Timed Process Algebra into Prioritized Process Algebra.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Odile Millet	Multicycles and RTL Logic Satisfiability.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	David Scholefield, Hussein S. M. Zedan	TAM: A Formal Framework for the Development of Distributed Real-Time Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	K. T. Narayana	Observing Task Preemption in Ada 9x.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Hans Toetenel, Jan van Katwijk	Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Colin J. Fidge	Specification and Verification of Real-Time Behaviour Using Z and RTL.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Jan A. Bergstra	Asynchronous Communication in Real Space Process Algebra.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Natarajan Shankar	Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	J. Coenen, Jozef Hooman	A Compositional Semantics for Fault-Tolerant Real-Time Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Bernard Delyon, Oded Maler	On Fault-Tolerant Symbolic Computations.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Abha Moitra	Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Rachel Cardell-Oliver	A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Klaus D. Heidtmann	Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Yogesh Naik	A Temporal Approach to Requirements Specification of Real-Time Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Jim Davies, Dave Jackson, Steve A. Schneider	Broadcast Communication for Real-time Processes.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Amer Saeed, Tom Anderson 0001	Analysis of Timeliness Requirements in Safety-Critical Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Yonit Kesten, Amir Pnueli	Timed and Hybrid Statecharts and Their Textual Representation.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	David Murphy, David H. Pitt	Real-Timed Concurrent Refineable Behaviours.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Yolanda Ortega-Mallén	Operational Semantics for Timed Observations.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Wil Janssen, Job Zwiers	Protocol Design by Layered Decomposition: A Compositional Approach.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	John Plaice	RLucid, a General Real-Time Dataflow Language.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Martin Richard, Olivier F. Roux	An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	John M. Rushby	Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Mats Daniels	Modelling Real-Time Behaviour with an Interval Time Calculus.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Peter Coesmans, Martin J. Wieczorek	Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic.	FTRTFT	1992	DBLP DOI BibTeX RDF
1	Jan Vytopil (eds.)	Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings	FTRTFT	1991	DBLP DOI BibTeX RDF
1	Luigi V. Mancini, Giuseppe Pappalardo	Towards a Theory of Replicated Processing.	FTRTFT	1988	DBLP DOI BibTeX RDF

Publications at "FTRTFT"( http://dblp.L3S.de/Venues/FTRTFT )