Search - IFIP Open Digital Library Access content directly

Filter your results

59 results
Sub-domain level 1 : info.info-se
Page :
sorted by

Coordination Models and Languages

 Simon Bliudze , Laura Bocchi
Simon Bliudze; Laura Bocchi. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
Books hal-03168525v1
Image document

On the Evolution of Component-based Software

 Isabelle Coté , Maritta Heisel , Jeanine Souquières
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers inria-00431436v1
Image document

Dissemination of reconfiguration policies on mesh networks

 François Fouquet , Erwan Daubert , Noël Plouzeau , Olivier Barais , Johann Bourcier , et al.
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers hal-00688707v1
Image document

Towards Twin-Driven Engineering: Overview of the State-of-the-Art and Research Directions

 Massimo Tisi , Hugo Bruneliere , Juan de Lara , Davide Di Ruscio , Dimitris Kolovos
IFIP Conference on Advances in Production Management Systems (APMS 2021), Sep 2021, Nantes, France. pp.1-9, ⟨10.1007/978-3-030-85874-2_37⟩
Conference papers hal-03288132v1
Image document

Multi-level Service Approach for Flexible Support of Design Processes

 Safa Hachani , Lilia Gzara , Hervé Verjus
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.160-169, ⟨10.1007/978-3-642-41263-9_20⟩
Conference papers hal-00921846v1
Image document

Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL

 Flavio Oquendo
2nd IFIP International Internet of Things Conference (IFIP-IoT 2019), Oct 2019, Tampa, United States. pp.3-20, ⟨10.1007/978-3-030-43605-6_1⟩
Conference papers hal-02570221v1
Image document

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation

 Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque , Christine Gris
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Conference papers hal-02089260v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

 Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers hal-01387758v1
Image document

Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues

 Tilo Mentler , Philippe Palanque , Susanne Boll , Chris Johnson , Kristof van Laerhoven
IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Conference papers hal-03376237v1
Image document

A CRDT Supporting Selective Undo for Collaborative Text Editing

 Weihai Yu , Luc André , Claudia-Lavinia Ignat
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.193-206, ⟨10.1007/978-3-319-19129-4_16⟩
Conference papers hal-01246212v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

 Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers hal-00853716v1
Image document

Using testing techniques for vulnerability detection in C programs

 Amel Mammar , Ana Rosa Cavalli , Willy Ronald Jimenez Freitez , Wissam Mallouli , Edgardo Montes de Oca
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers hal-01303013v1
Image document

Using Model Learning for the Generation of Mock Components

 Sébastien Salva , Elliott Blot
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Book sections hal-03048336v1
Image document

Using an enterprise architecture model for GDPR compliance principles

 Gaëlle Blanco-Lainé , Jean-Sébastien Sottet , Sophie Dupuy-Chessa
12th IFIP Conference on Practice of Entreprise Modeling, POEM'2019, Nov 2020, Luxembourg, Luxembourg
Conference papers hal-02482761v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

 Jesus Gorroñogoitia Cruz , Andrey Sadovykh , Dragos Truscan , Hugo Bruneliere , Pierluigi Pierini , et al.
The 16th International Conference on Open Source Systems (OSS 2020), May 2020, Innopolis, Russia. pp.183-189, ⟨10.1007/978-3-030-47240-5_18⟩
Conference papers hal-02524402v1
Image document

Session-Based Role Programming for the Design of Advanced Telephony Applications

 Gilles Vanwormhoudt , Areski Flissi
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.77-91, ⟨10.1007/978-3-642-21387-8_7⟩
Conference papers hal-00609512v1
Image document

OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems

 Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers hal-00991376v1
Image document

CSI based indoor localization using Ensemble Neural Networks

 Abdallah Sobehy , Eric Renault , Paul Mühlethaler
MLN 2019 : 2nd IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.367-378, ⟨10.1007/978-3-030-45778-5_25⟩
Conference papers hal-02334588v1
Image document

Self-Balancing Job Parallelism and Throughput in Hadoop

 Bo Zhang , Filip Křikava , Romain Rouvoy , Lionel Seinturier
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩
Conference papers hal-01294834v1
Image document

Can Proactive Obsolescence Management and Innovation go hand in hand during the Conceptual Design Phase of Complex Systems?

 Sophia Salas-Cordero , Rob Vingerhoeds , Claude Baron , Zolghadri Marc
18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.40-54, ⟨10.1007/978-3-030-94399-8_4⟩
Conference papers hal-03344919v1
Image document

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

 Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni
4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers hal-01556835v1
Image document

An SOA Based Approach to Improve Business Processes Flexibility in PLM

 Safa Hachani , Lilia Gzara , Hervé Verjus
2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.67-74, ⟨10.1007/978-3-642-19170-1_7⟩
Conference papers hal-00621310v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

 Célia Martinie , Philippe Palanque , Marco Winckler
13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers hal-01591816v1
Image document

Removing Problems in Rule-Based Policies

 Zheng Cheng , Jean-Claude Royer , Massimo Tisi
SEC 2019 : ICT Systems Security and Privacy Protection, Jun 2019, Lisbon, Portugal. pp.120-133, ⟨10.1007/978-3-030-22312-0_9⟩
Conference papers hal-02169342v1
Image document

Architecturing Conflict Handling of Pervasive Computing Resources

 Henner Jakob , Charles Consel , Nicolas Loriant
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.92-105, ⟨10.1007/978-3-642-21387-8_8⟩
Conference papers inria-00581604v1
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

 Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1
Image document

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Conference papers hal-02947787v1
Image document

Trust Driven Strategies for Privacy by Design

 Thibaud Antignac , Daniel Le Métayer
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers hal-01262365v1
Page :