Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Towards a model driven refinement process through architecture evaluation

Grzegorz Loniewski , Etienne Borde , Emilio Insfran
NFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers hal-02286708v1

Autonomic Computing: Principles, Design and Implementation

Philippe Lalanda , Julie Mccann , Ada Diaconescu
Springer, pp.298, 2013
Books hal-02286670v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1

Analyse à partir du modèle

Thomas Robert , Jérôme Hugues
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections hal-02286675v1
Image document

An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers hal-00919169v1

Autonomic Computing - Principles, Design and Implementation

Philippe Lalanda , Mccann A. Julie , Ada Diaconescu
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books hal-00854882v1

Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL

Fabien Cadoret , Robert Thomas , Etienne Borde , Laurent Pautet , Frank Singhoff et al.
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers hal-01121244v1

Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems

Sylvain Frey , Ada Diaconescu , Menga David , Isabelle Demeure
10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States
Conference papers hal-02286685v1
Image document

Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers hal-00922522v1

Safety of session-based service orchestration revisited with an unreliable communication model

Jonathan Michaux , Elie Najm , Alessandro Fantechi
Web Services Formal Methods, Aug 2013, beijing, China
Conference papers hal-02286789v1
Image document

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Vincent Legout , Mathieu Jan , Laurent Pautet
École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers hal-00922521v1

Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive et al.
ISARCS'13, Aug 2013, Montréal, Canada
Conference papers hal-02286706v1

A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid

Sylvain Frey , Ada Diaconescu , Menga David , Isabelle Demeure
Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
Conference papers hal-02288388v1
Image document

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers hal-00919414v1

Towards a Fine-Grained Access Control for Cloud

Mounira Msahli , Ahmed Serhrouchni , Xiuzhen Chen
2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers hal-02287108v1

SBaaS: Safe Box as a service

Mounira Msahli , Ahmed Serhrouchni
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers hal-02288435v1

Data-based access control in named data networking

Balkis Hamdane , Mounira Msahli , Ahmed Serhrouchni , Sihem Guemera
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers hal-02287109v1

A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems

V. Legout , M. Jan , Laurent Pautet
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⟩
Conference papers cea-01818894v1

Data-based access control in Named Data Networking

Balkis Hamdane , Mounira Msahli , Ahmed Serhrouchni , Sihem Guemara El Fatmi
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254180⟩
Conference papers hal-03042232v1

SBaaS: Safe Box as a Service

Mounira Msahli , Ahmed Serhrouchni
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
Conference papers hal-02343635v1

Access Control in Probative Value Cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers hal-02287110v1

Access control in probative value cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers hal-03042230v1

Profile centric modelling

Mounira Msahli , Ahmed Serhrouchni
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles hal-02354927v1

The Algorithmic Governance Of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
Book sections hal-02287022v1

Handling criticality mode change in time-triggered systems through linear programming

M. Jan , L. Zaourar , V. Legout , Laurent Pautet
Ada User Journal, 2014, 35 (2), pp.133-137
Journal articles cea-01844456v1

Profile Centric Model.

Mounira Msahli , Ahmed Serhrouchni
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles hal-02287105v1
Image document

Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)

Loïc Besnard , Etienne Borde , Pierre Dissaux , Thierry Gautier , Paul Le Guernic et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports hal-00970244v2

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Laurent Pautet , Etienne Borde , Thomas Robert , Antoine Jaouen
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers hal-01115671v1

CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis

Yanjun Sun , Gérard Memmi , Sylvie Vignes , Frédéric Daumas
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles hal-02287057v1

A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
IEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles hal-01113214v1