Universitšt Bremen
  TZI   BISS   Universität Bremen
  Universität Bremen > FB 3 > TZI > BISS > AG BS >  
   

Dr.-Ing. Aliki Ott née Tsiolakis

 Deutsch
 English
Aliki Ott -- Picture


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:

WS 2001/02 Betriebssysteme 1
SS 2002 Betriebssysteme 2
WS 2002/03 Testautomatisierung
SS 2004 Testautomatisierung

Projects:

  • KATO
  • VICTORIA: Validation Platform for Integration of Standardised Components, Technologies and Tools in an Open, Modular and Improved Aircraft Electronic System


Address:
Aliki Ott
FB 3 - Informatik
Universität Bremen
P.O.B. 330 440
D-28334 Bremen
Germany
E-mail: tsio @ informatik.uni-bremen.de
GPG Public key

  Author: Aliki Ott
  AG BS Last modified: Februar 29, 2008 Impressum