Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

43 résultats
Image document

Towards a well-founded software component model for cyber-physical control systems

Jacques Malenfant
Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States
Communication dans un congrès hal-01666652v1

Syntax-directed Data Integration in Semantic Web Services Orchestrations

Aurélien Moreau , Jacques Malenfant
2nd International Workshop on Semantic Web Architectures for Enterprises (SWAE08) of 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), Sep 2008, Turin, Italy. pp.744-748, ⟨10.1109/DEXA.2008.18⟩
Communication dans un congrès hal-01304974v1

Predictive Fault Tolerance in Multi-Agent Systems: a Plan-Based Replication Approach

Alessandro de Luna Almeida , Samir Aknine , Jean-Pierre Briot , Jacques Malenfant
International Conference on Autonomous Agents and Multiagent Systems (AAMAS'07) - Poster Session, May 2007, Honolulu, Hawai, United States. pp.672-673, ⟨10.1145/1329125.1329295⟩
Communication dans un congrès hal-01335146v1
Image document

Self-Adaptation in Geotracking Applications: Challenges, Opportunities and Models

Olga Melekhova , Mohammed-Amine Abchir , Pierre Châtel , Jacques Malenfant , Isis Truck , et al.
The 2nd International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE’2010), Nov 2010, Lisbonne, Portugal. pp.68-77
Communication dans un congrès hal-01243574v1

Engineering Control Strategies for Replication-Based Fault-Tolerant Multi-Agent Systems

Jean-Pierre Briot , Zahia Guessoum , Samir Aknine , Alessandro de Luna Almeida , Nora Faci , et al.
International Workshop on Engineering of Fault-Tolerant Systems (EFTS'2006), Jun 2006, Luxembourg, Luxembourg. pp.80-93
Communication dans un congrès hal-01351835v1
Image document

Modélisation de la sémantique formelle des langages de programmation en UML et OCL

Jacques Malenfant
RR-4499, INRIA. 2002
Rapport inria-00072089v1
Image document

Contract spaces for trusted components

Jacques Malenfant , Noël Plouzeau , Jean-Marc Jézéquel
Trusted Components Workshop, 2003, Prato, Italy
Communication dans un congrès hal-00794790v1

Du modèle au programme : aspects conceptuels et applications

Jacques Malenfant
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2007, 81, pp.7-12
Article dans une revue hal-01175933v1

Interfaces riches pour des architectures de contrôle de robots compositionnelles

Olena Rogovchenko , Jacques Malenfant
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (6), pp.711-739. ⟨10.3166/tsi.30.711-739⟩
Article dans une revue istex hal-01176407v1

Composition and Compositionality in a Component Model for Autonomous Robots

Olena Rogovchenko , Jacques Malenfant
Software Composition, SC 2010, Jul 2010, Malaga, Spain. pp.34-49, ⟨10.1007/978-3-642-14046-4_3⟩
Communication dans un congrès istex hal-01288649v1
Image document

A Token-Based Scheme for Coordinating Decisions in Large-Scale Autonomic Systems

Olga Melekhova , Jacques Malenfant
IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2017), Jun 2017, Poznan, Poland
Communication dans un congrès hal-01502148v1

Composite Contract Enforcement in Hierarchical Component Systems

Philippe Collet , Jacques Malenfant , Alain Ozanne , Nicolas Rivierre
ETAPS 2007, 6th International Symposium on Software Composition (SC 2007), Mar 2007, Braga, Portugal. pp.18-33, ⟨10.1007/978-3-540-77351-1_3⟩
Communication dans un congrès istex hal-01334910v1
Image document

Requirements of the SALTY project

Philippe Collet , Mohammed-Amine Abchir , Thierry Bathias , Mireille Blay-Fornarino , Filip Krikava , et al.
[Research Report] ???. 2010
Rapport hal-00539093v1

WS-Objects: First-class Objects as Web Service Parameters

Olena Rogovchenko , Jacques Malenfant
Third International Conference on Internet and Web Applications and Services (ICIW 2008), Jun 2008, Athènes, Greece. pp.437-444, ⟨10.1109/ICIW.2008.53⟩
Communication dans un congrès hal-01299155v1

An AAS Modeling Tool for Capability-Based Engineering of Flexible Production Lines

Yining Huang , Saadia Dhouib , Jacques Malenfant
IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society, Oct 2021, Toronto, Canada. pp.1-6, ⟨10.1109/IECON48115.2021.9589329⟩
Communication dans un congrès hal-03476685v1
Image document

The Design of GCCL: a Generalized Common Contract Language

Jacques Malenfant , Noël Plouzeau , Jean-Marc Jézéquel
[Research Report] RR-4502, INRIA. 2002
Rapport inria-00072086v1
Image document

Une étude sémantique du langage QML

Jacques Malenfant
[Rapport de recherche] RR-4497, INRIA. 2002
Rapport inria-00072091v1
Image document

AAS Capability-Based Operation and Engineering of Flexible Production Lines

Yining Huang , Saadia Dhouib , Jacques Malenfant
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-04, ⟨10.1109/ETFA45728.2021.9613435⟩
Communication dans un congrès hal-03476671v1

A Predictive Method for Providing Fault Tolerance in Multi-agent Systems

Alessandro de Luna Almeida , Samir Aknine , Jean-Pierre Briot , Jacques Malenfant
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'2006), Dec 2006, Hong Kong, Hong Kong SAR China. pp.226-232, ⟨10.1109/IAT.2006.21⟩
Communication dans un congrès hal-01351131v1

Plan-Based Replication for Fault-Tolerant Multi-Agent Systems

Alessandro de Luna Almeida , Samir Aknine , Jean-Pierre Briot , Jacques Malenfant
11th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS), satellite of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Apr 2006, Rhodes Island, Greece. pp.413-418, ⟨10.1109/IPDPS.2006.1639670⟩
Communication dans un congrès hal-01351597v1

Webjects, de vrais objets en paramètres des services web

Olena Rogovchenko , Jacques Malenfant
Langages et Modèles à Objets - LMO 2007, Mar 2007, Toulouse, France. pp.65-80
Communication dans un congrès hal-01305785v1
Image document

Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures

Jacques Malenfant
13th European Conference on Software Architecture (ECSA), Sep 2019, Paris, France. pp.132-138, ⟨10.1145/3344948.3344989⟩
Communication dans un congrès hal-02296533v1
Image document

QoS-based Late-Binding of Service Invocations in Adaptive Business Processes

Pierre Châtel , Jacques Malenfant , Isis Truck
ICWS 2010 - 15th IEEE International Conference on Web Services, Jul 2010, Miami, FL, United States. pp.227-234, ⟨10.1109/ICWS.2010.74⟩
Communication dans un congrès hal-01243537v1
Image document

A linguistic approach for non-functional constraints in a semantic SOA environment

Pierre Châtel , Isis Truck , Jacques Malenfant
FLINS 2008 - 8th International FLINS Conference on Computational Intelligence in Decision and Control, Sep 2008, Madrid, Spain. pp.889-894, ⟨10.1142/9789812799470_0146⟩
Communication dans un congrès hal-01243541v1

A decentralised solution for coordinating decisions in large-scale autonomic systems

Olga Melekhova , Jacques Malenfant , Roman Mescheriakov , Aleksandr Chueshev
13th International Scientific-Technical Conference on Electromechanics and Robotics “Zavalishin’s Readings” - 2018, Apr 2018, St. Petersburg, Russia. pp.03024, ⟨10.1051/matecconf/201816103024⟩
Communication dans un congrès hal-03968439v1
Image document

Non-functional Data Collection for Adaptive Business Processes and Decision Making

Bao Le Duc , Pierre Châtel , Nicolas Rivierre , Jacques Malenfant , Philippe Collet , et al.
4th International Workshop on Middleware for Service Oriented Computing (MW4SOC'09), Nov 2009, Urbana Champaign, IL, United States. pp.7-12, ⟨10.1145/1657755.1657757⟩
Communication dans un congrès hal-01243557v1

A QoI-aware Framework for Adaptive Monitoring

Bao Le Duc , Philippe Collet , Jacques Malenfant , Nicolas Rivierre
2nd International Conference on Adaptive and Self-adaptive Systems and Applications, ADAPTIVE 2010, Nov 2010, Lisbonne, Portugal. pp.133-141
Communication dans un congrès hal-01288659v1

Qos-based late-binding of service invocations in adaptive business processes

Pierre Châtel , Jacques Malenfant , Isis Truck
8th International Conference on Web Services (ICWS), Jul 2010, Miami, United States. pp.227-234
Communication dans un congrès hal-01121830v1
Image document

Towards a formalization of the Linguistic Conditional Preference networks

Isis Truck , Jacques Malenfant
International Journal of Applied Management Science, 2012, 4 (4), pp.349--370
Article dans une revue hal-00627117v1

Second National Conference on Control Architectures for Robots (CAR 2007)

Jacques Malenfant , David Andreu , A. Godin
2007
Proceedings/Recueil des communications hal-01335893v1