 | 2008 |
|---|
| 10 |       | Gerhard Gubisch,
Gerald Steinbauer,
Martin Weiglhofer,
Franz Wotawa:
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.
IEA/AIE 2008: 541-550 |
| 9 | | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Coverage Based Testing with Test Purposes.
QSIC 2008: 199-208 |
| 8 |  | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes.
SEKE 2008: 709-714 |
| 7 | | Bernhard K. Aichernig,
Martin Weiglhofer,
Franz Wotawa:
Improving Fault-based Conformance Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008) |
| 2007 |
|---|
| 6 | | Bernhard K. Aichernig,
Martin Weiglhofer,
Bernhard Peischl,
Franz Wotawa:
Test purpose generation in an industrial application.
A-MOST 2007: 115-125 |
| 5 | | Barbara Jobstmann,
Stefan Galler,
Martin Weiglhofer,
Roderick Bloem:
Anzu: A Tool for Property Synthesis.
CAV 2007: 258-262 |
| 4 | | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
DATE 2007: 1188-1193 |
| 3 | | Bernhard Peischl,
Martin Weiglhofer,
Franz Wotawa:
Executing Abstract Test Cases.
GI Jahrestagung (2) 2007: 416-421 |
| 2 | | Bernhard K. Aichernig,
Bernhard Peischl,
Martin Weiglhofer,
Franz Wotawa:
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
SEFM 2007: 215-226 |
| 1 | | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL.
Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007) |
