Concepedia

Anna Slobodová

AS

Statistics

Publications

9

Citations

262

H-Index

9

Active since

1992

Affiliations

Universität Trier(Current)

Comenius University Bratislava

The University of Texas at Austin

Czech Academy of Sciences, Institute of Computer Science

Paderborn University

Anna Slobodová is an author at Universität Trier specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationHardware Security

Publications per year

1992–2017

9

Publications

9

Efficient OBDD-based boolean manipulation in CAD beyond current limits

Jochen Bern, Christoph Meinel, Anna Slobodová · 1995 · 47 citations

Circuit Complexity, Engineering, Boolean Function +22

Speeding up variable reordering of OBDDs

Christoph Meinel, Anna Slobodová · 2002 · 45 citations

Circuit Complexity, Engineering, Boolean Function +21

A flexible formal verification framework for industrial scale validation

Anna Slobodová, Jared Davis, Sol Swords et al. · 2011 · 45 citations

Industrial Scale Validation, Engineering, Hardware Verification Language +22

Industrial hardware and software verification with ACL2

Warren A. Hunt, Matt Kaufmann, J Strother Moore et al. · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2017 · 39 citations · Full text

Acl2 Specifications, Engineering, Acl2 Theorem Prover +26

Boolean manipulation with free BDD's. First experimental results

Jochen Bern, Jordan Gergov, Christoph Meinel et al. · 2002 · 22 citations

Circuit Complexity, Logic Synthesis, Engineering +11

1–5 of 9