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
hal-03559698v1  Journal articles
Han QiuTian DongTianwei ZhangJialiang LuGerard Memmi et al.  Adversarial Attacks Against Network Intrusion Detection in IoT Systems
IEEE Internet of Things Journal, IEEE, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
...
inserm-03719607v1  Journal articles
Martin KunevPetr KuznetsovDenis Sheynikhovich. Agreement in Spiking Neural Networks
Journal of Computational Biology, Mary Ann Liebert, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
hal-02287024v1  Conference papers
Jeremy PittDidac BusquetsAda DiaconescuAndrzej NowakAgnieszka Rychwalska et al.  Algorithmic Self-Governance and the Design of Socio-Technical Systems
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
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
...
tel-03419019v1  Theses
Han Qiu. An efficient data protection architecture based on fragmentation and encryption
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
hal-02288369v1  Conference papers
Isabelle. PerseilLaurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
hal-02287645v1  Conference papers
Han QiuGérard MemmiHassan Noura. An efficient Secure Storage Scheme Based on Information Fragmentation
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
hal-02286672v1  Conference papers
Laurent PautetIsabelle. Perseil. An Emerging Need for a New Software Engineering Method
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
...
hal-03167819v1  Book sections
Dominique BlouinRima Al-AliHolger GieseStefan KlikovitsSoumyadip Bandyopadhyay et al.  An integrated ontology for multi-paradigm modelling for cyber-physical systems
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
...
hal-00919169v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
hal-03219279v1  Book sections
Holger GieseDominique BlouinRima Al-AliHana MkaouarSoumyadip Bandyopadhyay et al.  An ontology for multi-paradigm modelling
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
hal-02286675v1  Book sections
Thomas RobertJérôme Hugues. Analyse à partir du modèle
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
hal-03779030v1  Journal articles
Francesco BelardinelliAlessio LomuscioVadim MalvoneEmily Yu. Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
...
hal-02447339v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
hal-02447655v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
hal-02286263v1  Conference papers
Sylvain FreyAda DiaconescuIsabelle Demeure. Architectural Integration Patterns for Autonomic Management Systems
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
hal-01115723v1  Conference papers
Etienne BordeLaurent PautetFabien CadoretSmail RahmounFrank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
hal-01121019v1  Conference papers
Etienne BordeSmail RahmounFabien CadoretLaurent PautetFrank Singhoff et al.  Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
hal-03775550v1  Conference papers
Hassan ChaitouThomas RobertJean LeneutreLaurent Pautet. Assessing adversarial training effect on IDSs and GANs
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
hal-03800662v1  Book sections
Mark AbspoelRonald CramerIvan DamgårdDaniel EscuderoMatthieu Rambaud et al.  Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
hal-03800642v1  Book sections
Ronald CramerMatthieu RambaudChaoping Xing. Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC
Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
hal-01418390v1  Journal articles
Ziad IsmailChristophe KiennertJean LeneutreDavid BatemanLin Chen. Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical Analysis
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
...
hal-02147191v1  Conference papers
Maryline LaurentJean LeneutreSophie ChabridonImane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
hal-02288490v1  Conference papers
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks
IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
hal-01115708v1  Conference papers
Cuauhtemoc CastellanosEtienne BordeLaurent PautetThomas VergnaudThomas Dérive. Automatic Production of Transformation Chains Using Structural Constraints on Output Models
Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
hal-00854882v1  Books
Philippe LalandaMccann A. JulieAda Diaconescu. Autonomic Computing - Principles, Design and Implementation
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
...
hal-03749355v1  Conference papers
Nan LiEric GoubaultLaurent PautetS. Putot. Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
hal-01994643v1  Conference papers
Roberto MedinaEtienne BordeLaurent Pautet. Availability enhancement and analysis for mixed-criticality systems on multi-core
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
...
hal-03210222v1  Conference papers
Lucas Massoni SguerraPierre JouvelotEmilio Jesús Gallego AriasGérard MemmiFabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
...
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-03800650v1  Conference papers
Mark AbspoelThomas AttemaMatthieu Rambaud. Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
...
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-01887733v1  Conference papers
Vitalii AksenovDan AlistarhPetr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
...
hal-00780006v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks
9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
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-03559687v1  Conference papers
Xiao WuHan QiuShuyi ZhangGerard MemmiKeke Gai et al.  ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
hal-02449653v1  Conference papers
Chloe BarnesKirstie BellmanJean F BotevAda DiaconescuLukas Esterle et al.  CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
hal-00479569v1  Conference papers
Samuel TardieuAlexis Polti. Complementing Ada with other programming languages
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
...
hal-01304268v2  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Complexité du consensus anonyme en l'absence de concurrence
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
hal-03800630v1  Book sections
Thomas AttemaRonald CramerMatthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
hal-02287057v1  Journal articles
Yanjun SunGérard MemmiSylvie VignesFrédéric Daumas. CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
...
tel-03583890v1  Theses
Antoine Durand. Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
...
hal-02270295v1  Conference papers
I PerseilLaurent Pautet. COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
...
tel-03506284v1  Theses
Adrien Wion. Control plane in dynamic software networks
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
hal-02288310v1  Conference papers
Elie Najm. Controllability of Orchestrated Sessions
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
...
hal-02286412v1  Conference papers
Bassem DebbabiAda DiaconescuPhilippe Lalanda. Controlling self-organising software applications with archetypes
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
hal-03024246v1  Conference papers
Jean LeneutreSameh KhalfaouiArthur VillardXingjuan Ma. COOB: Hybrid secure device pairing scheme in a hostile environment
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
hal-03024074v1  Conference papers
Aida DiopMaryline LaurentJean LeneutreJacques Traoré. CoRA: a scalable Collective Remote Attestation protocol for sensor networks
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
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