Recherche

Accueil CEDRIC > Laboratoire > Mim > Publication >

Médias Interactifs et Mobilité

Projets

Evenements

ICSSEA'17 Conference
ICSSEA 2017: May 31rst – June...
31-05-2017 au 02-06-2017 - CNAM
Séminaire équipe SEMpIA
Programme --------- 14h30-15h30: Mohamed KHALGUI, Université de Carthage. Titre...
25-11-2016 - CNAM

2019

Revue Internationale avec comité de lecture

[OBB19] Y. Ould Yahia, S. Bouzefrane, H. Boucheneb, S. Banerjee. "A data-owner centric privacy model with blockchain and adapted attribute-based encryption for Internet-of-Things and Cloud environment", International Journal of Information and Computer Security, pp. to appear., 2019
[OYB19] Y. Ould Yahia, M. Yacoub, S. Bouzefrane, H. Boucheneb. "Self Organized Map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment", International Journal of Advanced Intelligence Paradigms, pp. to appear, 2019

Conférence Internationale avec comité de lecture

[ZSR19] I. Zaatouri, F. Sailhan, S. Rovedakis, G. Awatef, N. Alyaoui, A. Kachouri. "Performance evaluation of the routing protocol for low power and loosy networks in the context of node mobility", 16th IEEE conference on systems, signal and devices (SSD), February 2019, pp.6, Tunisie,

2018

Conférence Internationale avec comité de lecture

[OBB18] Y. Ould Yahia, S. Bouzefrane, H. Boucheneb. "Towards privacy and ownership preserving of outsourced health data in IoT-cloud context", 13th International Symposium on Programming and Systems (ISPS2018), April 2018, pp.1-6, Algérie,

2017

Revue Internationale avec comité de lecture

[LCB17] T. Le Vinh, H. Cagnon, S. Bouzefrane, S. Banerjee. "Property based Token Attestation in Mobile Computing ", Concurrency and Computation: Practice and Experience, pp. to appear, 2017
[LRW17] L. Lassouaoui, S. Rovedakis, A. Wei. "Performance Evaluation of RPL Energy Aware Routing Metrics", Journal of Wireless Communications, vol. accepté(à paraître), pp. 1-13, 2017

Conférence Nationale avec comité de lecture

[OP17] Y. Ould Yahia, P. Paradinas. "Applications e-santé, le contrôle des données personnelles un enjeu majeur pour la protection de la vie privée", Computer & Electronics Security Applications Rendez-vous (C&ESAR2017), November 2017, pp.à paraître , Rennes, France,

Chapitres de Livre

[AMK17] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "Towards a Secure RA2DL Based Approach", Titre du livre: "Evaluation of Novel Approaches to Software Engineering", February 2017, Springer International Publishing, pp. 89-110, (doi: 10.1007/978-3-319-56390-9_5)
[OBB17] Y. Ould Yahia, S. Banerjee, S. Bouzefrane, H. Boucheneb. "Exploring Formal Strategy Framework for the Security in e-Health based IoT Context using Computational Intelligence", Titre du livre: "Internet of Things and Big Data Technologies for Next Generation Healthcare", January 2017, Springer International Publishing, pp. 63-90, (isbn: 978-3-319-49735-8)

2016

Revue Internationale avec comité de lecture

[HBA16] F. Houacine, S. Bouzefrane, A. Adjaz. "Service Architectures for multi-environment Mobile Cloud Services", International Journal of High Performance Computing and Networking, vol. 9(4), pp. 342-355, 2016

Conférence Internationale avec comité de lecture

[LBB16] T. Le Vinh, S. Bouzefrane, S. Banerjee. "Convergence in trusted computing and virtualized systems: A new dimension towards trusted intelligent system", 5th IFIP International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, November 2016, pp.1-6, Paris, France, (DOI: 10.1109/PEMWN.2016.7842896)
[LRS16a] L. Lassouaoui, S. Rovedakis, F. Sailhan, A. Wei. "Evaluation of Energy Aware Routing Metrics for RPL", The 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications., October 2016, pp.1-8, New York, USA,
[LRS16] L. Lassouaoui, S. Rovedakis, F. Sailhan, A. Wei. "Comparison of RPL Routing Metrics on grids ", 8th EAI International Conference on Ad Hoc Networks, September 2016, pp.1-12, Ottawa, Canada,
[L H16] T. Le Vinh, R. Pallavali, F. Houacine, S. Bouzefrane. "Energy efficiency in Mobile Cloud Computing Architectures", The IEEE 4th International Conference on Future Internet of Things and Cloud, August 2016, pp.Pages: 326 - 331, Austria, (DOI: 10.1109/W-FiCloud.2016.72)
[TKL16] N. Treves, M. Khalgui, W. Lakhdhar, R. Mzid. "MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems", ICSOFT-EA 2016, July 2016, pp.330-335, Portugal,
[AMK16] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems", The 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2016), April 2016, pp.102-111, Rome, Italia, (DOI: 10.5220/0005874301020111)
[ENW16] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "New Distance Strategies for Clustering in Wireless Sensor Network", International Conference on Computer and Information Technology, April 2016, pp.4, Istanbul, Turquie,
[DWR16] J. Douin, A. Wei, S. Rovedakis, O. Lefrancois. "Mobile Service for Adaptive Museum Visits in Wireless-Optical Networks", Applications and Innovations in Mobile Computing (AIMoC 2016), February 2016, pp.to appear, Kolkotta, India,
[LRW16] L. Lassouaoui, S. Rovedakis, A. Wei, L. Gui. "Deterministic Allocation by Oriented Edge Coloring for Wireless Sensor Networks", 2016 IEEE 83rd Vehicular Technology Conference, January 2016, pp.1-5, Nanjing, China,

Conférences Internationales sans actes

[TPM16] N. Treves, V. Patrick, B. Mesdon, F. Christel, P. Lionel. "Maintenance & support management by Function point analysis", ICSSEA'16, Paris, France,

Chapitres de Livre

[Ros16] S. Rosmorduc. "Le discours du vizir To", Titre du livre: "Aere perennius. Mélanges égyptologiques en l'honneur de Pascal Vernus ; Collombert, Philippe; Lefèvre, Dominique; Polis, Stéphane (Eds.) et al", January 2016, pp. 677-685,

2015

Revue Internationale avec comité de lecture

[GVW15] L. Gui, T. Val, A. Wei, R. Dalce . "Improvement of Range-free Localization Technology by a Novel DV-hop Protocol in Wireless Sensor Networks", Ad Hoc Networks Journal, vol. 24(part B), pp. 55-73, 2015

Conférence Internationale avec comité de lecture

[KLK15] S. Kumar, S. Lefebvre, M. Kim, M. Oliver Stehr. "Priority Register: Application-defined Replacement Orderings for Ad Hoc Reconciliation", Workshop on Scalable Cloud Data Management, November 2015, pp.10, Santa Clara, USA,
[DWB15] S. Dardouri , A. Wei, R. Bouallegue . "A Downlink Scheduling Algorithm Based on Cooperative Game Theory in LTE Networks", SoftCom 2015, September 2015, pp.1-5, Island Brac, Crotia,
[AMk15a] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "New Solutions for Useful Execution Models of Communicating Adaptive RA2DL", the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMET’2015), September 2015, Vol. 532, pp.87-101, Series Communications in Computer and Information Science, Naples, Italy, (DOI: 10.1007/978-3-319-22689-7_7)
[PRW15] S. Polis, S. Rosmorduc, J. Winand. "Ramses goes online. An annotated corpus of Late Egyptian texts in interaction with the Egyptological community", International Congress of Egyptologists, August 2015, Vol. XI, pp.n/a, Florence, Italie,
[PR15a] S. Polis, S. Rosmorduc. "A shared repository of hieroglyphic signs: the Thot sign-list", International Congress of Egyptologists, August 2015, pp.n/a, Florence, Italie,
[KLC15] S. Kumar, S. Lefebvre, R. Chiky, E. Gressier-Soudan. "CaLibRe: A better Consistency-Latency Tradeoff for Quorum based Replication systems", International Conference on Data Management in Cloud, Grid and P2P Systems., August 2015, Vol. 9262, pp.491-503, Series Lecture Notes in Computer Science, Valencia, Spain, (DOI: 10.1007/978-3-319-22852-5_40)
[LBF15] T. Le Vinh, S. Bouzefrane, J. Farinone, A. Attar, B. Kennedy. "Middleware to Integrate Mobile Devices, Sensors and Cloud Computing", The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015)), June 2015, Vol. 25, pp.234–243, London,
[AMK15] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL: New Flexible Solution for Adaptive AADL-based Control Components", 5th international conference on Pervasive and embedded computing and communication systems, February 2015, pp.247-258, ESEO, Angers, Loire Valley, France, (DOI: 10.5220/0005241202470258)

Conférence Nationale avec comité de lecture

[AMKa15] F. Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane. "RA2DL: New Reconfigurable AADL Component", Journées Doctorales de l’Ecole Polytechnique de Tunisie (JDEPT' 15), April 2015, pp.to appear, La Marsa, Tunisia,

Chapitres de Livre

[PR15] S. Polis, S. Rosmorduc. "The Hieroglyphic Sign Functions. Suggestions for a Revised Taxonomy", Titre du livre: "Fuzzy Boundaries, Festschrift für Antonio Loprieno", October 2015, pp. 149–174,

Rapport Scientifique

[Ast15] I. Astic. "Etat de l'art des jeux pervasifs sérieux transmédia", Date de dépot: 2015/10/20, (Tech. Rep.: CEDRIC-15-3628)
[TW15] S. Taktak, A. Wei. "Étude du protocole de multi-accès TTR dans les réseaux de capteurs", Date de dépot: 2015/10/01, (Tech. Rep.: CEDRIC-15-3622)

Rapport du Laboratoire

[LRW15] L. Lassouaoui, S. Rovedakis, A. Wei. "Protocoles MAC dans les réseaux de capteurs ", Date de dépot: 2015/01/20, Nb pages 35,

Autres

[ROS15] S. Rosmorduc. "Computational Linguistics in Egyptology",

datepub: April 2015,

2014

Revue Internationale avec comité de lecture

[GVW14] L. Gui, T. Val, A. Wei, S. Taktak. "An Adaptive Range-free Localisation Protocol in wireless sensor networks", International journal of Ad Hoc and Ubiquitous Computing, vol. 3(2), pp. 38-56, 2014

Revue Internationale sans comité de lecture

[ENK14a] S. El_khediri, N. Nasri, A. Kachouri. "EDD CLUSTERING ALGORITHM FOR WIRELESS SENSOR NETWORKS", Computer Science & Information Technology (CS & IT), pp. 97-104, December 2014, (doi:10.5121)

Conférence Internationale avec comité de lecture

[ENW14] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "Propagation Approach for Clustering in Wireless Sensor Network", Hybrid Intelligent System, December 2014, pp.5, koweit, (DOI: 2150-7996 )
[Pra14a] S. Kumar. "Simizer: evaluating consis- tency trade offs through simulation", PaPEC '14 Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, December 2014,
[DRW14] J. Douin, S. Rovedakis, A. Wei. "Architecture de réseaux appliquée à la visite interactive sur mobile d’un musée ", GRES Gestion de Résaux et de Services, December 2014, Vol. 1, pp.1-5, Paris, France,
[LRW14] L. Lassouaoui, S. Rovedakis, A. Wei. "Routage dynamique adapté à l’environnement interactif sans fil ", GRES2014, December 2014, pp.1-2,
[LB14] T. Le Vinh, S. Bouzefrane. "Trusted Platforms to secure Mobile Cloud Computing", The 16th IEEE International Conference on High Performance Computing and Communications , August 2014, pp.1096-1103,
[BBH14] S. Bouzefrane, A. Benkara Mostefa, F. Houacine, H. Cagnon. "Cloudlets Authentication in NFC-based Mobile Computing", 2014 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, April 2014, pp.267 – 272, Oxford, GB,
[KUM14] S. Kumar. "EVALUATING CONSISTENCY ON THE FLY USING YCSB ", Computational Intelligence for Multimedia Understanding (IWCIM), February 2014, pp.1-6,

Conférence Nationale avec comité de lecture

[ENK14] S. El_khediri, N. Nasri, A. Kachouri, A. Wei. "A New Approach for Clustering in Wireless Sensors Networks Based on LEACH", International Workshop on Wireless Networks and Energy Saving Techniques (WNTEST), June 2014, pp.6, Belgique, (DOI: 10.1016/j.procs.2014.05.551)

Autres

[Ros14] S. Rosmorduc. "Intervention sur France Culture, émission "les nouvelles vagues", "de la ligne d'écriture à la ligne de code"",

datepub: November 2014,

2013

Revue Internationale avec comité de lecture

[PR13] S. Polis, S. Rosmorduc. "Réviser le codage de l’égyptien ancien : Vers un répertoire partagé des signes hiéroglyphiques ", Document Numérique, vol. 16(3), pp. 45-69, 2013
[IWY13] M. Iturralde, A. Wei, T. Yahiya, A. Beylot. "Resource Allocation for Real Time Services in LTE Networks Using Cooperative Game Theory and Virtual Token Mechanism", International Journal Wireless Personal Communications , pp. accepté, 2013
[ENW13d] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "Probabilistic Energy Value for Clustering in Wireless Sensors Networks", Wireless Sensor Network, vol. 5, pp. 8, 2013, (doi:10.4236/wsn.2013)
[ENW13] S. El Khediri, N. Nasri, A. Wei. "Probabilistic Energy Value for Clustering in Wireless Sensors Networks", Wireless Sensor Networks, vol. 5(2), pp. 25-32, 2013

Revue Nationale avec comité de lecture

[TJ13] N. Treves, G. Japiot. " Les Barcamps Travail coopératif et utilisation des technologies de l’information ", Lettre de l'Adeli, vol. 90, pp. 14_17, 2013

Conférence Internationale avec comité de lecture

[BWB13] G. Barros, A. Wei, A. Beylot. "Reliable Routing Using Heterogeneity in Wireless Sensor Networks", IEEE Vehicular Technology Conference 2013, September 2013, pp.5,
[GCL13] E. Gressier-Soudan, R. Chiky, S. Lefebvre, S. Kumar. "LibRe: A Consistency Protocol for Modern Storage Systems", Compute-2013: The 6th ACM India Computing Conference., Vellore India; August 2013. , August 2013, pp.8, vellore, india, (DOI: 10.1145/2522548.2522605)
[ZLH13] M. Zneika, H. Loulou, F. Houacine, S. Bouzefrane. "Towards a Modular and Lightweight Model for Android Development Platforms", 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing, August 2013, pp.2129-2132,
[ENW13a] S. El Khediri, N. Nasri, A. Wei, A. Kachouri. "Synchronization in Wireless Sensors Networks Using balanced clusters", WMNC'2013, April 2013, pp.1-4, Dubai, UAE,
[ENW13c] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "Synchronization in Wireless Sensors Networks Using balanced clusters", Wireless and Mobile Networking Conference (WMNC), 2013 6th Joint IFIP, April 2013, pp.4, dubai, UNITED ARAB EMIRATES,
[HBH13] F. Houacine, S. Bouzefrane, D. Huang, Li Li. "MCC-OSGi: An OSGi-based Mobile Cloud Service Model", The IEEE ISADS (Eleventh International Symposium on Autonomous Decentralized Systems), March 2013, pp.37-44, Mexico,

Conférences Internationales sans actes

[ENW13b] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "An Improved TPSN Algorithm for Time Synchronization in Wireless Sensors Networks", The International Conference on Information Processing and Wireless Systems (IP -WiS) , Tunisia,

Livre

[BP13] S. Bouzefrane, P. Paradinas. "Les Cartes à puce", September 2013, Hermès, pp. 326, (isbn: 9782746239135)
[TPM13] N. Treves, J. Printz, B. Mesdon. "Estimation des projets de l'entreprise numérique", April 2013, 1, (isbn: 9782746238343)

Chapitres de Livre

[BSC13] S. Bouzefrane, D. Sauveron, J. Cordry, K. Garri. "Mise en oeuvre d’une application, choix de solutions, performances", September 2013,

2012

Revue Internationale avec comité de lecture

[MDN12] S. Mader, J. Dupire, S. Natkin, E. Guardiola. "Designing therapeutic games for seniors: case study of "le village aux oiseaux" (birds village)", Modelling, Measurement and Control, vol. 73(3), pp. n.c., 2012

Revue Internationale sans comité de lecture

[ENW12a] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "Analysis Study of Time Synchronization Protocols of Wireless Sensors Networks", International Journal of Distributed and Parallel Systems (IJDPS) , vol. 3, pp. 12, May 2012, (doi:0.5121/ijdps.2012.3315)

Revue Nationale avec comité de lecture

[NGV12] S. Natkin, E. Guardiola, P. Vrignaud, D. Soriano, E. Loarer. "Du jeu utile au jeu sérieux : un exemple le projet JEU SERAI", Hemes, La revue, vol. 62, pp. 85-92, 2012

Conférence Internationale avec comité de lecture

[I W12] M. Iturralde, T. Yahiya , A. Wei, A. Beylot. "Interference Mitigation by Dynamic Self-Power Control in Femtocell Scenarios in LTE Networks", IEEE Global Communications Conference 2012, December 2012, pp.à paraitre,
[IYW12] M. Iturralde, T. Yahiya, A. Wei, A. Beylot. "A Real-Time Services Performance and Interference Mitigation for Femtocell Scenarios in LTE Networks", IEEE Conference on Local Computer Networks 2012, October 2012, pp.à paraitre,
[GWV12] L. Gui, A. Wei, T. Val. "A Range-Free Localization Protocol for Wireless Sensor Networks", IEEE ISWCS2012, August 2012, pp.à paraitre,
[ WB12] J. Barros, A. Wei, A. Beylot. "Is Multicast useful in Health Care Monitoring Systems?", Wireless Advanced 2012 , June 2012, pp.1-5,
[ENK12] S. El Khediri, N. Nasri, A. Kachouri, A. Wei. "Survey of Synchronization Algorithms: Wireless Sensor Networks Case Study", ICCIT2012, June 2012, pp.1-5,
[ENW12] S. El_khediri, N. Nasri, A. Wei, A. Kachouri. "Survey of Synchronization Algorithms: Wireless Sensor Networks Case Study", The 2nd International Conference on Communications and Information Technology (ICCIT): Wireless Communications and Signal Processing, Hammamet, June 2012, pp.6,
[THK12] N. Treves, L. Hillah, F. Kordon, L. Petrucci. "A primer on the Petri Net Markup Language and ISO/IEC 15909-2", 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN’09), April 2012, pp.19,
[ W 12] M. Iturralde, A. Wei, T. Yahiya , A. Beylot. "Resource Allocation for Real Time Services Using Cooperative Game Theory and a Virtual Token Mechanism in LTE Networks", IEEE CCNC 2012, January 2012, pp.879-883, US,

Conférence Nationale avec comité de lecture

[MDG12] S. Mader, J. Dupire, E. Guardiola, S. Natkin. "Conception d'un serious game thérapeutique: l'expérience du Village", Handicap 2012, June 2012, pp.6, Paris, France,

Conférences Internationales sans actes

[ABH12] A. Adjaz, S. Bouzefrane, F. Houacine, P. Paradinas. "An OSGi Based Service Architecture in The Context of Tag-to-MobiCloud Computing", Chip-to-Cloud Security Forum, Nice, France,

Mémoire de Thèse

[SIM12] M. Simatic. "Contributions au rendement des protocoles de diffusion à ordre total et aux réseaux tolérants aux délais à base de RFID", Soutenue le: 04 October 2012, pp. 240,

2011

Revue Internationale avec comité de lecture

[GVW11] L. Gui, T. Val, A. Wei. "A Novel Two-Class Localization Algorithm in Wireless Sensor Networks", the International Journal Network Protocols and Algorithms, vol. 3(3), pp. 1-16, 2011
[BGT11] S. Bouzefrane, K. Garri, P. Thoniel. "A user-centric PKI based-protocol to manage FC² digital identities", IJCSI International Journal of Computer Science Issues, Janvier 2011, vol. 8(1), pp. 74-80, 2011
[GSB11] K. Garri, F. Sailhan, S. Bouzefrane. "Anomaly Detection in RFID system", International Journal of Radio Frequency Identification Technology and Applications, vol. 3(1), pp. 13, 2011

Conférence Internationale avec comité de lecture

[EKN11a] S. El_khediri, A. Kachouri, N. Nasri. "Diverse Synchronization issues in Wireless Sensor Networks", The 23rd International Conference on Microelectronics ICM (IEEE), Hammamet, Tunisia, 2011., December 2011, pp.6,
[ABH11] A. Adjaz, S. Bouzefrane, D. Huang, P. Paradinas. "An OSGi-based Service Oriented Architecture for Android Software Development Platforms", International Conference on Software & Systems Engineering and their Applications , November 2011, pp.1-10, Paris, France,
[BGRa11] S. Bouzefrane, K. Garri, A. Redjedal, P. Thoniel. "A new security architecture for mesh networks: Application to sensor networks and ZigBee standard", The International Conference on Secure Networking and Applications, October 2011, pp.36-39,
[IWY11a] M. Iturralde, A. Wei, T. Yahiya, A. Beylot. "Performance Study of Multimedia Services Using Virtual Token Mechanism for Resource Allocation in LTE Networks", IEEE VTC, September 2011, pp.1-5, US,
[GWV11] L. Gui, A. Wei, T. Val. "Improving Localization Accuracy Using Selective 3-Anchor DV-hop Algorithm", IEEE VTC, September 2011, pp.1-5, US,
[IWY11] M. Iturralde, A. Wei, T. Yahiya, A. Beylot. "Resource Allocation Using Shapley Value in LTE", IEEE PIMRC, September 2011, pp.31-35, Canada,
[BBB11] K. Bekara, Y. Ben Mustapha, S. Bouzefrane, K. Garri, M. Laurent, P. Thoniel. "Ensuring Low Cost Authentication with Privacy Preservation in Federated IMS Environments", 4th IFIP International Conference on New Technologies, Mobility and Security, February 2011, pp.1-5, Paris, France,

Conférences invitées

[Tre11] N. Treves. "A critical survey of project management", ICSEEA'11, December 2011, France,

Conférences Internationales sans actes

[ABP11] A. Adjaz, S. Bouzefrane, P. Paradinas, D. Huang. "Integrating a service architecture based on OSGI within Android platforms", e-Smart Conference, Sept. 2011, Nice Antipolis, FRANCE,

Livre

[Kai11] C. Kaiser. "LE CENTRE DE CALCUL COELACANTHE 1963-1970", March 2011, ILV-EDITION, pp. 83 pages,

Chapitres de Livre

[GPs11] E. Gressier-Soudan, R. Pellerin, M. Simatic. "Using RFID/NFC for Pervasive Serious Games: The PLUG Experience", Titre du livre: "Near Field Communications Handbook", September 2011, pp. 279-304, (isbn: 9781420088144)

Atelier, Poster ou Démonstration dans une Conférence Nationale

[PS11] C. Pitrey, F. Sailhan. "On Developing Dependable Positioning", Workshop on Security of Systems and Software resiLiency (3SL), April 2011, pp.1-2,

2010

Revue Internationale avec comité de lecture

[LYZ10] Y Li, Y Yang, L. Zhou, A. Wei, C Cao. "QoS-aware Fair Packet Scheduling in IEEE 802.16 Wireless Mesh Networks", International Journal of Communication Systems, vol. 23(6-7), pp. 901-917, 2010

Conférence Internationale avec comité de lecture

[GWV10] L. Gui, A. Wei, T. Val. "A Two-level Range-free Localization Algorithm for Wireless Sensor Network", IEEE WiCOM 2010, September 2010, pp.1-4, Chine,
[GN10] E. Guardiola, S. Natkin. "Player's Model: Criteria for a Gameplay Profile Measure.", ICEC 2010, September 2010, pp.366-371, Seoul, Corée,
[HKP10] L. Hillah, F. Kordon, L. Petrucci, N. Treves. "PNML Framework: an extendable reference implementation of the Petri Net Markup Language", PN'10, Braga, Portugal, January 2010, Vol. 6128, pp.318-327, Series LNCS,

2009

Revue Internationale avec comité de lecture

[ZBZ09] L. Zhou, G. Benoit, B Zheng, A. Wei, J Cui. "System Scheduling for Multi-Description Video Streaming over Wireless Multi-Hop Networks", IEEE Transactions on Broadcasting, vol. 55(4), pp. 731-742, 2009
[ZZW09] L. Zhou, B Zheng, A. Wei, G. Benoit, J Cui. "Joint QoS Control for Video Streaming over Wireless Multihop Networks: A Cross-Layer Approach", International Journal of Electronics and Communications, vol. 63(8), pp. 638-647, 2009
[WWD09] A. Wei, G. Wei, G Dupeyrat. "Improving Mobile IPv6 Handover and Authentication in Wireless Network with E-HCF", International Journal of Network Management, vol. 17(6), pp. 479-489, 2009
[ZZW09a] L. Zhou, B Zheng, A. Wei, B. Geller, J Cui. "Joint Authentication-Coding Mechanism for Multimedia over Heterogeneous Wireless Networks", Special issue of Wireless Personal Communications (WPC), Springer, entitled , vol. 51(1), pp. 5-16, 2009
[ZZW09b] L. Zhou, B Zheng, A. Wei, B. Geller, J Cui. "Joint Routing and Rate Control Scheme for Multi-Stream High-Definition Video Transmission over Wireless Home Networks", International Journal of the Computer Journal Advance Access, vol. 52(8), pp. 950 -959, 2009
[HKK09] L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Treves. "The Petri Net Markup Language and ISO/IEC 15909-2", Petri Nets Newsletter, pp. 9-28, 2009
[BCPa09] S. Bouzefrane, J. Cordry, P. Paradinas. "MESURE Tool to benchmark Java Card platforms", Int. J. of Computer Science Issues, pp. 49-57, 2009

Conférence Internationale avec comité de lecture

[ZXG09] M Zhu, S Xiao, W Guo, A. Wei. "Fault-Tolerant Scheduling Using Primary-Backup Approach for Optical Grid Applications", ACP 2009 (Asia Communications and Photonics), November 2009, pp.1-6, Chine,
[SUE09] J. Susini, P. Urien, S. Elrharbi, D. Nyamy, H. Chabanne, T. Icart, C. P�pin, M. Bouet, G. Pujolle, P. Krzanik, F. Lecoq, K. Toumi. "HIP-Tags Architecture Implementation for the Internet of Things", First Asian Himalayas International Conference on Internet AH-ICI2009, November 2009, pp.1-5 , Kathmandu, Nepal,
[Sim09] M. Simatic. "RFID-based replicated distributed memory for mobile applications", Proceedings of the 1st International Conference on Mobile Computing, Applications, and Services (Mobicase 2009), October 2009, pp.1-18, San Diego, USA,
[SGJ09] M. Simatic, A. Gentes, C. Jutant, A. Guyot. "Designing mobility: pervasiveness as the enchanting tool of mobility", Proceedings of the 1st international ICST Workshop on Innovative Mobile User Interactivity (IMUI 2009), October 2009, pp.1-10, San Diego, USA,
[FVW09] N. Fourty, T. Val, A. Wei. "A WiMAX physical layer use for emergency audio communications", IEEE Selected Topics in Mobile and Wireless Computing , October 2009, pp.435-440, Morocco,
[YBW09] J Yang, G. Benoit, A. Wei. "Approximate Expressions for Cramer-Rao Bounds of Code Aided QAM Dynamical Phase Estimation", IEEE ICC , June 2009, pp.1-5, Germany,
[YBW09a] J Yang, G. Benoit, A. Wei. "Bayesian and Hybrid Cramer-Rao Bounds for QAM Dynamical Phase Estimation", IEEE International Conference on Acoustics, Speech, and Signal Proceedings, April 2009, pp.3297-3300, Taiwan,
[FYK09] I. Flammer, C. Yan, W. Ka, A. Flammer, J. Cheung, R. Pellerin. "Player feedback evaluation : indicating mass public potential for pervasive games.", IFIP ICEC 2009 Int. Conf.rence, Paris, France, January 2009, Series LNCS,
[HKP09a] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", ACC'09, St Louis, US, January 2009, pp.5018-5025, Series Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.,
[PCB09] P. Paradinas, J. Cordry, S. Bouzefrane. "Measurement Analysis when Benchmarking Java Card Platforms", Workshop in Information Security Theory and Practices, Belgium, January 2009, pp.84-94, Series LNCS,
[KP09] C. Kaiser, J. Pradat-Peyre. "Weak Fairness Semantic Drawbacks in Java Multithreading", Ada-Europe'09 Reliable Software Technologies, January 2009, pp.90-104, Series LNCS 5570,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[SAA09] M. Simatic, I. Astic, C. Aunis, A. Gentes, A. Guyot-Mbodji, C. Jutant, E. Zaza. ""Plug: Secrets of the Museum": A pervasive game taking place in a museum", September 2009,
[GDN09] S. Gros, J. Dupire, S. Natkin. "Affective Interaction: Challenges at the Ubiquitous Computing Times.", ICEC 2009, September 2009, pp.1, Paris, France,

Atelier, Poster ou Démonstration dans une Conférence Nationale

[SAM09] F. Sailhan, I. Astic, F. Michel, C. Pitrey, M. Uy, E. Gressier-Soudan, P. Gerbaud, H. Forgeot. "Sauvegarde du patrimoine en cas de sinistre : conception d'une solution de localisation et de surveillance a base de RFIDs actifs, défis et perspectives. 2ème Atelier sur la Gestion des Données dans les Systèmes d'Information Pervasifs", Atelier sur la GEstion des Données dans les Systèmes d'Information Pervasifs (GEDSIP) au sein de la conférence INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), January 2009, pp.1-15,

Rapport Scientifique

[HKP09] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", Date de dépot: 2009/01/01, (Tech. Rep.: CEDRIC-09-1780)

2008

Revue Internationale avec comité de lecture

[ZZG08a] L. Zhou, B Zheng, B. Geller, A. Wei, S Xu, Y Li. "Cross Layer Rate Control, Medium Access Control and Routing Design in Cooperative VANET Computer Communications", International Journal of Computer Communications, vol. 31, pp. 2870-2882, 2008
[ZZW08b] L. Zhou, B Zheng, A. Wei, B. Geller, J Cui. "A Robust Resolution-Enhancement Scheme for Video Transmission over Mobile AD-Hoc Networks", IEEE Transactions on Broadcasting, vol. 54(2), pp. 312 – 321, 2008
[BEKa08] S. Bouzefrane, J. Etienne, C. Kaiser. "Handling Overload and Data-relaxation Control in Distributed Real-Time Database Systems", International Journal of Computer and their Applications, vol. 15(3), pp. 187-200, 2008
[ZZG08] L. Zhou, B Zheng, B. Geller, A. Wei, S Xu, Y. Li. "Cross Layer Rate Control, Medium Access Control and Routing Design in Cooperative VANET Computer Communications", International Journal of Computer Communications, vol. 31, pp. 2870-2882, 2008

Revue Internationale sans comité de lecture

[CP08] O. Chourabi, Y. Pollet. "Le Langage de Modélisation de Systèmes SysML. Un compendium", La revue de Génie logiciel, vol. 84(1), pp. 32-36 , March 2008

Revue Nationale sans comité de lecture

[CPB08] O. Chourabi, Y. Pollet, M. Benahmed. "Ontology Based Knowledge Management in System Engineering", Insight Journal, INCOSE (The Iternational Council on Systems Engineering), vol. 11(3), pp. 14-15, July 2008

Revue Nationale avec comité de lecture

[BEK08] S. Bouzefrane, J. Etienne, C. Kaiser. "Gestion de la surcharge dans les systèmes de gestion de base de données temps réel", TSI, Technique et Science Informatiques, vol. 27(7), pp. 879-910, 2008

Conférence Internationale avec comité de lecture

[ZGW08] L. Zhou, B. Geller, A. Wei, B Zheng. "Cross-Layer Rate Allocation for Multimedia Applications in Pervasive Computing Environmen", IEEE GLOBECOM , December 2008, pp.1-5, US,
[WZG08] A. Wei, G. Z. Wei, B. Geller. "Improving Mobile IP6 Handover in Wireless Network with E-HCF,", IEEE Vehicular Technology Conference, VTC, September 2008, pp.5-9, Canada,
[ZWG08] G. Z. Wei, A. Wei, B. Geller, G Dupeyrat. "Fast MIP Handover Amelioration in Wireless Networks by Cross-layer Solution", IEEE NGMAST , September 2008, pp.131-135, UK,
[CPB08b] O. Chourabi, Y. Pollet, M. Benahmed. "Ontology Based framework for system engineering knowledge modeling", IFIP AI 2008, September 2008, pp.183-192, Milano, ITALY,
[CPB08c] O. Chourabi, Y. Pollet, M. Benahmed. "Ontology Based Knowledge Modeling for System Engineering Projects", RCIS 2008, IEEE International Conference on Research Challenges in Information Science, June 2008, pp.453-458, Fez, MOROCCO,
[PC08] Y. Pollet, O. Chourabi. "A Formal approach for optimized concurrent System Engineering", ENGOPT 2008 International Conference on Engineering Optimization, June 2008, Rio de Janeiro, BRAZIL,
[FRY08] J. Farinone, N. Rempulski, C. Yan. "Augmented Go! an ubiquitus urban game", eArts Festival 2008, Shanghai, January 2008,
[FRY08a] J. Farinone, N. Rempulski, C. Yan, I. Flammer, V. Terrier. "Urban Go!", Les e-magiciens 2008, Rencontres europÃ©ennes de la jeune crÃ©ation numÃ©rique, Valenciennes, France, January 2008,
[PYC08] R. Pellerin, C. Yan, J. Cordry, E. Gressier-Soudan. "Player profile management on NFC Smart Card for Multiplayer Ubiquitous Games", CyberGames'08 Int. Conf. on Games Research and Development, Beijin, January 2008, pp.16-23, Series ACM,
[NEU08] D. Nyami, S. Elrharbi, P. Urien, M. Bouet, D. De Oliveira Cunha, V. Guyot, H. Chabanne, T. Icart, C. P�pin, P. Krzanik, J. Susini. "HIP tags, a new paradigm for the Internet of Things", IFIP Wireless Days, DubaÃ¯, January 2008, pp.1-5,
[LB08] H. Le, S. Bouzefrane. "Identity management systems and interoperability in a heterogeneous environment", Int. Conf. on Advanced Technologies for Communications, Hanoi, January 2008, pp.243-246,
[VGN08] O. Veneri, S. Gros, S. Natkin. "Procedural Audio for Game using GAF", January 2008,
[BCM08] S. Bouzefrane, J. Cordry, H. Meunier, P. Paradinas. "Evaluation of Java Card Performance", Cardis'08 Eighth Smart Card Research and Advanced Application Conf., Egham, Surrey, England, January 2008, pp.228-240, Series LNCS 5189 / IFIP,
[KPP08] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Concurrent Program metrics drawn by QUASAR", Ada-Europe''08 Int. Conf on Reliable Software Technologies, January 2008, pp.101-114, Series LNCS 5026,

Conférence Nationale avec comité de lecture

[BCP08] S. Bouzefrane, J. Cordry, P. Paradinas. "A methodology for testing Java Card performance", CFSE'08 ConfÃ©rence FranÃ§aise en SystÃ¨mes d'Exploitation, Suisse, January 2008,

Conférences Internationales sans actes

[BCG08] S. Bouzefrane, J. Cordry, G. Grimaud, P. Paradinas. "An Open-Source Tool to Benchmark Java Card Platforms", e-Smart Conf., Sophia Antipolis,

Conférences Nationales sans actes

[COR08] J. Cordry. "La performance des plates-formes Java Card", 9eme Atelier en Evaluation de Performance, Aussois, France,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[PGS08] R. Pellerin, E. Gressier-Soudan, M. Simatic. "uGASP: an OSGi based middleware enabling ubiquitous multiplayer gaming", ICPS'08, Sorrento, Italy, Demo Workshop, January 2008, pp.2p,

Mémoire de Thèse

[YAN08] C. Yan. "Jeux Vidéo Multijoueurs Ubiquitaires Adaptatifs : Principes de conception et architecture dexécution", Soutenue le: 01 January 2008,

2007

Revue Internationale avec comité de lecture

[WN07] A. Wei, A. Nait-Ali. "Evaluation of a none compressed 12-lead ECG transmission via Internet using IPSec", International Journal of Computers in Biology and Medicine, vol. 37(6), pp. 805-810, 2007
[NYa07] S. Natkin, C. Yan. "Adaptive Narration in Multiplayer Ubiquitous Games", International Journal Cognitive Informatics and Natural Intelligence, vol. 3(2), pp. 61-83, 2007

Conférence Internationale avec comité de lecture

[ZWK07] G. Z. Wei, A. Wei, X Ke, Y Cui, G Dupeyrat. "Optimization of Handover Performance Using E-HCF Method", International Conference of Computer Science, May 2007, pp.27-31, Chine,
[EPP07] S. Evangelista, C. Pajault, J. Pradat-Peyre. "A simple positive flows computation algorithm for a large subclass of colored nets", IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, January 2007, pp.177-195, Series LNCS,
[KPP07] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous", Ada-Europe''07 Int. Conf. on Reliable Software Technologies, January 2007, Vol. volume(12), pp.192-207, Series LNCS 4498,
[EP07] S. Evangelista, C. Pajault. "Some Solutions to the Ignoring Problem", SPIN'07 Int. Workshop on Model Checking Software, January 2007, Vol. 4595(14), pp.76-94, Series LNCS,
[NY07] S. Natkin, C. Yan. "Creating Multiplayer Ubiquitous Games Using An Adaptive Narration Model Based on A User's Model", DiGRA'07, Conf. of the Digital Games Research Association, Tokyo, January 2007, pp.431-439,
[EB07] J. Etienne, S. Bouzefrane. "A Typed Compositional Language for Real-Time Systems", IEEE Int. Symposium on High Assurance Systems Engineering, Dallas, January 2007, pp.63-72,
[BG07a] F. Bimbard, L. George. "Feasibility Conditions with Kernel Overheads for Mixed Preemptive FP/FIFO Scheduling with Priority Ceiling Protocol on an Event Driven OSEK System", ETFA'07 WIP Session, 12th IEEE Conference on Emerging Technologies and Factory Automation, January 2007, pp.792-795,
[LSP07] W. Labidi, J. Susini, P. Paradinas, M. Setton. "Health Care Integrated Ambient Systems", Ambient Intelligent Developments 2007, Sophia-Antipolis, January 2007, pp.92-102, Series LNCS,
[PCB07] P. Paradinas, J. Cordry, S. Bouzefrane. "Performance Evaluation of Java Card Bytecodes", Workshop in Information Security Theory and Practices 2007: Smart Cards,Mobile and Ubiquitous Comput, January 2007, pp.127-137, Series LNCS 4462,
[PEL07] R. Pellerin. "The MooDS protocol: a J2ME object-oriented communication protocol", Mobility 2007 Int. Conf.rence, Singapore, January 2007, pp.815,

Conférences Internationales sans actes

[PCBa07] P. Paradinas, J. Cordry, S. Bouzefrane. "How to Measure the Performance of Java Card Platforms?", e-Smart Conf., Sophia Antipolis,

Conférences Nationales sans actes

[BG07] F. Bimbard, L. George. "Conditions de Faisabilité Tenant Compte des Charges Occasionnées par un Noyau OSEK pour un Ordonnancement Mixte Préemptif et Non-Préemptif avec Mécanisme de Plafond de Priorité",

Mémoire de Thèse

[BIM07] F. Bimbard. "Dimensionnement temporel de systèmes embarqués: application à OSEK", Soutenue le: 01 January 2007, pp. 159p,

Mémoire de HDR

[Wei07a] A. Wei. "Contributions à la qualité de service dans les réseaux de télécommunications", Soutenue le: 01 January 2007,

2006

Revue Internationale avec comité de lecture

[BG06] F. Bimbard, L. George. "Real-Time Analysis to Ensure Deterministic Behavior in a Modular Robot Based on an OSEK System", ITSSA, vol. 2(2), pp. 185-190, 2006
[KPE06] C. Kaiser, J. Pradat-Peyre, S. Evangelista, P. Rousseau. "Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement", ACM Ada Letters, vol. 26(2), pp. 23-37, 2006
[HP06] S. Haddad, J. Pradat-Peyre. "New Efficient Petri Nets Reductions for Parallel Programs Verification", Parallel Processing Letters, vol. 16(1), pp. 101-116, 2006

Conférence Internationale avec comité de lecture

[PP06] C. Pajault, J. Pradat-Peyre. "Static Reductions for Promela Specifications", FORTE 2008 28th IFIP WG 6.1 Int. Conf.rence. Tokyo, Japan, January 2006, pp.84-98, Series LNCS 5048,
[PP06a] C. Pajault, J. Pradat-Peyre. "Distributed colored Petri net model-checking with Cyclades", PDMC'06 Proceedings Parallel and Distributed Methods in verifiCation, January 2006, pp.347-361, Series LNCS, (DOI: 10.1007/978-3-540-70952-7_24)
[NY06] S. Natkin, C. Yan. "User Model in Multiplayer Mixed Reality", ACE'06, ACM SIGCHI int. conf. on Advances in computer entertainment technology, January 2006, Vol. 266, pp.74-82,
[EBa06] J. Etienne, S. Bouzefrane. "Applying the CBSE paradigm on real-time systems", WFCS'06 IEEE Int. Workshop on Factory Communication Systems, Torino, January 2006, pp.368 - 373,
[ECB06] J. Etienne, J. Cordry, S. Bouzefrane. "Applying the CBSE Paradigm in the Real Time Specification for Java", January 2006, Vol. 177, pp.218-226,
[BG06b] F. Bimbard, L. George. "FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System", January 2006, pp.566-574,
[BG06e] F. Bimbard, L. George. "Real-Time Analysis to Ensure Deterministic Behavior in a Modular Robot Based on an OSEK System", January 2006, pp.24-27,
[EP06] S. Evangelista, J. Pradat-Peyre. "On the Computation of Stubborn Sets of Colored Petri Nets", Int. Conf. on the Application and Theory of Petri Nets and Other Models of Concurrency, January 2006, Vol. 4024(27), pp.146-165, Series LNCS,
[NPV06] E. Najm, J. Pradat-Peyre, V. Viguie Donzeau-Gouge. "FORTE'06: Formal Techniques for Networking and Distributed Systems", January 2006, Vol. 4229, Series LNCS,

Conférence Nationale avec comité de lecture

[EB06] J. Etienne, S. Bouzefrane. "Vers une approche par composants pour la modélisation d'applications temps réel", MOSIM'06 ConfÃ©rence Francophone de ModÃ©lisation et Simulation, Rabat, January 2006, pp.1-10,
[BG06c] F. Bimbard, L. George. "Feasibility Conditions with Kernel Overheads for Periodic Tasks with Fixed Priority Scheduling on an Event Driven OSEK System", 14th Intern Conf. on Real-Time and Network Systems. Poitiers, France, January 2006, pp.200-206,

Chapitres de Livre

[GUA06] E. Guardiola. "Lhistoire que nous faisons vivre au joueur : la structure ludo-narrative", January 2006, pp. 161-174,

Brevet et Normes

[BDG06] J. Brossier, I. Diatta, B. Geller, A. Wei. "Procédé de paramétrage dune transmission pour système à porteuses multiples avec voie de retour", Date de dépôt: 01 January 2006 , Organisme: "CNRS"

Atelier, Poster ou Démonstration dans une Conférence Internationale

[BG06a] F. Bimbard, L. George. "Feasibility Conditions with Kernel Overheads for Mixed Preemptive and Non-Preemptive Periodic Tasks with FP/FIFO Scheduling on an Event Driven OSEK System", January 2006,
[BG06d] F. Bimbard, L. George. "On the conception of an autonomous and modular robot based on an Event Driven OSEK System with deterministic real-time behavior", January 2006, pp.15,

Rapport Scientifique

[KPP06] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada.Case study of symmetric non-deterministic rendez-vous.", Date de dépot: 2006/01/01, Nb pages 15p, (Tech. Rep.: CEDRIC-06-1102)
[KP06] C. Kaiser, J. Pradat-Peyre. "Noyau de concurrence par moniteur pour Java ou C#: pour une autre sémantique plus fiable et plus performante", Date de dépot: 2006/01/01, Nb pages 12 p, (Tech. Rep.: CEDRIC-06-1021)

2005

Conférence Internationale avec comité de lecture

[EVA05] S. Evangelista. "High Level Petri Nets Analysis with Helena", Int. Conf. On Application and Theory of Petri Nets, Miami, USA, January 2005, Vol. 3536(26), pp.455-464, Series LNCS,
[PE05] J. Peyre, S. Evangelista. "Memory Efficient State Space Storage in Explicit Software Model Checking", SPIN'05 12th International SPIN Workshop on Model Checking of Software, January 2005, Vol. 3639, pp.43-57, Series LNCS,
[EHP05] S. Evangelista, S. Haddad, J. Pradat-Peyre. "Syntactical Colored Petri Nets Reductions", January 2005, Vol. 3707(3707), pp.202-216, Series LNCS 3707, D.A. Peled, Y.-K. T,
[NY05] S. Natkin, C. Yan. "Analysis of Correspondences between Real and Virtual Worlds in General Public Applications", CGIV'05, Int. conf. Computer Graphics, Imaging and Visualization, PÃ©kin, January 2005, pp.323-332,
[NYa05] S. Natkin, C. Yan. "A Typology of the Relationships between Real and Virtual Worlds", CGAMES'05, Int. Conf. on Computer Games, AngoulÃ¨me, France, January 2005, pp.223-231, Series IEEE,
[BGC05] F. Bimbard, L. George, M. Cotsaftis. "Design of autonomous modules for self-reconfigurable robots", CCCTÂ05 3rd Int. Conf. on Computing, Communications and Control Technologies, Aus, January 2005, Vol. 3, pp.154-158,
[GN05] E. Guardiola, S. Natkin. "Game Theory and video game, a new approach of game theory to analyze and conceive game systems", CGAMES'05, Int. Conf. on Computer Games, AngoulÃ¨me, France, January 2005, pp.166-170,
[CBBa05] J. Cordry, N. Bouillot, S. Bouzefrane. "Performing Real-Time Scheduling in an Interactive Audio-Streaming Application", Int. Conf. on Enterprise Information Systems, Miami, January 2005, Vol. 5(7), pp.140-147, Series ISBN 972-8865-19-8,
[PDD05] R. Pellerin, F. Delpiano, F. Duclos, E. Gressier-Soudan, M. Simatic. "GASP: an open source gaming service middleware dedicated to multiplayer games for J2ME based mobile phones", 7th Int. Conf. on Computer Games CGAMES'05, ANGOULEME, FRANCE, January 2005, pp.75-82, Series ISBN 0-95490116-2-6,

Conférence Nationale avec comité de lecture

[EB05] J. Etienne, S. Bouzefrane. "Utilisation de l'approche par composants pour la conception d'applications temps réel", (RJCITR'05) PremiÃ¨res Rencontres des Jeunes Chercheurs en Informatique Temps RÃ©el, Nancy, January 2005,
[BG05] S. Bianchini, E. Guardiola. "Image partagée : système de représentation et système de jeu", H2PTM'05, 8Ã¨me confÃ©rence H2PTM, univ. Paris 8, January 2005, pp.197-209,
[CBB05] J. Cordry, N. Bouillot, S. Bouzefrane. "BOSSA et le Concert Virtuel Réparti, intégration et paramétrage souple d'une politique d'ordonnancement spécifique pour une application multimédia distribuée", RTS''05 13th Int. Conf. on Real-Time Systems Paris, January 2005, pp.18-39,
[PDG05] R. Pellerin, F. Delpiano, E. Gressier-Soudan, M. Simatic. "GASP : Un intergiciel pour les jeux en réseaux multijoueurs sur téléphones mobiles", DeuxiÃ¨mes JournÃ©es Francophones: MobilitÃ© et UbiquitÃ© 2005, Grenoble. UBIMOB'05, January 2005, pp.61-64,

Conférences Nationales sans actes

[CFD05] P. Cubaud, J. Farinone, J. Dupire. "Un nouveau périphérique : la flûte virtuelle", Atelier Formations transdisciplinaires en interaction sensorielle pour la création artistique de IHM,

Rapport Scientifique

[PAJ05] C. Pajault. "Extending Quasar with dynamic tasks computation", Date de dépot: 2005/01/01, Nb pages 23p, (Tech. Rep.: CEDRIC-05-695)

2004

Revue Internationale avec comité de lecture

[FEL04] G. Florin, D. Enselme, F. Legond-Aubry. "Design by contracts: analysis of hidden dependencies in component based applications", Journal of Objects Technology, 2004
[PSD04] R. Pawlak, L. Seinturier, L. Duchien, G. Florin, F. Legond-Aubry, L. Martelli. "JAC: an aspect-based distributed dynamic framework", Software:practice and experience, vol. 34, pp. 1119-1148, 2004

Revue Nationale avec comité de lecture

[PP04] J. Printz, J. Pradat-Peyre. "Génération automatique de jeux de tests et contraintes d'utilisation d'un logiciel", Génie logiciel, pp. 45-52, 2004

Conférence Internationale avec comité de lecture

[FLC04] J. Farinone, N. Liebeaux, O. Capron. "Databases and dynamic websites for e-learning and online evaluation", SUMMER UNIVERSITY 2004, LattakiÃ© - Syria, January 2004,
[EHP04] S. Evangelista, S. Haddad, J. Pradat-Peyre. "New Coloured Reductions for Software Validation", Workshop on Discrete Event Systems, Reims, January 2004, pp.355-360,
[EP04] S. Evangelista, J. Pradat-Peyre. "An Efficient Algorithm for the Enabling Test of Colored Petri Nets", 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, January 2004, pp.137-156,
[ROU04c] P. Rousseau. "Slicing concurrent programs using the Quasar tool", ICSSEA'04, January 2004,
[EB04] J. Etienne, S. Bouzefrane. "A Java Platform to Control Real-Time Transactions Overload", The 7th IEEE Int. Symp. on Object-oriented Real-time distributed Computing, January 2004, pp.219-226,
[SCB04] M. Simatic, S. Craipeau, A. Beugnard, S. Chabridon, M. Legout, E. Gressier-Soudan. "Technical and Usage Issues for Mobile Multiplayer Games.", 5th Int. Conf. on Computer Games: Artificial Intelligence, Design and Education, CGAID, January 2004, pp.134-138,

Conférence Nationale avec comité de lecture

[ROU04a] P. Rousseau. "Découpe de programmes concurrents avec Quasar", ICSSEA, January 2004,
[BFK04] C. B�tourn�, J. Ferri�, C. Kaiser, S. Krakowiak, J. Mossi�re. "Ésope : une étape de la recherche française en systèmes d'exploitation (1968-72)", SeptiÃ¨me colloque sur l'Histoire de l'Informatique et des Transmissions, Cesson Rennes, January 2004, pp.173-198,

Chapitres de Livre

[PDS04] R. Pawlak, L. Duchien, L. Seinturier, G. Florin, F. Legond-Aubry, L. Martelli. "JAC: a framework for separation of concerns and distribution", January 2004,

Rapport Scientifique

[EVA04] S. Evangelista. "Syntactical Rules for Colored Petri Nets Manipulation", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-641)
[EP04a] S. Evangelista, J. Pradat-Peyre. "A Semi-Explicit Method to Store State Spaces in a Compact Way", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-682)
[HP04] S. Haddad, J. Pradat-Peyre. "Efficient Reductions for LTL Formulae Verification", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-634)
[NPV04] S. Natkin, J. Pradat-Peyre, L. Vega. "Un Modèle basé sur les Réseaux de Petri pour l'analyse de l'ordonnancement des actions dans un jeu vidéo.", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-635)

Autres

[PEL04] R. Pellerin. "Mobile Gaming Services: Services pour les jeux multijoueurs sur mobiles",

datepub: January 2004,
[PP04a] J. Pradat-Peyre, J. Printz. "Automatic Test Generation and Information Systems Interoperability",

datepub: January 2004,

2003

Revue Internationale avec comité de lecture

[EKP03a] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM Ada Letters, vol. 24(1), pp. 17-24, 2003

Conférence Internationale avec comité de lecture

[JEA03] J. Farinone. "A language to build multimedia programs: Java", ACS/IEEE Int. Conf. on Computer Systems and Applications 2003 Tunis, Tunisia, January 2003,
[CF03] C. Caen, J. Farinone. "XMiLa: An XML DTD for music and the MIDI norm", IPSI 2003, SVETI STEFAN, MONTENEGRO, January 2003,
[EKP03] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Quasar : A New Tool for Concurrent Ada Programs Analysis", January 2003, Vol. 2655, pp.166-181, Series LNCS,
[KP03] C. Kaiser, J. Pradat-Peyre. "Chameneos, a Concurrency Game for Java, Ada and Others", January 2003, pp.8 pages,
[BK03] S. Bouzefrane, C. Kaiser. "How to Manage Replicated Real-Time Databases in an Overloaded Distributed System?", Real-Time Systems Conference, Paris, January 2003, pp.484-501,
[BKa03] S. Bouzefrane, C. Kaiser. "Distributed Overload Control for Real-Time Replicated Database Systems", The 5th Int. Conf. on Enterprise Information Systems, Angers (France), January 2003, pp.380-388,

Conférence Nationale avec comité de lecture

[LFE03] F. Legond-Aubry, G. Florin, D. Enselme. "Contrats d'assemblage de composants", RENPAR-ASF-CFSE 2003 (RENcontres du PARallÃ©lisme), January 2003,
[LFE03a] F. Legond-Aubry, G. Florin, D. Enselme. "Contrats d'assemblage de composants", RENPAR-ASF-CFSE 2003 (RENcontres du PARallÃ©lisme), January 2003,

2002

Revue Nationale avec comité de lecture

[GFM02a] P. Giordano, J. Farinone, F. Mal�zieux, X. Castellani. "Développement d'applications multimédias à l'aide de composants logiciels", G�nie Logiciel, 2002
[PDF02] R. Pawlak, L. Duchien, G. Florin, L. Seinturier. "JAC: un framework pour la programmation orientée aspects en Java", L'objet, vol. 8(8), pp. 145-168, 2002
[PDF02a] R. Pawlak, L. Duchien, G. Florin, L. Martelli, L. Seinturier. "Une approche pour les composants répartis: les composants d'aspects", L'objet, vol. 8(8), pp. 39-59, 2002

Conférence Internationale avec comité de lecture

[PDF02b] R. Pawlak, L. Duchien, G. Florin, F. Legond-Aubry, L. Seinturier, L. Martelli. "A UML notation for aspect oriented software design", Aspect Oriented Systems Design 2002, Workshop on aspect oriented modeling with UML, January 2002,

Conférence Nationale avec comité de lecture

[GFM02] P. Giordano, J. Farinone, F. Mal�zieux, X. Castellani. "Développement d'applications multimédias à l'aide de composants logiciels", January 2002,
[FAR02] J. Farinone. "L'enseignement Interaction Homme-Machine au CNAM", 14e ConfÃ©rence Francophone sur l'Interaction Homme-Machine, January 2002,

Livre

[CDK02] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Scheduling in Real-Time Systems", October 2002, Wiley, pp. 282,

Chapitres de Livre

[PRA02] J. Pradat-Peyre. "Application des réseaux de Haut-Niveau à la vérification automatique de programmes Ada95 concurrents", January 2002,

Mémoire d'ingénieur

[NFN02] S. Navarro, G. Florin, S. Natkin. "Sécurité et temps dans les systèmes répartis", Soutenue le: 01 January 2002,

Rapport Scientifique

[PP02] J. Printz, J. Pradat-Peyre. "Utilisation de contraintes pertinentes pour la génération automatique de jeux de tests", Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-412)

2001

Revue Nationale avec comité de lecture

[PDF01] R. Pawlak, L. Duchien, G. Florin, L. Martelli, L. Seinturier. "Une approche pour la programmation répartie : les composants d aspect", L'objet, 2001
[KAI01] C. Kaiser. "Description et critique d un systeme temps reel pour le suivi d un laminoir : Robustesse et potentiel d evolutivite", TSI, Technique et Science Informatiques, vol. 20(2), 2001

Conférence Internationale avec comité de lecture

[JD01] J. Farinone, S. David. "ShareIt: A Generic Java Platform for Collaborative Broadcast Applications", SSGRR 2001, L'Aquila Aug 06, January 2001,
[GFM01] P. Giordano, J. Farinone, F. Mal�zieux, X. Castellani. "Développement multimédia à l'aide de composants logiciels", ICSSEA 2001 Paris 4 dÃ©cembre- 6 dÃ©cembre 2001, January 2001,
[PSD01] R. Pawlak, L. Seinturier, L. Duchien, G. Florin. "Dynamic Wrappers : Handling the Composition Issue with JAC", TOOLS-USA, January 2001,
[PSD01a] R. Pawlak, L. Seinturier, L. Duchien, G. Florin. "JAC : A Flexible and Efficient Framework for AOP in Java", Reflection, January 2001,

Chapitres de Livre

[GP01] C. Girault, J. Pradat-Peyre. "Les réseaux de Petri de haut-niveau", Titre du livre: "Les réseaux de Petri", January 2001,
[PRA01] J. Pradat-Peyre. "Analyse des réseaux de Petri de haut-niveau", January 2001,

2000

Revue Internationale avec comité de lecture

[DFS00a] L. Duchien, G. Florin, L. Seinturier. "Partial Order Relations in Distributed Object Environments", Operating Systems Review, vol. 34(4), 2000

Revue Nationale avec comité de lecture

[DFS00] L. Duchien, G. Florin, L. Seinturier. "Structures de contrôle pour des comportements répartis", TSI, Technique et Science Informatiques, vol. 19(9), 2000

Conférence Internationale avec comité de lecture

[CDE00] P. Champagnoux, L. Duchien, D. Enselme, G. Florin. "Co-operative Abstract Data Type: A Stack Exemple", JCKBSE, January 2000,
[CDE00a] P. Champagnoux, L. Duchien, D. Enselme, G. Florin. "Typage pour des composants coopératifs", NOTERE, January 2000,
[PDF00] R. Pawlak, L. Duchien, G. Florin, L. Martelli, L. Seinturier. "Distributed Separation of Concerns with Aspect Components", TOOLS, January 2000,
[PDF00a] R. Pawlak, L. Duchien, G. Florin, L. Martelli. "A Language for Groups of Distributed Objects", RM, January 2000,
[PP00] D. Poitrenaud, J. Pradat-Peyre. "Pre and Post-Agglomerations and LTL Model Checking", January 2000, Vol. 1825, pp.387-408,

Conférence Nationale avec comité de lecture

[FG00] J. Farinone, P. Giordano. "Interfaces Homme-Machine utilisant la parole : JavaSpeech", SymÃ©dia, January 2000,
[DFP00] L. Duchien, G. Florin, R. Pawlak, L. Seinturier. "AD-TOS : Séparation des aspects pour la programmation répartie orientée objet", SÃ©minaire SystÃ¨mes DistribuÃ©s et Connaisances, January 2000,
[RCK00] P. Richard, F. Cottet, C. Kaiser. "Validation temporelle d un logiciel temps reel : application a un laminoir industriel,", Congres CIFA, January 2000,

Livre

[CDK00] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement temps reel", January 2000, Hermès,

1999

Revue Internationale avec comité de lecture

[TFC99] C. Toinard, G. Florin, C. Carrez. "A Formal Method to Prove Ordering Properties of Multicast Systems", ACM Operating System Review, 1999

Conférence Internationale avec comité de lecture

[CDF99] A. Cazes, J. Delacroix, J. Farinone. "Diffusion de cours à distance", Hypertextes, hypermÃ©dias et internet, January 1999,
[FDS99] J. Farinone, D. Drecq, B. Suzanne, A. Savoy, J. Abisror. "Une formalisation des sites Web sous forme de grammaire", Hypertextes, hypermÃ©dias et internet, January 1999,
[DF99] J. Dewez, J. Farinone. "Mécanismes internes des JavaBeans", Objet 99 Nantes, January 1999,
[CDE99] P. Champagnoux, L. Duchien, D. Enselme, G. Florin. "Cooperative Abstract Data Types", WADT, January 1999,
[PDF99] R. Pawlak, L. Duchien, G. Florin. "An automatic aspect weaver with a reflective programming language", Reflection, January 1999,
[BP99] E. Bruneton, J. Pradat-Peyre. "Automatic Verification of Concurrent Ada Programs", Ada-Europe�99, , January 1999,

Chapitres de Livre

[CDK99] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement temps reel", Titre du livre: "Collection Techniques de l", January 1999,
[CDKa99] F. Cottet, J. Delacroix, C. Kaiser, Z. Mammeri. "Ordonnancement reparti", Titre du livre: "Techniques de l ingenieur", January 1999,

Rapport Scientifique

[CDE99a] P. Champagnoux, L. Duchien, D. Enselme, G. Florin. "Types, classes et objets coopératifs", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-155)
[KS99] C. Kaiser, G. Stoffel. "Systeme d acquisition et d analyse en temps reel des signaux d un laminoir.", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-188)

1998

Conférence Internationale avec comité de lecture

[LFR98] A. Lecornec, J. Farinone, J. R�gnier, C. Joubert. "Babel Lexis : un système évolutif permettant la création, le stockage et la consultation d'objets hypermédias", HypermÃ©dias et Apprentissages, January 1998,
[KP98] C. Kaiser, J. Pradat-Peyre. "Reliable, Fair and Efficient Concurrent Software with Dynamic Allocation of Identical Resources", MCSEAI'98, January 1998,
[BP98] K. Barkaoui, J. Pradat-Peyre. "Verification in Concurrent Programming with Petri nets Structural Techniques", Third IEEE International High-Assurance Systems Engineering Symposium, January 1998, pp.124-133,

1997

Conférence Internationale avec comité de lecture

[KP97] C. Kaiser, J. Pradat-Peyre. "Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service : a Case Study", Tri-Ada'97, January 1997,
[BKP97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", APSEC '97 / ICSC '97, January 1997,
[BKPa97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", 3rd Asia-Pacific Software Engineering Conference APSECÂ97, January 1997, pp.238-248,

Conférence Nationale avec comité de lecture

[PP97] J. Pradat-Peyre, J. Printz. "Utilisation de contraintes pertinentes pour la génération automatqiue de jeux de test", IGL'97, January 1997,

1996

Conférence Internationale avec comité de lecture

[BP96] K. Barkaoui, J. Pradat-Peyre. "On Liveness and Controlled Siphons in Petri Nets", Application and Theory of Petri Nets, January 1996, Vol. 1091, pp.57-72, Series LNCS,

1988

Conférence Internationale avec comité de lecture

[BFF88] K. Barkaoui, G. Florin, C Fraize, B. Lemaire, S. Natkin. "Reliability Analysis of Non Repairable Systems Using Stochastic Petri Nets", 18th Conference on Fault Tolerant in Computer Science FTCSÂ88, January 1988, pp.90-95,

Médias Interactifs et Mobilité

Menu

Projets

Evenements

ICSSEA'17 Conference

Séminaire équipe SEMpIA

2019

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

2018

Conférence Internationale avec comité de lecture

2017

Revue Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Chapitres de Livre

2016

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférences Internationales sans actes

Chapitres de Livre

2015

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Chapitres de Livre

Rapport Scientifique

Rapport du Laboratoire

Autres

2014

Revue Internationale avec comité de lecture

Revue Internationale sans comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Autres

2013

Revue Internationale avec comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférences Internationales sans actes

Livre

Chapitres de Livre

2012

Revue Internationale avec comité de lecture

Revue Internationale sans comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences Internationales sans actes

Mémoire de Thèse

2011

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférences invitées

Conférences Internationales sans actes

Livre

Chapitres de Livre

Atelier, Poster ou Démonstration dans une Conférence Nationale

2010

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

2009

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture

Atelier, Poster ou Démonstration dans une Conférence Internationale

Atelier, Poster ou Démonstration dans une Conférence Nationale

Rapport Scientifique

2008

Revue Internationale avec comité de lecture

Revue Internationale sans comité de lecture

Revue Nationale sans comité de lecture

Revue Nationale avec comité de lecture

Conférence Internationale avec comité de lecture

Conférence Nationale avec comité de lecture

Conférences Internationales sans actes

Conférences Nationales sans actes

Atelier, Poster ou Démonstration dans une Conférence Internationale

Mémoire de Thèse

2007

Revue Internationale avec comité de lecture

Conférence Internationale avec comité de lecture