Filter your results
- 249
- 104
- 2
- 210
- 80
- 25
- 14
- 11
- 4
- 4
- 3
- 2
- 2
- 6
- 5
- 347
- 30
- 9
- 5
- 5
- 2
- 1
- 1
- 1
- 6
- 32
- 39
- 30
- 42
- 29
- 41
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 339
- 16
- 317
- 22
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 50
- 50
- 45
- 38
- 35
- 22
- 21
- 20
- 18
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
355 Results
|
A graph theoretical characterization of minimal deadlocks in Petri netsGraph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers
hal-02447228v1
|
||
|
Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibreQuestions 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
|
||
|
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT projectEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270096v1
|
||
|
COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture ModelsEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers
hal-02270295v1
|
||
|
Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity DomainEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270097v1
|
||
Complementing Ada with other programming languagesACM 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 MethodInternational 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 systemsACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles
hal-02286671v1
|
|||
|
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et AdaptatifsSystèmes embarqués. Télécom ParisTech, 2009. Français. ⟨NNT : ⟩
Theses
pastel-00563947v1
|
||
|
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles
hal-00745370v1
|
||
|
A Decentralised Architecture for Multi-Objective Autonomic Management4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles
hal-00879548v1
|
||
Introduction to special issue: papers from UML&FM'2009Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles
hal-02286673v1
|
|||
Service Orchestration with Orcharts and TypechartsSeminaire INRIA, Mar 2010, Rennes, France
Conference papers
hal-02278638v1
|
|||
Panel session on AADL and its annexes15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers
hal-00652435v1
|
|||
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers
hal-02269428v1
|
||
|
Early Error Detection for Fault Tolerance Strategies18th 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 DevelopmentInternational Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Conference papers
hal-02288369v1
|
|||
|
Scénarios pour un Micro Smart Grid Autonomique.UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers
hal-00639077v1
|
||
Controllability of Orchestrated SessionsInvited 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 SCRUMGé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)Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers
hal-02278598v1
|
|||
|
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed SystemsSoftware: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles
istex
inria-00628310v1
|
||
Architectural Integration Patterns for Autonomic Management Systems9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers
hal-02286263v1
|
|||
|
Sélection des brokers dans un réseau de capteurs en mode publication / souscription14è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
|
||
|
Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks9th 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 ModelsICECCS 2012, Jul 2012, Paris, France
Conference papers
hal-02286400v1
|
|||
|
Gardening Cyber-Physical SystemsUnconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers
hal-01161014v1
|
||
Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocolsPeer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles
hal-02286502v1
|
|||
|
Controlling self-organising software applications with archetypesIEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers
hal-02286412v1
|
||
Openflow and on demand networks2012 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 evaluationNFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers
hal-02286708v1
|
|||
Model-Based Code GenerationEmbedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections
hal-02286688v1
|
|||
Autonomic Computing: Principles, Design and ImplementationSpringer, pp.298, 2013
Books
hal-02286670v1
|
|||
Analyse à partir du modèleModélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections
hal-02286675v1
|
|||
|
An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumptionFirst 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 ImplementationSpringer, 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 AADL17th 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 systems10th 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
|
|||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
Safety of session-based service orchestration revisited with an unreliable communication modelWeb Services Formal Methods, Aug 2013, beijing, China
Conference papers
hal-02286789v1
|
|||
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and DependabilityISARCS'13, Aug 2013, Montréal, Canada
Conference papers
hal-02286706v1
|
|||
A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-GridSeventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
Conference papers
hal-02288388v1
|
|||
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop 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
|
||
SBaaS: Safe Box as a serviceIEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers
hal-02288435v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers
hal-02287108v1
|
|||
Data-based access control in named data networkingIEEE 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 systemsRTNS '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 Networking9th 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 Service9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
Conference papers
hal-02343635v1
|