Fabio Somenzi

发表

Approximation and decomposition of binary decision diagrams

Kenneth L. McMillan, Kavita Ravi, Thomas R. Shiple, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Variable ordering and selection of FSM traversal

Fabio Somenzi, Gary D. Hachtel, Seon-Woong Jeong, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Probabilistic Analysis of Large Finite State Machines

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1994, 31st Design Automation Conference.

Fine-grain abstraction and sequential do not cares for large scale model checking

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 1999, CAV.

Advances in Concurrent Multilevel Simulation

Silvano Gai, Fabio Somenzi, Ernst G. Ulrich, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A Performance Study of BDD-Based Model Checking

Olivier Coudert, David R. O'Hallaron, Randal E. Bryant, 1998, FMCAD.

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2006, Series on Integrated Circuits and Systems.

Function decomposition and synthesis using linear sifting

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 1998, Proceedings of 1998 Asia and South Pacific Design Automation Conference.

Prime clauses for fast enumeration of satisfying assignments to Boolean circuits

Fabio Somenzi, HoonSang Jin, 2005, Proceedings. 42nd Design Automation Conference, 2005..

Safety first: a two-stage algorithm for the synthesis of reactive systems

Fabio Somenzi, Saqib Sohail, 2012, International Journal on Software Tools for Technology Transfer.

IC3: Where monolithic and incremental meet

Fabio Somenzi, Aaron R. Bradley, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

Logic synthesis and verification algorithms

Fabio Somenzi, Gary D. Hachtel, G. Hachtel, 1996 .

Don't cares and global flow analysis of Boolean networks

Robert K. Brayton, Fabio Somenzi, Ellen Sentovich, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

A Symbolic Algorithms for Maximum Flow in 0-1 Networks

Fabio Somenzi, Gary D. Hachtel, 1997, Formal Methods Syst. Des..

Automatic invariant strengthening to prove properties in bounded model checking

Fabio Somenzi, Mohammad Awedh, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Exact and heuristic algorithms for the minimization of incompletely specified state machines

Fabio Somenzi, Gary D. Hachtel, June-Kyung Rho, 1991, Proceedings of the European Conference on Design Automation..

Symbolic guided search for CTL model checking

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, Proceedings 37th Design Automation Conference.

A Study of Sweeping Algorithms in the Context of Model Checking

Yan Zhang, Fabio Somenzi, Zyad Hassan, 2011, DIFTS@FMCAD.

Algebraic decision diagrams and their applications

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis

Fabio Somenzi, HoonSang Jin, Andreas Kuehlmann, 2002, TACAS.

Boolean techniques for low power driven re-synthesis

Fabio Somenzi, R. Iris Bahar, 1995, ICCAD.

On-the-Fly Clause Improvement

Fabio Somenzi, HyoJung Han, F. Somenzi, 2009, SAT.

The Perforinance of the Concurrent Fault Sirriulation Algorithms in MOZART

Silvano Gai, Fabio Somenzi, 1988 .

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking

Fabio Somenzi, HoonSang Jin, F. Somenzi, 2005, Electron. Notes Theor. Comput. Sci..

Verification of systems containing counters

Enrico Macii, Fabio Somenzi, Bernard Plessier, 1992, ICCAD.

Efficient handling of obligation constraints in synthesis from omega-regular specifications

Fabio Somenzi, Saqib Sohail, F. Somenzi, 2013, 2013 Formal Methods in Computer-Aided Design.

Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure

Chao Wang, Bing Li, Fabio Somenzi, 2005, International Journal on Software Tools for Technology Transfer.

The Compositional Far Side of Image Computation

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2003, ICCAD 2003.

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives pdf

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, ArXiv.

CMOS dynamic power estimation based on collapsible current source transistor modeling

Abelardo Pardo, Peter Feldmann, Fabio Somenzi, 1995, ISLPED '95.

Low Power Design

Massoud Pedram, Enrico Macii, Fabio Somenzi, 1998 .

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

The performance of the concurrent fault simulation algorithms in MOZART

Silvano Gai, Fabio Somenzi, Pier Luca Montessoro, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

Inductive verification of iterative systems

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Clause simplification through dominator analysis

Fabio Somenzi, HoonSang Jin, HyoJung Han, 2011, 2011 Design, Automation & Test in Europe.

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, TACAS.

On Complementing Nondeterministic Büchi Automata

Orna Kupferman, Moshe Y. Vardi, Fabio Somenzi, 2003, CHARME.

Border-Block Triangular Form and Conjunction Schedule in Image Computation

In-Ho Moon, Fabio Somenzi, Gary D. Hachtel, 2000, FMCAD.

The Charme of Abstract Entities

Fabio Somenzi, 2003, CHARME.

Divide and Compose: SCC Refinement for Language Emptiness

Chao Wang, Kavita Ravi, Fabio Somenzi, 2001, CONCUR.

Testing strategies for PLA based circuits

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1983 .

Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States

Fabio Somenzi, Mohammad Awedh, F. Somenzi, 2004, FMCAD.

VIS: A System for Verification and Synthesis

Tiziano Villa, Stephen A. Edwards, Szu-Tsung Cheng, 1996, CAV.

An exact minimizer for Boolean relations

Robert K. Brayton, Fabio Somenzi, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Extended BDD's: trading off canonicity for structure in verification algorithms

Seh-Woong Jeong, Fabio Somenzi, Gary D. Hachtel, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Efficient manipulation of decision diagrams

Fabio Somenzi, F. Somenzi, 2001, International Journal on Software Tools for Technology Transfer.

Improved Visibility in One-to-Many Trace Concretization

Fabio Somenzi, Kuntal Nanshi, 2008, 2008 Design, Automation and Test in Europe.

CUDD: CU Decision Diagram Package Release 2.2.0

Fabio Somenzi, F. Somenzi, 1998 .

Redundancy identification and removal based on implicit state enumeration

Fabio Somenzi, Gary D. Hachtel, Hyunwoo Cho, 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking

Fabio Somenzi, HoonSang Jin, Mohammad Awedh, 2004, CAV.

Satisfiability-based abstraction refinement in symbolic model checking

Bing Li, Fabio Somenzi, 2006 .

Efficient Term-ITE Conversion for Satisfiability Modulo Theories

Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2009, SAT.

Decomposing image computation for symbolic reachability analysis using control flow information

David Ward, Fabio Somenzi, 2006, ICCAD.

Periodic signal suppression in a concurrent fault simulator

Fabio Somenzi, Tara Weber, 1991, Proceedings of the European Conference on Design Automation..

A symbolic algorithm for maximum flow in 0-1 networks

Fabio Somenzi, Gary D. Hachtel, 1993, ICCAD.

A new algorithm for the binate covering problem and its application to the minimization of Boolean relations

Seh-Woong Jeong, Fabio Somenzi, 1992, ICCAD.

Markovian analysis of large finite state machines

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Safety first: A two-stage algorithm for LTL games

Fabio Somenzi, Saqib Sohail, 2009, 2009 Formal Methods in Computer-Aided Design.

Disequality Management in Integer Difference Logic via Finite Instantiations

Fabio Somenzi, HoonSang Jin, Hyondeuk Kim, 2007, J. Satisf. Boolean Model. Comput..

Efficient reachability algorithms in symbolic model checking

In-Ho Moon, Fabio Somenzi, 2000 .

Preface

Fabio Somenzi, Roderick Bloem, Marco Roveri, 2007, Electron. Notes Theor. Comput. Sci..

ATPG aspects of FSM verification

Seh-Woong Jeong, Eric M. Schwarz, Fabio Somenzi, 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Analysis of Symbolic SCC Hull Algorithms

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2002, FMCAD.

Automatic state space decomposition for approximate FSM traversal based on circuit analysis

Enrico Macii, Massimo Poncino, Fabio Somenzi, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

To split or to conjoin: the question in image computation

In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000, DAC.

A symbolic method to reduce power consumption of circuits containing false paths

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, ICCAD '94.

Extended BDDs: Trading of canonicity for structure in verification algorithms

Fabio Somenzi, Gary D. Hachtel, Bernard Plessier, 1991, Formal Methods Syst. Des..

Hints to accelerate Symbolic Traversal

Kavita Ravi, Fabio Somenzi, F. Somenzi, 1999, CHARME.

Sequential logic optimization based on state space decomposition

Fabio Somenzi, Hyunwoo Cho, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

A New Integrated System for PLA Testing and Verification

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1983, 20th Design Automation Conference Proceedings.

The role of prime compatibles in the minimization of finite state machines

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Symmetry Detection And Dynamic Variable

Fabio Somenzi, Shipra Panda, Bernard F. Plessier, 1994, IEEE/ACM International Conference on Computer-Aided Design.

A symbolic algorithm for low power sequential synthesis

In-Ho Moon, Fabio Somenzi, Balakrishna Kumthekar, 1997, Proceedings of 1997 International Symposium on Low Power Electronics and Design.

Simulation-Based Re-Synthesis of Sequential Circuits for Peak Sustainable Power Reduction

Enrico Macii, Massimo Poncino, Fabio Somenzi, 1998 .

Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Compositional SCC Analysis for Language Emptiness

Chao Wang, Kavita Ravi, Fabio Somenzi, 2006, Formal Methods Syst. Des..

A satisfiability-based approach to abstraction refinement in model checking

Chao Wang, Bing Li, Fabio Somenzi, 2003, BMC@CAV.

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2006 .

Fate and free will in error traces

Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.

High-level power modeling, estimation, and optimization

Massoud Pedram, Enrico Macii, Fabio Somenzi, 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Least fixpoint approximations for reachability analysis

In-Ho Moon, Thomas R. Shiple, Fabio Somenzi, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

An iterative algorithm for the binate covering problem

Fabio Somenzi, M. Pipponzi, 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, ATVA.

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems

Behrouz Touri, Ashutosh Trivedi, Fabio Somenzi, 2018, HSCC.

An incremental approach to model checking progress properties

Yan Zhang, Fabio Somenzi, Aaron R. Bradley, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).

Symbolic computation of logic implications for technology-dependent low-power synthesis

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, ISLPED '96.

Linear sifting of decision diagrams and its application insynthesis

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Symmetry detection and dynamic variable ordering of decision diagrams

Fabio Somenzi, Bernard Plessier, Shipra Panda, 1994, ICCAD '94.

Fair Simulation Minimization

Fabio Somenzi, Roderick Bloem, Sankar Gurumurthy, 2002, CAV.

Using combinational verification for sequential circuits

Robert K. Brayton, Fabio Somenzi, Vigyan Singhal, 1999, DATE '99.

Timing analysis of combinational circuits using ADDs

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Layout-Oriented Synthesis of PTL Circuits Based on BDDs

R. Scarsi, Enrico Macii, Massimo Poncino, 1998 .

Lazy group sifting for efficient symbolic state traversal of FSMs

Hiroyuki Higuchi, Fabio Somenzi, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Finite Instantiations for Integer Difference Logic

Fabio Somenzi, Hyondeuk Kim, F. Somenzi, 2006, 2006 Formal Methods in Computer Aided Design.

Least Fixpoint MBM: Improved Technique for Approximate Reachability

In-Ho Moon, Fabio Somenzi, James H. Kukula, 2007 .

Re-encoding sequential circuits to reduce power dissipation

Massimo Poncino, Abelardo Pardo, Fabio Somenzi, 1994, ICCAD '94.

Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking

Bing Li, Fabio Somenzi, 2006, TACAS.

An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps

Fabio Somenzi, Harold N. Gabow, Roderick Bloem, 2000, Formal Methods Syst. Des..

Algorithms for Approximate FSM Traversal

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1993, 30th ACM/IEEE Design Automation Conference.

Approximate model checking

Fabio Somenzi, Woohyuk Lee, 1998 .

The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems pdf

Behrouz Touri, Ashutosh Trivedi, Fabio Somenzi, 2017, ATVA.

Efficient fixpoint computation for invariant checking

Kavita Ravi, Fabio Somenzi, F. Somenzi, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Better generalization in IC3

Fabio Somenzi, Aaron R. Bradley, Zyad Hassan, 2013, 2013 Formal Methods in Computer-Aided Design.

Sparse statistical model inference for analog circuits under process variations

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances

Fabio Somenzi, Michael Dooley, F. Somenzi, 2016, CAV.

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Fabio Somenzi, Warren A. Hunt, 2003 .

The compositional far side of image computation

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

Making Deduction More Effective in SAT Solvers

Fabio Somenzi, HoonSang Jin, HyoJung Han, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Fast and Coherent Simulation with Zero Delay Elements

Silvano Gai, Fabio Somenzi, M. Spalla, 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Don't care sequences and the optimization of interacting finite state machines

Fabio Somenzi, Gary D. Hachtel, June-Kyung Rho, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

Symbolic State Exploration

Fabio Somenzi, F. Somenzi, 2001, SMC@FLoC.

High-level Power Modeling, Estimation, And Optimization

Massoud Pedram, Enrico Macii, Fabio Somenzi, 1997, Proceedings of the 34th Design Automation Conference.

Limit reachability for model-free reinforcement learning of ω-regular objectives

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2019 .

Omega-Regular Objectives in Model-Free Reinforcement Learning pdf

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2018, TACAS.

Constraints in one-to-many concretization for abstraction refinement

Fabio Somenzi, Kuntal Nanshi, 2009, 2009 46th ACM/IEEE Design Automation Conference.

CirCUs: A Hybrid Satisfiability Solver

Fabio Somenzi, HoonSang Jin, F. Somenzi, 2004, SAT.

Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1993, CAV.

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

Fabio Somenzi, Gary D. Hachtel, HoonSang Jin, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Zero delay elements in logic simulation

Silvano Gai, Fabio Somenzi, Massimo Spalla, 1985 .

Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits

Enrico Macii, Massimo Poncino, Alberto Macii, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

A state space decomposition algorithm for approximate FSM traversal

Enrico Macii, Massimo Poncino, Fabio Somenzi, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Testing Strategy and Technique for Macro-Based Circuits

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1985, IEEE Transactions on Computers.

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit

Fabio Somenzi, HoonSang Jin, HyoJung Han, 2005, TACAS.

Termination Criteria for Bounded Model Checking: Extensions and Comparison

Fabio Somenzi, Mohammad Awedh, F. Somenzi, 2005, BMC@CAV.

Approximations for fixpoint computations in symbolic model chec king

In-Ho Moon, Kavita Ravi, Fabio Somenzi, 2000 .

Alembic: An Efficient Algorithm for CNF Preprocessing

Fabio Somenzi, HyoJung Han, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Symbolic computation of logic implications for technology-dependent low-power synthesis

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, Proceedings of 1996 International Symposium on Low Power Electronics and Design.

From statistical model checking to statistical model inference: Characterizing the effect of process variations in analog circuits

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Computing the Maximum Power Cycles of a Sequential Circuit

Enrico Macii, Massimo Poncino, Abelardo Pardo, 1995, 32nd Design Automation Conference.

Minimal Assignments for Bounded Model Checking

Kavita Ravi, Fabio Somenzi, F. Somenzi, 2004, TACAS.

Application of Formal Word-Level Analysis to Constrained Random Simulation

Robert P. Kurshan, Kavita Ravi, Fabio Somenzi, 2008, CAV.

Vacuum Cleaning CTL Formulae

Fabio Somenzi, Mitra Purandare, F. Somenzi, 2002, CAV.

Multiple observation time single reference test generation using synchronizing sequences

Fabio Somenzi, Hyunwoo Cho, C. Pixley, 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

Fundamental CAD algorithms

Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi, 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

Chao Wang, Bing Li, Fabio Somenzi, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Proving More Properties with Bounded Model Checking

Fabio Somenzi, Mohammad Awedh, F. Somenzi, 2004, CAV.

Results on the Interface between Formal Verification and ATPG

Seh-Woong Jeong, Eric M. Schwarz, Fabio Somenzi, 1990, CAV.

Remembrance of things past: locality and memory in BDDs

Dirk Grunwald, Fabio Somenzi, Srilatha Manne, 1997, DAC.

PART: Programmable Array Testing Based on a Partitioning Algorithm

Paolo Prinetto, Silvano Gai, Marco Mezzalama, 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Formal verification of digital systems by automatic reduction of data paths

Enrico Macii, Fabio Somenzi, Bernard Plessier, 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A Hybrid Algorithm for LTL Games

Kavita Ravi, Fabio Somenzi, Saqib Sohail, 2008, VMCAI.

Reinforcement Learning and Formal Requirements

Fabio Somenzi, Ashutosh Trivedi, F. Somenzi, 2019, NSV@CAV.

Fate and free will in error traces

Kavita Ravi, Fabio Somenzi, HoonSang Jin, 2004, International Journal on Software Tools for Technology Transfer.

Arithmetic Boolean Expression Manipulator Using BDDs

Fabio Somenzi, Shin-ichi Minato, 1997, Formal Methods Syst. Des..

High-density reachability analysis

Kavita Ravi, Fabio Somenzi, 1995, ICCAD.

Don't care sequences and the optimization of interacting finite state machines

Fabio Somenzi, June-Kyung Rho, F. Somenzi, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Fabio Somenzi, Abolfazl Lavaei, Sadegh Soudjani, 2020, 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS).

Linear sifting of decision diagrams

Christoph Meinel, Thorsten Theobald, Fabio Somenzi, 1996, Universität Trier, Mathematik/Informatik, Forschungsbericht.

Using Abstraction to Guide the Search for Long Error Traces

Fabio Somenzi, Kuntal Nanshi, 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Optimizing sequential verification by retiming transformations

Fabio Somenzi, Gianpiero Cabodi, Stefano Quer, 2000, Proceedings 37th Design Automation Conference.

In-place power optimization for LUT-based FPGAs

Luca Benini, Enrico Macii, Fabio Somenzi, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

A Symbolic Method To Reduce Power Consumption Of Circuits Containing False Paths

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994, IEEE/ACM International Conference on Computer-Aided Design.

Algebric Decision Diagrams and Their Applications

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1997, ICCAD '93.

Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration

Fabio Somenzi, Gary D. Hachtel, Hyunwoo Cho, 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Who are the variables in your neighborhood

Fabio Somenzi, Shipra Panda, F. Somenzi, 1995, ICCAD.

Tearing based automatic abstraction for CTL model checking

Abelardo Pardo, Jae-Young Jang, Fabio Somenzi, 1996, Proceedings of International Conference on Computer Aided Design.

Refining the SAT decision ordering for bounded model checking

Chao Wang, Fabio Somenzi, Gary D. Hachtel, 2004, Proceedings. 41st Design Automation Conference, 2004..

Efficient computation of small abstraction refinements

Bing Li, Fabio Somenzi, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Model-Free Reinforcement Learning for Stochastic Parity Games

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, CONCUR.

Dos and don'ts of CTL state coverage estimation

Fabio Somenzi, Mitra Purandare, Nikhil Jayakumar, 2003, DAC '03.

An ADD-based algorithm for shortest path back-tracing of large graphs

Massimo Poncino, Abelardo Pardo, Fabio Somenzi, 1994, Proceedings of 4th Great Lakes Symposium on VLSI.

Good-for-MDPs Automata pdf

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2019, ArXiv.

An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps

Fabio Somenzi, Harold N. Gabow, Roderick Bloem, 2006, Formal Methods Syst. Des..

Variable ordering for binary decision diagrams

Fabio Somenzi, Gary D. Hachtel, Bernard F. Plessier, 1992, [1992] Proceedings The European Conference on Design Automation.

Efficient Büchi Automata from LTL Formulae

Fabio Somenzi, Roderick Bloem, F. Somenzi, 2000, CAV.

Fault simulation in a multilevel environment: the MOZART approach

Silvano Gai, Marco Mezzalama, Fabio Somenzi, 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

An Application of ADD-Based Timing Analysis to Combinational Low Power Re-Synthesis

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1994 .

Incremental, Inductive CTL Model Checking

Fabio Somenzi, Aaron R. Bradley, Zyad Hassan, 2012, CAV.

Guiding simulation with increasingly refined abstract traces

Fabio Somenzi, Kuntal Nanshi, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Algorithms for approximate FSM traversal based on state space decomposition

Enrico Macii, Fabio Somenzi, Gary D. Hachtel, 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Approximate Reachability Don't Cares for CTL model checking

Jae-Young Jang, In-Ho Moon, Carl Pixley, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Strong Conflict Analysis for Propositional Satisfiability

Fabio Somenzi, HoonSang Jin, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Symbolic algorithms to calculate steady-state probabilities of a finite state machine

Enrico Macii, Abelardo Pardo, Fabio Somenzi, 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

Tearing based abstraction for CTL model checking

Jae-Young Jang, Fabio Somenzi, Gary D. Hachtel, 1996, ICCAD 1996.

Power and delay reduction via simultaneous logic and placement optimization in FPGAs

Fabio Somenzi, Balakrishna Kumthekar, 2000, DATE '00.

A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, FMCAD.

On the optimization power of retiming and resynthesis transformations

Robert K. Brayton, Fabio Somenzi, Vigyan Singhal, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Statistically Sound Verification and Optimization for Complex Systems

Sriram Sankaranarayanan, Yan Zhang, Fabio Somenzi, 2014, ATVA.

Automatic Generation of Hints for Symbolic Traversal

David Ward, Fabio Somenzi, F. Somenzi, 2005, CHARME.

Synchronizing sequences and symbolic traversal techniques in test generation

Seh-Woong Jeong, Carl Pixley, Fabio Somenzi, 1993, J. Electron. Test..

Efficient smt solving for hardware model checking

Fabio Somenzi, Hyondeuk Kim, F. Somenzi, 2010 .

Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021)

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021 .

Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)

Christoph Meinel, Bernd Becker, Masahiro Fujita, 2021 .