Best Student Paper Award at the 27th IEEE RTAS International Symposium

CASTOR member Matthias Becker and his collaborators received the best student paper award at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). RTAS is a top-tier conference with a focus on systems research related to embedded systems...

CASTOR contributes to software verification benchmark infrastructure

As part of the "WASP software arena" project, CASTOR contributed an extension to the "benchexec" infrastructure that has been used over the last ten years to evaluate various software verification tools for C and Java programs. CASTOR's contribution provides the setup...

Full Presentation of the tool DepClean (on Software Dependencies)

César Soto Valero, PhD student at KTH, gives a talk titled "DepClean: Automatically revealing bloated software dependencies in Maven projects" at FOSDEM, a major event on open-source software for software developers to meet, share ideas and collaborate. See the...

CASTOR Held the First Workshop on Dependable and Secure Systems

CASTOR successfully held the first Workshop on Dependable and Secure Systems on December 9th 2021. The workshop aimed at discussing challenges in engineering of dependable and secure systems and promoting an industry-academia cooperation in this area. The workshop...