Skip to Main content Skip to Navigation


hal-01113223v1  Conference papers
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures
IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-02287276v1  Conference papers
Naji AmineFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
hal-02287385v1  Conference papers
Jeremy PittAndrzej NowakAda Diaconescu. Value Sensitive Design for Self-Organising Digital Communities
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
...
hal-01147717v1  Conference papers
Sarthak GoshGilles BaillyRobin DespouysEric LecolinetRémi Sharrock. SuperVision: Spatial Control of Connected Objects in a Smart Home
CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩
hal-03629047v1  Conference papers
Romain GratiaThomas RobertLaurent Pautet. Generalized mixed-criticality scheduling based on RUN
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
cea-01846864v1  Journal articles
V. LegoutM. JanLaurent Pautet. Scheduling algorithms to reduce the static energy consumption of real-time systems
Experiments in Fluids, Springer Verlag (Germany), 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
hal-02288430v1  Conference papers
Trung NguyenJean Leneutre. A Secure and Effective Device Pairing Protocol
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
...
hal-01207895v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Brief Announcement: On the Uncontended Complexity of Anonymous Consensus
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
hal-02354919v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. Digital safe: Secure synchronization of shared files
2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
hal-01411528v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. On the Uncontended Complexity of Anonymous Consensus
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
hal-01212143v1  Journal articles
Han QiuGerard Memmi. Fast Selective Encryption Methods for Bitmap Images
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
hal-02287223v1  Conference papers
Petr KuznetsovSrivatsan Ravi. Progressive Transactional Memory in Time and Space
PaCT, Sep 2015, Petrozavodsk, Russia
hal-02287379v1  Conference papers
Matthieu Rambaud. optimal Chudnovsky Chudnovsky multiplication algorithms
WAIFI 2014, Jul 2015, gebze, Turkey
hal-02412552v1  Patents
Xavier JeanMarc GattiDavid FauraThomas Robert. CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR
France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
hal-02287275v1  Conference papers
Jens KnoopFlorian Brandner. Exchange between the German and French Compiler Communities
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
hal-02287025v1  Journal articles
Sylvain FreyAda DiaconescuDavid MengaIsabelle Demeure. A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2015, 10 (2), pp.9:1-9:21
...
hal-01207872v1  Conference papers
Vincent GramoliPetr KuznetsovSrivatsan RaviDi Shang. Brief Announcement: A Concurrency-Optimal List-Based Set
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
hal-01246348v1  Conference papers
Sahar AbbaspourFlorian BrandnerAmine NajiMathieu Jan. Efficient Context Switching for the Stack Cache
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
hal-02354926v1  Conference papers
Mounira MsahliMohamed Tahar HammiAhmed Serhrouchni. Safe box cloud authentication using TLS extesion
2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
hal-02287737v1  Conference papers
Ziad IsmailJ. LeneutreAlia Fourati. An Attack Execution Model for Industrial Control Systems Security Assessment.
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
hal-02287873v1  Book sections
Hagit AttiyaSandeep HansPetr KuznetsovSrivatsan Ravi. Safety and Deferred Update in Transactional Memory
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
hal-02287383v1  Journal articles
Ada DiaconescuJeremy Pitt. Holonic Institutions for Multi-Scale Polycentric Self-Governance
Lecture Notes in Computer Science, Springer, 2015, 9372, pp.19-35
hal-01212158v1  Conference papers
Gerard MemmiKatarzyna KapustaHan Qiu. Data Protection: combining fragmentation, encryption, and dispersion
2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
hal-02922757v1  Conference papers
Romain GratiaThomas RobertLaurent Pautet. Scheduling of mixed-criticality systems with RUN
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩