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