Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|