Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas G. Veneris

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Magdy S. Abadir

> Home > Persons > Andreas G. Veneris

Publications

2007
[c38]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/MangassarianVSNA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MangassarianVSNA07
Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir:
Maximum circuit activity estimation using pseudo-boolean satisfiability. DATE 2007: 1538-1543
2005
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/et/VenerisCAS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/VenerisCAS05
Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Sep Seyedi:
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG. J. Electron. Test. 21(5): 495-502 (2005)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/LiuAVS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/LiuAVS05
Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Veneris, Sean Safarpour:
Diagnosing multiple transition faults in the absence of timing information. ACM Great Lakes Symposium on VLSI 2005: 193-196
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/AliSVAD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/AliSVAD05
Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler:
Post-verification debugging of hierarchical designs. ICCAD 2005: 871-876
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/AliSVAD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/AliSVAD05
Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler:
Post-Verification Debugging of Hierarchical Designs. MTV 2005: 42-47
2004
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/AliVSSDA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/AliVSSDA04
Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir:
Debugging sequential circuits using Boolean satisfiability. ICCAD 2004: 204-209
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iscas/VenerisCAA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/VenerisCAA04
Andreas G. Veneris, Robert Chang, Magdy S. Abadir, Mandana Amiri:
Fault equivalence and diagnostic test generation using ATPG. ISCAS (5) 2004: 221-224
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/AliVSASDS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/AliVSASDS04
Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith:
Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49
2003
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/VenerisSA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/VenerisSA03
Andreas G. Veneris, Alexander Smith, Magdy S. Abadir:
Logic verification based on diagnosis techniques. ASP-DAC 2003: 93-98
2002
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/VenerisA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/VenerisA02
Andreas G. Veneris, Magdy S. Abadir:
Design rewiring using ATPG. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(12): 1469-1479 (2002)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/date/VenerisLAA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/VenerisLAA02
Andreas G. Veneris, Jiang Brandon Liu, Mandana Amiri, Magdy S. Abadir:
Incremental Diagnosis and Correction of Multiple Faults and Errors. DATE 2002: 716-721
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/VenerisAA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/VenerisAA02
Andreas G. Veneris, Magdy S. Abadir, Mandana Amiri:
Design Rewiring Using ATPG. ITC 2002: 223-232
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/latw/LiuVA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/LiuVA02
Jiang Brandon Liu, Andreas G. Veneris, Magdy S. Abadir:
Efficient and Exact Diagnosis of Multiple Stuck-At Faults. LATW 2002: 132-136
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/VenerisAT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/VenerisAT01
Andreas G. Veneris, Magdy S. Abadir, Ivor Ting:
Design rewiring based on diagnosis techniques. ASP-DAC 2001: 479-484
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/latw/TingVA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/TingVA01
Ivor Ting, Andreas G. Veneris, Magdy S. Abadir:
ATPG Driven Logic Synthesis for Delay and Power Minimization. LATW 2001: 96-99
2000
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/latw/VenerisAH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/VenerisAH00
Andreas G. Veneris, Magdy S. Abadir, Ibrahim N. Haji:
Design Optimization Based on Diagnosis Techniques. LATW 2000: 244-249

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.