Search - IFIP Open Digital Library Access content directly

Filter your results

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

Verifying Timed BPMN Processes Using Maude

 Francisco Durán , Gwen Salaün
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers hal-01538104v1
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 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

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

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
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
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

Towards an Extensible Context Model for Mobile User in Smart Cities

 Boudjemaa Boudaa , Slimane Hammoudi , Sidi-Mohamed Benslimane
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.498-508, ⟨10.1007/978-3-319-89743-1_43⟩
Conference papers hal-01801907v1
Image document

Tooled Process for Early Validation of SysML Models using Modelica Simulation

 Jean-Marie Gauthier , Fabrice Bouquet , Ahmed Hammad , Fabien Peureux
6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers hal-01246025v1
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

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

 Elodie Bouzekri , Célia Martinie , Philippe Palanque , Katrina Atwood , Christine Gris
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Conference papers hal-03376253v1
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

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

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

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems

 Alexandre Canny , Elodie Bouzekri , Célia Martinie , Philippe Palanque
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Conference papers hal-02089262v1
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Praspel: A Specification Language for Contract-Based Testing in PHP

 Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti , Abdallah Ben Othman
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers hal-00640279v1
Image document

POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People

 Philippe Palanque
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩
Conference papers hal-03376236v1
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

OntoCompo: A Tool to Enhance Application Composition

 Christian Brel , Anne-Marie Déry-Pinna , Philippe Renevier-Gonin , Michel Riveill
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbone, Portugal. pp.588-591, ⟨10.1007/978-3-642-23768-3_89⟩
Conference papers hal-01302169v1
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

Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts

 Omer Nguena Timo , Dimitri Prestat , Antoine Rollet
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Conference papers hal-02341856v1
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

More Testable Properties

 Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers inria-00510018v2
Image document

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems

 Salvador Martínez , Joaquin Garcia-Alfaro , Frédéric Cuppens , Nora Cuppens-Bouhlahia , Jordi Cabot
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩
Conference papers hal-01152528v1
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

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

 Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers hal-00640312v1
Image document

Global State Estimates for Distributed Systems

 Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Conference papers inria-00581259v1
Image document

Generating VHDL source code from UML models of embedded systems

 Tomas G. Moreira , Marco A. Wehrmeister , Carlos Eduardo Pereira , Jean-François Pétin , Eric Levrat
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.125-136, ⟨10.1007/978-3-642-15234-4_13⟩
Conference papers hal-00533288v1
Page :