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

Filtrer vos résultats

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

Quantifying the discord: Order discrepancies in Message Sequence Charts

 Edith Elkind , Blaise Genest , Doron Peled , Paola Spoletini
International Journal of Foundations of Computer Science, 2010, pp.211-233
Article dans une revue hal-00591762v1
Image document

Truly Concurrent Synchronization of Markov Chains

 Samy Abbes , Albert Benveniste
[Research Report] PI 1866, 2007, pp.20
Rapport inria-00175408v1

Algorithms for Distributed Fault Management in Telecommunications Networks

 Eric Fabre , Albert Benveniste , Stefan Haar , Claude Jard , Armen Aghasaryan
Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. pp.820-825
Communication dans un congrès inria-00638325v1

Communicating Embedded Systems - Software and Design

 Claude Jard , Olivier Henri Roux
STE Publishing/John Wiley, pp.261, 2009
Ouvrages hal-00523940v1

Pattern Matching and Membership for Hierarchical Message Sequence Charts

 Blaise Genest , Anca Muscholl
Theory of Computing Systems, 2008, 42 (4), pp.536--567
Article dans une revue hal-00344207v1

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

 Blaise Genest , Dietrich Kuske , Anca Muscholl
Information and Computation, 2006, 204 (6), pp.920--956
Article dans une revue hal-00306261v1
Image document

Qualitative Determinacy and Decidability of Stochastic Games with Signals

 Nathalie Bertrand , Blaise Genest , Hugo Gimbert
LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp.0
Communication dans un congrès hal-00356566v1
Image document

Tableau method and NEXPTIME-Completeness of DEL-Sequents

 Guillaume Aucher , Bastien Maubert , François Schwarzentruber
Methods for Modalities (M4M), Nov 2011, Sevilla, Spain
Communication dans un congrès inria-00627642v2

Towards Behavioural Model-Driven Validation of Software Product Lines

 Xavier Devroey , Maxime Cordy , Gilles Perrouin , Eun-Young Kang , Pierre-Yves Schobbens , et al.
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
Communication dans un congrès hal-00718180v1

Optimal end-to-end routing for networks with multiplexing

 Anne Bouillard , Bruno Gaujal , Eric Thierry , Sebastien Lagrange
Performance Evaluation, 2008, 65, pp.883-906
Article dans une revue hal-00953607v1

COINC Library : A toolbox for Network Calculus

 Anne Bouillard , Bertrand Cottenceau , Bruno Gaujal , Laurent Hardouin , Sébastien Lagrange , et al.
Fourth International Conference on Performance Evaluation Methodologies and Tools, Valuetools, 2009, Pisa, Italy
Communication dans un congrès hal-00788929v1

Assembling Sessions

 Philippe Darondeau , Loïc Hélouët , Madhavan Mukund
ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan. pp.259-274, ⟨10.1007/978-3-642-24372-1_19⟩
Communication dans un congrès istex hal-00650950v1
Image document

Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case

 Eric Fabre
[Research Report] RR-5186, INRIA. 2004
Rapport inria-00071402v1

Distributed Implementation of Message Sequence Charts

 Loic Helouet , Claude Jard , Rouwaida Abdallah
[Research Report] 2012, pp.42
Rapport hal-00744068v1
Image document

Supervision of distributed systems using constrained unfoldings of timed models

 Bartosz Grabiec
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2011. English. ⟨NNT : 2011DENS0038⟩
Thèse tel-00744651v1
Image document

Decidable Race Condition and Open Coregions in HMSC

 Vojtech Rehak , Petr Slovak , Jan Strejcek , Loïc Hélouët
GT-VMT - 9th International Workshop on Graph Transformation and Visual Modeling Techniques, Mar 2010, Paphos, Cyprus
Communication dans un congrès inria-00589712v1
Image document

Some examples and counterexamples for (min,+) filtering operations

 Anne Bouillard , Eric Thierry
[Research Report] RR-6095, INRIA. 2007, pp.14
Rapport inria-00123709v2

X-domain QoS budget negotiation using Dynamic Programming

 Laurent Ciarletta , Helia Pouyllau , Armen Aghasaryan , Stefan Haar
Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services - AICT 2006 / ICIW 2006, Feb 2006, Guadeloupe/French Caribbean, France. pp.35
Communication dans un congrès inria-00106789v1
Image document

Modular construction of finite and complete prefixes of Petri net unfoldings

 Agnes Madalinski , Eric Fabre
[Research Report] RR-6412, INRIA. 2007
Rapport inria-00204548v3
Image document

Asynchronous Games over Tree Architectures

 Blaise Genest , Hugo Gimbert , Anca Muscholl , Igor Walukiewicz
2013
Pré-publication, Document de travail hal-00684223v3
Image document

Pairwise Testing of Dynamic Composite Services

 Ajay Kattepur , Sagar Sen , Benoit Baudry , Albert Benveniste , Claude Jard
The 6th international symposium on Software engineering for adaptive and self-managing systems, SIGSOFT ACM Special Interest Group on Software Engineering, IEEE CS, May 2011, Waikiki, Honolulu, Hawaii, United States. pp.138--147, ⟨10.1145/1988008.1988028⟩
Communication dans un congrès hal-00641340v1
Image document

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations

 Ajay Kattepur , Albert Benveniste , Claude Jard
19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States
Communication dans un congrès hal-00714057v1

Covert channel detection using Information Theory

 Loïc Hélouët , Aline Roumy
SecCo 2010 8th International Workshop on Security Issues in Concurrency, Aug 2010, Paris, France
Communication dans un congrès inria-00539634v1
Image document

Service curves in Network Calculus: dos and don'ts

 Anne Bouillard , Laurent Jouhet , Eric Thierry
[Research Report] RR-7094, INRIA. 2009, pp.24
Rapport inria-00431674v1
Image document

Tight performance bounds in the worst-case analysis of feed-forward networks

 Anne Bouillard , Laurent Jouhet , Eric Thierry
[Research Report] RR-7012, INRIA. 2009, pp.22
Rapport inria-00408717v2
Image document

Generalized DEL-sequents

 Guillaume Aucher , Bastien Maubert , François Schwarzentruber
[Research Report] RR-8012, INRIA. 2012, pp.23
Rapport hal-00716074v1
Image document

DEL-sequents for progression

 Guillaume Aucher
Journal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.289-321. ⟨10.3166/jancl.21.289-321⟩
Article dans une revue hal-00674150v1

A Petri net model for distributed estimation

 Samy Abbes , Albert Benveniste , Stefan Haar
Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8
Communication dans un congrès hal-00350939v1

Modal event-clock specifications for timed component-based design

 Nathalie Bertrand , Axel Legay , Sophie Pinchinat , Jean-Baptiste Raclet
Science of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Article dans une revue hal-00752449v1
Image document

Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment

 Tristan Charrier , Sophie Pinchinat , François Schwarzentruber
DALI@TABLEAUX, 2017, Brasília, Brazil
Communication dans un congrès hal-02534021v1
Page :