380.256 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Seuring, Stefan |
| |
| Nor Azizi, S. |
| |
| Pato, Margarida Vaz |
| |
| Kölker, Katrin |
| |
| Huber, Oliver |
| |
| Király, Tamás |
| |
| Spengler, Thomas Stefan |
| |
| Al-Ammar, Essam A. |
| |
| Dargahi, Fatemeh |
| |
| Mota, Rui |
| |
| Mazalan, Nurul Aliah Amirah |
| |
| Macharis, Cathy | Brussels |
|
| Arunasari, Yova Tri |
| |
| Nunez, Alfredo | Delft |
|
| Bouhorma, Mohammed |
| |
| Bonato, Matteo |
| |
| Fitriani, Ira |
| |
| Autor Correspondente Coelho, Sílvia. |
| |
| Pond, Stephen |
| |
| Okwara, Ukoha Kalu |
| |
| Toufigh, Vahid |
| |
| Campisi, Tiziana | Enna |
|
| Ermolieva, Tatiana |
| |
| Sánchez-Cambronero, Santos |
| |
| Agzamov, Akhror |
|
Navarre, David
Toulouse 1 Capitole University
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (27/27 displayed)
- 2019Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
- 2019Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
- 2019Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systemscitations
- 2019Fortunettes: Feedforward about the Future State of GUI Widgetscitations
- 2016A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study
- 2016A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study
- 2015A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applicationscitations
- 2015A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applicationscitations
- 2015A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unitcitations
- 2015Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems
- 2015Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systemscitations
- 2015A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit
- 2014An approach for assessing the impact of dependability on usability: application to interactive cockpits.citations
- 2014Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup languagecitations
- 2014A Fault-Tolerant Architecture for Resilient Interactive Systems
- 2014A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
- 2013Understanding functional resonance through a federation of models : preliminary findings of an avionics case studycitations
- 2013Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approachcitations
- 2012Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism
- 2012A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems
- 2011UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems
- 2010Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Modelscitations
- 2010An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits
- 2009ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalabilitycitations
- 2007A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661citations
- 2006Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specificationcitations
- 2004A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification
Places of action
| Organizations | Location | People |
|---|