Research Output per year
Research Output per year
Project Details
Description
CRYSTAL aims at fostering Europes leading edge position in embedded systems engineering in particular regarding quality and cost effectiveness of safety-critical embedded systems and architecture plattforms.
Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safty-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers.
Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safty-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers.
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/13 → 30/04/16 |
Research Output
-
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig, B., Maderbacher, B. & Tiran, S., 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, p. 52-60Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking
Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On-the-Fly Determinization of Networks of Timed Automata
Aichernig, B. K. & Lorber, F. L., 2016, Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, p. 14-21 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution