Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Decomposition and Composition of Timed Automata
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Real-Time Automata and the Kleene Algebra of Sets of Real Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Renaming is Necessary in Timed Regular Expressions
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
A Kleene/Büchi-like theorem for clock languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Theoretical Computer Science
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Theoretical Computer Science
Folk theorems on the determinization and minimization of timed automata
Information Processing Letters
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Transformations of Timed Cooperating Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Timed substitutions for regular signal-event languages
Formal Methods in System Design
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
ACM Transactions on Computational Logic (TOCL)
On conciseness of extensions of timed automata
Journal of Automata, Languages and Combinatorics
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theoretical Computer Science
Model Checking and Artificial Intelligence
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Conformance testing for real-time systems
Formal Methods in System Design
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
Reachability in Timed Counter Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Dark Side of Timed Opacity
ISA '09 Proceedings of the 3rd International Conference and Workshops on Advances in Information Security and Assurance
Removing All Silent Transitions from Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rational time-advance DEVS (RTA-DEVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Efficient CTMC model checking of linear real-time objectives
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Specification and verification of real-time systems using POLA
International Journal of Critical Computer-Based Systems
Distributed event clock automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Exact incremental analysis of timed automata with an SMT-solver
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Diagonal constraints in timed automata: forward analysis of timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Intersection of regular signal-event (timed) languages
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Refinements and abstractions of signal-event (timed) languages
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Verification, performance analysis and controller synthesis for real-time systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
On timed automata with discrete time – structural and language theoretical characterization
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Timed-arc petri nets vs. networks of timed automata
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Fault diagnosis using timed automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Transformations of Timed Cooperating Automata
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Fundamenta Informaticae
Robustness of time petri nets under architectural constraints
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
ACM Computing Surveys (CSUR)
| Hi-index | 0.01 |