Search - Université Toulouse 1 Capitole Access content directly

Filter your results

940 Results
Domains :

Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring

Sandra Basnyat , Nick Chozos , Chris Johnson , Philippe Palanque
24th European Annual Conference on Human Decision Making and Manual Control (EAM 2005), Oct 2005, Athens, Greece
Conference papers hal-03663653v1
Image document

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque et al.
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Conference papers hal-03857803v2

Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

Emiliano Lorini , Elise Perrotin-Boithias , François Schwarzentruber
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haïfa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
Conference papers hal-04047571v1

Capteurs coopératifs pour un observatoire de trajectoires

Sébastien Aubin , Sio Song Ieng , Patrick Plainchault , Jean-Michel Auberlet , Thierry Bosch et al.
5ème Conférence internationale Francophone d’automatique (CIFA), Sep 2008, Bucarest, Romania
Conference papers hal-01206575v1

Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints

Rongfei Xu , Li Zhang , Ning Ge , Xavier Blanc
International Journal of Software Engineering and Knowledge Engineering, 2018, 28 (11n12), pp.1575-1595. ⟨10.1142/S0218194018400181⟩
Journal articles hal-02485780v1

The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França , Jean-Paul Bodeveix , David Chemouil , M Filali , Jean-François Rolland et al.
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
Conference papers hal-00784976v1
Image document

Modes in Asynchronous Systems

Jean-François Rolland , Jean-Paul Bodeveix , M Filali , David Chemouil , Dave Thomas et al.
13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
Conference papers hal-00784986v1
Image document

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems

Flavio Oquendo , Axel Legay , Khalil Drira
ERCIM News, 2015, 102
Journal articles hal-01242651v1

Proceedings of the 4th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2016)

Flavio Oquendo , Paris Avgeriou , Carlos E. Cuesta , Khalil Drira , José Carlos Maldonado et al.
Books hal-01441206v1
Image document

Editorial Message Track on Software-intensive Systems-of-Systems (SiSoS) of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)

Khalil Drira , Flavio Oquendo , Axel Legay , Thais Batista
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-3
Conference papers hal-01666389v1

Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)

Paris Avgeriou , Carlos E. Cuesta , Khalil Drira , Elisa Y. Nakagawa , José Carlos Maldonado et al.
ACM, 2015
Books hal-01441064v1

Service-Oriented Computing – ICSOC 2016 Workshops

François Charoy , Khalil Drira , Hongbing Wang , Qi Yu , Yan Wang et al.
Springer, pp.222, 2017, 978-3-319-68135-1. ⟨10.1007/978-3-319-68136-8⟩
Books hal-01651943v1
Image document

System-level Co-simulation of Integrated Avionics Using Polychrony

Huafeng Yu , Yue Ma , Yann Glouche , Jean-Pierre Talpin , Loïc Besnard et al.
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
Conference papers inria-00536907v1

Correct-by-construction model driven engineering composition operators

Mounira Kezadri , Marc Pantel , Xavier Thirioux , Benoit Combemale
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles hal-01319576v1

Production d'Interfaces : Vers la Génération Automatique de Contrôleur de Dialogue

Jean-Claude Tarby , Marie-France Barthet
IHM'91. 3èmes Journées sur l'Ingénierie des Interfaces Homme-Machine, Dec 1991, Dourdan, France
Conference papers hal-02430934v1

Spécifier les Tâches et Concevoir les Objets dans les Applications Interactives

J.C. Tarby
Journées Internationales sur les Nouveautés en Génie Logiciel (J.I.N.G.L), Dec 1994, Paris, France
Conference papers hal-02430979v1

Application de la logique d'utilisation à l'aide contextuelle

Jean-Claude Tarby
ERGO.IA'94, Oct 1994, Biarritz, France
Conference papers hal-02430962v1
Image document

Security Concepts as Add-On for Process Models

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Conference papers hal-01316833v1
Image document

funGp: An R Package for Gaussian Process Regression with Scalar and Functional Inputs

José Daniel Betancourt , François Bachoc , Thierry Klein , Déborah Idier , Jérémy Rohmer et al.
Preprints, Working Papers, ... hal-02536624v2

Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011) May 26-27, 2011, Barcelona, Spain

Eduardo Garcia , Arnab Majumdar , Philippe Palanque , Alberto Pasquini , Francisco Saez et al.
Garcia, Eduardo; Majumdar, Arnab; Palanque, Philippe; Pasquini, Alberto; Saez, Francisco; Winckler, Marco Antonio. 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, Spain. IRIT Press, Toulouse, 188 p., 2011, 978-1-4503-1506-7
Proceedings hal-03651203v1
Image document

Engineering annotations for supporting the design process of interactive systems: A model-based approach and a tool suite

Jean-Luc Hak
Computer Science [cs]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨NNT : ⟩
Theses tel-02268176v1

A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems

Philippe Palanque , Marco Winckler , Jean-François Ladry , Maurice H. ter Beek , Giorgio Faconti et al.
1st ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2009), ACM Special Interest Group on Computer-Human Interaction, Jul 2009, Pittsburgh, France. pp.211-220, ⟨10.1145/1570433.1570473⟩
Conference papers hal-03653361v1

Introductory Course on Automation and its Use for Interactive Systems Design and Engineering

Philippe Palanque
Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩
Conference papers hal-03376233v1

An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications

David Navarre , Philippe Palanque , Pierre Dragicevic , Rémi Bastide
Interacting with Computers, 2006, 18 (5), pp.910-941. ⟨10.1016/j.intcom.2006.03.002⟩
Journal articles hal-03662287v1

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 et al.
18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Conference papers hal-03376253v1

AutomationXP 2021: Automation Experience at the Workplace 2021

Matthias Baldauf , Peter Fröhlich , Shadan Sadeghian , Philippe Palanque , Virpi Roto et al.
Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905,, pp.1-180, 2021, ISSN: 1613-0073
Special issue hal-03376245v1

Notations en IHM pour une modélisation synergique des tâches et du système

David Navarre , Rémi Bastide , Philippe Palanque
Boy, Guy. Ingénierie cognitive - IHM et cognition, 2ème partie : Développement centré sur l'homme., Hermès, 2003, Traité des sciences cognitives, 978-2746205710
Book sections hal-03667064v1

Formal socio-technical barrier modelling for safety-critical interactive systems design

Sandra Basnyat , Philippe Palanque , Bastiaan Schupp , Peter Wright
Safety Science, 2007, Special Issue safety in design: Papers selected from the 9th International Conference of French National Research and Safety Institute (INRS), 1-3 March 2006, Nice, France, 45 (2007) (5), pp.545-565. ⟨10.1016/j.ssci.2007.01.001⟩
Journal articles istex hal-03662273v1

Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications

Regina Bernhaupt , David Navarre , Philippe Palanque , Marco Winckler
Law, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩
Book sections hal-03662268v1

UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers

Elodie Bouzekri , Célia Martinie , Philippe Palanque , Erwann Poupart , Sandra Steere et al.
Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.357-367, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_31⟩
Book sections hal-03641769v1