Concepedia

Stephan Eggersglüß

SE

14

Publications

335

Citations

13

H-Index

2007

Active since

Affiliations

University of Bremen(Current)

German Research Centre for Artificial Intelligence

Stephan Eggersglüß is an author at University of Bremen specializing in engineering, computer engineering, and software testing.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsSoftware TestingFormal VerificationVerificationSatisfiabilityProgram AnalysisDesign For Testing

Publications per year

2007–2023

14

Publications

14

Improved SAT-based ATPG: More constraints, better compaction

Stephan Eggersglüß, Robert Wille, Rolf Drechsler · 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2013 · 55 citations

Computational Complexity Theory, Engineering, Verification +18

SWORD: A SAT like prover using word level information

Robert Wille, Görschwin Fey, Daniel Große et al. · 2007 · 47 citations

Engineering, Verification, Computer-aided Verification +22

Improved SAT-based ATPG: more constraints, better compaction

Stephan Eggersglüß, Robert Wille, Rolf Drechsler · International Conference on Computer Aided Design · 2013 · 42 citations

Computational Complexity Theory, Engineering, Verification +18

On Optimization-Based ATPG and Its Application for Highly Compacted Test Sets

Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2016 · 25 citations

Mathematical Programming, Engineering, Test Data Generation +17

Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application

Stephan Eggersglüß, Rolf Drechsler · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2011 · 21 citations

Engineering, Verification, Computer Architecture +21

Rows per page

1–5 of 14