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 |
|
Talpin, Jean-pierre
in Cooperation with on an Cooperation-Score of 37%
Topics
- design
- industry
- interoperability
- modeling
- software
- optimisation
- validation
- architecture
- evolution
- computer science
- engineering
- electronic equipment
- electronics
- language
- embedded system
- research project
- train consist
- specification
- paper
- implementation
- data
- behavior
- bridge
- machinery
- state
- finite automaton
- port
- abstract
- avionics
- air transport industry
- filament
- theorem
- security
- safety
- simulation
- maintenance
- human being
- information retrieval
- real time control
- preservation
- case study
- scheduling
- property
- exploration
- coding system
- constraint
- bottleneck
- system architecture
- control system
- composite material
- landfill
- costs
- philosophy
- system design
- theory
- telecommunication
- plant
- nuclear power
- equation
- flow equation
- library
- computer operating system
- show 32 more
Publications
- 2015Model-Based Integration for Automotive Control Software
- 2014Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems
- 2014From AADL to timed abstract state machine: a certified model transformation
- 2014From AADL to Timed Abstract State Machines: A Verified Model Transformationcitations
- 2013Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL
- 2013Exploring system architectures in AADL via Polychrony and SynDExcitations
- 2011System-level Co-simulation of Integrated Avionics Using Polychrony
- 2009A metamodel for the design of polychronous systemscitations
- 2008Virtual prototyping AADL architectures in a polychronous model of computation
- 2007Polychronous design of embedded real-time applicationscitations
- 2006Polychronous mode automatacitations
- 2005A Modeling Paradigm for Integrated Modular Avionics Design
- 2005Polychronous Design of Embedded Real-Time Systems
Places of action
