|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yassine Lakhnech, Sergio Yovine (eds.) |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings  |
FORMATS/FTRTFT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker |
Learning of Event-Recording Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix C. Gärtner, Arshad Jhumka |
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic |
Monitoring Temporal Properties of Continuous Signals. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Catalin Dima, Alain Girault, Yves Sorel |
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Krichen, Stavros Tripakis |
Real-Time Testing with Timed Automata Testers and Coverage Criteria. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Jean-François Raskin |
Model-Checking for Weighted Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Gerner, Thao Dang 0001 |
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon |
A Unified Fault-Tolerance Protocol. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, reliability, protocol, Diagnosis, Byzantine, Interactive Consistency, SPIDER |
| 1 | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén |
Forward Reachability Analysis of Timed Petri Nets. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. A. Ryan |
Of Elections and Electrons. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Samar Dajani-Brown, Darren D. Cofer, Amar Bouali |
Formal Verification of an Avionics Sensor Voter Using SCADE. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Sorea |
Lazy Approximation for Dense Real-Time Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak D'Souza, Nicolas Tabareau |
On Timed Automata with Input-Determined Guards. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin |
Robustness and Implementability of Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Bernadsky, Raman Sharykin, Rajeev Alur |
Structured Modeling of Concurrent Stochastic Hybrid Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi 0001, Susanna Donatelli, Giovanna Dondossola |
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert |
Some Progress in Satisfiability Checking for Difference Logic. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Feautrier |
From Software to Hardware and Back. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode |
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu 0001, Bow-Yaw Wang, Yao-Wen Huang |
Bounded Model Checking for Region Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiheb Kossentini, Paul Caspi |
Mixed Delay and Threshold Voters in Critical Real-Time Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang |
Symbolic Model Checking for Probabilistic Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch |
Decomposing Verification of Timed I/O Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher |
The Influence of Durational Actions on Time Equivalences. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Dutertre, Maria Sorea |
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Markey, Philippe Schnoebelen |
Symbolic Model Checking for Simply-Timed Systems. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license