60 Infos zu Martin Weiglhofer

3 Aktuelle Nachrichten

Die Jungheinrich Systemlösungen GmbH in Graz zählt zu den führenden Softwarehäusern in den Bereichen Warehouse Management-, Materialfluss- und...

Martin Weiglhofer, Jungheinrich Systemlösungen GmbH, Österreich. 11:45, ECommerce-Handling – Fluch und Segen zugleich. Internationale Rechtslage zum ECommerce › Programm

"A note on traces refinement and the conf relation in the Unifying Theories of Programming"; : Bernhard K. Aichernig and Martin Weiglhofer, "Unifying ...

8 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Martin Weiglhofer auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 6 Jobs sind im Profil von Martin Weiglhofer ...

1 Firmen-Mitarbeiter

› weiglhofer

1 Projekte

The aim of KI-SecAssist is the development of autonomous assistance modules based on cooperative task management and various UAV and UGV systems with — Martin Weiglhofer Institute for Software Technology, Graz University of Technology /II Graz, Austria › ist › research › weiglhofer

8 Bücher zum Namen

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, and Roderick Bloem RAT: A Tool for the Formal Analysis of Requirements Roderick Bloem ...

[26] Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, and Franz Wotawa. A Teleo-reactive Architecture for Fast, Reactive and Robust Control of Mobile ...

Martin Weiglhofer . Weber . Johann zapel . Johann Straft . ülrich feronreif . Rupert Thaler . Weißgärber . Michael Pichler . Wirthe . Georg Bra u n .

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. Specify, compile, run: Hardware from psl. Electron.

2 Dokumente

Martin Weiglhofer, Franz Wotawa. Abstract. Given a formal model of a system under test there are different strategies for deriving test cases from such a model ...

Martin Weiglhofer and Franz Wotawa. Abstract: Given a formal model of a system under test there are different strategies for deriving test cases from such a ... › Abstract

1 Wissenschaftliche Publikationen

List of computer science publications by Martin Weiglhofer

1 Allgemeine Veröffentlichungen

Model-based conformance testing aims to …s the …ctness of an implementation with respect to a specification. This raises the question of a proper...

2 Meinungen & Artikel

(c) Martin Weiglhofer and % Thomas Quaritsch \AtEndPreamble{ \renewcommand*{\contentsline}[4]{% #2 \dotfill # › forums › showthread ›

RjS On Mar 19, 2007, at 2:01 PM, Martin Weiglhofer wrote: > BEGIN PGP SIGNED MESSAGE > Hash: SHA1 > > Dear all, > > assume, ...

29 Webfunde aus dem Netz

› alias › marti...

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer and Roderick Bloem. Anzu: A Tool for. Property Synthesis. Roderick Bloem, Roberto Cavada, Ingo Pill, ... › accepted

... author = "Roderick Bloem and Stefan Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer", year = "2007", title = "Specify, ...

Martin Weiglhofer, Franz Wotawa; Towards a Theory for Testing Non-terminating Programs Arnaud Gotlieb, Matthieu Petit › ...

Publications: [Weiglhofer-Fraser-Wotawa-09] Martin Weiglhofer, Gordon Fraser, and Franz Wotawa. "Using coverage to automate and improve ...

Autoren: Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem. Verlag: Springer Berlin Heidelberg. Erschienen in: Computer Aided Verification.

von M Weiglhofer · · Zitiert von: 30 — Fault-Based Conformance Testing in Practice. Martin Weiglhofer, Bernhard Aichernig, Franz Wotawa · Institut für Softwaretechnologie (7160). › publications › fault-bas...

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer & Franz Wotawa (2007): Protocol Conformance Testing a SIP Registrar: An Industrial Application of ...

Publications: [Aichernig-Weiglhofer-Peischl-Wotawa-07-a] Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa.

"On the Fly" Input Output Conformance Verification. Martin Weiglhofer, Franz Wotawa · Institute of Software Technology (7160). Research output: Chapter in ...

Fault-Based Testing: An Industrial Evaluation of Formal Black-Box Testing Methods. Martin Weiglhofer, Franz Wotawa · Institute of Software Technology (7160).

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing Electronic Edition · CiteSeerX · Google scholar ...

— Zukünftig bilden Martin Weiglhofer und Markus Skof die Geschäftsführung des Unternehmens. Das Führungsduo erwartet starkes Wachstum bei ... › artikel › neue-doppelspitze-bei-junghe...

Abstract of research paper on Computer and information sciences, author of scientific article — Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa.

Improving Fault-based Conformance Testing. Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa · Details · Contributors · Fields of science · Bibliography ...

(c) Martin Weiglhofer &.at> and % Thomas Quaritsch &.at> \AtEndPreamble{ ...

— (c) Martin Weiglhofer and % Thomas Quaritsch \AtEndPreamble{ \renewcommand*{\contentsline}[4]{% #2 \dotfill # › ...

— From: Martin Weiglhofer. Paper: Summary; Comments (0). Resource Type: Code. License: Other/Unknown. Language: C++. Data Format: ... › details

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer and Roderick Bloem Anzu: A Tool for Property Synthesis. 15:15-15:30. Roderick Bloem, Roberto Cavada, ...

— ... de weg naar nieuwe mogelijkheden die we nu nog niet kunnen bedenken', stelt Martin Weiglhofer, hoofd WMS bij Jungheinrich in Hamburg. › ...