46 Infos zu Johann Krautlager

5 Aktuelle Nachrichten

· ... Martin Santen (Zuken) und Johann Krautlager (Airbus Defence and Space) zeigten mit ihren inspirierenden Impulsvorträgen und ...

· Klaus Bayer, VDE Bayern; Johann Krautlager, Airbus; Robert R. Richter, Werk1; Martin Santen, Zuken; Martin Schelkle, Rohde & Schwarz; Prof.

· Wie kann man die Kollaboration zwischen Silos verbessern; Johann Krautlager, Airbus How to bring Airbus to a next level using Digital Design ...

TAIC PART : 11th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques

4 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Johann Krautlager auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job ist im Profil von Johann Krautlager ...

... thomas a. henzinger, jurgen thanhofer-pilisch, harald kosch, andreas wolfl, guillermo weber-urbina, johann krautlager, xianghua deng, gabor bergmann, ...

Semantic Scholar profile for Johann Krautlager, with 1 highly influential citations and 2 scientific research papers.

... Johannes Koskinen · Johannes Kristinsson · Johannes Kritzinger · Johannes Maximilian Kühn · Johann Klasek · Johann Krautlager · Johan de Kleer ...

1 Traueranzeigen

Johann Krautlager. Födelse: 1929; Död: (ålder 85–86); Begravning. Friedhof Obermenzing. Obermenzing, Stadtkreis München, Bavaria, Germany ...

2 Angaben zur Herkunft

Born in Langenisarhofen, Pfr. Isarhofen, Lkr. Deggendorf, Niederbayern, Bayern, BRD on 13 DEC Johann Krautlager married Katharina Nagl and had 7 children.

1 Projekte

Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, and Guillermo Weber-Urbina. Generating Qualifiable Avionics Software: An ...

1 Dokumente

Johann Krautlager, Airbus Defence and Space GmbH, Germany. Sondes Ksibi, University of Carthage | Higher School of Communications of Tunis, Tunisia.

10 Wissenschaftliche Publikationen

List of computer science publications by Andreas Wölfl

DI Johann Krautlager. Softwareentwicklung in der Luft- und Raumfahrt. Zum Vortrag: Seit den ersten Fluggeräten hat die Bedeutung der ...

Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina: Generating Qualifiable Avionics Software: An Experience ...

· List of computer science publications by Johann Krautlager Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina:

3 Allgemeine Veröffentlichungen

... Johann Krautlager, Guillermo Weber-Urbina [doi] · How Verified is My Code? Falsification-Driven Verification (T)Alex Groce, Iftekhar Ahmed, Carlos ...

Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo Weber-Urbina. Generating Qualifiable Avionics Software: An ...

· ... Keith Brown (OneFact); Per Jonsson (Saab); Johann Krautlager (Airbus Helicopters); Philip Langer (EclipseSource); Florian Noyrit (CEA) ...

15 Webfunde aus dem Netz

Generating Qualifiable Avionics Software: An Experience Report (E)Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, Guillermo ...

Generating Qualifiable Avionics Software: An Experience Report Andreas Wölfl *, Norbert Siegmund *, Sven Apel *, Harald Kosch *, Johann Krautlager, Guillermo Weber-Urbina * …

Generating Qualifiable Avionics Software: An Experience Report (Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager and Guillermo Weber-Urbina), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE Computer Society,

Johann Krautlager, Airbus Defence and Space GmbH, Germany Herbert Kuchen, University of Münster, Germany Dieter Landes, University of Applied Sciences ...

Találkozón részt vett Klaus Bayer (VDE Bayern ügyvivője), Johann Krautlager (VDE Südbayern), Gelencsér Lajos (MEE Elnöke), Veisz Imre (MEE Főtikára), dr.

Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager, and Guillermo Weber-Urbina evening; this will be held at the ...

... AKI-Mitgliedern Prof Dr. Jörg Eberspächer, Dr. Bernhard Quendt, Rainer Klos, Wolfgang Kordes, Johann Krautlager, Sebastian Zimmermann, Guido Haase, bzw.

... Johann Krautlager and Guillermo Weber-Urbina}, year={2015} }. A. Wölfl, Norbert Siegmund, +3 authors. Guillermo Weber-Urbina; Published 2015; Computer Science.

A novel generative approach to develop qualifiable avionics software by combining model-based and product-line technology is proposed and is compared with...

... Technology (AIST), Japan Johann Krautlager, Airbus Helicopters Deutschland GmbH, Germany Stephan Krusche, Technische Universität München, Germany

Johann Krautlager, Airbus Helicopters Deutschland GmbH, Germany. Stephan Krusche, Technische Universität München, Germany. Herbert Kuchen, Westfälische ...

by Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager and Guillermo Weber-Urbina. View PDF. Reference: Generating Qualifiable ...