Toward a timed theory of channel coding, Jurdzinski and Nickovic [JN12], pp.27-42 ,
Spectral Gap in Timed Automata, Lecture Notes in Computer Science, vol.8053, pp.16-30, 2013. ,
DOI : 10.1007/978-3-642-40229-6_2
URL : https://hal.archives-ouvertes.fr/hal-00862273
Generating Functions of Timed Languages, MFCS, pp.124-135, 2012. ,
DOI : 10.1007/978-3-642-32589-2_14
URL : https://hal.archives-ouvertes.fr/hal-00678443
A sandwich proof of the Shannon- McMillan-Breiman theorem. The annals of probability, pp.899-909, 1988. ,
Model-checking for probabilistic real-time systems, Lecture Notes in Computer Science, vol.510, pp.115-126, 1991. ,
DOI : 10.1007/3-540-54233-7_128
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Volume and Entropy of Regular Timed Languages: Analytic Approach, Lecture Notes in Computer Science, vol.126, pp.13-27 ,
DOI : 10.1016/0304-3975(94)90010-8
Volume and Entropy of Regular Timed Languages: Discretization Approach, Lecture Notes in Computer Science, vol.1, issue.1, pp.69-83, 2009. ,
DOI : 10.1007/978-0-387-49820-1
Two size measures for timed languages ,
URL : https://hal.archives-ouvertes.fr/hal-00527852
Sampled semantics of timed automata, Logical Methods in Computer Science, vol.6, issue.3, 2010. ,
On discretization of delays in timed automata and digital circuits, Lecture Notes in Computer Science, vol.1466, pp.470-484, 1998. ,
DOI : 10.1007/BFb0055642
Symbolic Analysis for GSMP Models with One Stateful Clock, Lecture Notes in Computer Science, vol.4416, pp.90-103, 2007. ,
DOI : 10.1007/978-3-540-71493-4_10
Thin and Thick Timed Regular Languages, Fahrenberg and Tripakis [FT11], pp.113-128 ,
DOI : 10.1007/s00165-005-0067-8
URL : https://hal.archives-ouvertes.fr/hal-00793583
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study, Lecture Notes in Computer Science, vol.4144, pp.489-502, 2006. ,
DOI : 10.1007/11817963_45
Counting and generating permutations using timed languages (long version), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00820373
A Maximal Entropy Stochastic Process for a Timed Automaton,, Lecture Notes in Computer Science, vol.7966, issue.2, pp.61-73, 2013. ,
DOI : 10.1007/978-3-642-39212-2_9
URL : https://hal.archives-ouvertes.fr/hal-00808909
Counting and generating permutations using timed languages, Lecture Notes in Computer Science, vol.8392, p.2014 ,
Probabilistic and Topological Semantics for Timed Automata, FSTTCS, pp.179-191, 2007. ,
DOI : 10.1007/978-3-540-77050-3_15
URL : https://hal.archives-ouvertes.fr/inria-00424526
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics, 2008 Fifth International Conference on Quantitative Evaluation of Systems, pp.55-64, 2008. ,
DOI : 10.1109/QEST.2008.19
URL : https://hal.archives-ouvertes.fr/inria-00424518
Symbolic dynamics. CoRR, abs, 1006. ,
Almost-Sure Model-Checking of Reactive Timed Automata, 2012 Ninth International Conference on Quantitative Evaluation of Systems, pp.138-147, 2012. ,
DOI : 10.1109/QEST.2012.10
Variable-length codes and finite automata, Selected topics in information and coding theory, pp.505-584, 2010. ,
Pumping Lemmas for timed automata, Lecture Notes in Computer Science, vol.1378, pp.81-94, 1998. ,
DOI : 10.1007/BFb0053543
A Linear Algorithm for the Random Sampling from??Regular Languages, Algorithmica, vol.8, issue.1, pp.130-145, 2012. ,
DOI : 10.1007/s00453-010-9446-5
Probability and measure, 2012. ,
A machine-independent characterization of timed languages, Automata, Languages, and Programming, pp.92-103, 2012. ,
Digital Transmission of Information, 1990. ,
Coefficients and roots of Ehrhart polynomials, Contemporary Mathematics, vol.374, pp.15-36, 2005. ,
DOI : 10.1090/conm/374/06897
Entropy for group endomorphisms and homogeneous spaces. Transactions of the, pp.401-414, 1971. ,
A Kleene/Büchi-like theorem for clock languages, Journal of Automata, Languages and Combinatorics, vol.7, issue.2, pp.167-186, 2002. ,
Codes and Automata , volume 129 of Encyclopedia of Mathematics and its Applications, 2009. ,
Computing the continuous discretely: Integer-point enumeration in polyhedra, 2007. ,
DOI : 10.1007/978-1-4939-2969-6
Noncommutative rational series with applications, Enc. of Math. and Appl, vol.137, 2011. ,
DOI : 10.1017/CBO9780511760860
URL : https://hal.archives-ouvertes.fr/hal-00620617
Introduction to Dynamical Systems, 2002. ,
DOI : 10.1017/CBO9780511755316
Timed Automata and the Theory of Real Numbers, Lecture Notes in Computer Science, vol.1664, pp.242-257, 1999. ,
DOI : 10.1007/3-540-48320-9_18
Real-time automata, Journal of Automata, Languages and Combinatorics, vol.6, issue.1, pp.3-24, 2001. ,
Computing reachability relations in timed automata, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, p.177, 2002. ,
DOI : 10.1109/LICS.2002.1029827
Statistical Model Checking for Networks of Priced Timed Automata, Fahrenberg and Tripakis [FT11], pp.80-96 ,
DOI : 10.1145/1755952.1755987
Descent pattern avoidance, Advances in Applied Mathematics, vol.49, issue.3-5, 2012. ,
DOI : 10.1016/j.aam.2012.08.004
Uber die verteilung der wurzeln bei gewissen algebraischen gleichungen mit ganzzahligen koeffizienten, Mathematische Zeitschrift, vol.17, pp.228-249, 1923. ,
Analytic combinatorics, 2009. ,
DOI : 10.1017/CBO9780511801655
URL : https://hal.archives-ouvertes.fr/inria-00072739
A calculus for the random generation of labelled combinatorial structures, Theoretical Computer Science, vol.132, issue.1-2, pp.1-35, 1994. ,
DOI : 10.1016/0304-3975(94)90226-7
URL : https://hal.archives-ouvertes.fr/hal-00917729
Efficient Detection of Zeno Runs in Timed Automata, Lecture Notes in Computer Science, vol.4763, pp.195-210, 2007. ,
DOI : 10.1007/978-3-540-75454-1_15
Robust timed automata, Lecture Notes in Computer Science, vol.1201, pp.331-345, 1997. ,
DOI : 10.1007/BFb0014736
Unimodular equivalence of order and chain polytopes. arXiv preprint, 2012. ,
What good are digital clocks?, Lecture Notes in Computer Science, vol.623, pp.545-558, 1992. ,
DOI : 10.1007/3-540-55719-9_103
Robust undecidability of timed and hybrid systems, Lecture Notes in Computer Science, vol.1790, pp.145-159, 2000. ,
EFMPlus: The coding format of the multimedia compact disc, IEEE Transactions on Consumer Electronics, vol.41, issue.3, pp.491-497, 1995. ,
As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty, TACAS, pp.385-400, 2013. ,
DOI : 10.1007/978-3-642-36742-7_27
Patterns in permutations and words, 2011. ,
Positive Linear Systems: The method of positive operators, Number 5 in Sigma Series in Applied Mathematics . Heldermann Verlag, 1989. ,
Infinite Structures in Timed Systems, 2009. ,
?-entropy and ?-capacity of sets in function spaces, Uspekhi Mat. Nauk, pp.3-86, 1959. ,
An introduction to symbolic dynamics and coding, 1995. ,
DOI : 10.1017/CBO9780511626302
Applied Combinatorics on Words (Encyclopedia of Mathematics and its Applications), 2005. ,
Mean topological dimension, Israel Journal of Mathematics, vol.61, issue.1, pp.1-24, 2000. ,
DOI : 10.1007/BF02810577
Generating random alternating permutations in time n log n, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765432
On Recognizable Timed Languages, Lecture Notes in Computer Science, vol.2987, pp.348-362, 2004. ,
DOI : 10.1007/978-3-540-24727-2_25
Constrained systems and coding for recording channels, Handbook of Coding Theory, pp.1635-1764, 1998. ,
Combinatorial algorithms for computers and calculators, Computer Science and Applied Mathematics, 1978. ,
Intrinsic Markov chains. Transactions of the, pp.55-66, 1964. ,
Information and information stability of random variables and processes . Holden-Day series in time series analysis, 1964. ,
Dynamical properties of timed automata. Discrete Event Dynamic Systems, pp.87-113, 2000. ,
Robust Controller Synthesis in Timed Automata, Lecture Notes in Computer Science, vol.8052, pp.546-560, 2013. ,
DOI : 10.1007/978-3-642-40184-8_38
A mathematical theory of communication, Bell Sys. Tech. J, vol.27, pp.379-423, 1948. ,
Prediction and entropy of printed english. Bell system technical journal, pp.50-64, 1951. ,
Factorization forests of finite height, Theoretical Computer Science, vol.72, issue.1, pp.65-94, 1990. ,
DOI : 10.1016/0304-3975(90)90047-L
Automata-theoretic aspects of formal power series, 1978. ,
DOI : 10.1007/978-1-4612-6264-0
Two poset polytopes, Discrete & Computational Geometry, vol.1, issue.1, pp.9-23, 1986. ,
A survey of alternating permutations, Combinatorics and graphs, pp.165-196, 2010. ,
DOI : 10.1090/conm/531/10466
Frequencies in Forgetful Timed Automata, Jurdzinski and Nickovic [JN12], pp.236-251 ,
DOI : 10.1007/978-3-642-33365-1_17
URL : https://hal.archives-ouvertes.fr/hal-00744081
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.59-68, 2007. ,
DOI : 10.1109/QEST.2007.23
Topological vector spaces, 1999. ,
The number of permutations with a given signature, and the expectations of their elements, Discrete Mathematics, vol.226, issue.1, pp.423-430, 2001. ,
Robust safety of timed automata. Formal Methods in System Design, pp.45-84, 2008. ,
Almost ASAP semantics: from timed models to timed implementations, Formal Aspects of Computing, vol.17, issue.3, pp.319-341, 2005. ,
DOI : 10.1007/s00165-005-0067-8
119 6.3 A ? ? : an automaton recognizing C ? ? with ? = 1, p.125 ,
First line: A 1 , A 2 ; second line: A 3 , A 4, p.131 ,