Suchergebnisse - Delange,Julien

1

Session details: Model-based engineering von Delange, Julien

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Automated Fault Tree Analysis from AADL Models von Feiler, Peter, Delange, Julien

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Session details: Invited talk -- model-based engineering von Delange, Julien

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Design, implementation and verification of MILS systems von Delange, Julien, Pautet, Laurent, Kordon, Fabrice

Veröffentlicht in Software, practice & experience

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Integrated Modeling Workflow for Security Assurance von Nam, Min-Young, Delange, Julien, Feiler, Peter

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Server failure predictive model von Delange, Julien

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device von Larson, Brian, Hatcliff, John, Fowler, Kim, Delange, Julien

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future von Perrotin, Maxime, Conquet, Eric, Delange, Julien, Schiele, André, Tsiodras, Thanassis

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Automated transparent distribution of updates to server computer systems in a fleet von Edenhofer, Daniel, Delange, Julien

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

AUTOMATED TRANSPARENT DISTRIBUTION OF UPDATES TO SERVER COMPUTER SYSTEMS IN A FLEET von Edenhofer, Daniel, Delange, Julien

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Automated transparent distribution of updates to server computer systems in a fleet von Edenhofer, Daniel, Delange, Julien

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

ARINC653 AADL Annex Update von Delange, Julien

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Building Safe and Secure Systems with AADL von Delange, Julien

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

OSATE Overview & Community Updates von Delange, Julien

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Architecture Analysis with AADL: The Speed Regulation Case-Study von Delange, Julien

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Model-Based Engineering Session von Delange, Julien

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Validate, simulate, and implement ARINC653 systems using the AADL von Delange, Julien, Pautet, Laurent, Plantec, Alain, Kerboeuf, Mickael, Singhoff, Frank, Kordon, Fabrice

Veröffentlicht in ACM SIGAda Ada Letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Validating Safety and Security Requirements for Partitioned Architectures von Delange, Julien, Pautet, Laurent, Feiler, Peter

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Architecture-Centric Virtual Integration Workshop von Delange, Julien, Feiler, Peter

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

A Requirement Specification Language for AADL von Feiler,Peter H, Delange,Julien, Wrage,Lutz

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Session details: Model-based engineering von Delange, Julien

Automated Fault Tree Analysis from AADL Models von Feiler, Peter, Delange, Julien

Session details: Invited talk -- model-based engineering von Delange, Julien

Design, implementation and verification of MILS systems von Delange, Julien, Pautet, Laurent, Kordon, Fabrice

Integrated Modeling Workflow for Security Assurance von Nam, Min-Young, Delange, Julien, Feiler, Peter

Server failure predictive model von Delange, Julien

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device von Larson, Brian, Hatcliff, John, Fowler, Kim, Delange, Julien

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future von Perrotin, Maxime, Conquet, Eric, Delange, Julien, Schiele, André, Tsiodras, Thanassis

Automated transparent distribution of updates to server computer systems in a fleet von Edenhofer, Daniel, Delange, Julien

AUTOMATED TRANSPARENT DISTRIBUTION OF UPDATES TO SERVER COMPUTER SYSTEMS IN A FLEET von Edenhofer, Daniel, Delange, Julien

Automated transparent distribution of updates to server computer systems in a fleet von Edenhofer, Daniel, Delange, Julien

ARINC653 AADL Annex Update von Delange, Julien

Building Safe and Secure Systems with AADL von Delange, Julien

OSATE Overview & Community Updates von Delange, Julien

Architecture Analysis with AADL: The Speed Regulation Case-Study von Delange, Julien

Model-Based Engineering Session von Delange, Julien

Validate, simulate, and implement ARINC653 systems using the AADL von Delange, Julien, Pautet, Laurent, Plantec, Alain, Kerboeuf, Mickael, Singhoff, Frank, Kordon, Fabrice

Validating Safety and Security Requirements for Partitioned Architectures von Delange, Julien, Pautet, Laurent, Feiler, Peter

Architecture-Centric Virtual Integration Workshop von Delange, Julien, Feiler, Peter

A Requirement Specification Language for AADL von Feiler,Peter H, Delange,Julien, Wrage,Lutz

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle