Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

355 Results
Image document

A graph theoretical characterization of minimal deadlocks in Petri nets

Jean-Claude Bermond , Gerard Memmi
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers hal-02447228v1
Image document

Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre

Eric Cousin , Gérald Ouvradou , C. Bac , O. Berger , P. Lalevee , et al.
Questions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
Conference papers hal-02274532v1
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
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1
Image document

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

I Perseil , Laurent Pautet
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270295v1
Image document

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Julien Delange , Jérôme Hugues , Laurent Pautet , Bechir Zalila
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270097v1

Complementing Ada with other programming languages

Samuel Tardieu , Alexis Polti
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers hal-00479569v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1

Model driven code generation for critical and adaptative embedded systems

Etienne Borde , Peter H. Feiler , Gregory Haïk , Laurent Pautet
ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles hal-02286671v1
Image document

Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et Adaptatifs

Etienne Borde
Systèmes embarqués. Télécom ParisTech, 2009. Français. ⟨NNT : ⟩
Theses pastel-00563947v1

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
Image document

A Decentralised Architecture for Multi-Objective Autonomic Management

Sylvain Frey , Philippe Lalanda , Ada Diaconescu
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles hal-00879548v1

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard , et al.
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles hal-02286673v1

Panel session on AADL and its annexes

J. Hugues , Laurent Pautet , M Filali , Frank Singhoff
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers hal-00652435v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers hal-02269428v1
Image document

Early Error Detection for Fault Tolerance Strategies

Thomas Robert , Matthieu Roy , Jean-Charles Fabre
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Conference papers hal-00546934v1

An Efficient Modeling and Execution Framework for Complex Systems Development

Isabelle. Perseil , Laurent Pautet
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Conference papers hal-02288369v1
Image document

Scénarios pour un Micro Smart Grid Autonomique.

Sylvain Frey , François Huguet , Isabelle Demeure , Ada Diaconescu , David Menga , et al.
UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers hal-00639077v1

Controllability of Orchestrated Sessions

Elie Najm
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
Conference papers hal-02288310v1

Deux retours d’expérience avec la méthodologie SCRUM

Gérard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
Journal articles hal-02287375v1

Publish/Subscribe for Wireless Sensor Networks (Invited paper)

Claude Chaudet , Isabelle Demeure , Salma Ktari , Nicola Costagliola , Samuel Tardieu
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers hal-02278598v1
Image document

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande , et al.
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles istex inria-00628310v1

Architectural Integration Patterns for Autonomic Management Systems

Sylvain Frey , Ada Diaconescu , Isabelle Demeure
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers hal-02286263v1
Image document

Sélection des brokers dans un réseau de capteurs en mode publication / souscription

Claude Chaudet , Nicola Costagliola , Isabelle Demeure , Salma Ktari , Samuel Tardieu
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
Conference papers hal-00690477v1
Image document

Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks

Claude Chaudet , Nicola Costagliola , Isabelle Demeure , Salma Ktari , Samuel Tardieu
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⟩
Conference papers hal-00780006v1

Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models

Fabien Cadoret , Etienne Borde , Sébastien Gardoll , Laurent Pautet
ICECCS 2012, Jul 2012, Paris, France
Conference papers hal-02286400v1
Image document

Gardening Cyber-Physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Taras Kowaliw , et al.
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers hal-01161014v1
Image document

Controlling self-organising software applications with archetypes

Bassem Debbabi , Ada Diaconescu , Philippe Lalanda
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers hal-02286412v1

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

Openflow and on demand networks

Mounira Msahli , Guy Pujolle , Ahmed Serhrouchni , Ahmad Fadlallah , Fouad Guenane
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers hal-02354918v1

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
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
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

Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers hal-01111647v1

Formal Analysis of Secure Device Pairing Protocols

Trung Nguyen , Jean Leneutre
IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers hal-02287084v1

Automatic Production of Transformation Chains Using Structural Constraints on Output Models

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive
Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers hal-01115708v1

Sensemaking in the autonomic smart-home

Robin Despouys , Rémi Sharrock , Isabelle Demeure
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers hal-02288439v1

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

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

Technology for Collective Action [Special Section Introduction]

Jeremy Pitt , Ada Diaconescu , David Bollier
IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles hal-02287021v1

Self-Managing Pervasive Computing

Philippe Lalanda , Julie Mccann , Ada Diaconescu
2014 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Sep 2014, Imperial College, France. pp.5-5
Conference papers hal-02023539v1
Image document

SuperVision : controler spatialement les objets connectés dans une maison intelligente

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock
IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers hal-01442956v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1

PCM in cloud

Mounira Msahli , Ahmed Serhrouchni
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers hal-02288436v1

Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers hal-01115716v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff , et al.
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers hal-01121019v1

Algorithmic Self-Governance and the Design of Socio-Technical Systems

Jeremy Pitt , Didac Busquets , Ada Diaconescu , Andrzej Nowak , Agnieszka Rychwalska , et al.
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers hal-02287024v1

Towards a Fine-Grained Access Control for Cloud

Mounira Msahli , Xiuzhen Chen , Ahmed Serhrouchni
2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers hal-02343634v1

Data Integrity and Availability Verification Game in Untrusted Cloud Storage

Brahim Djebaili , Christophe Kiennert , Jean Leneutre , Lin Chen
GameSec, Nov 2014, Los Angeles, United States
Conference papers hal-01110522v1

Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration

Han Qiu , Gerard Memmi
2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers hal-01212126v1

Scheduling algorithms to reduce the static energy consumption of real-time systems

V. Legout , M. Jan , Laurent Pautet
Experiments in Fluids, 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
Journal articles cea-01846864v1

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1

Safety and Deferred Update in Transactional Memory

Hagit Attiya , Sandeep Hans , Petr Kuznetsov , Srivatsan Ravi
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections hal-02287873v1

An Attack Execution Model for Industrial Control Systems Security Assessment.

Ziad Ismail , J. Leneutre , Alia Fourati
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
Conference papers hal-02287737v1