2010

  • Paul Lokuciejewski, Sascha Plazar, Heiko Falk, Peter Marwedel and Lothar Thiele (2010). Multi-Objective Exploration of Compiler Optimizations for Real-Time Systems. In Proceedings of the 13th International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC) Carmona / Spain 115-122 [Abstract] [BibTex]

  • Peter Marwedel and Heiko Falk (2010). Reconciling compilers and timing analysis. Stockholm / Sweden [BibTex]

  • Wolfgang Kramper (2010). Simulation von Schwarmverhalten. Mensch & Buch: [BibTex]

  • Svetlana Torgasin and Karl-Heinz Zimmermann (2010). Algorithm for thermodynamically based prediction of DNA/DNA crosshybridization. International Journal of Bioinformatics Research and Applications (IJBRA). 6. (1), 82-97 [Abstract] [BibTex]

  • Rolf Drechsler and Goerschwin Fey (2010). Formal verification meets robustness checking - techniques and challenges (Tutorial). [BibTex]

  • Stephan Eggersglüß and Goerschwin Fey and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel and Rolf Drechsler (2010). MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics. Journal of Electronic Testing: Theory and Applications (JETTA). 307-322 [BibTex]

  • Stefan Frehse and Goerschwin Fey (2010). Kompositionelle Formale Robustheitsprüfung. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) 73-74 [BibTex]

  • Stefan Frehse and Goerschwin Fey and Rolf Drechsler (2010). A Better-Than-Worst-Case Robustness Measure. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 78-83 [BibTex]

  • Stefan Frehse and Goerschwin Fey and Rolf Drechsler (2010). A Better-Than-Worst-Case Robustness Measure. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ) 19-24 [BibTex]

  • Stefan Frehse and Goerschwin Fey and Rolf Drechsler (2010). A Better-Than-Worst-Case Robustness Measure. Int'l Test Conference (ITC) [BibTex]

  • Stefan Frehse and Goerschwin Fey and André Sülflow and Rolf Drechsler (2010). RobuCheck: A Robustness Checker for Digital Circuits. EUROMICRO Symposium on Digital System Design (DSD) 226-231 [BibTex]

  • Stefan Frehse and Goerschwin Fey and André Sülflow and Rolf Drechsler (2010). RobuCheck: A Robustness Checker for Digital Circuits. Workshop on Dynamic Aspects in Dependability Model for Fault-Tolerant Systems (DYADEM-FTS) 37-38 [BibTex]

2009

  • Oscar Mauricio Reyes Torres and Karl-Heinz Zimmermann (2009). Key exchange protocol using permutation parity machines. In Proceedings of the International Joint Conference on Computational Intelligence (IJCCI) Madeira / Portugal 496-501 [BibTex]

  • Heiko Falk and Jan C. Kleinsorge (2009). Optimal Static WCET-aware Scratchpad Allocation of Program Code. In Proceedings of the 46th Design Automation Conference (DAC) San Francisco / USA 732-737 [Abstract] [BibTex]

  • Heiko Falk (2009). WCET-aware Register Allocation based on Graph Coloring. In Proceedings of the 46th Design Automation Conference (DAC) San Francisco / USA 726-731 [Abstract] [BibTex]

  • Heiko Falk (Ed.) (2009). Proceedings of the 12th International Workshop on Software & Compilers for Embedded Systems (SCOPES). ACM: Nice / France [www] [BibTex]

  • Heiko Falk (2009). Compiler Techniques for hard Real-Time Systems (in German). Schloss Dagstuhl / Germany [BibTex]

  • Oscar Mauricio Reyes Torres, I. Kopitzke and Karl-Heinz Zimmermann (2009). Permutation parity machines for neural synchronization. Journal of Physics A: Mathematical and Theoretical. 42. (19), [Abstract] [BibTex]

  • Paul Lokuciejewski, Daniel Cordes, Heiko Falk and Peter Marwedel (2009). A Fast and Precise Static Loop Analysis based on Abstract Interpretation, Program Slicing and Polytope Models. In Proceedings of the International Symposium on Code Generation and Optimization (CGO) Seattle / USA 136-146 [Abstract] [BibTex]

  • Israel Marck Martinez-Perez and Karl-Heinz Zimmermann (2009). Parallel bioinspired algorithms for NP complete graph problems. Journal of Parallel and Distributed Computing (JPDC). 69. (3), 221-229 [Abstract] [BibTex]

  • Israel Marck Martinez-Perez, Karl-Heinz Zimmermann and Zoya Ignatova (2009). An autonomous DNA model for finite state automata. International Journal of Bioinformatics Research and Applications (IJBRA). 5. (1), 81-96 [Abstract] [BibTex]

  • Israel Marck Martinez-Perez, Zoya Ignatova and Karl-Heinz Zimmermann (2009). Exploiting the Features of the Finite State Automata for Biomolecular Computing. Journal on Recent Patents on DNA & Gene Sequences. 3. (2), 130-138 [Abstract] [BibTex]

  • Dominique Borrione and Rolf Drechsler and Emmanuelle Encrenaz-Tiphene and Goerschwin Fey (2009). Formal and Semi-formal Methods for Correctness and Robustness (Tutorial). [BibTex]

  • Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Daniel Tille (2009). Test Pattern Generation using Boolean Proof Engines. [BibTex]

  • Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Daniel Tille (2009). Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern. it - Information Technology. 102-111 [BibTex]

  • Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Daniel Tille (2009). SAT-based Automatic Test Pattern Generation. Evolutionary Test Generation Dagstuhl-Seminar [BibTex]

  • Rolf Drechsler and Goerschwin Fey (2009). Formale Verifikation und Robustheit (Tutorial). [BibTex]

  • Stefan Frehse and Goerschwin Fey and André Sülflow and Rolf Drechsler (2009). Robustness Check for Multiple Faults using Formal Techniques. EUROMICRO Symposium on Digital System Design (DSD) 85-90 [BibTex]

  • Stefan Frehse and Goerschwin Fey and André Sülflow and Rolf Drechsler (2009). Robustness Check for Multiple Faults using Formal Techniques. Workshop on Constraints in Formal Verification (CFV) [BibTex]

  • Goerschwin Fey and André Sülflow and Rolf Drechsler (2009). Computing Bounds for Fault Tolerance using Formal Techniques. Design Automation Conference (DAC) 190-195 [BibTex]

  • Goerschwin Fey (2009). Deterministic Algorithms for ATPG under Leakage Constraints. Asian Test Symposium (ATS) 313-316 [BibTex]

  • Goerschwin Fey (2009). Algorithms for ATPG under Leakage Constraints. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ) 91-96 [BibTex]

  • Toru Nakura and Yutaro Tatemura and Goerschwin Fey and Makoto Ikeda and Satoshi Komatsu and Kunihiro Asada (2009). SAT-Based ATPG Testing of Inter- and Intra-Gate Bridging Faults. European Conference on Circuit Theory and Design (ECCTD) 643-647 [BibTex]

  • Frank Rogin and Thomas Klotz and Goerschwin Fey and Rolf Drechsler and Steffen Rülke (2009). Advanced Verification by Automatic Property Generation. IET Computers and Digital Techniques. 338-353 [BibTex]

  • André Sülflow and Goerschwin Fey and Cecile Braunstein and Ulrich Kühne and Rolf Drechsler (2009). Increasing the Accuracy of SAT-based Debugging. Design, Automation and Test in Europe (DATE) 1326-1331 [BibTex]

  • André Sülflow and Goerschwin Fey and Cecile Braunstein and Ulrich Kühne and Rolf Drechsler (2009). Increasing the Accuracy of SAT-based Debugging. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) [BibTex]

  • André Sülflow and Goerschwin Fey and Rolf Drechsler (2009). Using QBF to Increase Accuracy of SAT-based Debugging. Workshop on Constraints in Formal Verification (CFV) [BibTex]

  • André Sülflow and Stefan Frehse and Goerschwin Fey and Rolf Drechsler (2009). Anwendungsbezogene Analyse der Robustheit von digitalen Schaltungen. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) 45-52 [BibTex]

  • André Sülflow and Ulrich Kühne and Goerschwin Fey and Daniel Große and Rolf Drechsler (2009). WoLFram - A Word Level Framework for Formal Verification. IEEE/IFIP Int'l Symposium on Rapid System Prototyping (RSP) 11-17 [BibTex]

  • André Sülflow and Robert Wille and Goerschwin Fey and Rolf Drechsler (2009). Evaluation of Cardinality Constraints on SMT-based Debugging. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL) 298-303 [BibTex]

  • Robert Wille and Goerschwin Fey and Daniel Große and Stephan Eggersglüß and Rolf Drechsler (2009). SWORD: A SAT like prover using word level information. VLSI-SoC: Advanced Topics on Systems on a Chip 175-192 [BibTex]

2008

  • Heiko Falk (2008). Memory-architecture aware compilation. Dresden / Germany [BibTex]

  • Peter Marwedel and Heiko Falk (2008). Memory-architecture aware compilation. Autrans / France [www] [BibTex]

  • Peter Marwedel and Heiko Falk (2008). Embedded Systems - with Emphasis on the Exploitation of the Memory Hierarchy. Seoul / South Korea [BibTex]

  • Zoya Ignatova, Israel Marck Martinez-Perez and Karl-Heinz Zimmermann (2008). DNA Computing Models. Springer: [Abstract] [BibTex]

  • Paul Lokuciejewski, Heiko Falk and Peter Marwedel (2008). WCET-driven Cache-based Procedure Positioning Optimizations. In Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS) Prague / Czech Republic 321-330 [Abstract] [BibTex]

  • Heiko Falk (Ed.) (2008). Proceedings of the 11th International Workshop on Software & Compilers for Embedded Systems (SCOPES). ACM: Munich / Germany [www] [BibTex]

  • Paul Lokuciejewski, Heiko Falk, Peter Marwedel and Henrik Theiling (2008). WCET-Driven, Code-Size Critical Procedure Cloning. In Proceedings of the 11th International Workshop on Software & Compilers for Embedded Systems (SCOPES) Munich / Germany 21-30 [Abstract] [BibTex]

  • Rolf Drechsler and Stephan Eggersglüß and Goerschwin Fey and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel and Daniel Tille (2008). On Acceleration of SAT-based ATPG for Industrial Designs. IEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD). 1329-1333 [BibTex]

  • Goerschwin Fey and Anna Bernasconi and Valentina Ciriani and Rolf Drechsler (2008). On the Construction of Small Fully Testable Circuits with Low Depth. Microprocessors and Microsystems (MICPRO). 263-269 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2008). A Basis for Formal Robustness Checking. Int'l Symposium on Quality Electronic Design (ISQED) 784-789 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2008). Robustness and Usability in Modern Design Flows. [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2008). Synthesis for Detection of Transient Faults. IEICE Workshop on Dependable Computing 161-166 [BibTex]

  • Goerschwin Fey and Satoshi Komatsu and Yasuo Furukawa and Masahiro Fujita (2008). Targeting Leakage Constraints during ATPG. Asian Test Symposium (ATS) 225-230 [BibTex]

  • Goerschwin Fey and Satoshi Komatsu and Yasuo Furukawa and Masahiro Fujita (2008). Targeting Leakage Constraints during ATPG. IEEE Int'l Workshop on Silicon Debug and Diagnosis (SDD) [BibTex]

  • Goerschwin Fey and Stefan Staber and Roderick Bloem and Rolf Drechsler (2008). Automatic Fault Localization for Property Checking. IEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD). 1138-1149 [BibTex]

  • Goerschwin Fey and Stefan Staber and Roderick Bloem and Rolf Drechsler (2008). Automatic Fault Localization for Property Checking. IEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD). 1138-1149 [BibTex]

  • Goerschwin Fey and André Sülflow and Stefan Frehse and Ulrich Kühne and Rolf Drechsler (2008). Formaler Nachweis der Fehlertoleranz von Schaltkreisen. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) 75-82 [BibTex]

  • Frank Rogin and Thomas Klotz and Goerschwin Fey and Rolf Drechsler and Steffen Rülke (2008). Automatic Generation of Complex Properties for Hardware Designs. Design, Automation and Test in Europe (DATE) 545-548 [BibTex]

  • Frank Rogin and Thomas Klotz and Steffen Rülke and Goerschwin Fey and Rolf Drechsler (2008). Effiziente automatische Generierung von Assertions für industrielle Hardware-Designs. Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS) [BibTex]

  • André Sülflow and Goerschwin Fey and Roderick Bloem and Rolf Drechsler (2008). Using Unsatisfiable Cores to Debug Multiple Design Errors. Great Lakes Symp. VLSI (GLS) 77-82 [BibTex]

  • André Sülflow and Goerschwin Fey and Roderick Bloem and Rolf Drechsler (2008). Debugging Design Errors by Using Unsatisfiable Cores. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 159-168 [BibTex]

  • André Sülflow and Goerschwin Fey and Rolf Drechsler (2008). Experimental Studies on SMT-based Debugging. IEEE Workshop on RTL and High Level Testing (WRTLT) 93-98 [BibTex]

  • André Sülflow and Goerschwin Fey and Stefan Frehse and Ulrich Kühne and Rolf Drechsler (2008). Computing Bounds for Fault Tolerance using Formal Techniques. Workshop on Design for Reliability and Variability (DRV) [BibTex]

  • Robert Wille and Goerschwin Fey and Marc Messing and Gerhard Angst and Lothar Linhard and Rolf Drechsler (2008). Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. EUROMICRO Symposium on Digital System Design (DSD) 542-549 [BibTex]

2007

  • Israel Marck Martinez-Perez (2007). Biomolecular Computing Models for Graph Problems and Finite State Automata. Hamburg / Germany [BibTex]

  • Peter Marwedel, Heiko Falk, Sascha Plazar, Robert Pyka and Lars Wehmeyer (2007). Automatic mapping to tightly-coupled memories and cache locking. Cambridge / UK [BibTex]

  • Heiko Falk, Sascha Plazar and Henrik Theiling (2007). Compile-Time Decided Instruction Cache Locking Using Worst-Case Execution Paths. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) Salzburg / Austria 143-148 [Abstract] [BibTex]

  • Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel and Henrik Theiling (2007). Influence of Procedure Cloning on WCET Prediction. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) Salzburg / Austria 137-142 [Abstract] [BibTex]

  • Karl-Heinz Zimmermann, Zoya Ignatova and Israel Marck Martinez-Perez (2007). Rechengen. Munich / Germany [www] [BibTex]

  • Israel Marck Martinez-Perez, Zoya Ignatova and Karl-Heinz Zimmermann (2007). Computational genes: a tool for molecular diagnosis and therapy of aberrant mutational phenotype. BMC Bioinformatics. 8. (365), [BibTex]

  • Paul Lokuciejewski, Heiko Falk, Martin Schwarzer and Peter Marwedel (2007). Tighter WCET Estimates by Procedure Cloning. In Proceedings of the 7th International Workshop on Worst-Case Execution Time Analysis (WCET) Pisa / Italy 27-32 [Abstract] [BibTex]

  • Heiko Falk and Peter Marwedel (Eds.) (2007). Proceedings of the 10th International Workshop on Software & Compilers for Embedded Systems (SCOPES). ACM: Nice / France [www] [BibTex]

  • Robert Pyka, Christoph Faßbach, Manish Verma, Heiko Falk and Peter Marwedel (2007). Operating system integrated energy aware scratchpad allocation strategies for multiprocess applications. In Proceedings ot the 10th International Workshop on Software & Compilers for Embedded Systems (SCOPES) Nice / France 41-50 [Abstract] [BibTex]

  • Björn Saballus, Markus Volkmer and Sebastian Wallner (2007). Secure Group Communication in Ad-Hoc Networks using Tree Parity Machines. In Proceedings of the 4th Workshop on Mobile Ad-Hoc Networks (WMAN) Bern / Switzerland [Abstract] [BibTex]

  • Rolf Drechsler and Goerschwin Fey and Sebastian Kinder (2007). An Integrated Approach for Combining BDDs and SAT Provers. Facta Universitatis. 415-436 [BibTex]

  • Stephan Eggersglüß and Goerschwin Fey and Rolf Drechsler and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel (2007). Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults. ACM/IEEE Int'l Conference on Formal Methods and Models for Codesign (MEMOCODE) 181-187 [BibTex]

  • Stephan Eggersglüß and Goerschwin Fey and Rolf Drechsler (2007). SAT-based ATPG for Path Delay Faults in Sequential Circuits. IEEE Int'l Symposium on Circuits and Systems (ISCAS) 3671-3674 [BibTex]

  • Goerschwin Fey and Anna Bernasconi and Valentina Ciriani and Rolf Drechsler (2007). On the Construction of Small Fully Testable Circuits with Low Depth. EUROMICRO Symposium on Digital System Design (DSD) 563-569 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2007). Ein formaler Ansatz zum Robustheitsnachweis. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) 101-108 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2007). Formal Robustness Checking. Workshop on Constraints in Formal Verification (CFV) [BibTex]

  • Goerschwin Fey and Daniel Große and Stephan Eggersglüß and Robert Wille and Rolf Drechsler (2007). Formal Verification on the Word Level using SAT-like Proof Techniques. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) [BibTex]

  • Goerschwin Fey and Tim Warode and Rolf Drechsler (2007). Using Structural Learning Techniques in SAT-based ATPG. VLSI Design Conference 69-74 [BibTex]

  • Goerschwin Fey (2007). Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques. Ausgezeichnete Informatikdissertationen 2006 29-38 [BibTex]

  • Daniel Große and Goerschwin Fey and Rolf Drechsler (editors) (2007). SATRIX - Algorithmen für Boolesche Erfüllbarkeit. [BibTex]

  • Sebastian Kinder and Goerschwin Fey and Rolf Drechsler (2007). Estimating the Quality of AND-EXOR Optimization Results. Int'l Workshop on Applications of the Reed-Muller Expansion in Circuit Design [BibTex]

  • André Sülflow and Goerschwin Fey and Rolf Drechsler (2007). Verbesserte SAT basierte Fehlerdiagnose durch Widerspruchanalyse. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) [BibTex]

  • Stephan Eggersglüß and Daniel Tille and Goerschwin Fey and Rolf Drechsler and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel (2007). Experimental Studies on SAT-based ATPG for Gate Delay Faults. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL) 6 (6 pages) [BibTex]

  • Daniel Tille and Stephan Eggersglüß and Görschwin Fey and Rolf Drechsler and Andreas Glowatz and Friedrich Hapke and Juergen Schloeffel (2007). Studies on Integrating SAT-based ATPG in an Industrial Environment. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ) [BibTex]

  • Daniel Tille and Goerschwin Fey and Rolf Drechsler (2007). Instance Generation for SAT-based ATPG. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS) [BibTex]

  • Robert Wille and Goerschwin Fey and Rolf Drechsler (2007). Building Free Binary Decision Diagrams Using SAT Solvers. Int'l Workshop on Applications of the Reed-Muller Expansion in Circuit Design [BibTex]

  • Robert Wille and Goerschwin Fey and Rolf Drechsler (2007). Building Free Binary Decision Diagrams Using SAT Solvers. Facta Universitatis. 381-394 [BibTex]

  • Robert Wille and Goerschwin Fey and Daniel Große and Stephan Eggersglüß and Rolf Drechsler (2007). SWORD: A SAT like prover using word level information. IEEE/IFIP Int'l Conference on VLSI and System-on-Chip (VLSI-SoC) 88-93 [BibTex]

2006

  • Andreas Ruttor and Markus Volkmer (2006). Theorie und Anwendungen von Tree Parity Machines für die Kryptographie. In Proceedings of Workshop über Kryptographie (Kryptowochenende 2006) Mannheim / Germany 20-22 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2006). SAT-based Calculation of Source Code Coverage for BMC. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 163-170 [BibTex]

  • Goerschwin Fey and Rolf Drechsler (2006). Minimizing the Number of Paths in BDDs - Theory and Algorithm. IEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD). 4-11 [BibTex]

  • Goerschwin Fey and Daniel Große and Rolf Drechsler (2006). Avoiding False Negatives in Formal Verification for Protocol-Driven Blocks. Design, Automation and Test in Europe (DATE) 1225-1226 [BibTex]

  • Goerschwin Fey and Junhao Shi and Rolf Drechsler (2006). Efficiency of multiple-valued encoding in SAT-based ATPG. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL) 25 (6 pages) [BibTex]

  • Goerschwin Fey and Junhao Shi and Rolf Drechsler (2006). Efficiency of multiple-valued encoding in SAT-based ATPG. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ) 107-108 [BibTex]

  • Goerschwin Fey (2006). Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques. [BibTex]

Eintrag 301-400 von 524
Download this list as BibTeX file.