The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/formats

Publication years (Num. hits)
2004 (27)
Publication types (Num. hits)
inproceedings(26) proceedings(1)
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
1Yassine 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 Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olga Grinchtein, Bengt Jonsson 0001, Martin Leucker Learning of Event-Recording Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Felix C. Gärtner, Arshad Jhumka Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic Monitoring Temporal Properties of Continuous Signals. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Catalin Dima, Alain Girault, Yves Sorel Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Moez Krichen, Stavros Tripakis Real-Time Testing with Timed Automata Testers and Coverage Criteria. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Véronique Bruyère, Jean-François Raskin Model-Checking for Weighted Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Philippe Gerner, Thao Dang 0001 Computing Schedules for Multithreaded Real-Time Programs Using Geometry. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul S. Miner, Alfons Geser, Lee Pike, Jeffrey Maddalon A Unified Fault-Tolerance Protocol. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault tolerance, reliability, protocol, Diagnosis, Byzantine, Interactive Consistency, SPIDER
1Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén Forward Reachability Analysis of Timed Petri Nets. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Y. A. Ryan Of Elections and Electrons. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Samar Dajani-Brown, Darren D. Cofer, Amar Bouali Formal Verification of an Avionics Sensor Voter Using SCADE. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Maria Sorea Lazy Approximation for Dense Real-Time Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Deepak D'Souza, Nicolas Tabareau On Timed Automata with Input-Determined Guards. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin Robustness and Implementability of Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mikhail Bernadsky, Raman Sharykin, Rajeev Alur Structured Modeling of Concurrent Stochastic Hybrid Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simona Bernardi 0001, Susanna Donatelli, Giovanna Dondossola Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert Some Progress in Satisfiability Checking for Difference Logic. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul Feautrier From Software to Hardware and Back. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fang Yu 0001, Bow-Yaw Wang, Yao-Wen Huang Bounded Model Checking for Region Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Chiheb Kossentini, Paul Caspi Mixed Delay and Threshold Voters in Critical Real-Time Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang Symbolic Model Checking for Probabilistic Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dilsun Kirli Kaynar, Nancy A. Lynch Decomposing Verification of Timed I/O Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Harald Fecher The Influence of Durational Actions on Time Equivalences. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bruno Dutertre, Maria Sorea Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nicolas Markey, Philippe Schnoebelen Symbolic Model Checking for Simply-Timed Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license