Skip to Main content Skip to Navigation
New interface


hal-03023108v1  Conference papers
Marius PolAda Diaconescu. A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
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-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-01664898v1  Conference papers
Vitalii AksenovVincent GramoliPetr KuznetsovAnna MalovaSrivatsan Ravi. A Concurrency-Optimal Binary Search Tree
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
hal-03702493v1  Conference papers
Felipe Lisboa MalaquiasMihail AsavoaeFlorian Brandner. A Coq Framework for More Trustworthy DRAM Controllers
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
...
hal-00879548v1  Journal articles
Sylvain FreyPhilippe LalandaAda Diaconescu. A Decentralised Architecture for Multi-Objective Autonomic Management
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
hal-02963566v1  Conference papers
Etienne HouzeAda DiaconescuJean-Louis DessallesDavid MengaMathieu Schumann. A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
hal-01113214v1  Journal articles
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
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-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-02447228v1  Conference papers
Jean-Claude BermondGerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
hal-02288388v1  Conference papers
Sylvain FreyAda DiaconescuMenga DavidIsabelle Demeure. A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid
Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
...
hal-03624198v1  Conference papers
Stefano Zacchiroli. A Large-scale Dataset of (Open Source) License Text Variants
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
hal-02287374v1  Conference papers
Yanjun SunGérard MemmiSylvie Vignes. A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
hal-03340371v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-01649727v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
cea-01818894v1  Conference papers
V. LegoutM. JanLaurent Pautet. A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems
RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
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-01873945v1  Conference papers
Dominique BlouinMatthias BarkowskiMelanie SchneiderHolger GieseJohannes Dyck et al.  A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
hal-02009646v1  Journal articles
Christophe KiennertIsmail ZiadHervé DebarJean Leneutre. A survey on game-theoretic approaches for intrusion detection and response optimization
ACM Computing Surveys, Association for Computing Machinery, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
hal-03022808v1  Book sections
Dominique BlouinEtienne Borde. AADL: A Language to Specify the Architecture of Cyber-Physical Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
hal-03042230v1  Conference papers
Mounira MsahliRached AbdeljaouedAhmed Serhrouchni. Access control in probative value cloud
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
hal-02287110v1  Conference papers
Mounira MsahliRached AbdeljaouedAhmed Serhrouchni. Access Control in Probative Value Cloud
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom