Filter your results
- 17
- 2
- 17
- 2
- 19
- 1
- 1
- 1
- 6
- 1
- 1
- 7
- 1
- 19
- 1
- 1
- 1
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 results
|
|
sorted by
|
|
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.88-99, ⟨10.1007/978-3-319-90023-0_8⟩
Conference papers
hal-01854160v1
|
||
|
Collaborative Serious Games for Awareness on Shared Resources in Supply Chain ManagementIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2014, Ajaccio, France. pp.491-499, ⟨10.1007/978-3-662-44736-9_60⟩
Conference papers
hal-01387923v1
|
||
|
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.238-249, ⟨10.1007/978-3-642-38853-8_22⟩
Conference papers
hal-01466679v1
|
||
|
Design and Analysis of an Online Update Approach for Embedded Microprocessors6th International Embedded Systems Symposium (IESS), Sep 2019, Friedrichshafen, Germany. pp.179-188, ⟨10.1007/978-3-031-26500-6_15⟩
Conference papers
hal-04489009v1
|
||
|
Reducing Re-verification Effort by Requirement-Based Change Management4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.104-115, ⟨10.1007/978-3-642-38853-8_10⟩
Conference papers
hal-01466666v1
|
||
|
Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.77-87, ⟨10.1007/978-3-319-90023-0_7⟩
Conference papers
hal-01854157v1
|
||
|
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.103-115, ⟨10.1007/978-3-319-90023-0_9⟩
Conference papers
hal-01854163v1
|
||
|
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.59-70, ⟨10.1007/978-3-642-16256-5_8⟩
Conference papers
hal-01055376v1
|
||
|
System Level Design from HW/SW to Memory for Embedded SystemsSpringer International Publishing, AICT-523, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-90022-3. ⟨10.1007/978-3-319-90023-0⟩
Books
hal-01854158v1
|
||
|
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.205-217, ⟨10.1007/978-3-642-38853-8_19⟩
Conference papers
hal-01466674v1
|
||
|
Embedded Systems: Design, Analysis and VerificationSpringer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books
hal-01466697v1
|
||
|
Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.181-192, ⟨10.1007/978-3-642-38853-8_17⟩
Conference papers
hal-01466672v1
|
||
|
Contract-Based Compositional Scheduling Analysis for Evolving Systems4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.272-282, ⟨10.1007/978-3-642-38853-8_25⟩
Conference papers
hal-01466683v1
|
||
|
Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.343-352, ⟨10.1007/978-3-642-38853-8_31⟩
Conference papers
hal-01466690v1
|
||
|
A UML Profile to Couple the Production Code Generator TargetLink with UML Design Tools5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.185-196, ⟨10.1007/978-3-319-90023-0_15⟩
Conference papers
hal-01854153v1
|
||
|
Extending Energetic Potential of Data Centers to Participate in Smart Grid Networks3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2017, Essen, Germany. pp.107-120, ⟨10.1007/978-3-319-66553-5_8⟩
Conference papers
hal-01691197v1
|
||
|
Sustainability of Cascading Product Lifecycles: The Need for Adaptive Management to End-of-Life Supply Chains15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.159-168, ⟨10.1007/978-3-030-01614-2_15⟩
Conference papers
hal-02075572v1
|
||
|
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation IssuesIFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Conference papers
hal-03376237v1
|
||
|
Demon Hunt - The Role of Endsley’s Demons of Situation Awareness in Maritime Accidents6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.203-212, ⟨10.1007/978-3-319-44902-9_13⟩
Conference papers
hal-01647722v1
|