 |
 |
|
|
||
|---|---|---|
|
inria-00506093v1
Rapport
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Towards Verifying Declarative Netlog Protocols with Coq [Intern report] 2010, pp.20 |
||
|
hal-00953003v1
Communication dans un congrès
Michel Bauderon, Christophe Bobineau, Stéphane Grumbach, Antoine Henry, Xin Qi et al. Netquest: An Abstract Model for Pervasive Applications Seventh IEEE International Conference on Pervasive Computing (Pervasive 2009), 2009, Nara, Japan. LNCS, pp.467-481, 2009 |
||
|
hal-00647802v1
Communication dans un congrès
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. A Framework for Verifying Data-Centric Protocols Bruni, Roberto and Dingel, Juergen. DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems, Jun 2011, Reykjavik, Iceland. Springer, 6722, pp.106-120, 2011, Lecture Notes in Computer Science; Formal Techniques for Distributed Systems. <10.1007/978-3-642-21461-5_7> |
||
|
inria-00567811v1
Rapport
Yuxin Deng, Stéphane Grumbach, Jean-François Monin. Verifying Declarative Netlog Protocols with Coq: a First Experiment [Research Report] RR-7511, INRIA. 2011 |
||
|
hal-00816034v1
Communication dans un congrès
Ahmad Ahmad Kassem, Christophe Bobineau, Christine Collet, Etienne Duble, Stéphane Grumbach et al. UBIQUEST, For Rapid Prototyping of Networking Applications Bipin C. Desai, Jaroslav Pokorny, Jorge Bernardino. IDEAS 2012 - International Database Engineering & Applications Sysmposium, Aug 2012, Prague, Czech Republic. ACM, pp.187-192, 2012, Proceedings of the 16th International Database Engineering & Applications Sysmposium (IDEAS). <10.1145/2351476.2351498> |
||
|
hal-00922885v1
Communication dans un congrès
Ahmad Ahmad-Kassem, Christophe Bobineau, Christine Collet, Etienne Duble, Stéphane Grumbach et al. A Data-Centric Approach for Networking Applications Markus Helfert, Chiara Francalanci, Joaquim Filipe. DATA 2012 - International Conference on Data Technologies and Applications, Jul 2012, Rome, Italy. SciTePress, pp.147-152, 2012 |
||
|
hal-01002688v1
Communication dans un congrès
Lourdes Martinez-Medina, Ahmad Ahmad-Kassem, Christophe Bobineau, Christine Collet, Etienne Duble et al. UBIQUEST, A Data-Centric Approach for Networking Applications Proceedings 28èmes journées Bases de Données Avancées (BDA'12), 2012, Clermont-Ferrand, France, France. pp.147-152, 2012 |
||
|
|
||
