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-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-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-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
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 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-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