Wissenschaftsschwerpunkt der

logo-mmm-w
logo-mmm-w
© Jörg Sarbach
© Jörg Sarbach
Prof. Rolf Drechsler
  • Fachbereich: Fachbereich 3 - Mathematik & Informatik
  • Fachgebiet: Computer Architecture (systems descriptions, test and verification, synthesis) Further Information: Group of Computer Architecture; Group of Reliable Embedded Systems; DFKI Cyber Physical Systems
  • Büro: MZH 4330

Weitere Informationen:

AG Rechnerarchitektur & Zuverlässige Eingebettete Systeme; DFKI Cyber Physical Systems

Ökosystem

Mitglied des Direktoriums des Wissenschaftsschwerpunkts "Minds, Media, Machines"
Leiter der Arbeitsgruppe Rechnerarchitektur
Direktor der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI)
Mitgründer und Sprecher des Data Science Center (DSC) an der Universität Bremen
Dekan des Fachbereichs 3 Mathematik/Informatik
Betreuer für das Graduiertenkolleg „CAUSE“
Mitglied des CoAI JRC Joint Research Center on Cooperative and Cognition enabled AI
Mitglied des Direktoriums des Forschungscluster "Logdynamics"
Publikationen
2015 // Conference paper

Automated feature localization for dynamically generated SystemC designs

Proceedings -Design, Automation and Test in Europe, DATE

Stoppe, J.; Wille, R.; Drechsler, R.
http://www.scopus.com/inward/record.url?eid=2-s2.0-84929347571&partnerID=MN8TOARS
2015 // Conference paper

Automated feature localization for dynamically generated SystemC designs

Proceedings -Design, Automation and Test in Europe, DATE

Stoppe, J.; Wille, R.; Drechsler, R.
2015 // Conference paper

Automatic refinement checking for formal system models

Forum on Specification and Design Languages

Seiter, J.; Wille, R.; Kuhne, U.; Drechsler, R.
https://doi.org/10.1109/FDL.2014.7119339
2015 // Conference paper

Automating the translation of assertions using natural language processing techniques

Forum on Specification and Design Languages

Soeken, M.; Harris, C.B.; Abdessaied, N.; Harris, I.G.; Drechsler, R.
https://doi.org/10.1109/FDL.2014.7119356
2015 // Conference paper

BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits

Proceedings of the IEEE International Conference on VLSI Design

Schönborn, E.; Datta, K.; Wille, R.; Sengupta, I.; Rahaman, H.; Drechsler, R.
https://doi.org/10.1109/VLSID.2015.79
2015 // Journal article

Benefits of illustrations and videos for technical documentations

Computers in Human Behavior

Große, C.S.; Jungmann, L.; Drechsler, R.
https://doi.org/10.1016/j.chb.2014.11.095
2015 // Conference paper

Checking concurrent behavior in UML/OCL models

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings

Przigoda, N.; Hilken, C.; Wille, R.; Peleska, J.; Drechsler, R.
https://doi.org/10.1109/MODELS.2015.7338248
2015 // Conference paper

Contradiction Analysis for Inconsistent Formal Models

Proceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015

Przigoda, N.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/DDECS.2015.52
2015 // Book

Coverage of OCL operation specifications and invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Soeken, M.; Seiter, J.; Drechsler, R.
https://doi.org/10.1007/978-3-319-21215-9_12
2015 // Conference paper

Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits

20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015

Lye, A.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/ASPDAC.2015.7059001
2015 // Journal article

Embedding of large boolean functions for reversible logic

ACM Journal on Emerging Technologies in Computing Systems

Soeken, M.; Wille, R.; Keszocze, O.; Michael Miller, D.; Drechsler, R.
https://doi.org/10.1145/2786982
2015 // Conference paper

Envisioning self-verification of electronic systems

10th International Symposium on Reconfigurable and Communication-centric Systems-on-Chip, ReCoSoC 2015

Drechsler, R.; Franzle, M.; Wille, R.
https://doi.org/10.1109/ReCoSoC.2015.7238101
2015 // Conference paper

Exact routing for digital microfluidic biochips with temporary blockages

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

Keszocze, O.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/ICCAD.2014.7001383
2015 // Book

Formal specification level: Concepts, methods, and algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Soeken, M.; Drechsler, R.
https://doi.org/10.1007/978-3-319-08699-6
2015 // Journal article

Incorporating user preferences in many-objective optimization using relation ε-preferred

Natural Computing

Drechsler, N.; Sülflow, A.; Drechsler, R.
https://doi.org/10.1007/s11047-014-9422-0
2015 // Book

Lazy-CSeq-SP: Boosting sequentialization-based verification of multi-threaded c programs via symbolic pruning of redundant schedules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
https://doi.org/10.1007/978-3-319-24953-7_18
2015 // Conference paper

Leveraging the analysis for invariant independence in formal system models

Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

Przigoda, N.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/DSD.2015.85
2015 // Conference paper

MetaSMT: A unified interface to SMT-LIB2

Forum on Specification and Design Languages

Riener, H.; Soeken, M.; Werther, C.; Fey, G.; Drechsler, R.
https://doi.org/10.1109/FDL.2014.7119353
2015 // Conference paper

Multi-objective BDD optimization with evolutionary algorithms

GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference

Shirinzadeh, S.; Soeken, M.; Drechsler, R.
https://doi.org/10.1145/2739480.2754718
2015 // Book

Preface

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Drechsler, R.; Kühne, U.
https://doi.org/10.1007/978-3-658-09994-7
2015 // Conference paper

Recurrence relations revisited: Scalable verification of bit level multiplier circuits

Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI

Sayed-Ahmed, A.; Kühne, U.; Große, D.; Drechsler, R.
https://doi.org/10.1109/ISVLSI.2015.45
2015 // Conference paper

Requirement Phrasing Assistance Using Automatic Quality Assessment

Proceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015

Allahyari-Abhari, A.; Soeken, M.; Drechsler, R.
https://doi.org/10.1109/DDECS.2015.19
2015 // Conference paper

Reverse BDD-based synthesis for splitter-free optical circuits

20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015

Wille, R.; Keszocze, O.; Hopfmuller, C.; Drechsler, R.
https://doi.org/10.1109/ASPDAC.2015.7059000
2015 // Conference paper

Reversible circuit rewriting with simulated annealing

IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC

Abdessaied, N.; Soeken, M.; Dueck, G.W.; Drechsler, R.
https://doi.org/10.1109/VLSI-SoC.2015.7314431
2015 // Conference paper

Safe IP Integration Using Container Modules

Proceedings - 2014 5th International Symposium on Electronic System Design, ISED 2014

Drechsler, R.; Kuhne, U.
https://doi.org/10.1109/ISED.2014.8

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.

mmm@uni-bremen.de 

  • 2026 Minds, Media, Machines

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.

mmm@uni-bremen.de 

  • 2026 Minds, Media, Machines