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 |
-
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
-
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
-
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 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