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

Filtrer vos résultats

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

D.1.2 – Modular quasi-causal data structures

 Davide Frey , Roy Friedman , Achour Mostefaoui , Matthieu Perrin , Michel Raynal , et al.
[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015
Rapport hal-01223119v1
Image document

D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems

 Davide Frey , Achour Mostefaoui , Matthieu Perrin , François Taïani
[Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015
Rapport hal-01174203v1
Image document

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

 Nikola Beneš , Benoît Delahaye , Uli Fahrenberg , Jan Křetínský , Axel Legay
CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
Communication dans un congrès hal-01087914v1

Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles

 Olivier Finot , Jean-Marie Mottu , Gerson Sunyé , Christian Attiogbé
CIEL 2012, 2012, Rennes, France
Communication dans un congrès hal-00726538v1
Image document

Statistical model checking QoS properties of systems with SBIP

 Ayoub Nouri , Saddek Bensalem , Marius Bozga , Benoit Delahaye , Cyrille Jegourel , et al.
International Journal on Software Tools for Technology Transfer, 2014, pp.14. ⟨10.1007/s10009-014-0313-6⟩
Article dans une revue hal-01087822v1
Image document

Heterogeneous Timed Machines

 Benoit Delahaye , J. L. Fiadeiro , Axel Legay , Antónia Lopes
11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
Communication dans un congrès hal-01010877v1

Stuttering for Abstract Probabilistic Automata

 Benoit Delahaye , Kim Guldstrand Larsen , Axel Legay
Journal of Logic and Algebraic Programming, 2014, Journal of Logic and Algebraic Programming, pp.Pages 1-19. ⟨10.1016/j.jlap.2013.05.006⟩
Article dans une revue hal-01084342v1
Image document

The EPOC project: Energy Proportional and Opportunistic Computing system

 Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard , et al.
International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Communication dans un congrès hal-01131602v1
Image document

Refinement and Difference for Probabilistic Automata

 Benoît Delahaye , Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay
QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 - 38, ⟨10.1007/978-3-642-40196-1_3⟩
Communication dans un congrès hal-01087931v1
Image document

Using Models of Partial Knowledge to Test Model Transformations

 Sagar Sen , Jean-Marie Mottu , Massimo Tisi , Jordi Cabot
International Conference on Model Transformation, May 2012, Prague, Czech Republic
Communication dans un congrès hal-00692175v1
Image document

Synchronous Interface Theories and Time Triggered Scheduling

 Benot Delahaye , Uli Fahrenberg , Axel Legay , Dejan Ničković
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
Communication dans un congrès hal-01087992v1
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

Refinement and Difference for Probabilistic Automata

 Benoit Delahaye , Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay
Logical Methods in Computer Science, 2014, pp.LMCS-2013-936
Article dans une revue hal-01010866v1
Page :