Research output per year
Research output per year
Project Details
Description
Formal methods are mathematical development techniques and tools for producing computer-based systems of high-quality. This research activity investigates both, the mathematical foundations of software-engineering as well as the industrial application of these theories. A transfer of technology into the mainstream of systems development is slowly, but surely taking place, as several publications indicate.
| Status | Active |
|---|---|
| Effective start/end date | 1/01/95 → … |
Research output
-
Bounded Determinization of Timed Automata with Silent Transitions
Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Vol. 9268. p. 288-304 (Lecture Notes in Computer Science; vol. 9268).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
MoMuT::UML - model-based mutation testing for UML
Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. ., p. 1-6Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile