Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

22 résultats
Page :
triés par
Image document

Decidable Classes of Unbounded Petri Nets with Time and Urgency

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS, 2016, Torun University, Jun 2016, Torun, Poland. pp.301 - 322, ⟨10.1007/978-3-319-39086-4_18⟩
Communication dans un congrès hal-01379414v1
Image document

Sessions with an unbounded number of agents

 Sundararaman Akshay , Loïc Hélouët , Madhavan Mukund
2014
Pré-publication, Document de travail hal-00979409v2
Image document

Implementing Realistic Asynchronous Automata

 Sundararaman Akshay , Ionut Dinca , Blaise Genest , Alin Stefanescu
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, Dec 2013, Guwahati, India. pp.213-224
Communication dans un congrès hal-00920776v1
Image document

Combining Free choice and Time in Petri Nets

 Sundararaman Akshay , Loïc Hélouët , Ramchandra Phawade
Journal of Logical and Algebraic Methods in Programming, 2020, pp.1-36. ⟨10.1016/j.jlamp.2018.11.006⟩
Article dans une revue hal-01931728v1
Image document

Combining Free Choice and Time in Petri Nets

 Sundararaman Akshay , Loïc Hélouët , Ramchandra Phawade
23rd International Symposium on Temporal Representation and Reasoning, Technical University of Denmark, Oct 2016, Lyngby, Denmark. pp.120-129
Communication dans un congrès hal-01379440v1
Image document

Sessions with an unbounded number of agents

 Sundararaman Akshay , Loïc Hélouët , Madhavan Mukund
14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. pp.166-175
Communication dans un congrès hal-01088994v1
Image document

Timed Petri Nets with (restricted) Urgency

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët
2014
Pré-publication, Document de travail hal-01088997v1

Event-clock Message Passing Automata: A logical characterization and an emptiness checking algorithm

 Sundararaman Akshay , Benedikt Bollig , Paul Gastin
Formal Methods in System Design, 2013, 42 (3), pp.262-300
Article dans une revue hal-00925745v1
Image document

Robustness of Time Petri Nets under Guard Enlargement

 Sundararaman Akshay , Loïc Hélouët , Claude Jard , Pierre-Alain Reyniers
Fundamenta Informaticae, 2016, 143 (3-4), ⟨10.3233/FI-2016-1312⟩
Article dans une revue hal-01379431v1
Image document

Approximate Verification of the Symbolic Dynamics of Markov Chains

 Manindra Agrawal , Sundararaman Akshay , Blaise Genest , P.S. Thiagarajan
Journal of the ACM (JACM), 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩
Article dans une revue hal-00920793v1
Image document

Symbolically Bounding the Drift in Time-Constrained MSC-Graphs

 Sundararaman Akshay , Blaise Genest , Loic Helouet , Shaofa Yang
International Colloquium on Theoretical Aspects of Computing, IIT Bangalore, Sep 2012, Bangalore, India. pp.1-15
Communication dans un congrès hal-00879831v1
Image document

The steady-state control problem for Markov decision processes

 Sundararaman Akshay , Nathalie Bertrand , Serge Haddad , Loïc Hélouët
Qest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304
Communication dans un congrès hal-00879355v1
Image document

Regular Set of Representatives for Time-Constrained MSC Graphs

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët , Shaofa Yang
[Research Report] RR-7823, INRIA. 2011, 15 p
Rapport hal-00647720v1
Image document

On Regularity of unary Probabilistic Automata

 Sundararaman Akshay , Blaise Genest , Bruno Karelovic , Nikhil Vyas
STACS 2016, 2016, Orléans, France. pp.8:1-8:14
Communication dans un congrès hal-01245037v2
Image document

Regular Set of Representatives for Time-Constrained MSC Graphs

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët , Shaofa Yang
Information Processing Letters, 2012, 112 (14-15), pp.592-598
Article dans une revue hal-00879825v1
Image document

Timed Negotiations

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët , Sharvik Mital
2019
Pré-publication, Document de travail hal-02337887v1
Image document

Timed Negotiations

 Sundararaman Akshay , Blaise Genest , Loic Helouet , Sharvik Mital
FOSSACS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin (physical conference cancelled), Ireland. pp.1-36, ⟨10.1007/978-3-030-45231-5\_3⟩
Communication dans un congrès hal-02964695v1

Distributed Timed Automata with Independently Evolving Clocks

 Sundararaman Akshay , Benedikt Bollig , Paul Gastin , Madhavan Mukund , K. Narayan Kumar
Fundamenta Informaticae, 2014, 130 (4), pp.377-407
Article dans une revue hal-01089524v1
Image document

Robustness of Time Petri Nets under Guard Enlargement

 Sundararaman Akshay , Loic Helouet , Claude Jard , Pierre-Alain Reynier
Reachability Problems, LABRI, Sep 2012, Bordeaux, France. pp.92-106
Communication dans un congrès hal-00879832v1
Image document

Robustness of Time Petri Nets under architectural constraints

 Sundararaman Akshay , Loic Helouet , Claude Jard , Didier Lime , Olivier Henri Roux
Formal Modeling and Analysis of Timed Systems, Sep 2013, Warwik, United Kingdom. pp.11-26
Communication dans un congrès hal-00879818v1
Image document

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

 Sucheendra K. Palaniappan , Sundararaman Akshay , Blaise Genest , P.S. Thiagarajan
9th International Conference on Computational Methods in Systems Biology, 2011, France. pp.35-44
Communication dans un congrès hal-00672872v1
Image document

Resilience of Timed Systems

 Sundararaman Akshay , Blaise Genest , Loïc Hélouët , Shankara Krishna , Sparsa Roychowdhury
2020
Pré-publication, Document de travail hal-03129402v2
Page :