Bibliography

Publications of the year

Articles in International Peer-Reviewed Journal

1A. Apavatjrut, W. Znaidi, A. Fraboulet, C. Goursaud, K. Jaffrès-Runser, C. Lauradoux, M. Minier.

Energy Efficient Authentication Strategies for Network Coding, in: Concurrency and Computation: Practice and Experience, June 2011.

http://hal.inria.fr/hal-00644484/en
2A. Apavatjrut, W. Znaidi, A. Fraboulet, C. Goursaud, C. Lauradoux, M. Minier, K. Jaffrès-Runser.

Energy Efficient Authentication Strategies for Network Coding, in: Concurrency and Computation: Practice and Experience, June 2011.

http://hal.inria.fr/inria-00611821/en
3A. Friggeri, G. Chelius, E. Fleury, A. Fraboulet, F. Mentré, J.-C. Lucet.

Reconstructing Social Interactions Using an unreliable Wireless Sensor Network, in: Computer Communications, April 2011, vol. 34, n^o 5, p. 609–618. [ DOI : 10.1016/j.comcom.2010.06.005 ]

http://hal.inria.fr/inria-00490195/en
4S. Frénot, F. Le Mouël, J. Ponge, G. Salagnac.

Various Extensions for the Ambient OSGi Framework, in: International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), July 2011, vol. 2, n^o 3, p. 1–12. [ DOI : 10.4018/jaras.2011070101 ]

http://hal.inria.fr/inria-00610543/en
5N. Ibrahim, F. Le Mouël, S. Frénot.

Semantic Service Substitution in Pervasive Environments, in: International Journal of Services, Economics and Management (IJSEM), 2011, "Service-Oriented Engineering" special issue.

http://hal.inria.fr/inria-00438223/en

Articles in National Peer-Reviewed Journal

6A. Ben Hamida, F. Le Mouël, S. Frénot, M. Ben Ahmed.

Déploiement adaptatif d'applications orientées services sur environnements contraints, in: Technique et Science Informatiques, 2011, vol. 30, n^o 1, p. 59-91.

http://hal.inria.fr/inria-00534596/en

International Conferences with Proceedings

7C. Burin Des Rosiers, G. Chelius, T. Ducrocq, E. Fleury, A. Fraboulet, A. Gallais, N. Mitton, T. Noël, J. Vandaële.

Using SensLAB as a First Class Scienti c Tool for Large Scale Wireless Sensor Network Experiments, in: Networking 2011, Valencia, Spain, April 2011, p. 241-253.

http://hal.inria.fr/inria-00599102/en
8C. Burin Des Rosiers, G. Chelius, E. Fleury, A. Fraboulet, A. Gallais, N. Mitton, T. Noël.

SensLAB Very Large Scale Open Wireless Sensor Network Testbed, in: Proc. 7th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCOM), Shanghai, China, April 2011.

http://hal.inria.fr/inria-00587862/en
9B. Frank, H. Jos, H. De Groot, M. Bennebroek, A. Abbo, O. Santana, J. Van Meerbergen, A. Fraboulet.

A dual-core system solution for wearable health monitors, in: GLSVLSI '11 Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI, Lausanne, Switzerland, 2011, p. 379–382. [ DOI : 10.1145/1973009.1973087 ]

http://hal.inria.fr/hal-00597951/en

National Conferences with Proceeding

10R. Golchay, F. Le Mouël, S. Frénot, J. Ponge.

Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways, in: Actes des 7ème Journées Francophones de la Mobilité et Ubiquité (UbiMob'2011), Toulouse, France, June 2011, p. 45–48, Position Paper.

http://hal.inria.fr/inria-00610537/en

Scientific Books (or Scientific Book chapters)

11T. Risset, R. Ben Abdallah, A. Fraboulet, J. Martin.

Programming Models and Implementation Platforms for Software Defined Radio Configuration, in: Digital Front-End in Wireless Communication and Broadcasting, F.-L. Luo (editor), Cambridge university press, November 2011.

http://hal.inria.fr/hal-00644441/en

Internal Reports

12W. L. Choo, F. Le Mouël, K. Jaffrès-Runser, M. Fiore.

Adding Network Coding Capabilities to the WSNet Simulator, INRIA, March 2011, n^o RT-0405.

http://hal.inria.fr/inria-00573998/en
13C. Lauradoux, J. Ponge, A. Roeck.

Online Entropy Estimation for Non-Binary Sources and Applications on iPhone, INRIA, June 2011, n^o RR-7663.

http://hal.inria.fr/inria-00604857/en
14H. Mekontso Tchinda, N. Stouls, J. Ponge.

Spécification et substitution de services OSGi, INRIA, September 2011, n^o RR-7733.

http://hal.inria.fr/inria-00619233/en
15N. Stouls, J. Groslambert.

Vérification de propriétés LTL sur des programmes C par génération d'annotations, February 2011.

http://hal.inria.fr/inria-00568947/en

Other Publications

16C. Burin Des Rosiers, G. Chelius, T. Ducrocq, E. Fleury, A. Fraboulet, A. Gallais, N. Mitton, T. Noël, E. Valentin, J. Vandaële.

Two demos using SensLAB: Very Large Scale Open WSN Testbed, June 2011, Demo in Proc. of The 7th IEEE International Conference on Distributed Computing in Sensor Systems (IEEE DCOSS '11).

http://hal.inria.fr/inria-00636847/en
17Z. Hu, S. Frénot, B. Tourancheau, G. Privat.

Iterative Model-based Identification of Building Components and Appliances by Means of Sensor-Actuator Networks, 2011, 2nd Workshop on eeBuildings Data Models, CIB W078, W102, Sophia Antipolis, France.

http://hal.inria.fr/inria-00636055/en
18Z. Hu, G. Privat, S. Frénot, B. Tourancheau.

self-configuration of Home Absraction Layer via sensors and actuators network, November 2011, 2nd international joint conference on Ambient Intelligence.

http://hal.inria.fr/hal-00643940/en
19J. Ponge.

Better Resource Management with Java SE 7: Beyond Syntactic Sugar., May 2011, Oracle Technology Network, Oracle Corporation..

http://hal.inria.fr/inria-00611453/en
20J. Ponge.

Fork and Join: Java Can Excel at Painless Parallel Programming Too!, July 2011, Oracle Technology Network, Oracle Corporation..

http://hal.inria.fr/inria-00611456/en

References in notes

21The Coq Proof Assistant.

http://coq.inria.fr.
22M. J. C. Gordon, T. F. Melham (editors)

Introduction to HOL: a theorem proving environment for higher order logic, Cambridge University Press, New York, NY, USA, 1993.
23PRISM - Probabilistic Model Checker.

http://www.prismmodelchecker.org
24UPPAAL.

http://en.wikipedia.org/wiki/Uppaal_Model_Checker
25 Apache.

Apache Foundation Felix, apache.org, June 2009.

http://felix.apache.org
26F. Bancilhon.

Naive evaluation of recursively defined relations, 1986, p. 165–178.
27F. Bancilhon, D. Maier, Y. Sagiv, J. D. Ullman.

Magic sets and other strange ways to implement logic programs (extended abstract), in: PODS '86: Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, New York, NY, USA, ACM, 1986, p. 1–15.
28E. Bellemon, V. Dubosclard, S. Grumbach, K. Suo.

QuestMonitor: A Visualization Platform for Declarative Network Protocols, in: MSV 2011: The 8th International Conference on Modeling, Simulation and Visualization Methods, Las Vegas, USA, 2011.
29A. Ben Hamida.

AxSeL : un intergiciel pour le déploiement contextuel et autonome de services dans les environnements pervasifs, INSA de Lyon, Feb 2010.

http://hal.inria.fr/tel-00478169
30K. Bhargavan, D. Obradovic, C. A. Gunter.

Formal verification of standards for distance vector routing protocols, in: J. ACM, 2002, vol. 49, p. 538–576.
31 CEA.

Frama-C, cea.fr, June 2009.

http://www.frama-c.cea.fr/
32 CodeHaus.

CodeHaus Web Site, CodeHaus, June 2009.

http://codehaus.org/
33 CodeZero.

CodeZero: Embedded Hypervisor and OS, January 2011.

http://l4dev.org/faq
34Y. Deng, S. Grumbach, J.-F. Monin.

Towards Verifying Declarative Netlog protocols with Coq, 2010.

http://hal.inria.fr/inria-00506093
35O. G. Edmund M. Clarke, D. A. Peled.

Model Checking, The MIT Press, Cambridge, MA, USA, 1999.
36A. P. Felty, D. J. Howe, F. A. Stomp.

Protocol Verification in Nuprl, in: In Tenth International Conference on Computer Aided Verification, Springer-Verlag, 1998, p. 428–439.
37 Genode.

Genode on L4/Fiasco, January 2010.
38F. Goichon, G. Salagnac, S. Frénot.

Exploiting Java Code Interactions, INRIA, 2011, n^o To be published.
39Y. Gripay, F. Laforest, J.-M. Petit.

SoCQ: A Framework for Pervasive Environments, in: ISPAN 2009, 10th International Symposium on Pervasive Systems, Algorithms and Networks, 2009, p. 154-159.
40J. M. Hellerstein.

The declarative imperative: experiences and conjectures in distributed logic, in: SIGMOD Record, 2010, vol. 39, n^o 1, p. 5-19.
41G. J. Holzmann.

The Model Checker SPIN, in: IEEE Trans. Software Eng., 1997, vol. 23, p. 279-295.
42 JamVM.

JamVM virtual machine, sourceforge, June 2009.

http://jamvm.sourceforge.net/
43 L4.

$T h e L 4 μ - K e r n e l F a m i l y$ , January 2011.

http://os.inf.tu-dresden.de/L4/
44B. T. Loo, T. Condie, M. N. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, I. Stoica.

Declarative networking: language, execution and optimization., in: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006.
45B. T. Loo, J. M. Hellerstein, I. Stoica, R. Ramakrishnan.

Declarative routing: extensible routing with declarative queries, in: SIGCOMM '05: Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications, New York, NY, USA, ACM, 2005, p. 289–300.
46M. Musuvathi, D. R. Engler.

Model Checking Large Network Protocol Implementations, in: In Proceedings of the First Symposium on Networked Systems Design and Implementation, 2004, p. 155–168.
47J. Ponge.

izPack, CodeHaus, June 2009.

http://izpack.org/
48J. Rushby.

Specification, Proof Checking, and Model Checking for Protocols and Distributed Systems with PVS, in: Tutorial, FORTE X/PSTV XVII'97, 1997.
49N. Stouls.

Aoraï plugin for Frama-C, amazones / INRIA, June 2009.

http://amazones.gforge.inria.fr/aorai/index.html
50N. Stouls, J. Groslambert.

Vérification de propriétés LTL sur des programmes C par génération d'annotations, 02 2011.

http://hal.inria.fr/inria-00568947/en/
51L. Vieille.

Recursive Axioms in Deductive Databases: The Query/Subquery Approach, in: Expert Database Conf., 1986, p. 253-267.

Previous |

Home