 |
 |
 |
 |
|
|
|
|---|---|---|
|
inria-00550923v1
Rapport
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata [Research Report] RR-7501, INRIA. 2011, pp.20 |
||
|
inria-00424520v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Jun 2008, Pittsburgh, United States. IEEE, pp.217-226, 2008, <10.1109/LICS.2008.25> |
||
|
inria-00424518v1
Communication dans un congrès
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. 5th International Conference on the Quantitative Evaluation of Systems (QEST'08), Sep 2008, Saint Malo, France. IEEE, pp.55-64, 2008, <10.1109/QEST.2008.19> |
||
|
inria-00424364v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Marcus Größer. Probabilistic Acceptors for Languages over Infinite Words. 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Spindleruv Mlyn, Czech Republic. 5404, pp.19-33, 2009, LNCS. <10.1007/978-3-540-95891-8_3> |
||
|
inria-00424283v1
Communication dans un congrès
Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. Springer, 5457, pp.152-163, 2009, LNCS. <10.1007/978-3-642-00982-2_13> |
||
|
inria-00525388v1
Communication dans un congrès
Nathalie Bertrand, Christophe Morvan. Probabilistic Regular Graphs Yu-Fang Chen and Ahmed Rezine. Infinity (International Workshop on Verification of Infinite-State Systems), 2010, Singapour, Singapore. EPTCS, 39, pp.77-90, 2010, Proceedings 12th International Workshop on Verification of Infinite-State Systems (Infinity 2010). <http://arxiv.org/pdf/1011.0222v1> |
||
|
inria-00424356v1
Communication dans un congrès
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems. 11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. Springer, 5885, pp.679-697, 2009, LNCS |
||
|
inria-00424351v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye. When are timed automata determinizable? 36th International Colloquium on Automata, Languages and Programming (ICALP'09), Jul 2009, Rhodes, Greece. Springer, 5556, pp.43-54, 2009, LNCS. <10.1007/978-3-642-02930-1_4> |
||
|
inria-00424524v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Marcus Größer. On Decision Problems for Probabilistic Büchi Automata. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), Apr 2008, Budapest, Hungary. Springer, 4962, pp.287-301, 2008, LNCS |
||
|
inria-00424367v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Marcus Größer. The Effect of Tossing Coins in Omega-Automata 20th International Conference Concurrency Theory (CONCUR 2009), Sep 2009, Bologne, Italy. 5710, pp.15-29, 2009, LNCS. <10.1007/978-3-642-04081-8_2> |
||
|
hal-00672845v1
Communication dans un congrès
Nathalie Bertrand, Blaise Genest. Minimal Disclosure in Partially Observable Markov Decision Processes Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), 2011, India. pp.411--422, 2011 |
||
|
hal-00341288v1
Pré-publication, Document de travail
Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides 2008 |
||
|
hal-00752440v1
Communication dans un congrès
Nathalie Bertrand, Sven Schewe. Playing Optimally on Timed Automata with Random Delays Formats - 10th International Conference on Formal Modeling and Analysis of Timed Systems - 2012, Sep 2012, London, United Kingdom. 7595, pp.43-58, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33365-1_5> |
||
|
hal-00752445v1
Communication dans un congrès
Nathalie Bertrand, John Fearnley, Sven Schewe. Bounded Satisfiability for PCTL CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Sep 2012, Fontainebleau, France. 16, pp.92-106, 2012, LIPIcs. <10.4230/LIPIcs.CSL.2012.92> |
||
|
hal-00752446v1
Communication dans un congrès
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. 15, pp.101-116, 2012, LIPIcs. <10.4230/LIPIcs.RTA.2012.101> |
||
|
inria-00629172v1
Communication dans un congrès
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer. Emptiness and Universality Problems in Timed Automata with Positive Frequency. 38th International Colloquium on Automata, Languages and Programming (ICALP'11), Jul 2011, Zürich, Switzerland. Springer, 6756, pp. 246-257, 2011, LNCS |
||
|
inria-00629177v1
Communication dans un congrès
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), Mar 2011, Saarbrücken, Germany. Springer, 6605, pp. 96-111, 2011, LNCS |
||
|
inria-00629179v1
Communication dans un congrès
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A Game Approach to Determinize Timed Automata. 14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11), Mar 2011, Saarbrücken, Germany. Springer, 6604, pp. 245-259, 2011, LNCS |
||
|
hal-00356566v1
Communication dans un congrès
Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0, 2009 |
||
|
inria-00418855v1
Rapport
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. A Compositional Approach on Modal Specifications for Timed Systems [Research Report] RR-7039, INRIA. 2009 |
||
|
inria-00524830v2
Rapport
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen. A game approach to determinize timed automata [Research Report] RR-7381, INRIA. 2010 |
||
|
hal-01088113v1
Communication dans un congrès
Nathalie Bertrand, Thomas Brihaye, Blaise Genest. Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Quantitative Evaluation of Systems (QEST'14), Sep 2014, Florence, Italy. pp.313 - 328, 2014, <10.1007/978-3-319-10696-0_25> |
||
|
hal-00879355v1
Communication dans un congrès
Sundararaman Akshay, Nathalie Bertrand, Serge Haddad, Loic Helouet. The steady-state control problem for Markov decision processes Joshi, Kaustubh R. and Siegle, Markus and Stoelinga, Marielle and D'Argenio, Pedro R. Qest 2013, Sep 2013, Buenos Aires, Argentina. Springer, 8054, pp.290-304, 2013, LNCS; Quantitative Evaluation of Systems - 10th International Conference, QEST 2013 |
||
|
hal-00915026v1
Communication dans un congrès
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. Springer, 8054, pp.355-371, 2013, LNCS. <10.1007/978-3-642-40196-1_30> |
||
|
hal-00914263v1
Communication dans un congrès
Nathalie Bertrand, Paulin Fournier. Parameterized verification of many identical probabilistic timed processes FSTTCS - 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2013, Guwahati, India. 2013 |
||
|
hal-01088117v1
Communication dans un congrès
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Foundation of Diagnosis and Predictability in Probabilistic Systems IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India |
||
|
hal-00906831v1
Communication dans un congrès
Nathalie Bertrand, Philippe Schnoebelen. Solving Stochastic Büchi Games on Infinite Decisive Arenas QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. 117, pp.116-131, 2013, EPTCS. <10.4204/EPTCS.117.8> |
||
|
hal-01242962v1
Chapitre d'ouvrage
Nathalie Bertrand, Serge Haddad. Contrôle, probabilités et observation partielle Informatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015 |
||
|
hal-01243595v1
Communication dans un congrès
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier. Distributed local strategies in broadcast networks 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. <10.4230/LIPIcs.CONCUR.2015.44> |
||
|
hal-01397794v1
Communication dans un congrès
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier. Analysing Decisive Stochastic Processes 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 2016, Rome, Italy. 55, pp.14, 2016, LiPICS. <10.4230/LIPIcs.ICALP.2016.101> |
||
|
|
|