|
Publications:
| 2007 |
|
Aliki Ott
System Testing in the
Avionics Domain
Dissertation, Universität Bremen, 18.12.2007
|
|
|
|
| 2005 |
|
Aliki Ott
Comments to Draft 1 of
Project Paper 653 Part 3, Conformity Test Suite
APEX Working Group Meeting, Lisbon, June 7-9, 2005
|
|
|
|
|
|
Aliki Ott, Tobias Hartmann
Domain Specific V&V
Strategies for Aircraft Applications
6th ICSTEST International Conference on Software Testing,
Düsseldorf, April 6-8, 2005
|
|
|
|
| 2004 |
|
Aliki Tsiolakis
Model-based Test Data
Generation for Testing Integrated Modular Avionics
Dagstuhl Seminar Perspectives of Model-based
Testing , Schloß Dagstuhl, 5.-10.September 2004
|
|
|
Jan Peleska and Aliki Tsiolakis
State of the art and
trends in advanced commercial aircraft onboard
electronics (avionics) and assessment of
potential applicability to maritime applications
Contribution to InterSHIP, document VI.3-10-4.5a, July 2004.
|
|
|
O. Meyer, A. Tsiolakis,
S.-O. Berkhahn, J. Kruse, D. Martinen
Automated
Testing of Aircraft Controller Modules
5th International Conference on Software Testing,
Düsseldorf, April 2004
|
|
|
|
| 2002 |
|
Stefan
Bisanz and Aliki Tsiolakis
Using a Virtual
Reality Environment to Generate Test Specifications
Formal Approaches To Testing of Software 2002
(FATES'02) -- A satellite workshop of CONCUR'02, Brno,
Czech Republic, August 2002
|
|
|
Stefan
Bisanz and Aliki Tsiolakis
Test Development in
Virtual Environments
FM-TOOLS 2002 -- The 5th Workshop on Tools for System
Design and Verification, Reisensburg Castle, Germany,
July 2002
|
|
|
Jan Peleska
and Aliki Tsiolakis
Automated Integration
Testing for Avionics Systems
3rd ICSTEST International Conference on Software
Testing, April 2002
|
|
|
|
| 2001 |
|
Aliki
Tsiolakis
Integrating Model
Information in UML Sequence Diagrams
In Proc. of the Satellite Workshops of the 28th ICALP
(GT-VMT 2001), Electronic Notes in Theoretical Computer
Science 50 No. 3, July 2001
|
|
|
Aliki Tsiolakis
Semantic Analysis
and Consistency Checking of UML Sequence
Diagrams
Diplomarbeit, Technische Universität Berlin,
Technical Report No. 2001/06, April 2001
|
|
|
|
| 2000 |
|
Aliki
Tsiolakis
Consistency Analysis
of UML Class and Sequence Diagrams based on Attributed
Typed Graphs and their Transformation
Technische Universität Berlin, Technical Report
No. 2000/3, March 2000.
|
|
|
A. Tsiolakis, H. Ehrig
Consistency Analysis of
UML Class and Sequence Diagrams using Attributed Graph
Grammars
In Proc. GRATRA 2000 (Ehrig, Taentzer Eds.), TU Berlin,
FB Informatik, TR No. 2000-2, pp. 77-86, March 2000
|
Teaching:
Projects:
- KATO
- VICTORIA: Validation Platform for Integration of
Standardised Components, Technologies and Tools in an Open,
Modular and Improved Aircraft Electronic System
|
|
|
E-mail: |
tsio @ informatik.uni-bremen.de
|
| GPG |
Public
key
|
|
|
