Filter your results
- 671
- 9
- 479
- 185
- 7
- 5
- 2
- 1
- 1
- 680
- 20
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 19
- 39
- 72
- 87
- 99
- 84
- 92
- 142
- 13
- 1
- 1
- 1
- 3
- 4
- 5
- 4
- 2
- 1
- 2
- 2
- 629
- 47
- 2
- 1
- 1
- 627
- 85
- 11
- 10
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 49
- 48
- 39
- 35
- 32
- 32
- 27
- 25
- 24
- 23
- 23
- 21
- 21
- 20
- 19
- 18
- 18
- 18
- 18
- 18
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
|
Designing an energy efficient UAV tracking algorithm13th International Wireless Communications & Mobile Computing Conference, Workshop on Multihop Wireless Network Testbeds and Experiments (IWCMC 2017), Jun 2017, Valence, Spain. pp.127-132, ⟨10.1109/IWCMC.2017.7986274⟩
Conference papers
hal-02871316v1
|
||
|
parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability16th Euromicro Conference on Digital System Design (DSD 2013), Sep 2013, Santander, Spain. pp. 363-370
Conference papers
hal-01231740v1
|
||
|
The W-SEPT Project: Towards Semantic-Aware WCET Estimation17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Conference papers
hal-01590442v1
|
||
|
Security Concepts as Add-On for Process Models20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Conference papers
hal-01316833v1
|
||
|
A Card-less TEE-Based Solution for Trusted Access ControlSECRYPT 2017 : 14th : International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.456-461, ⟨10.5220/0006431704560461⟩
Conference papers
hal-02769375v1
|
||
|
Trust management for public key infrastructures: implementing the X.509 trust brokerSecurity and Communication Networks, 2017, Vol. 2017 (ID 6907146), pp. 1-23. ⟨10.1155/2017/6907146⟩
Journal articles
hal-01740029v1
|
||
|
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Conference papers
hal-02089260v1
|
||
|
Frequency Selection Approach for Energy Aware Cloud DatabaseIEEE Access, 2018, 7 (1), pp.1927-1942. ⟨10.1109/ACCESS.2018.2885765⟩
Journal articles
hal-02092942v1
|
||
|
Experience in Learning Test-driven Development: Space Invaders Project-driven23rd ACM Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2018), Jul 2018, Larcana, Cyprus. pp.111-116
Conference papers
hal-03619924v1
|
||
|
Mastering system and power measures for servers in datacenterSustainable Computing : Informatics and Systems, 2017, vol. 15, pp. 28-38. ⟨10.1016/j.suscom.2017.05.003⟩
Journal articles
hal-01873703v1
|
||
|
Engineering for User Experience: An Interactive TV Case StudyIFIP TC 13.2. Workshop on UX Engineering at 15th IFIP TC 13 International Conference (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.1-6
Conference papers
hal-02864411v1
|
||
|
Les compétences pour fédérer formations, métiers et apprenants : une approche dirigée par les modèles7eme edition de la Conference sur les Environnements Informatique pour l'Apprentissage Humain (EIAH 2015), Jun 2015, Agadir, Morocco. pp. 336-347
Conference papers
hal-03662708v1
|
||
|
End-to-end latency and temporal consistency analysis in networked real-time systemsInternational Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Journal articles
hal-01154189v1
|
||
|
Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality SystemsEuropean Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
Conference papers
hal-03275605v1
|
||
|
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanismsThe 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Conference papers
hal-01493597v1
|
||
|
Rule-level verification of graph transformations for invariants based on edges' transitive closure11th International Conference Software Engineering and Formal Methods (SEFM 2013), Sep 2013, Madrid, Spain. pp. 106-121
Conference papers
hal-01178554v1
|
||
|
A Mechanized Semantic Framework for Real-Time Systems11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp.106-120, ⟨10.1007/978-3-642-40229-6_8⟩
Conference papers
hal-01231769v1
|
||
|
Efficient Floating-Point Implementation of the Probit Function on FPGAsJournal of Signal Processing Systems, 2021, 93 (12), pp.1387-1403
Journal articles
hal-03385845v1
|
||
|
Data Cache Analysis by Counting Integer Points29th International Conference on Real-Time Networks and Systems (RTNS 2021), Apr 2021, Nantes, France. pp.112-122, ⟨10.1145/3453417.3453424⟩
Conference papers
hal-03667386v1
|
||
|
Synchronizing Tiny Sensors with SISP: a Convergence StudyMSWiM '17: 20th ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2017, Miami, United States. pp.279-287
Conference papers
hal-03624144v1
|
||
|
Event algebra for transition systems composition Application to timed automataActa Informatica, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
Journal articles
hal-02538359v1
|
||
|
Seamless Integration of Multirequirements in Complex Systems25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Conference papers
hal-03656674v1
|
||
|
A Precondition Calculus for Correct-by-Construction Graph TransformationsTwelfth International Conference on Software Engineering Advances (ICSEA 2017), Oct 2017, Athens, Greece. pp.172-177
Conference papers
hal-03656662v1
|
||
|
Effectiveness of neural networks for power modeling for Cloud and HPC: It's worth it!ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2020, 5 (3), pp.12:1-12:36. ⟨10.1145/3388322⟩
Journal articles
hal-02950809v1
|
||
|
An MDE Approach for Domain based Architectural Components Modelling.IEEE International Symposium on Computers and Communications - ISCC, Jul 2013, Split, Croatia. pp. 1-7
Conference papers
hal-01150333v1
|
||
|
Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software SystemsInnovations in Systems and Software Engineering, 2016, vol. 12 (n° 2), pp. 109-140. ⟨10.1007/s11334-015-0259-1⟩
Journal articles
hal-01592038v1
|
||
|
Assessment of the SEMCO Model-Based Repository Approach for Software System EngineeringInternational Conference On Model and Data Engineering (MEDI 2017), Oct 2017, Barcelona, Spain. pp.111-125
Conference papers
hal-02348212v1
|
||
|
Büchi Automata Optimisations Formalised in Isabelle/HOL6th Indian Conference on Logics and its Applications (ICLA 2015), Jan 2015, Mumbai, India. pp.158-169, ⟨10.1007/978-3-662-45824-2_11⟩
Conference papers
hal-01782564v1
|
||
|
Towards a generic power estimatorComputer Science - Research and Development, 2014, en ligne, pp. 1-9. ⟨10.1007/s00450-014-0264-x⟩
Journal articles
hal-01156610v1
|
||
|
On Processing Extreme DataScalable computing : Practice and Experience, 2016, vol. 16 (n° 4), pp. 467-489. ⟨10.12694/scpe.v16i4.1134⟩
Journal articles
hal-01524718v1
|