Friday, 5 August 2016

Professional Activities in 2016

I have been invited to serve on the PC of SVT 2017, the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track that will be held in Marrakech, Morocco, April 3 – 7, 2017.

 Here is a summary of my activities in 2016:

Friday, 5 February 2016

Designing Embedded Domain-Specific Languages in Scala

I am glad to share with you an excellent Bachelor's thesis written by Philipp Gabler and supervised by me. The topic is fascinating as it discusses the features of the programming language Scala to support the design of DSLs. It includes a case-study on our modeling language for model-based testing.

Philipp Gabler, Designing Embedded Domain-Specific Languages in Scala: a Case Study with Action Systems, Bachelor's Thesis, Graz University of Technology, Institute for Software Technology,  June 2015.

Here is the PDF for download.

Thursday, 22 October 2015

10 PhD Positions in Dependable Internet of Things

We have 10 PhD positions in my new project:

Graz University of Technology (TU Graz) has recently established an
Excellence Research Center entitled "Dependable Internet of Things
in Adverse Environments", for further information see
http://dependablethings.tugraz.at. The mission of this long-term
center is to foster a highly interdisciplinary research team
spanning the computer science and electrical engineering faculties
to lay the scientific foundations for an Internet of Things that
is highly reliable, safe, and secure in order to enable critical
applications that require guaranteed performance even in adverse
environments. The center is seeking to fill 10 PhD positions with
excellent candidates, who will work closely together in four
subprojects that focus on the following topics:

1. Dependable Wireless Communication and Localization (three
   positions in wireless networking, physical layer signal
   processing, and tunable microwave frontends)

2. Dependable Embedded Computing (two positions in embedded
   hardware and software with a focus on security and real-time
   operating systems)

3. Dependable Composition of Smart Things (three positions in
   model checking, model-based testing, and machine learning)

4. Dependable Networked Control (two positions in control theory
   and information theory)

Applicants must hold a Master degree (or equivalent) in computer
engineering, computer science, or electrical engineering before
they can take on the position. Proficiency in the English language
(spoken and written) is required. Applicants should be highly
motivated, have initiative and responsibility, be able to work
independently and in an interdisciplinary team, should have
interest in scientific research, should have commitment to
publish research results and to obtain a doctoral degree.

The positions are to be filled from January 1, 2016 with an
initial appointment for three years. The position is remunerated
according to the collective contract (Kollektivvertrag) for
Austrian Universities, i.e., the salary amounts to at least
37.280 EUR/year before taxes and may increase depending on prior
experience.

TU Graz aims to increase the number of female employees and
therefore specifically invites qualified women to apply.

TU Graz is a leading technical university in Austria (ranking
151-200 in the world in engineering in the Shanghai Ranking)
in a medium-sized city with a very high quality of life,
located at the south-eastern foot of the Alps, offering
plentiful recreation opportunities.

Applicants should fill in the application form at
with a transcript of records, a copy of the master's degree,
a recent certificate of the level of proficiency of the English
language, and a copy of the master's thesis at
The application deadline is November 30, 2015. For further
information please contact the center coordinator Prof. Kay
Roemer <roemer@tugraz.at>.

Thursday, 20 August 2015

Professional Activities in 2015

The professional life of a researcher is exciting! Here are some of my activities in 2015:
  • PC Co-Chair of TAP 2016, the 10th International Conference on Tests & Proofs, July 2016,Vienna, Austria.
  • Associate Editor of the new open access journal Frontiers in ICT, section Formal Methods 
  • Presentation at FMICS 2015Require, Test and Trace IT
  • Presentation at Festschrift Symposium in Honor of Jose Nuno Oliveira, Guimaraes, Portugal, 26 Sep 2015: Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation.
  • Co-Organizer of the Doctoral Symposium of Formal Methods 2015
  • Invited tutorial at SQAMIA 2015: Killing Bugs in a Black Box with Model-based Testing: from Science via Tool Development to Industrial Application
  • Key Researcher in the Dependable Things project
  • Key Researcher in the TRUCONF project
  • Key Researcher in the CRYSTAL project
  • PC Member and Publicity Chair of ICST 2015
  • PC Member of FM 2015
  • PC Member of MBT 2015
  • PC Member of SEFM 2015
  • PC Member of TAP 2015
  • Reviewer for the journals Formal Aspects of ComputingScience of Computer Programming,  Logical and Algebraic Methods in Programming, and Information and Software Technology.
  • Board Member of Formal Methods Europe
  • Chair of the Study Commission for the studies Computer Science, Software Development and Business Management, and the Teacher Learning Programme Computer Science at TU Graz
  • Voting Member of the Selection Commission for Admission to the Master's Program in Computer Science at TU Graz
  • Teaching Quality Assurance in Software Development (84 students)
  • Teaching Software Paradigms (263 students)
  • Teaching Model-based Testing (24 students)
  • Teaching Logic and Logic Programming (170 students)
  • Teaching Functional Programming (149 students)