Prof. Rolf Drechsler

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

2009 // Conference paper

Debugging of toffoli networks

Proceedings -Design, Automation and Test in Europe, DATE

Wille, R.; Große, D.; Frehse, S.; Dueck, G.W.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350059427&partnerID=MN8TOARS

2009 // Journal article

Efficient Satisfiability Solving Algorithms for Test Pattern Generation,Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern

IT - Information Technology

Drechsler, R.; Eggersglüß, S.; Fey, G.; Schlöffel, J.; Tille, D.

https://doi.org/10.1524/itit.2009.0529

2009 // Conference paper

Equivalence checking of reversible circuits

Proceedings of The International Symposium on Multiple-Valued Logic

Wille, R.; Grobe, D.; Miller, M.D.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2009.19

2009 // Conference paper

Evaluation of cardinality constraints on SMT-based debugging

Proceedings of The International Symposium on Multiple-Valued Logic

Sülflow, A.; Wille, R.; Fey, G.; Drechsler, R.

https://doi.org/10.1109/ISMVL.2009.28

2009 // Journal article

Exact multiple-control toffoli network synthesis with SAT techniques

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Große, D.; Wille, R.; Dueck, G.W.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-77955188604&partnerID=MN8TOARS

2009 // Journal article

Exact multiple-control toffoli network synthesis with SAT techniques

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Große, D.; Wille, R.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/TCAD.2009.2017215

2009 // Journal article

Exact synthesis of elementary quantum gate circuits

Journal of Multiple-Valued Logic and Soft Computing

Grobe, D.; Wille, R.; Dueck, G.W.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70449394629&partnerID=MN8TOARS

2009 // Conference paper

Increasing robustness of sat-based delay test generation using efficient dynamic learning techniques

Proceedings of the 14th IEEE European Test Symposium, ETS 2009

Eggersglüß, S.; Drechsler, R.

https://doi.org/10.1109/ETS.2009.13

2009 // Conference paper

Increasing the accuracy of SAT-based debugging

Proceedings -Design, Automation and Test in Europe, DATE

Sülflow, A.; Fey, G.; Braunstein, C.; Kühne, U.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350072658&partnerID=MN8TOARS

2009 // Conference paper

Induction-based formal verification of SystemC TLM designs

Proceedings - International Workshop on Microprocessor Test and Verification

Große, D.; Le, H.M.; Drechsler, R.

https://doi.org/10.1109/MTV.2009.16

2009 // Book

Non-clausal SAT and ATPG

Frontiers in Artificial Intelligence and Applications

Drechsler, R.; Junttila, T.; Niemelä, I.

https://doi.org/10.3233/978-1-58603-929-5-655

2009 // Conference paper

Overcoming limitations of the SystemC data introspection

Proceedings -Design, Automation and Test in Europe, DATE

Genz, C.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350074641&partnerID=MN8TOARS

2009 // Conference paper

Property analysis and design understanding

Proceedings -Design, Automation and Test in Europe, DATE

Kühne, U.; Große, D.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350055181&partnerID=MN8TOARS

2009 // Conference paper

Reversible logic Synthesis with Output Permutation

Proceedings: 22nd International Conference on VLSI Design - Held Jointly with 7th International Conference on Embedded Systems

Wille, R.; Große, D.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/VLSI.Design.2009.40

2009 // Conference paper

Robustness check for multiple faults using formal techniques

12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009

Frehse, S.; Fey, G.; Sülflow, A.; Drechsler, R.

https://doi.org/10.1109/DSD.2009.218

2009 // Conference paper

SMT-based stimuli generation in the SystemC verification library

2009 Forum on Specification and Design Languages, FDL 2009

Wille, R.; Große, D.; Haedicke, F.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-77951588560&partnerID=MN8TOARS

2009 // Conference paper

Speeding up SAT-based ATPG using dynamic clause activation

Proceedings of the Asian Test Symposium

Eggersglüß, S.; Tille, D.; Drechsler, R.

https://doi.org/10.1109/ATS.2009.26

2009 // Conference paper

Structural heuristics for SAT-based ATPG

Proceedings - 17th IFIP International Conference on Very Large Scale Integration, VLSI-SoC 2009

Tille, D.; Eggersglüß, S.; Le, H.M.; Drechsler, R.

https://doi.org/10.1109/VLSISOC.2009.6041334

2009 // Book

SWORD: A SAT like prover using word level information

IFIP International Federation for Information Processing

Wille, R.; Fey, G.; Große, D.; Eggersglüß, S.; Drechsler, R.

https://doi.org/10.1007/978-0-387-89558-1_10

2009 // Book

Test pattern generation using boolean proof engines

Test Pattern Generation using Boolean Proof Engines

Drechsler, R.; Eggersglüß, S.; Fey, G.; Tille, D.

https://doi.org/10.1007/978-90-481-2360-5

2009 // Conference paper

Timing arc based logic analysis for false noise reduction

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

Palla, M.; Bargfrede, J.; Eggersglüß, S.; Anheier, W.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-76349112249&partnerID=MN8TOARS

2009 // Conference paper

Using a two-dimensional fault list for compact automatic test pattern generation

2009 10th Latin American Test Workshop, LATW 2009

Messing, M.; Glowatz, A.; Hapke, F.; Drechsler, R.

https://doi.org/10.1109/LATW.2009.4813791

2009 // Journal article

Weighted A<sup>*</sup> search - unifying view and application

Artificial Intelligence

Ebendt, R.; Drechsler, R.

https://doi.org/10.1016/j.artint.2009.06.004

2009 // Conference paper

WoLFram - A word level framework for formal verification

Proceedings of the International Workshop on Rapid System Prototyping

Sülflow, A.; Kühne, U.; Fey, G.; Große, D.; Drechsler, R.

https://doi.org/10.1109/RSP.2009.21

2008 // Conference paper

A Basis for formal robustness checking

Proceedings of the 9th International Symposium on Quality Electronic Design, ISQED 2008

Fey, G.; Drechsler, R.

https://doi.org/10.1109/ISQED.2008.4479838

«‹27 / 39›»

Prof. Rolf Drechsler

Ökosystem

Publikationen

Debugging of toffoli networks

Efficient Satisfiability Solving Algorithms for Test Pattern Generation,Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern

Equivalence checking of reversible circuits

Evaluation of cardinality constraints on SMT-based debugging

Exact multiple-control toffoli network synthesis with SAT techniques

Exact multiple-control toffoli network synthesis with SAT techniques

Exact synthesis of elementary quantum gate circuits

Increasing robustness of sat-based delay test generation using efficient dynamic learning techniques

Increasing the accuracy of SAT-based debugging

Induction-based formal verification of SystemC TLM designs

Non-clausal SAT and ATPG

Overcoming limitations of the SystemC data introspection

Property analysis and design understanding

Reversible logic Synthesis with Output Permutation

Robustness check for multiple faults using formal techniques

SMT-based stimuli generation in the SystemC verification library

Speeding up SAT-based ATPG using dynamic clause activation

Structural heuristics for SAT-based ATPG

SWORD: A SAT like prover using word level information

Test pattern generation using boolean proof engines

Timing arc based logic analysis for false noise reduction

Using a two-dimensional fault list for compact automatic test pattern generation

Weighted A<sup>*</sup> search - unifying view and application

WoLFram - A word level framework for formal verification

A Basis for formal robustness checking

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

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