Publications RIC

In: Mario A. Pfannstiel. Künstliche Intelligenz im Gesundheitswesen. Chapter 40 Pages 335-350 Springer Fachmedien Wiesbaden 3/2022.

To the publication

In: Proceedings of the 44th. International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2022) Biomedical Engineering transforming the provision of healthcare: promoting wellness through personalized & predictable provision at the point of care July 11-15 Glasgow United Kingdom IEEE Xplore 2022.

To the publication

In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2021) 9th February 8-10 Online-Conference 2021.

To the publication

In: Slimane Hammoudi, Luís Ferreira Pires, Bran Selić (editor). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valletta Malta Springer 2021.

To the publication

In: Proceedings of the Upper-Rhine Artificial Intelligence Symposium (UR-AI 2021). Upper-Rhine Artificial Intelligence Symposium (UR-AI-2021) October 27-27 Kaiserslautern Germany 2021.

To the publication

In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020) 25th January 13-16 Beijing China 2020.

To the publication

In: 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020) February 25-27 Valetta Malta 2020.

To the publication

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020) March 9-13 Grenoble France IEEE 2020.

To the publication

In: Peter Csaba Ölveczky, Gwen Salaün (editor). Software Engineering and Formal Methods - 17th International Conference, Proceedings.. International Conference on Software Engineering and Formal Methods (SEFM-2019) September 16-20 Oslo Norway Pages 454-468 Lecture Notes in Computer Science (LNCS) 11724 ISBN 978-3-030-30446-1 Springer Cham 9/2019.

To the publication

Robotics Innovation Center

PUBLICATIONS

Das Bremen Ambient Assisted Living Lab und darüber hinaus – Intelligente Umgebungen, Smarte Services und Künstliche Intelligenz in der Medizin für den Menschen

Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation

Etablierung eines kooperativen Forschungsdatenmanagements in der U Bremen Research Alliance

Performance Aspects of Correctness-oriented Synthesis Flows

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

Modeling for Explainability: Ethical Decision-Making in Automated Resource Allocation

Towards Automatic Hardware Synthesis from Formal Specification to Implementation

Integer Overflow Detection in Hardware Designs at the Specification Level

Verification Runtime Analysis: Get the Most Out of Partial Verification

Let's Prove It Later --- Verification at Different Points in Time

Links

Contact

Main site in Bremen

Subsidiary Office

Follow us on:

Editor

Newsletter

Locations