The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase timed automata (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1994 (17) 1995-1996 (19) 1997 (22) 1998 (24) 1999 (43) 2000 (38) 2001 (47) 2002 (47) 2003 (72) 2004 (69) 2005 (81) 2006 (97) 2007 (76) 2008 (75) 2009 (79) 2010 (56) 2011 (41) 2012 (56) 2013 (50) 2014 (60) 2015 (53) 2016 (53) 2017 (63) 2018 (40) 2019 (5)
Publication types (Num. hits)
article(329) book(1) incollection(7) inproceedings(923) phdthesis(23)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 786 occurrences of 328 keywords

Results
Found 1283 publication records. Showing 1283 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
157Joseph Sifakis A General Framework for the Composition of Timed Systems Extended Abstract. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
148Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 Timed Automata Patterns. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
123Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
118Bernard Berthomieu, Florent Peres, François Vernadat Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
113Olivier Finkel Undecidable Problems About Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
107Rodolfo Gómez 0001 A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Urgent actions, Timed Automata with Deadlines, Uppaal
106Manfred Droste, Karin Quaas A Kleene-Schützenberger Theorem for Weighted Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
99Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens The Regular Real-Time Languages. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
95Joël Ouaknine, James Worrell 0001 Universality and Language Inclusion for Open and Closed Timed Automata. Search on Bibsonomy HSCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
93Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Concavely-Priced Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
92Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye When Are Timed Automata Determinizable? Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
92Patricia Bouyer Forward Analysis of Updatable Timed Automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF (updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
91Deepak D'Souza, P. S. Thiagarajan Product Interval Automata: A Subclass of Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
90Marcin Jurdzinski, François Laroussinie, Jeremy Sproston Model Checking Probabilistic Timed Automata with One or Two Clocks. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
88William K. C. Lam, Robert K. Brayton Criteria for the Simple Path Property in Timed Automata. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
87Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance analysis of probabilistic timed automata using digital clocks. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, Digital clocks
87Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager Minimum-Cost Reachability for Priced Timed Automata. Search on Bibsonomy HSCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Optimization, Algorithms, Verification, Data Structures, Timed Automata
86Junyan Qian, Baowen Xu Model Checking for Timed Statecharts. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
86Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick Specification and Analysis of Automata-Based Designs. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, Timed automata, stochastic automata
85Huimin Lin, Wang Yi 0001 Axiomatising timed automata. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
85Rajeev Alur, Limor Fix, Thomas A. Henzinger A Determinizable Class of Timed Automata. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
85Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
84Henrik C. Bohnenkamp, Axel Belinfante Timed Testing with TorX. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
83Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer On Presburger Liveness of Discrete Timed Automata. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
83Béatrice Bérard, Serge Haddad Interrupt Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability of reachability, timed automata, interruptions, Hybrid automata, multi-task systems
83Jirí Srba Timed-Arc Petri Nets vs. Networks of Timed Automata. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
83Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik Dealing with practical limitations of distributed timed model checking for timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
82Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen Model Checking Prioritized Timed Automata. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Prioritized timed automata, DBM subtraction, zone merging, zone reduction
82Stavros Tripakis Fault Diagnosis for Timed Automata. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fault diagnosis, Timed Automata, Partial observability
81Joseph S. Miller Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
81Parosh Aziz Abdulla, Pavel Krcál, Wang Yi 0001 Sampled Universality of Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
80Slawomir Lasota, Igor Walukiewicz Alternating timed automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF emptyness problem, timed automata, Alternation
80Dirk Beyer 0001 Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs. Search on Bibsonomy CHARME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed Automata
80Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
79Jeremy Sproston Strict Divergence for Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
79Sara Adams, Joël Ouaknine, James Worrell 0001 Undecidability of Universality for Timed Automata with Minimal Resources. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
79Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
78Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
77Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Polynomial Distinguishability of Timed Automata. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
77William K. C. Lam, Robert K. Brayton Alternating RQ Timed Automata. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
75Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
75Zhe Dang, Oscar H. Ibarra, Jianwen Su Composability of Infinite-State Activity Automata. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
74Huimin Lin, Wang Yi 0001 A Proof System for Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
74Huimin Lin, Wang Yi 0001 A Complete Axiomatisation for Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
72Marcin Jurdzinski, Ashutosh Trivedi 0001 Concavely-Priced Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
72Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001 Decidability and Complexity Results for Timed Automata via Channel Machines. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
71Satoshi Yamane Deductive Verification of Probabilistic Real-Time Systems. Search on Bibsonomy ICDCS Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Satoshi Yamane, Takashi Kanatani Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. Search on Bibsonomy EUC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
71Frits W. Vaandrager, Nancy A. Lynch Action Transducers and Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
69Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
69Marta 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
69Zhe Dang Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen Optimal infinite scheduling for multi-priced timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Priced timed automata, Optimal mean-payoff
69Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani On using priced timed automata to achieve optimal scheduling. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Priced-timed automata, Zone-based, Linear programming, Real-time scheduling, Cost optimality
69Farn Wang Efficient Verification of Timed Automata with BDD-Like Data-Structures. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, verification, data-structures, timed automata, BDD
69Lina Khatib, Nicola Muscettola, Klaus Havelund Mapping Temporal Planning Constraints into Timed Automata. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
69Dirk Beyer 0001 Improvements in BDD-Based Reachability Analysis of Timed Automata. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed automata, BDDs, Discretization
68Biniam Gebremichael, Frits W. Vaandrager Specifying Urgency in Timed I/O Automata. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Johan Bengtsson, Wang Yi 0001 On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
67Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
67Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi 0001 Timed vs. Time-Triggered Automata. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Incremental Synthesis of Timed Automata. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
66Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell 0001 Zone-Based Universality Analysis for Single-Clock Timed Automata. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Rajeev Alur, P. Madhusudan Decision Problems for Timed Automata: A Survey. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad Extended Timed Automata and Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
64Jin Song Dong, Roger Duke, Ping Hao Integrating Object-Z with Timed Automata. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Specification, Timed Automata, Object-Z
64Rongjie Yan, Guangyuan Li, Zhisong Tang Symbolic Model Checking of Finite Precision Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Finite precision timed automata, model checking, symbolic methods
64Pierluigi San Pietro, Zhe Dang Automatic Verification of Multi-queue Discrete Timed Automata. Search on Bibsonomy COCOON The full citation details ... 2003 DBLP  DOI  BibTeX  RDF infinite-state model-checking, real-time systems, Timed Automata
64Rachel Cardell-Oliver Conformance Tests for Real-Time Systems with Timed Automata Specifications. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Real-time systems, Timed automata, Conformance testing, Test selection
64Elena Fersman, Paul Pettersson, Wang Yi 0001 Timed Automata with Asynchronous Processes: Schedulability and Decidability. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
64Ruggero Lanotte, Andrea Maggiolo-Schettini Timed Automata with Monotonic Activities. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Xavier Nicollin, Joseph Sifakis, Sergio Yovine Compiling Real-Time Specifications into Extended Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
63Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier Robust Analysis of Timed Automata via Channel Machines. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza Fault Diagnosis Using Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer Past Pushdown Timed Automata. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit 0001 Expressiveness of Updatable Timed Automata. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Christer Norström, Anders Wall, Wang Yi 0001 Timed Automata as Task Models for Event-Driven Systems. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
63Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen Time-Abstracting Bisimulation for Probabilistic Timed Automata. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF time-abstracting bisimulation, probabilistic timed automata
63Eugene Asarin Timed Automata and Timed Languages Challenges and Open Problems. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Ramzi Ben Salah, Marius Bozga, Oded Maler Compositional timing analysis. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF compositional generation, abstraction, timed automata, reachability analysis
61Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
61Jasper Berendsen, Taolue Chen, David N. Jansen Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. Search on Bibsonomy TAMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
61Slawomir Lasota, Igor Walukiewicz Alternating Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Deepak D'Souza, M. Raj Mohan Eventual Timed Automata. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Joël Ouaknine, James Worrell 0001 On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Joël Ouaknine, James Worrell 0001 Revisiting Digitization, Robustness, and Decidability for Timed Automata. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Karin Quaas On the Supports of Recognizable Timed Series. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin Durations and parametric model-checking in timed automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Timed automata, Presburger arithmetic
60Gerd Behrmann Distributed reachability analysis in timed automata. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Distributed state space generation, Model checking, Load balancing, Timed automata
60Carl K. Chang, Yi-Te Tseng, Ugo Buy Compiling process algebraic specifications into timed automata. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
59Thomas 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
59Béatrice Bérard, Paul Gastin, Antoine Petit 0001 On the Power of Non-Observable Actions in Timed Automata. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
58Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Search on Bibsonomy Real-Time Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF real-time systems, model checking, timed automata, design tool, formal specification and verification
58Gopal Gupta, Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
58Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi 0001 Efficient verification of real-time systems: compact data structure and state-space reduction. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
58Pham Hong Thai, Dang Van Hung Verifying Linear Duration Constraints of Timed Automata. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
58Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri Towards formal security analysis of GTRBAC using timed automata. Search on Bibsonomy SACMAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GTRBAC, model checking, timed automata, security analysis, ctl
58Gi Sook Jung, Sang Yun Kim, Soon Ki Jung, Seung Deuk Byun, Yang Soo Lee Timed Automata-Based Rehabilitation Training Game Design for the Affected Lower Extremity of Hemiparetic Patient. Search on Bibsonomy Trans. Edutainment The full citation details ... 2008 DBLP  DOI  BibTeX  RDF rehabilitation training game, isometric training, hemiparetic patient, motion capture, timed automata
58Xianli Jin, Huadong Ma, Zonghua Gu Real-Time Component Composition Using Hierarchical Timed Automata. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hierarchical timed automata, real-time, component, labeled transition systems
58Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. Search on Bibsonomy KES (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning
Displaying result #1 - #100 of 1283 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license