Filter your results
- 10
- 10
- 10
- 4
- 1
- 1
- 1
- 3
- 3
- 1
- 10
- 4
- 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
|
|
|
sorted by
|
|
|
Consensus Building and In-operation Assurance for Service DependabilityInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.639-653, ⟨10.1007/978-3-642-32498-7_48⟩
Conference papers
hal-01542429v1
|
||
|
|
Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.171-180, ⟨10.1007/978-3-642-38853-8_16⟩
Conference papers
hal-01466671v1
|
||
|
|
Creation of Assurance Case Using Collaboration Diagram2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.413-418, ⟨10.1007/978-3-642-55032-4_41⟩
Conference papers
hal-01397242v1
|
||
|
|
A Knowledge Integration Approach for Safety-Critical Software Development and Operation Based on the Method ArchitectureInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.17-28, ⟨10.1007/978-3-319-10975-6_2⟩
Conference papers
hal-01403983v1
|
||
|
|
A Proposal on Security Case Based on Common Criteria1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.331-336, ⟨10.1007/978-3-642-36818-9_36⟩
Conference papers
hal-01480190v1
|
||
|
|
An Approach for Evaluating Softgoals Using Weight3rd International Conference on Information and Communication Technology-EurAsia (ICT-EURASIA) and 9th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2015, Daejon, South Korea. pp.203-212, ⟨10.1007/978-3-319-24315-3_20⟩
Conference papers
hal-01466221v1
|
||
|
|
Session-ocaml: A Session-Based Library with Polarities and Lenses19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.99-118, ⟨10.1007/978-3-319-59746-1_6⟩
Conference papers
hal-01657342v1
|
||
|
|
Development of IPSJ Data Science Curriculum StandardOpen Conference on Computers in Education (OCCE), Aug 2021, Tampere, Finland. pp.156-167, ⟨10.1007/978-3-030-97986-7_13⟩
Conference papers
hal-04161448v1
|
||
|
|
A New Approach to Develop a Dependable Security Case by Combining Real Life Security Experiences (Lessons Learned) with D-Case Development Process1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.457-464
Conference papers
hal-01506567v1
|
||
|
|
An Evaluation of Argument Patterns Based on Data Flow2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.432-437, ⟨10.1007/978-3-642-55032-4_43⟩
Conference papers
hal-01397249v1
|