Fabio Somenzi - RankMe

211 papers A* 38A 47B 24C 6Journal 57Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives. J. Artif. Intell. Res. Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2025	J	`jnl`	Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives. CoRR Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2025	J	`jnl`	Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions. CoRR Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
2025	—	`conf`	Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. ACL (Findings) Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
2025	J	`jnl`	Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku. CoRR Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi
2024	A*	`conf`	A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2024	A*	`conf`	Assume-Guarantee Reinforcement Learning. AAAI Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2024	A	`conf`	Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	A*	`conf`	Omega-Regular Decision Processes. AAAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	—	`conf`	Regular Reinforcement Learning. CAV (3) Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Assume-Guarantee Reinforcement Learning. CoRR Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2023	J	`jnl`	Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	—	`conf`	Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	A	`conf`	Omega-Regular Reward Machines. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Reward Machines. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	—	`conf`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2022	J	`jnl`	Alternating Good-for-MDP Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	Alternating Good-for-MDPs Automata. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2022	A*	`conf`	Recursive Reinforcement Learning. NeurIPS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Recursive Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	C	`conf`	Reinforcement Learning with Guarantees that Hold for Ever. FMICS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	A	`conf`	Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2021	—	`conf`	Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	B	`conf`	Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	B	`conf`	Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	—	`conf`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020	J	`jnl`	Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020	—	`conf`	Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	B	`conf`	Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	J	`jnl`	Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	J	`jnl`	Good-for-MDPs Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
2019	—	`conf`	Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	—	`conf`	Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	—	`conf`	Reinforcement Learning and Formal Requirements. NSV@CAV Fabio Somenzi, Ashutosh Trivedi
2018	—	`conf`	Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. HSCC Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2018	J	`jnl`	Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2017	J	`jnl`	The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2017	B	`conf`	The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
2016	—	`conf`	Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances. CAV (1) Michael Dooley, Fabio Somenzi
2014	—	`conf`	Sparse statistical model inference for analog circuits under process variations. ASP-DAC Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2014	B	`conf`	Statistically Sound Verification and Optimization for Complex Systems. ATVA Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2013	B	`conf`	Better generalization in IC3. FMCAD Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2013	B	`conf`	Efficient handling of obligation constraints in synthesis from omega-regular specifications. FMCAD Saqib Sohail, Fabio Somenzi
2013	A	`conf`	From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám
2013	J	`jnl`	Safety first: a two-stage algorithm for the synthesis of reactive systems. Int. J. Softw. Tools Technol. Transf. Saqib Sohail, Fabio Somenzi
2013	J	`jnl`	Using Abstraction to Guide the Search for Long Error Traces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kuntal Nanshi, Fabio Somenzi
2012	A*	`conf`	Incremental, Inductive CTL Model Checking. CAV Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
2012	B	`conf`	Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. FMCAD Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2011	—	`conf`	A Study of Sweeping Algorithms in the Context of Model Checking. DIFTS@FMCAD Zyad Hassan, Yan Zhang, Fabio Somenzi
2011	B	`conf`	An incremental approach to model checking progress properties. FMCAD Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang
2011	A	`conf`	Clause simplification through dominator analysis. DATE HyoJung Han, HoonSang Jin, Fabio Somenzi
2011	B	`conf`	IC3: where monolithic and incremental meet. FMCAD Fabio Somenzi, Aaron R. Bradley
2010	J	`jnl`	Making Deduction More Effective in SAT Solvers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. HyoJung Han, Fabio Somenzi, HoonSang Jin
2009	A*	`conf`	Constraints in one-to-many concretization for abstraction refinement. DAC Kuntal Nanshi, Fabio Somenzi
2009	A	`conf`	Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT Hyondeuk Kim, Fabio Somenzi, HoonSang Jin
2009	A	`conf`	On-the-Fly Clause Improvement. SAT HyoJung Han, Fabio Somenzi
2009	B	`conf`	Safety first: A two-stage algorithm for LTL games. FMCAD Saqib Sohail, Fabio Somenzi
2008	B	`conf`	A Hybrid Algorithm for LTL Games. VMCAI Saqib Sohail, Fabio Somenzi, Kavita Ravi
2008	A*	`conf`	Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi
2008	A	`conf`	Improved Visibility in One-to-Many Trace Concretization. DATE Kuntal Nanshi, Fabio Somenzi
2007	A*	`conf`	Alembic: An Efficient Algorithm for CNF Preprocessing. DAC HyoJung Han, Fabio Somenzi
2007	J	`jnl`	Disequality Management in Integer Difference Logic via Finite Instantiations. J. Satisf. Boolean Model. Comput. Hyondeuk Kim, HoonSang Jin, Fabio Somenzi
2007	—	`ed.`	Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006 V&D@FLoC Roderick Bloem, Marco Roveri, Fabio Somenzi
2006	—	`book`	Abstraction Refinement for Large Scale Model Checking Chao Wang, Gary D. Hachtel, Fabio Somenzi
2006	J	`jnl`	An Algorithm for Strongly Connected Component Analysis in Formal Methods Syst. Des. Roderick Bloem, Harold N. Gabow, Fabio Somenzi
2006	A*	`conf`	Automatic invariant strengthening to prove properties in bounded model checking. DAC Mohammad Awedh, Fabio Somenzi
2006	J	`jnl`	Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
2006	A	`conf`	Decomposing image computation for symbolic reachability analysis using control flow information. ICCAD David Ward, Fabio Somenzi
2006	A	`conf`	Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. TACAS Bing Li, Fabio Somenzi
2006	B	`conf`	Finite Instantiations for Integer Difference Logic. FMCAD Hyondeuk Kim, Fabio Somenzi
2006	A*	`conf`	Guiding simulation with increasingly refined abstract traces. DAC Kuntal Nanshi, Fabio Somenzi
2006	J	`jnl`	Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2006	—	`book`	Logic synthesis and verification algorithms. Gary D. Hachtel, Fabio Somenzi
2006	—	`conf`	Preface. V&D@FLoC Roderick Bloem, Marco Roveri, Fabio Somenzi
2006	A	`conf`	Strong conflict analysis for propositional satisfiability. DATE HoonSang Jin, Fabio Somenzi
2005	J	`jnl`	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. Int. J. Softw. Tools Technol. Transf. Bing Li, Chao Wang, Fabio Somenzi
2005	—	`conf`	Automatic Generation of Hints for Symbolic Traversal. CHARME David Ward, Fabio Somenzi
2005	A	`conf`	Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS HoonSang Jin, HyoJung Han, Fabio Somenzi
2005	A*	`conf`	Prime clauses for fast enumeration of satisfying assignments to boolean circuits. DAC HoonSang Jin, Fabio Somenzi
2005	—	`conf`	Termination Criteria for Bounded Model Checking: Extensions and Comparison. BMC@CAV Mohammad Awedh, Fabio Somenzi
2004	—	`conf`	An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. BMC@CAV HoonSang Jin, Fabio Somenzi
2004	A	`conf`	CirCUs: A Hybrid Satisfiability Solver. SAT HoonSang Jin, Fabio Somenzi
2004	—	`conf`	CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers HoonSang Jin, Fabio Somenzi
2004	A*	`conf`	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV HoonSang Jin, Mohammad Awedh, Fabio Somenzi
2004	A	`conf`	Efficient computation of small abstraction refinements. ICCAD Bing Li, Fabio Somenzi
2004	J	`jnl`	Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. HoonSang Jin, Kavita Ravi, Fabio Somenzi
2004	C	`conf`	Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD Chao Wang, Gary D. Hachtel, Fabio Somenzi
2004	B	`conf`	Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD Mohammad Awedh, Fabio Somenzi
2004	A	`conf`	Minimal Assignments for Bounded Model Checking. TACAS Kavita Ravi, Fabio Somenzi
2004	A*	`conf`	Proving More Properties with Bounded Model Checking. CAV Mohammad Awedh, Fabio Somenzi
2004	A*	`conf`	Refining the SAT decision ordering for bounded model checking. DAC Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2003	—	`conf`	A satisfiability-based approach to abstraction refinement in model checking. BMC@CAV Bing Li, Chao Wang, Fabio Somenzi
2003	A*	`ed.`	Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings CAV Warren A. Hunt Jr., Fabio Somenzi
2003	A*	`conf`	Dos and don'ts of CTL state coverage estimation. DAC Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
2003	A*	`conf`	Formal verification - prove it or pitch it. DAC Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
2003	A	`conf`	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
2003	—	`conf`	On Complementing Nondeterministic Büchi Automata. CHARME Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
2003	—	`conf`	The Charme of Abstract Entities. CHARME Fabio Somenzi
2003	A	`conf`	The Compositional Far Side of Image Computation. ICCAD Chao Wang, Gary D. Hachtel, Fabio Somenzi
2002	B	`conf`	Analysis of Symbolic SCC Hull Algorithms. FMCAD Fabio Somenzi, Kavita Ravi, Roderick Bloem
2002	A*	`conf`	Fair Simulation Minimization. CAV Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
2002	A	`conf`	Fate and Free Will in Error Traces. TACAS HoonSang Jin, Kavita Ravi, Fabio Somenzi
2002	A	`conf`	Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
2002	A*	`conf`	Vacuum Cleaning CTL Formulae. CAV Mitra Purandare, Fabio Somenzi
2001	B	`conf`	Divide and Compose: SCC Refinement for Language Emptiness. CONCUR Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
2001	J	`jnl`	Efficient manipulation of decision diagrams. Int. J. Softw. Tools Technol. Transf. Fabio Somenzi
2001	J	`jnl`	Using lower bounds during dynamic BDD minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rolf Drechsler, Wolfgang Günther, Fabio Somenzi
2000	B	`conf`	A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD Kavita Ravi, Roderick Bloem, Fabio Somenzi
2000	B	`conf`	An Algorithm for Strongly Connected Component Analysis in FMCAD Roderick Bloem, Harold N. Gabow, Fabio Somenzi
2000	B	`conf`	Border-Block Triangular Form and Conjunction Schedule in Image Computation. FMCAD In-Ho Moon, Gary D. Hachtel, Fabio Somenzi
2000	A*	`conf`	Efficient Büchi Automata from LTL Formulae. CAV Fabio Somenzi, Roderick Bloem
2000	J	`jnl`	Fundamental CAD algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi
2000	J	`jnl`	Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
2000	A*	`conf`	Optimizing sequential verification by retiming transformations. DAC Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
2000	A	`conf`	Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs. DATE Balakrishna Kumthekar, Fabio Somenzi
2000	A*	`conf`	Symbolic guided search for CTL model checking. DAC Roderick Bloem, Kavita Ravi, Fabio Somenzi
2000	A*	`conf`	To split or to conjoin: the question in image computation. DAC In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
1999	A*	`conf`	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV Roderick Bloem, Kavita Ravi, Fabio Somenzi
1999	C	`conf`	Efficient Fixpoint Computation for Invariant Checking. ICCD Kavita Ravi, Fabio Somenzi
1999	—	`conf`	Hints to accelerate Symbolic Traversal. CHARME Kavita Ravi, Fabio Somenzi
1999	A	`conf`	Lazy group sifting for efficient symbolic state traversal of FSMs. ICCAD Hiroyuki Higuchi, Fabio Somenzi
1999	A	`conf`	Least fixpoint approximations for reachability analysis. ICCAD In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
1999	—	`conf`	Symbolic State Exploration. SMC@FLoC Fabio Somenzi
1999	A	`conf`	Using Combinational Verification for Sequential Circuits. DATE Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1998	B	`conf`	A Performance Study of BDD-Based Model Checking. FMCAD Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
1998	A	`conf`	Approximate reachability don't cares for CTL model checking. ICCAD In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
1998	A*	`conf`	Approximation and Decomposition of Binary Decision Diagrams. DAC Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi
1998	—	`conf`	Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1998	J	`jnl`	High-level power modeling, estimation, and optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Macii, Massoud Pedram, Fabio Somenzi
1998	A*	`conf`	In-Place Power Optimization for LUT-Based FPGAs. DAC Balakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi
1998	A	`conf`	On the optimization power of retiming and resynthesis transformations. ICCAD Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
1998	A	`conf`	Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. ICCAD Fabrizio Ferrandi, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi, Fabio Somenzi
1997	J	`jnl`	A Symbolic Algorithms for Maximum Flow in 0-1 Networks. Formal Methods Syst. Des. Gary D. Hachtel, Fabio Somenzi
1997	A	`conf`	A symbolic algorithm for low-power sequential synthesis. ISLPED Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
1997	J	`jnl`	Algebraic Decision Diagrams and Their Applications. Formal Methods Syst. Des. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
1997	J	`jnl`	Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods Syst. Des. Shin-ichi Minato, Fabio Somenzi
1997	J	`jnl`	Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Macii, Bernard Plessier, Fabio Somenzi
1997	J	`jnl`	Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1997	A*	`conf`	High-Level Power Modeling, Estimation, and Optimization. DAC Enrico Macii, Massoud Pedram, Fabio Somenzi
1997	A*	`conf`	Linear Sifting of Decision Diagrams. DAC Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1997	A*	`conf`	Remembrance of Things Past: Locality and Memory in BDDs. DAC Srilatha Manne, Dirk Grunwald, Fabio Somenzi
1997	J	`jnl`	Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
1996	J	`jnl`	Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
1996	J	`jnl`	Automatic state space decomposition for approximate FSM traversal based on circuit analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
1996	J	`jnl`	Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1996	—	`book`	Logic synthesis and verification algorithms. Gary D. Hachtel, Fabio Somenzi
1996	J	`jnl`	Markovian analysis of large finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
1996	B	`conf`	Modular Verification of Multipliers. FMCAD Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
1996	A	`conf`	Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi
1996	A	`conf`	Tearing based automatic abstraction for CTL model checking. ICCAD Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi
1996	B	`conf`	VIS. FMCAD Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
1996	A*	`conf`	VIS: A System for Verification and Synthesis. CAV Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
1995	A	`conf`	Boolean techniques for low power driven re-synthesis. ICCAD R. Iris Bahar, Fabio Somenzi
1995	—	`conf`	CMOS dynamic power estimation based on collapsible current source transistor modeling. ISLPD Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi
1995	A*	`conf`	Computing the Maximum Power Cycles of a Sequential Circuit. DAC Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino
1995	A	`conf`	High-density reachability analysis. ICCAD Kavita Ravi, Fabio Somenzi
1995	A	`conf`	Who are the variables in your neighborhood. ICCAD Shipra Panda, Fabio Somenzi
1994	—	`conf`	A State Space Decomposition Algorithm for Approximate FSM Traversal. EDAC-ETC-EUROASIC Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
1994	C	`conf`	A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. ICCD Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
1994	A	`conf`	A symbolic method to reduce power consumption of circuits containing false paths. ICCAD R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
1994	—	`conf`	An ADD-based algorithm for shortest path back-tracing of large graphs. Great Lakes Symposium on VLSI R. Iris Bahar, Gary D. Hachtel, Abelardo Pardo, Massimo Poncino, Fabio Somenzi
1994	J	`jnl`	Don't care sequences and the optimization of interacting finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. June-Kyung Rho, Fabio Somenzi
1994	J	`jnl`	Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby
1994	J	`jnl`	Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. Formal Methods Syst. Des. Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
1994	A*	`conf`	Probabilistic Analysis of Large Finite State Machines. DAC Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
1994	A	`conf`	Re-encoding sequential circuits to reduce power dissipation. ICCAD Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi
1994	—	`conf`	Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
1994	A	`conf`	Symmetry detection and dynamic variable ordering of decision diagrams. ICCAD Shipra Panda, Fabio Somenzi, Bernard Plessier
1994	—	`conf`	Timing Analysis of Combinational Circuits using ADD's. EDAC-ETC-EUROASIC R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
1993	A	`conf`	A symbolic algorithm for maximum flow in 0-1 networks. ICCAD Gary D. Hachtel, Fabio Somenzi
1993	A	`conf`	Algebraic decision diagrams and their applications. ICCAD R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
1993	A*	`conf`	Algorithms for Approximate FSM Traversal. DAC Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
1993	A*	`conf`	Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. CAV June-Kyung Rho, Fabio Somenzi
1993	A*	`conf`	Minimum Length Synchronizing Sequences of Finite State Machine. DAC June-Kyung Rho, Fabio Somenzi, Carl Pixley
1993	J	`jnl`	Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
1993	J	`jnl`	Synchronizing sequences and symbolic traversal techniques in test generation. J. Electron. Test. Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley
1992	A	`conf`	A new algorithm for the binate covering problem and its application to the minimization of Boolean relations. ICCAD Seh-Woong Jeong, Fabio Somenzi
1992	A*	`conf`	Inductive Verification of Iterative Systems. DAC June-Kyung Rho, Fabio Somenzi
1992	C	`conf`	The Role of Prime Compatibles in the Minimization of Finite State Machines. ICCD June-Kyung Rho, Fabio Somenzi
1992	A	`conf`	Verification of systems containing counters. ICCAD Enrico Macii, Bernard Plessier, Fabio Somenzi
1991	A	`conf`	Don't Care Sequences and the Optimization of Interacting Finite State Machines. ICCAD June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi
1991	—	`conf`	Exact and heuristic algorithms for the minimization of incompletely specified state machines. EURO-DAC Gary D. Hachtel, June-Kyung Rho, Fabio Somenzi, Reily M. Jacoby
1991	A	`conf`	Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. ICCAD Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
1991	A	`conf`	Fast Sequential ATPG Based on Implicit State Enumeration. ITC Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
1991	J	`jnl`	Fault simulation for general FCMOS ICs. J. Electron. Test. Michele Favalli, Piero Olivo, Bruno Riccò, Fabio Somenzi
1991	—	`conf`	Periodic signal suppression in a concurrent fault simulator. EURO-DAC Tara Weber, Fabio Somenzi
1991	C	`conf`	Redundancy Identification and Removal Based on Implicit State Enumeration. ICCD Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
1991	A	`conf`	Variable Ordering and Selection for FSM Traversal. ICCAD Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
1990	A	`conf`	ATPG Aspects of FSM Verification. ICCAD Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
1990	—	`conf`	An iterative algorithm for the binate covering problem. EURO-DAC M. Pipponzi, Fabio Somenzi
1990	A	`conf`	Minimization of Symbolic Relations. ICCAD Bill Lin, Fabio Somenzi
1990	—	`conf`	Results on the Interface between Formal Verification and ATPG. CAV (DIMACS/AMS volume) Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
1989	A	`conf`	An exact minimizer for Boolean relations. ICCAD Robert K. Brayton, Fabio Somenzi
1989	J	`jnl`	MSYN: Automatic synthesis of hardware. Microprocessing and Microprogramming I. Causarano, R. Guizzeti, M. Pipponzi, Fabio Somenzi
1988	A	`conf`	Don't cares and global flow analysis of Boolean networks. ICCAD Robert K. Brayton, Ellen M. Sentovich, Fabio Somenzi
1988	—	`conf`	Fault simulation in a multilevel environment: the MOZART approach. FTCS Gianpiero Cabodi, Silvano Gai, Marco Mezzalama, Pier Luca Montessoro, Fabio Somenzi
1988	J	`jnl`	MOZART: a concurrent multilevel simulator. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Silvano Gai, Pier Luca Montessoro, Fabio Somenzi
1988	A*	`conf`	The Performance of the Concurrent Fault Simulation Algorithms in MOZART. DAC Silvano Gai, Pier Luca Montessoro, Fabio Somenzi
1987	J	`jnl`	Advances in Concurrent Multilevel Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Silvano Gai, Fabio Somenzi, Ernst G. Ulrich
1987	J	`jnl`	Fast and Coherent Simulation with Zero Delay Elements. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Silvano Gai, Fabio Somenzi, M. Spalla
1986	J	`jnl`	Fault detection in programmable logic arrays. Proc. IEEE Fabio Somenzi, Silvano Gai
1985	J	`jnl`	Testing Strategy and Technique for Macro-Based Circuits. IEEE Trans. Computers Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto
1984	J	`jnl`	PART: Programmable Array Testing Based on a Partitioning Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto
1983	A*	`conf`	A new integrated system for PLA testing and verification. DAC Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto