Niklas Bruns - Wissenschaftliche Veröffentlichungen

(1 - 13 von 15

)

AGRA | Team DetailAGRA | Uni Bremen

agra.informatik.uni-bremen.de

Niklas Bruns. My research area is the verification of systems. My current research focus is coverage-guided verification as well as cross-level verification ...

People SearchTechnische Universität Braunschweig

www.tu-braunschweig.de

Niklas Bruns. n.bruns(at)tu-braunschweig.de. Organisational Unit/Status: Student TU Braunschweig. Niklas Stege. n.stege(at)tu-braunschweig.de. Organisational ...

PhD ThesisAGRA | Uni Bremen

agra.informatik.uni-bremen.de

Dr. Pascal Pieper Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Portrait: Niklas Bruns. Dr. Niklas Bruns

Niklas BrunsDBLP

dblp.org

— Niklas Bruns, Vladimir Herdt, Rolf Drechsler : Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype ...

dblp: Niklas Bruns

dblp.uni-trier.de

List of computer science publications by Niklas Bruns

AGRA - Publications - Personal Publications

www.informatik.uni-bremen.de

Processor Verification using Symbolic Execution: A RISC-V Case-Study. Author: Niklas Bruns, Vladimir Herdt, Rolf Drechsler. Conference: › ...

AGRA - Publikationen - MitarbeiterpublikationenUniversität Bremen

www.informatik.uni-bremen.de

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler. Zeitschrift: IEEE Embedded Systems Letters (ESL). Details: accepted. › agra › ger › pub

AG Prof. Dr. med. Aghdassi - Klinik und Poliklinik für Innere Medizin Awww.medizin.uni-greifswald.de › inn_a

www.medizin.uni-greifswald.de

Niklas Bruns. cand. med. Johnnie Förster. Diana Krüger, Technische Assistentin. Deborah Gorisch, Diätassistentin. Interessenten für Promotionsprojekte sind ...

PersonensucheTechnische Universität Braunschweig

www.tu-braunschweig.de

Niklas Bruns. n.bruns(at)tu-braunschweig.de. Organisationseinheit/Status: Student TU Braunschweig. Niklas Stege. n.stege(at)tu-braunschweig.de.

Personensuche - Technische Universität BraunschweigTechnische Universität Braunschweig

www.tu-braunschweig.de

Niklas Bruns. n.bruns(at)tu-braunschweig.de. Organisationseinheit/Status: Student TU Braunschweig. Niklas Stege. n.stege(at)tu-braunschweig.de. › Personensuche

Former PhD-Students - Rolf DrechslerAGRA | Uni Bremen

agra.informatik.uni-bremen.de

PhD-Students. Dr. Pascal Pieper Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes, Dr. Niklas Bruns Virtual ...

Team Detail - AGRA | Uni Bremenagra.informatik.uni-bremen.de › team_me

agra.informatik.uni-bremen.de

Niklas Bruns. Mein Forschungsschwerpunkt ist die Verifikation von Systemen. Der derzeitige Fokus meiner Tätigkeit liegt auf der Coverage-getriebenen ...

Winter Osnabrück University

www.usf.uni-osnabrueck.de

Osnabrück University

Verwandte Suchanfragen zu Niklas Bruns

Anton Boeckel

Person "Bruns" (26)
Vorname "Niklas" (10322)
Name "Bruns" (2484)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Niklas Bruns