izeus.kit.edu
KIT-Forschungsprojekt iZEUS - Konsortium
http://www.izeus.kit.edu/63.php
IZEUS - intelligent Zero Emission Urban System. Energy Smart Home Lab. Im Rahmen der IKT für Elektromobilität II. Gebündelte Kompetenzen aus Industrie und Wissenschaft. Im Verbundprojekt intelligent Zero Emission Urban System - iZEUS -. Weitere Informationen zu den involvierten Partnern aus der Industrie folgen in Kürze. Das Karlsruher Institut für Technologie. Die Universität Karlsruhe (TH) erhielt im Herbst 2006 das Prädikat Elite-Universität. Im KIT vereinen sich die Missionen der beiden Vorläufe...
formal.iti.kit.edu
KIT - Application-oriented Formal Verification - Bernhard Beckert
http://formal.iti.kit.edu/~beckert
Publications (in chronological order). Prof Dr. Bernhard Beckert. Office Hours: Wednesday 11:30 - 13:00. Phone: 49 721 608 44025. Fax: 49 721 608 43088. Http:/ formal.iti.kit.edu/beckert. Institute of Theoretical Informatics. Prof Dr. Bernhard Beckert. 49 721 608 44025. 49 721 608 43088. Vorlesung "Formale Systeme II: Theorie". Proseminar "Desaster in der Software-Sicherheit: Können formale Methoden helfen? Praxis der Forschung (Projektgruppe). GIF: Reliable Software Evolution. In chronological order .
sdq.ipd.kit.edu
Software Design and Quality (SDQ): Index
http://sdq.ipd.kit.edu/metanavigation/index
Software Design and Quality (SDQ). News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. Diploma and Master Theses. Diploma and Master Theses. Diploma and Master Theses. News and Press Releases. Bridge Building Example Video. Bridge Building Example Video (HQ). Diploma and Master Theses. Diploma and Master Theses. Diploma and Master Theses. Diploma and Master Theses. News and Press Releases. Bridge Building Example Video. News and Press Releases.
sdq.ipd.kit.edu
Software Design and Quality (SDQ): Theses and Jobs
http://sdq.ipd.kit.edu/diploma_theses_study_theses
Software Design and Quality (SDQ). Search topic / Thema suchen. Diploma and Master Theses. Study and Bachelor Theses. News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. Diploma / Master / Study / Bachelor Theses / Researcher Jobs. DE] Auf dieser Seite finden Sie:. Stellen als wissenschaftliche(r) Mitarbeiter(in). Stellen als studentische Hilfskraft. Ihr bevorzugtes Thema ist nicht dabei? EN] On this page, you can find:.
sdq.ipd.kit.edu
Software Design and Quality (SDQ): New PhD: Dr. Fouad ben Nasr Omri
http://sdq.ipd.kit.edu/press_releases/single_view/article/new-phd-dr-fouad-ben-nasr-omri
Software Design and Quality (SDQ). News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. New PhD: Dr. Fouad ben Nasr Omri. Fouad ben Nasr Omri, member of SDQ, received his PhD. Congratulations! Dr-Ing. Fouad ben Nasr Omri successfully passed his defence on 2015-07-15. His dissertation is on Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. Monday, 20 July 2015.
meregio.forschung.kit.edu
MeRegioStartseite
http://meregio.forschung.kit.edu/index.php
Aufbruch zu Minimum Emission Regions (MeRegio). Gefördert im Rahmen der E-Energy. Initiative durch das Bundesministerium für Wirtschaft und Technologie. Aufbruch zu Minimum Emission Regions. In der heutigen Zeit rücken Klimawandel, steigender Energiebedarf und knapper werdende fossile Energieressourcen immer weiter in den Fokus der Öffentlichkeit. Es werden neue, wirtschaftlichere Energieversorgungssysteme nötig. Um dieses ehrgeizige Ziel zu erreichen, kann durch mehr Energieeffizi...BMU), welches im Rah...
sdq.ipd.kit.edu
Software Design and Quality (SDQ): Conferences and Events
http://sdq.ipd.kit.edu/conferences_and_events
Software Design and Quality (SDQ). News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. Conferences and events (co-)organised or with programme committee membership by our members. 7th Symposium on Software Performance 2016. Joint Developer and Community Meeting). Kiel, Germany [more]. SDQ Winter Day 2015. 3rd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. Symposium on Software Performance. November 26-28, 2014. IEEE ...
sdq.ipd.kit.edu
Software Design and Quality (SDQ): Sitemap
http://sdq.ipd.kit.edu/metanavigation/sitemap
Software Design and Quality (SDQ). News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. Karlsruhe Series on Software Design and Quality. Talks and invited Researchers. Bridge Building Example Video. Bridge Building Example Video (HQ). Vorwort zur zweiten Auflage. Vorwort zur ersten Auflage. Fouad ben Nasr Omri. Search topic / Thema suchen. Diploma and Master Theses. Study and Bachelor Theses. News and Press Releases.
sdq.ipd.kit.edu
Software Design and Quality (SDQ): Group Members
http://sdq.ipd.kit.edu/people
Software Design and Quality (SDQ). News and Press Releases. SDQ in September 2015. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. 49 721 608 45993. Jun-Prof. Dr.-Ing. 49 721 608 43473. 49 721 608 46962. 49 721 608 45993. Office contact: sdq(at)ipd.uka.de. Head of the Vitruvius. 49 721 608 45765. Head of MDSD Research Group. 49 721 608 43475. Dr rer. nat. 49 721 608 45963. 49 721 608 45996. 49 721 608 46796. 49 721 608 45766. 49 721 608 45995. Sebastian D. Krach.
sdq.ipd.kit.edu
Software Design and Quality (SDQ): New PhD: Dr. Christoph Heger
http://sdq.ipd.kit.edu/press_releases/single_view/article/new-phd-dr-christoph-heger
Software Design and Quality (SDQ). News and Press Releases. Palladio Software Architecture Simulator. 7th Symposium on Software Performance 2016. New PhD: Dr. Christoph Heger. Christoph Heger, member of SDQ, received his PhD. Congratulations! Dr-Ing. Christoph Heger successfully passed his defence on 2015-07-15. His dissertation is on An Approach for Guiding Developers to Performance and Scalability Solutions. Monday, 20 July 2015.