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.
| Status | Finished |
|---|---|
| Effective start/end date | 1/05/13 → 30/04/16 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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 paper › peer-review
-
Require, test, and trace IT
Aichernig, B. K., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 2017, In: International Journal on Software Tools for Technology Transfer. 19, p. 409-426Research output: Contribution to journal › Article › peer-review
Open Access -
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 paper › peer-review
-
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Speaker)
22 Apr 2019Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Bernhard Aichernig (Speaker)
3 Apr 2016Activity: Talk or presentation › Invited talk › Science to science
-
SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,
Bernhard Aichernig (Speaker)
10 Jun 2015Activity: Talk or presentation › Invited talk › Science to science