Skip to Main content Skip to Navigation
New interface


...
hal-02447228v1  Conference papers
Jean-Claude BermondGerard Memmi. A graph theoretical characterization of minimal deadlocks in Petri nets
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
...
hal-02274532v1  Conference papers
Eric CousinGérald OuvradouC. BacO. BergerP. Lalevee et al.  Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre
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
...
insu-02270096v1  Conference papers
J HuguesLaurent PautetB ZalilaP DissauxM Perrotin. Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
...
hal-02270295v1  Conference papers
I PerseilLaurent Pautet. COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
hal-00479569v1  Conference papers
Samuel TardieuAlexis Polti. Complementing Ada with other programming languages
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
hal-02286672v1  Conference papers
Laurent PautetIsabelle. Perseil. An Emerging Need for a New Software Engineering Method
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
...
hal-00879548v1  Journal articles
Sylvain FreyPhilippe LalandaAda Diaconescu. A Decentralised Architecture for Multi-Objective Autonomic Management
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
hal-02278638v1  Conference papers
Elie Najm. Service Orchestration with Orcharts and Typecharts
Seminaire INRIA, Mar 2010, Rennes, France
hal-02286673v1  Journal articles
Isabelle. PerseilJean-Michel BruelAgusti CanalsRobert de SimoneSébastien Gérard et al.  Introduction to special issue: papers from UML&FM'2009
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
hal-00652435v1  Conference papers
J. HuguesLaurent PautetM FilaliFrank Singhoff. Panel session on AADL and its annexes
Panel session on AADL and its annexes 2010, Mar 2010, University of Oxford, United Kingdom
...
hal-02269428v1  Conference papers
Julien DelangeLaurent PautetFabrice Kordon. Modeling and Validation of ARINC653 architectures
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
...
hal-00546934v1  Conference papers
Thomas RobertMatthieu RoyJean-Charles Fabre. Early Error Detection for Fault Tolerance Strategies
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
hal-02288369v1  Conference papers
Isabelle. PerseilLaurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
hal-02288310v1  Conference papers
Elie Najm. Controllability of Orchestrated Sessions
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
...
hal-00639077v1  Conference papers
Sylvain FreyFrançois HuguetIsabelle DemeureAda DiaconescuDavid Menga et al.  Scénarios pour un Micro Smart Grid Autonomique.
UbiMob, Jun 2011, Toulouse, France. pp.88-95
hal-02287375v1  Journal articles
Gérard Memmi. Deux retours d’expérience avec la méthodologie SCRUM
Genie Logiciel, 2011, 98, pp.52-58
hal-02278598v1  Conference papers
Claude ChaudetIsabelle DemeureSalma KtariNicola CostagliolaSamuel Tardieu. Publish/Subscribe for Wireless Sensor Networks (Invited paper)
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
hal-02286263v1  Conference papers
Sylvain FreyAda DiaconescuIsabelle Demeure. Architectural Integration Patterns for Autonomic Management Systems
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
...
hal-00690477v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Sélection des brokers dans un réseau de capteurs en mode publication / souscription
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
...
hal-00780006v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks
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⟩
...
hal-01161014v1  Conference papers
Susan StepneyAda DiaconescuRené DoursatJean-Louis GiavittoTaras Kowaliw et al.  Gardening Cyber-Physical Systems
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
...
hal-02286412v1  Conference papers
Bassem DebbabiAda DiaconescuPhilippe Lalanda. Controlling self-organising software applications with archetypes
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
hal-02286502v1  Journal articles
Nouha OualhaJean LeneutreYves Roudier. Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols
Peer-to-Peer Networking and Applications, Springer, 2012, 5 (3), pp.231-243
hal-02354918v1  Conference papers
Mounira MsahliGuy PujolleAhmed SerhrouchniAhmad FadlallahFouad Guenane. Openflow and on demand networks
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
hal-02286688v1  Book sections
Laurent PautetB. Zalila. Model-Based Code Generation
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
hal-02286675v1  Book sections
Thomas RobertJérôme Hugues. Analyse à partir du modèle
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
...
hal-00919169v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
hal-00854882v1  Books
Philippe LalandaMccann A. JulieAda Diaconescu. Autonomic Computing - Principles, Design and Implementation
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
hal-01121244v1  Conference papers
Fabien CadoretRobert ThomasEtienne BordeLaurent PautetFrank Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
hal-02286685v1  Conference papers
Sylvain FreyAda DiaconescuMenga DavidIsabelle Demeure. Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems
10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States
...
hal-00922522v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
...
hal-00922521v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. 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
hal-02288388v1  Conference papers
Sylvain FreyAda DiaconescuMenga DavidIsabelle Demeure. A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid
Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
...
hal-00919414v1  Conference papers
Karel de VogeleerGérard MemmiPierre JouvelotFabien Coelho. The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices
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⟩
hal-02287108v1  Conference papers
Mounira MsahliAhmed SerhrouchniXiuzhen Chen. Towards a Fine-Grained Access Control for Cloud
2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
hal-02288435v1  Conference papers
Mounira MsahliAhmed Serhrouchni. SBaaS: Safe Box as a service
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
hal-02287109v1  Conference papers
Balkis HamdaneMounira MsahliAhmed SerhrouchniSihem Guemera. Data-based access control in named data networking
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
cea-01818894v1  Conference papers
V. LegoutM. JanLaurent Pautet. A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems
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⟩
hal-03042232v1  Conference papers
Balkis HamdaneMounira MsahliAhmed SerhrouchniSihem Guemara El Fatmi. Data-based access control in Named Data Networking
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254180⟩
hal-02343635v1  Conference papers
Mounira MsahliAhmed Serhrouchni. SBaaS: Safe Box as a Service
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩