330.008 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Arnone, Maurizio |
| |
| Weimer, Julian | Cologne |
|
| Yushau, Ilyas |
| |
| Rupi, Federico |
| |
| Bruneel, Herwig |
| |
| Percoco, Marco |
| |
| Gulati, Dhiraj |
| |
| Gubser, Ariane |
| |
| Friedrich, Horst E. | Stuttgart |
|
| Heldt, Benjamin |
| |
| Mélange, Willem |
| |
| Walraevens, Joris R R |
| |
| Ye, Yun-Guang |
| |
| MANNINO, CARLO |
| |
| Zhang, Yinggui |
| |
| Felux, Michael |
| |
| Russwinkel, Nele |
| |
| Unterhuber, Paul | Champs-sur-Marne |
|
| Lamorgese, Leonardo Cameron |
| |
| Veraldi, Valerio |
| |
| Endemann, Peter |
| |
| Plogmann, Justin |
| |
| Pensa, Stefano |
| |
| Schindewolf, Marc |
| |
| Ulrich, Christian |
|
Delange, Julien
in Cooperation with on an Cooperation-Score of 37%
Topics
- design
- map
- implementation
- modeling
- production
- software
- validation
- coding system
- architecture
- specification
- intelligence
- artificial intelligence
- chemical element
- image processing
- safety analysis
- recommendation
- information system
- avionics
- certification
- language
- assessment
- supporting
- case study
- tree
- monitoring
- health
- port
- designer
- committee
- hazard evaluation
- fault tree analysis
- safety
- paper
- cloud
- cloud computing
- workshop
- constraint
- bottleneck
- engineer
- locomotive engineer
- defense
- distributed control
- distributed processing
- transfer function
- behavior
- computer science
- manual
- abstract
- reliability
- embedded system
- system architecture
- system safety
- medical equipment
- security
- data
- guideline
- computer operating system
- costs
- aircraft
- generator
- productivity
- scheduling
- vehicle
- middleware
- show 34 more
Publications
- 2017Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADLcitations
- 2016Model-Based Design, Automated Code Generation and Safety Analysis of ARINC653 Architectures using the AADL
- 2015Modeling and Analyzing IMA Architectures with AADL, From Modeling to Safety Evaluation and Code Generation: A Case-Study
- 2014Incremental Latency Analysis of Heterogeneous Cyber-Physical Systems
- 2014Supporting the ARP4761 Safety Assessment Process with AADL
- 2012Design, implementation and verification of MILS systemscitations
- 2011A Model-Based Approach To Configure and Reconfigure Avionics Systems
- 2010Modeling and Validation of ARINC653 architectures
- 2010Design, Verification and Implementation of MILS systems
- 2009Validate, Simulate and Implement ARINC653 Systems using the AADLcitations
- 2008Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain
Places of action
