Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Towards an Efficient File Synchronization between Digital Safes

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers hal-02354920v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre et al.
M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers hal-01940866v1

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

Istvan David , Eugene Syriani , Clark Verbrugge , Didier Buchs , Dominique Blouin et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers hal-02287520v1

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz et al.
AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers hal-02287272v1
Image document

Translating ATL Model Transformations to Algebraic Graph Transformations

Elie Richa , Etienne Borde , Laurent Pautet
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Conference papers hal-01229113v1

Translation of ATL to AGT and Application to a Code Generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2017
Journal articles hal-02287624v1

Translation of ATL to AGT and application to a code generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
Journal articles hal-02449688v1
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin et al.
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles hal-00745370v1

Value Sensitive Design for Self-Organising Digital Communities

Jeremy Pitt , Andrzej Nowak , Ada Diaconescu
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers hal-02287385v1

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols

Nouha Oualha , Jean Leneutre , Yves Roudier
Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles hal-02286502v1

What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes

Étienne Houzé , Jean-Louis Dessalles , Ada Diaconescu , David Menga
Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles hal-03813989v1
Image document

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems

Farouk Hebbache
Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses tel-02494421v1

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1
Image document

Worldwide Gender Differences in Public Code Contributions

Davide Rossi , Stefano Zacchiroli
44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers hal-03571837v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1