Publikationen pro Jahr
Publikationen pro Jahr
Projektdetails
Beschreibung
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 | Abgeschlossen |
|---|---|
| Tatsächlicher Beginn/ -es Ende | 1/05/13 → 30/04/16 |
Fingerprint
Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen 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, S. 52-60Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 409-426Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
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, Band 9660. S. 15-32 18 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig, B. (Redner/in)
22 Apr. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Celebration Event for Frank de Boer's 60th Birthday
Aichernig, B. (Redner/in)
3 Apr. 2016Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
-
SQAMIA 2015, 4th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications 8-10 June, 2015,
Aichernig, B. (Redner/in)
10 Juni 2015Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science