M.Sc. Visar Januzaj

Allgemein:

Raumnummer: A2 Süd - 118
E-Mail: Visar.Januzaj(at)remove-this.hs-rm.de
Telefon: +49 (0) 6142 898 4433
Fax: +49 (0) 6142 898 4421

Postanschrift:

Postfach 3251
65022 Wiesbaden

Besucheranschrift:

Am Brückweg 26
65428 Rüsselsheim

Sprechzeiten:

Nach Vereinbarung.

Research interests

  • Modelling and analysis of avionics systems.
  • Design space exploration.
  • Formal methods, especially Petri nets.
  • Model-based development.
  • Timing analysis.
  • Data mining.

Awards

Best Paper Award
“An Application of Data Mining to Identify Data Quality Problems”
ADVCOMP 2009 - International Conference on Advanced Engineering Computing and Applications in Sciences

Beste Betreuung im Fachbereich Informatik an der TU Darmstadt.
Im Wintersemester 2011/2012 für die Veranstaltung “Formale Grundlagen der Informatik 3”

Publications

Visar Januzaj, Stefan Kugele, Florian Biechele, and Ralf Mauersberger
A Configuration Approach for IMA Systems
In The 10th International Conference on Software Engineering and Formal Methods, SEFM 2012,
Thessaloniki, Greece, Volume 7504 LNCS, pages 203-217, 2012 Springer


Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian
Schallhart, Michael Tautschnig, and Helmut Veith
Seamless Testing for Models and Code
In Dimitra Giannakopoulou and Fernando Orejas, editors,
Fundamental Approaches in Software Engineering, FASE 2011,
Volume 6603 of Lecture Notes in Computer Science,
Saarbrücken, Germany, pages 278-293, 2011, Springer


Andreas Holzer, Visar Januzaj, Stefan Kugele, and Michael Tautschnig
Timely Time Estimates
In Tiziana Margaria and Bernhard Steffen, editors, 4th International Symposium on
Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2010,
Volume 6415 of LNCS, Heraklion, Crete, Greece, pages 33-46, October 2010, Springer


Visar Januzaj
Configuring Avionics Systems Modelled in AADL (Abstract)
In Proceedings of the 5th Annual Meeting of Institute Alb-Shkenca, Tirana,
Albania, September 2010


Andreas Holzer, Visar Januzaj, and Stefan Kugele
Towards Resource Consumption-Aware Programming
In Proceedings of the International Conference on Software Engineering Advances,
ICSEA 2009, Porto, Portugal, September 2009, IEEE Computer Society


Eshref Januzaj and Visar Januzaj
An Application of Data Mining to Identify Data Quality Problems
In Proceedings of the Third International Conference on Advanced
Engineering Computing and Applications in Sciences, ADVCOMP 2009,
Sliema, Malta, October 2009, IEEE Computer Society


Visar Januzaj and Stefan Kugele
Model Analysis via a Translation Schema to Coloured Petri Nets
In D. Moldt, editor, Proceedings of the International Workshop on Petri Nets
and Software Engineering, PNSE '09, Paris, France, 273-292, June 2009


Visar Januzaj, Ralf Mauersberger, and Florian Biechele
Performance Modelling for Avionics Systems
In 12th International Conference on Computer Aided Systems Theory - EUROCAST 2009,
Volume 5717 of Lecture Notes in Computer Science, Las Palmas, Gran
Canaria, pages 833-840, 15 - 20 February 2009, Springer


Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian
Schallhart, Michael Tautschnig, and Helmut Veith
Slope Testing for Activity Diagrams and Safety Critical Software
Technical report TUD-CS-2009-0184, TU Darmstadt, October 2009


Visar Januzaj
Towards Improvements in Design and Analysis of Embedded Systems (Abstract)
In Proceedings of the 3rd Annual Meeting of Institute Alb-Shkenca,
Tirana, Albania, September 2008


Visar Januzaj
CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets
In Kurt Jensen, editor, Eighth Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools, CPN ’07, Aarhus, Denmark,
22 - 24 October 2007