News
Heise.de: Datenweitergabe im Blick behalten | heise online
Wer seine Daten weitergibt, will festlegen können, was mit ihnen geschieht, und das auch kontrollieren können. Forscher am Karlsruher Institut für Technologie...
Bild: Pretschner: Grundlegende Programmierfähigkeiten sind...
www.tecchannel.de
Zurück zum Artikel: Keine Innovation ohne Programmieren. Pretschner: Grundlegende Programmierfähigkeiten sind unverzichtbar. Foto: Alexander Pretschner
Car-IT: Informatik durchdringt alles
www.audimax.de
Prof. Dr. Alexander Pretschner, Professor für Softwareengineering an der TU München, betont die Wichtigkeit der Informatik für den Automobilsektor
KIT-Forschungsgruppe: Was passiert mit meinen Daten? | ka-news
www.ka-news.de
Das KIT informiert: In einer zunehmend vernetzten Welt werde es immer wichtiger zu kontrollieren, was mit den eigenen Daten geschieht. Die Forschungsgruppe
Netzwerk-Profile
LinkedIn: Alexander Pretschner | LinkedIn
Alexander Pretschners berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Alexander ...
LinkedIn: Alexander Pretschner - Deutschland | LinkedIn
Sehen Sie sich das Karriere-Profil von Alexander Pretschner (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- ...
Interessen
Causality-Based Accountability Mechanisms for Socio ...
philpapers.org
von A Ibrahim · — Causality-based accountability mechanisms for socio-technical systems · Amjad Ibrahim, Stavros Kyriakopoulos & Alexander Pretschner. › IBRCAM
Ethics in the Software Development Process: from Codes of Conduct ...philpapers.org › rec › GOGEIT
philpapers.org
Jan Gogoll, Niina Zuber, Severin Kacianka, Timo Greger, Alexander Pretschner & Julian Nida-Rümelin · Philosophy and Technology:1-24 (forthcoming).
Firmen-Mitarbeiter
ACM/IEEE 21th International Conference on Model Driven Engineering...
modelsconf2018.github.io
MODELS conference is taking place in Copenhagen, Denmark. MODELS is the premier conference series for model-based software and systems engineering which...
FB-Informatik: Ehemalige und entpflichtete Professorinnen,...
www.informatik.uni-kl.de
Prof. Dr. Alexander Pretschner im Fachbereich Informatik der Univ. Kaiserslautern bis WWW, E-Mail; Prof. Dr. Jürgen Nehmer im Ruhestand seit
Organisation: SE 2011
se2011.ipd.kit.edu
Alexander Pretschner, TU Kaiserslautern Matthias Riebisch, TU Ilmenau Ralf Reussner, KIT und FZI Karlsruhe Andreas Roth, SAP AG Bernhard Rumpe, RWTH Aachen
Private Homepages
Homepage - Informatik 4 - Lehrstuhl für Software und Systems
www.cs.cit.tum.de
Prof. Dr. Alexander Pretschner. News "Towards counterfactual causality from first principles": Special talk by Dr. Gregor Gößler
Ausbildung
Arbeitsgemeinschaft Deklarative Programmierung
www.informatik.uni-kiel.de
Alexander Pretschner: Vergleich von Narrowing-Verfahren erster und höherer Ordnung ... Alexander Pretschner: Narrowing-Verfahren für logisch-funktionale ...
Abschlussarbeiten der AG Programmiersprachen
www.informatik.uni-kiel.de
Vergleich von Narrowing-Verfahren erster und höherer Ordnung Alexander Pretschner (Diplomarbeit, RWTH Aachen), Juni ; Analyse logisch-funktionaler Programme mit
Projekte
HOL theorem-proving system / List hol-info Archives
sourceforge.net
... Heitmeyer Alexander Pretschner Lionel Briand Brian Henderson-Sellers the mainstream, and social networks (Facebook, YouTube, Twitter, LinkedIn, and ...
JOANA (Java Object-sensitive ANAlysis) - Information Flow Control...
pp.ipd.kit.edu
Information flow control is concerned with the security of information inside a program SADAN (Alexander Pretschner, TU Munich): ...
Projects | SPP RS3
www.spp-rs3.de
Prof. Dr.-Ing. Heiko Mantel, TU Darmstadt. SADAN: System-wide data-driven runtime usage control across layers of abstraction. Prof. Dr. Alexander Pretschner , ...
Projects | SPP RS3
www.reliably-secure-software-systems.de
Prof. Dr. Alexander Pretschner, Karlsruhe Institute of Technology Type-based gradual enforcement of security policies for concurrent programs ...
Bücher
Alexander Pretschner | Autorenprofil und Werke | beck-shop.de
www.beck-shop.de
Hier finden Sie das komplette Autorenprofil von Alexander Pretschner . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle Werke.
AbeBooks: manfred broy bengt jonsson joost pieter katoen martin leucker...
Model-Based Testing of Reactive Systems : Advanced Lectures und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf AbeBooks.de.
bokus.com: Alexander Pretschner - Böcker | Bokus bokhandel
Köp böcker av Alexander Pretschner: Model-Based Testing of Reactive Systems; Security and Trust Management;
Dokumente zum Namen
Steam Learn: How to write good tests
de.slideshare.net
11th of December How to write good tests? by Alexis von Glasow
SCHATTENBLICK - INFORMATIONSTECHNOLOGIE/673: Was geschieht mit meinen...
www.schattenblick.de
Die Forschungsgruppe "Zertifizierbare Vertrauenswürdige Informatiksysteme" um Professor Alexander Pretschner entwickelt Lösungen zur ...
Pretschner, Alexander [WorldCat Identities]worldcat.org › identities › lccn-no
worldcat.org
Most widely held works by Alexander Pretschner. Dependable software systems engineering by Maximilian Irlbeck( ) 14 editions published between and
Personalization on the eb Alexander Pretschner Susan Gauch Institut ...
sifaka.cs.uiuc.edu
Personalization on the eb. Alexander Pretschner. Susan Gauch. Institut fiur Informatik. Department of EECS. Technische Universitiat Miunchen. The University of Kansas. , Miunchen 233 Snow Hall, Lawrence, KS Germany. USA www4 . in . tum . de/ pretschn www . ittc . ukans ...
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Professor Dr. Alexander Pretschner
gepris.dfg.de
Professor Dr. Alexander Pretschner, Lehrstuhl für Informatik XXII: Software EngineeringGarching.
Testing of Reactive Systems
www-i2.informatik.rwth-aachen.de
Alexander Pretschner, editors, Model-Based Testing of Reactive Systems (Advanced Lectures), Volume of Lecture Notes in Computer Science. Springer-Verlag,
A Tutorial on Software Obfuscation - ScienceDirect
www.sciencedirect.com
von S Banescu · · Zitiert von: 33 — Alexander Pretschner. The topic of his PhD thesis was to characterize the strength of software obfuscation against automated man-at-the-end attackers. › pii
dblp: Alexander Pretschner
dblp.uni-trier.de
List of computer science publications by Alexander Pretschner
Veröffentlichungen allgemein
Model-Based Testing of Reactive Systems | SpringerLink
link.springer.com
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent...
Alexander Pretschner - LinkFangde.linkfang.org › wiki › Alexander_Pretschner
www.unserlexikon.de
Walter Alexander Pretschner (* 1975) ist ein deutscher Informatiker und Hochschullehrer. Er ist Professor für Software & Systems Engineering an der ...
On Obligations | SpringerLink
link.springer.com
von M Hilty · · Zitiert von: 175 — Manuel Hilty,; David Basin &; Alexander Pretschner. Conference paper Accesses. 51 Citations. Part of the Lecture Notes in Computer Science book series ... von A Pretschner · · Zitiert von: 40 — Alexander Pretschner. Conference paper Accesses. 9 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE,volume 3582) ... › chapter
Artikel & Meinungen
Google Groups: hauptseminar testen
: Alexander Pretschner -muenchen.de tum info studium
Google Groups: tutoren gesucht
: Alexander Pretschner -muenchen.de tum info studium tum
Google Groups: DA Verifikation Verteilter Systeme
: Alexander Pretschner -muenchen.de tum info studium
Wikipedia: Alexander Pretschner - Wikipedia
› wiki › Alexander_Pretschner
Sonstiges
Alexander Pretschner on LinkedIn: #forschung #finanzierung ...
www.linkedin.com
› posts › alexander-pretschner-...
Alexander Pretschner | LinkedIn
www.linkedin.com
View Alexander Pretschner's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Alexander Pretschner ...
Alexander Pretschner - Citações do Google Acadêmico
scholar.google.com.br
Alexander Pretschner. Seguir. E-mail. Seguir novos artigos. Seguir novas citações. Criar alerta. Cancelar. Alexander Pretschner. Professor of Computer Science ...
Alexander Pretschner - Citas de Google Académico
scholar.google.cl
Alexander Pretschner. Professor of Computer Science, Technische Universität München · Software Engineering, Security, Model-Based Testing. Dirección de ...
Alexander Pretschner - Trích dẫn của Google Scholar
scholar.google.ru
Xem tất cả. Theo dõi. Alexander Pretschner. Professor of Computer Science, Technische Universität München. Email được xác minh tại in.tum.de - Trang chủ.
CFP: Data Usage Management on the Web (DUMW2012) Workshop at WWW
lists.w3.org
From: Alexander Pretschner Date: Mon, 12 Dec :36:06 +0100 To: Message-ID:
technologiewerte.de » Blog Archive » Was geschieht mit meinen Daten?
technologiewerte.de
In mehreren Projekten, gefördert unter anderem von der EU, von der Deutschen Forschungsgemeinschaft (DFG) und mit dem „Google Research Award“, entwickeln die Forscherinnen und Forscher um Alexander Pretschner Lösungen zur ...
Pretschner - Names Encyclopedia
www.namespedia.com
Writers: Alexander Pretschner, Andreas Pretschner Faces of people named Pretschner. Rating:0. Submit. Rating:0. Submit. Rating:0. Submit. Rating:0. Submit. …
Alexander Pretschner - اقتباسات الباحث العلمي من Google
scholar.google.ca
Alexander Pretschner. Professor of Computer Science, Technische Universität München. بريد إلكتروني تم التحقق منه على in.tum.de - الصفحة الرئيسية.
Alexander Pretschner - Navodi Google znalca
scholar.google.hr
Alexander Pretschner. Professor of Computer Science, Technische Universität München · Software Engineering, Security, Model-Based Testing. Potvrđena ...
Alexander Pretschner - ציטוטים ביבליוגרפיים של Google Scholar
scholar.google.co.il
הצג הכל. עקוב אחר. Alexander Pretschner. Professor of Computer Science, Technische Universität München. כתובת אימייל מאומתת בדומיין in.tum.de - דף הבית.
Alexander Pretschner - Lehrstuhl für Software und Systems...
www.cs.cit.tum.de
Prof. Dr. Alexander Pretschner Postadresse. Postal: Garching b. München. Dienstort. Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner) Work: (5611)/I Garching b. München. Tel.: +49 (89) , ; Raum: ; alexander.pretschner(at)tum.de
Extending Causal Models from Machines into Humans [Severin Kacianka,...
conf.researchr.org
Extending Causal Models from Machines into Humans [Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Ludtke]. Track.
Alexander Pretschner - Google Scholar Citations
scholar.google.de
This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile. Add co-authors Co-authors. Upload PDF. PDF Restore Delete Forever. Follow this author. New articles by this author. New citations to this author.
Alexander Pretschner - Google Tudós
scholar.google.hu
Professor of Computer Science, Technische Universität München - forrás hivatkozott rá - Software Engineering - Security - Model-Based Testing
David Basin - Google Scholar
scholar.google.ch
Professor of Computer Science, ETH Zurich - mal zitiert - Security - Computer Security - Formal Methods - Verification
sortiert nach Relevanz / Datum