Browse by search - Equipe Autonomic and Critical Embedded Systems

Autonomous Critical Embedded Systems team

	1 2 3 4 5 6 7 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-03572782v1 Journal articles Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe et al. Multi-paradigm modelling for cyber–physical systems: a descriptive framework Software and Systems Modeling, Springer Verlag, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
	hal-03089815v3 Reports Gérard Memmi. Description de la méthode SCRUM à travers deux expériences en entreprise [Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
	hal-02940241v1 Conference papers Françoise Caron, Cristian Maxim, Dominique Blouin, Paolo Crisafulli. Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach IEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
	hal-02413314v1 Journal articles Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens. The weakest failure detector for eventual consistency Distributed Computing, Springer Verlag, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
	hal-02910407v1 Conference papers Nathanaël Denis, Pierre Chaffardon, Denis Conan, Maryline Laurent, Sophie Chabridon et al. Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
	hal-03042197v1 Book sections Ashref Aloui, Mounira Msahli, Talel Abdessalem, Sihem Mesnager, Stéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces Advances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
	hal-03168832v1 Reports Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros et al. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development [Research Report] COST European Cooperation in Science and Technology. 2019
	hal-03559627v1 Conference papers Petr Kuznetsov, yvonne-Anne Pignolet, Pavel Ponomarev, Andrei Tonkikh. Permissionless and Asynchronous Asset Transfer DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
	hal-02287021v1 Journal articles Jeremy Pitt, Ada Diaconescu, David Bollier. Technology for Collective Action [Special Section Introduction] IEEE Technology and Society Magazine, Institute of Electrical and Electronics Engineers, 2014, 3, pp.32-34
	hal-02287024v1 Conference papers Jeremy Pitt, Didac Busquets, Ada Diaconescu, Andrzej Nowak, Agnieszka Rychwalska et al. Algorithmic Self-Governance and the Design of Socio-Technical Systems European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
	hal-02288490v1 Conference papers Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand 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-02147191v1 Conference papers Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane 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-02286675v1 Book sections Thomas Robert, Jérôme Hugues. Analyse à partir du modèle Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
	hal-02288004v1 Journal articles Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers CoRR, 2018, abs/1812.10844
	hal-02287904v1 Journal articles Petr Kuznetsov. The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017 SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
	hal-02287926v1 Conference papers Katarzyna Kapusta, Gérard Memmi. Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data TrustCom'18, Aug 2018, New-York, United States
	hal-02287382v1 Conference papers Arles Rodrigues, Jonatan Gomez, Ada Diaconescu. Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
	hal-02287402v1 Conference papers Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
	hal-02287373v1 Conference papers yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Veriﬁcation Directed by Structural Coverage and Functional Requirements Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
	hal-02287590v1 Journal articles Karel de Vogeleer, Gérard Memmi, Pierre Jouvelot. Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
	hal-02287746v1 Conference papers Arles Rodriguez, Jonatan Gomez, Ada Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks 15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
	hal-02287535v1 Conference papers Katarzyna Kapusta, Gérard Memmi, Hassan Noura. POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation ACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria
	hal-02287626v1 Book sections Ada Diaconescu. Organising Complexity: Hierarchies and Holarchies Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
	hal-02288430v1 Conference papers Trung Nguyen, Jean Leneutre. A Secure and Effective Device Pairing Protocol 12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
	hal-02288388v1 Conference papers Sylvain Frey, Ada Diaconescu, Menga David, Isabelle 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-02288439v1 Conference papers Robin Despouys, Rémi Sharrock, Isabelle Demeure. Sensemaking in the autonomic smart-home UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
	hal-02288464v1 Conference papers Katarzyna Kapusta, Gérard Memmi. Data protection by means of fragmentation in distributed storage systems CFIP-Notere, Jul 2015, Paris, France
	hal-02288369v1 Conference papers Isabelle. Perseil, Laurent 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-00922522v1 Conference papers Vincent Legout, Mathieu Jan, Laurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
	hal-03338594v1 Journal articles Ankica Barisic, Ivan Ruchkin, Dušan Savić, Mustafa Abshir Mohamed, Rima Al-Ali et al. Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping Review Journal of Systems and Software, Elsevier, 2021, ⟨10.1016/j.jss.2021.111081⟩
	1 2 3 4 5 6 7 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize