Publication de la collection HAL LS2N-STR pour 2015
| ART_INT | COMM_INT | COMM_NAT | THESE |
|---|---|---|---|
| 6 | 13 | 1 | 2 |
Revues internationales avec comité de lecture (ART_INT)
- [1] D. Delfieu, M. Comlan, M. Sogbohossou. Conflict Equivalence of Branching Processes. In International Journal On Advances in Systems and Measurements ; éd. IARIA, 2015, vol. 8, num. 1&2.https://hal.science/hal-01111155v1
- [2] L. Jezequel, E. Fabre, V. Khomenko. Factored Planning: From Automata to Petri Nets. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2015, vol. 14, num. 2.https://inria.hal.science/hal-01247347v1
- [3] A. Jovanovic, D. Lime, O. Roux. Integer Parameter Synthesis for Real-Time Systems. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2015, vol. 41, num. 5.https://hal.science/hal-02939617v1
- [4] L. Jezequel, E. Fabre. Factored Cost-Optimal Planning Using Message Passing Algorithms. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2015, vol. 139, num. 4.https://inria.hal.science/hal-01247346v1
- [5] M. Chéramy, P. Hladik, A. Déplanche. Algorithmes pour l’ordonnancement temps réel multiprocesseur. In Journal Européen des Systèmes Automatisés (JESA) ; éd. Lavoisier, 2015, vol. 48, num. 7-8.https://hal.science/hal-01221711v1
- [6] S. Cotard, A. Queudet, J. Béchennec, S. Faucou, Y. Trinquet. STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. In ACM Transactions on Embedded Computing Systems (TECS) ; éd. ACM, 2015, vol. 14, num. 4.https://hal.science/hal-01713171v1
- [7] F. Khenfri, K. Chaaban, M. Chetto. A NOVEL HEURISTIC ALGORITHM FOR MAPPING AUTOSAR RUNNABLES TO TASKS. In 5th International Conference on Pervasive and Embedded Computing and Communication Systems, février 2015, Angers, France.https://hal.science/hal-01341785v1
- [8] M. Chetto, M. Ould Sass. Schedulers for BGW Tasks to Guarantee Quality of Service of Embedded Real-Time Systems. In 5th International Conference on Pervasive and Embedded Computing and Communication Systems, février 2015, Angers, France.https://hal.science/hal-01332471v1
- [9] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. The EPOC project: Energy Proportional and Opportunistic Computing system. In International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), mai 2015, Lisbonne, Portugal.https://hal.science/hal-01131602v1
- [10] M. Chéramy, P. Hladik, A. Déplanche, S. Dal Zilio. Simulation of Real-Time Scheduling Algorithms with Cache Effects. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, juillet 2015, Lund, Suède.https://hal.science/hal-01232512v1
- [11] K. Tigori, J. Béchennec, O. Roux. Formal Synthesis of Optimal RTOS. In 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems., août 2015, New York, états-Unis.https://hal.science/hal-01413492v1
- [12] L. Givel, M. Brun, C. Constant, S. Faucou, O. Roux. Use of runtime enforcement for the test of real-time systems. In 12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, août 2015, New York, états-Unis.https://hal.science/hal-01179648v1
- [13] Ã. André, D. Lime, O. Roux. Integer-Complete Synthesis for Bounded Parametric Timed Automata. In 9th International Conference on Reachability Problems (RP 2015), septembre 2015, Warsaw, Pologne.https://hal.science/hal-02939637v1
- [14] W. Housseyni, O. Mosbahi, M. Khalgui, M. Chetto. REAL-TIME TASK RECONFIGURATION IN ENERGY-HARVESTING BASED MULTIPROCESSOR SYSTEMS. In 29th European Simulation and Modelling Conference - ESM'2015, octobre 2015, Leicester, Royaume-Uni.https://hal.science/hal-01332705v1
- [15] M. Abu Taha, S. El Assad, M. Farajallah, A. Queudet, O. Deforges. Chaos-based cryptosystems using dependent diffusion: An overview. In International Conference on Internet Technology and Secured Transactions, décembre 2015, Londres, Royaume-Uni.https://hal.science/hal-01215283v1
- [16] O. Jallouli, S. El Assad, M. Chetto, R. Lozi, D. Caragata. A Novel Chaotic Generator Based On Weakly-coupled Discrete Skewtent Maps. In International Conference on Internet Technology and Secured Transactions, décembre 2015, Londres, Royaume-Uni.https://hal.science/hal-01250257v1
- [17] N. David, C. Jard, D. Lime, O. Roux. Discrete Parameters in Petri Nets. In Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, juin 2015, Bruxelles, Belgique.In Raymond Devillers (éds.), . Springer International Publishing, 2015.https://hal.science/hal-01222021v1
- [18] K. Tigori, J. Béchennec, S. Faucou, O. Roux. Using formal methods for the development of safe application-specific RTOS for automotive systems. In CARS 2015 - Critical Automotive applications: Robustness & Safety, septembre 2015, Paris, France.In Matthieu Roy (éds.), . , 2015.https://hal.science/hal-01193023v1
- [19] K. Gautier Tigori, J. Béchennec, O. Roux. Approche formelle pour la spécialisation de systèmes d'exploitation temps réel. In Modélisation des Systèmes Réactifs (MSR 2015), novembre 2015, Nancy, France.In Stephan Merz and Jean-François Pétin (éds.), . , 2015.https://inria.hal.science/hal-01224465v1
- [20] M. Comlan, D. Delfieu, M. Sogbohossou. Processus de branchement des réseaux de Petri à reset arcs. In GPL GDR, juin 2015, Bordeaux, France.https://hal.science/hal-01169369v1
- [21] M. Ould Sass. Le modèle BGW pour les systèmes temps réel surchargés. Thèses : Université de Nantes. https://hal.science/tel-01332434v1
- [22] J. Girault. Conception formelle du pilotage d'une flotte de robots mobiles. Thèses : École Centrale de Nantes (ECN). https://hal.science/tel-02943312v1
