Search - IFIP Open Digital Library Access content directly

Filter your results

42 results
Structure: Internal structure identifier : 117617
Page :
sorted by
Image document

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

 Nicolas Broders , Célia Martinie , Philippe Palanque , Marco Winckler , Kimmo Halunen
HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Conference papers hal-03079818v1
Image document

Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions

 Luca Longo , Randy Goebel , Freddy Lecue , Peter Kieseberg , Andreas Holzinger
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.1-16, ⟨10.1007/978-3-030-57321-8_1⟩
Conference papers hal-03414756v1
Image document

Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures

 Pedro Paulo Balbi , Enrico Formenti , Kévin Perrot , Sara Riva , Eurico Ruivo
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers hal-03659470v1
Image document

Beyond Interactions

 José Abdelnour Nocera , Antigoni Parmaxi , Marco Winckler , Fernando Loizides , Carmelo Ardito , et al.
Springer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Books hal-03138795v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV

 David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science
Books hal-02896565v1
Image document

Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach

 Thiago Rocha Silva , Marco Winckler , Hallvard Trætteberg
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.644-665, ⟨10.1007/978-3-030-29381-9_39⟩
Conference papers hal-02544532v1

Human-Centered Software Engineering

 Cristian Bogdan , Kati Kuusinen , Marta Larusdottir , Philippe Palanque , Marco Winckler
Springer International Publishing, LNCS-11262, 2019, Lecture Notes in Computer Science, 978-3-030-05908-8. ⟨10.1007/978-3-030-05909-5⟩
Books hal-02270716v1

Human-Computer Interaction – INTERACT 2019

 David Lamas , Fernando Loizides , Lennart E. Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books hal-02544612v1

Human-Computer Interaction – INTERACT 2019

 David Lamas , Fernando Loizides , Lennart Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11746, 2019, Lecture Notes in Computer Science, 978-3-030-29380-2. ⟨10.1007/978-3-030-29381-9⟩
Books hal-02544551v1
Image document

Explainable AI: the new 42?

 Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1

Global Thoughts, Local Designs

 Torkil Clemmensen , Venkatesh Rajamanickam , Peter Dannenmann , Helen Petrie , Marco Winckler
Springer International Publishing, LNCS-10774, 2018, Lecture Notes in Computer Science, 978-3-319-92080-1. ⟨10.1007/978-3-319-92081-8⟩
Books hal-01821408v1
Image document

Active Objects for Coordinating BSP Computations (Short Paper)

 Gaetan Hains , Ludovic Henrio , Pierre Leca , Wijnand Suijlen
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩
Conference papers hal-01821487v1

System Modeling and Optimization

 Lorena Bociu , Jean-Antoine Désidéri , Abderrahmane Habbal
Springer International Publishing, AICT-494, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-55794-6. ⟨10.1007/978-3-319-55795-3⟩
Books hal-01626887v1
Image document

A Decidable Subtyping Logic for Intersection and Union Types

 Luigi Liquori , Claude Stolze
TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers hal-01760641v1

Cellular Automata and Discrete Complex Systems

 Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio E. Porreca
Springer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩
Books hal-01656363v1
Image document

Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata

 Luca Mariot , Enrico Formenti , Alberto Leporati
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.151-164, ⟨10.1007/978-3-319-58631-1_12⟩
Conference papers hal-01656352v1

Human-Computer Interaction – INTERACT 2017

 Regina Bernhaupt , Girish Dalvi , Anirudha Joshi , Devanuj K. Balkrishan , Jacki O’neill , et al.
Springer International Publishing, LNCS-10516, 2017, Lecture Notes in Computer Science, 978-3-319-68058-3. ⟨10.1007/978-3-319-68059-0⟩
Books hal-01679769v1
Image document

Dealing with Conflicting User Interface Properties in User-Centered Development Processes

 Marco Winckler , Marta Larusdottir , Kati Kuusinen , Cristian Bogdan , Philippe Palanque
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Conference papers hal-01680275v1
Image document

A Theory for the Composition of Concurrent Processes

 Ludovic Henrio , Eric Madelaine , Min Zhang
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers hal-01432917v1
Image document

Control Methods for the Optimization of Plasma Scenarios in a Tokamak

 Jacques Blum , Cédric Boulbe , Blaise Faugeras , Holger Heumann
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.1-20, ⟨10.1007/978-3-319-55795-3_1⟩
Conference papers hal-01626908v1
Image document

From Modelling to Systematic Deployment of Distributed Active Objects

 Ludovic Henrio , Justine Rochas
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers hal-01305474v1
Image document

Searching Critical Values for Floating-Point Programs

 Hélène Collavizza , Claude Michel , Michel Rueher
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩
Conference papers hal-01643710v1
Image document

On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata

 Luca Mariot , Alberto Leporati
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩
Conference papers hal-01313895v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
Image document

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems

 Mariem Abdelmoula , Daniel Gaffé , Michel Auguin
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.97-112, ⟨10.1007/978-3-662-44857-1_7⟩
Conference papers hal-01069101v1
Image document

A Longitudinal Study of BGP MOAS Prefixes

 Quentin Jacquemart , Guillaume Urvoy-Keller , Ernst Biersack
6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.127-138, ⟨10.1007/978-3-642-54999-1_11⟩
Conference papers hal-01396480v1
Image document

PLAY: Semantics-Based Event Marketplace

 Roland Stühmer , Yiannis Verginadis , Iyad Alshabani , Thomas Morsellino , Antonio Aversa
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.699-707, ⟨10.1007/978-3-642-40543-3_73⟩
Conference papers hal-01463265v1
Image document

Strong Shape Derivative for the Wave Equation with Neumann Boundary Condition

 Jean-Paul Zolésio , Lorena Bociu
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.445-460, ⟨10.1007/978-3-642-36062-6_45⟩
Conference papers hal-01347567v1
Image document

N Dimensional Crowd Motion

 Jean-Paul Zolésio , Paola Goatin
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.557-566, ⟨10.1007/978-3-642-36062-6_56⟩
Conference papers hal-01347584v1
Page :