default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabio Somenzi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c148]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133- [c147]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. AAAI 2024: 21223-21231 - [c146]Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI 2024: 21510-21517 - [c145]Taylor Dohmen
, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Regular Reinforcement Learning. CAV (3) 2024: 184-208 - [c144]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - 2023
- [j36]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [c143]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435 - [c142]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c141]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) 2023: 527-545 - [d2]Milad Kazemi Mehrabadi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Artifact for "Assume-Guarantee Reinforcement Learning". Zenodo, 2023
- [i17]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR abs/2305.17115 (2023) - [i16]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023) - [i15]Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR abs/2310.12248 (2023) - [i14]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. CoRR abs/2312.08602 (2023) - [i13]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Assume-Guarantee Reinforcement Learning. CoRR abs/2312.09938 (2023) - 2022
- [c140]Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS 2022: 732-741 - [c139]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c138]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c137]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c136]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. NeurIPS 2022 - [i12]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDP Automata. CoRR abs/2205.03243 (2022) - [i11]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. CoRR abs/2206.11430 (2022) - [i10]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - 2021
- [c135]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) 2021: 651-673 - [c134]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [d1]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). Zenodo, 2021 - [i9]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR abs/2106.06777 (2021) - [i8]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR abs/2106.09161 (2021) - 2020
- [c133]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124 - [c132]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c131]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - [c130]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) 2020: 306-323 - [i7]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020) - [i6]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020)
2010 – 2019
- 2019
- [c129]Fabio Somenzi, Ashutosh Trivedi:
Reinforcement Learning and Formal Requirements. NSV@CAV 2019: 26-41 - [c128]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR 2019: 16-18 - [c127]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) 2019: 395-412 - [i5]Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019) - 2018
- [c126]Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. HSCC 2018: 11-20 - [i4]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR abs/1810.00950 (2018) - 2017
- [c125]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems. ATVA 2017: 463-479 - [i3]Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi:
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems. CoRR abs/1707.04151 (2017) - 2016
- [c124]Michael Dooley, Fabio Somenzi:
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances. CAV (1) 2016: 292-309 - 2014
- [c123]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Sparse statistical model inference for analog circuits under process variations. ASP-DAC 2014: 449-454 - [c122]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Statistically Sound Verification and Optimization for Complex Systems. ATVA 2014: 411-427 - 2013
- [j35]Saqib Sohail, Fabio Somenzi:
Safety first: a two-stage algorithm for the synthesis of reactive systems. Int. J. Softw. Tools Technol. Transf. 15(5-6): 433-454 (2013) - [j34]Kuntal Nanshi, Fabio Somenzi:
Using Abstraction to Guide the Search for Long Error Traces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(3): 453-466 (2013) - [c121]Saqib Sohail, Fabio Somenzi:
Efficient handling of obligation constraints in synthesis from omega-regular specifications. FMCAD 2013: 34-41 - [c120]Zyad Hassan, Aaron R. Bradley, Fabio Somenzi:
Better generalization in IC3. FMCAD 2013: 157-164 - [c119]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám:
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD 2013: 662-669 - 2012
- [c118]Zyad Hassan, Aaron R. Bradley, Fabio Somenzi:
Incremental, Inductive CTL Model Checking. CAV 2012: 532-547 - [c117]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. FMCAD 2012: 196-203 - 2011
- [c116]HyoJung Han, HoonSang Jin, Fabio Somenzi:
Clause simplification through dominator analysis. DATE 2011: 143-148 - [c115]Zyad Hassan, Yan Zhang, Fabio Somenzi:
A Study of Sweeping Algorithms in the Context of Model Checking. DIFTS@FMCAD 2011 - [c114]Fabio Somenzi, Aaron R. Bradley:
IC3: where monolithic and incremental meet. FMCAD 2011: 3-8 - [c113]Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang:
An incremental approach to model checking progress properties. FMCAD 2011: 144-153 - 2010
- [j33]HyoJung Han, Fabio Somenzi, HoonSang Jin:
Making Deduction More Effective in SAT Solvers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(8): 1271-1284 (2010)
2000 – 2009
- 2009
- [c112]Kuntal Nanshi, Fabio Somenzi:
Constraints in one-to-many concretization for abstraction refinement. DAC 2009: 569-574 - [c111]Saqib Sohail, Fabio Somenzi:
Safety first: A two-stage algorithm for LTL games. FMCAD 2009: 77-84 - [c110]Hyondeuk Kim, Fabio Somenzi, HoonSang Jin:
Efficient Term-ITE Conversion for Satisfiability Modulo Theories. SAT 2009: 195-208 - [c109]HyoJung Han, Fabio Somenzi:
On-the-Fly Clause Improvement. SAT 2009: 209-222 - 2008
- [c108]Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi:
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490 - [c107]Kuntal Nanshi, Fabio Somenzi:
Improved Visibility in One-to-Many Trace Concretization. DATE 2008: 819-824 - [c106]Saqib Sohail, Fabio Somenzi, Kavita Ravi:
A Hybrid Algorithm for LTL Games. VMCAI 2008: 309-323 - 2007
- [j32]Hyondeuk Kim, HoonSang Jin, Fabio Somenzi:
Disequality Management in Integer Difference Logic via Finite Instantiations. J. Satisf. Boolean Model. Comput. 3(1-2): 47-66 (2007) - [c105]HyoJung Han, Fabio Somenzi:
Alembic: An Efficient Algorithm for CNF Preprocessing. DAC 2007: 582-587 - [e2]Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents] - 2006
- [b3]Gary D. Hachtel, Fabio Somenzi:
Logic synthesis and verification algorithms. Springer 2006, ISBN 978-0-387-31004-6, pp. I-XXIII, 1-564 - [b2]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems, Springer 2006, ISBN 978-0-387-34155-2, pp. 1-179 - [j31]Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. 28(1): 5-36 (2006) - [j30]Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Formal Methods Syst. Des. 28(1): 37-56 (2006) - [j29]Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(11): 2297-2316 (2006) - [c104]Kuntal Nanshi, Fabio Somenzi:
Guiding simulation with increasingly refined abstract traces. DAC 2006: 737-742 - [c103]Mohammad Awedh, Fabio Somenzi:
Automatic invariant strengthening to prove properties in bounded model checking. DAC 2006: 1073-1076 - [c102]HoonSang Jin, Fabio Somenzi:
Strong conflict analysis for propositional satisfiability. DATE 2006: 818-823 - [c101]Hyondeuk Kim, Fabio Somenzi:
Finite Instantiations for Integer Difference Logic. FMCAD 2006: 31-38 - [c100]David Ward, Fabio Somenzi:
Decomposing image computation for symbolic reachability analysis using control flow information. ICCAD 2006: 779-785 - [c99]Bing Li, Fabio Somenzi:
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. TACAS 2006: 227-241 - [c98]Roderick Bloem, Marco Roveri, Fabio Somenzi:
Preface. V&D@FLoC 2006: 1 - 2005
- [j28]Bing Li, Chao Wang, Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. Int. J. Softw. Tools Technol. Transf. 7(2): 143-155 (2005) - [c97]David Ward, Fabio Somenzi:
Automatic Generation of Hints for Symbolic Traversal. CHARME 2005: 207-221 - [c96]HoonSang Jin, Fabio Somenzi:
Prime clauses for fast enumeration of satisfying assignments to boolean circuits. DAC 2005: 750-753 - [c95]HoonSang Jin, HyoJung Han, Fabio Somenzi:
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. TACAS 2005: 287-300 - [c94]Mohammad Awedh, Fabio Somenzi:
Termination Criteria for Bounded Model Checking: Extensions and Comparison. BMC@CAV 2005: 51-66 - 2004
- [j27]HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. 6(2): 102-116 (2004) - [c93]Mohammad Awedh, Fabio Somenzi:
Proving More Properties with Bounded Model Checking. CAV 2004: 96-108 - [c92]HoonSang Jin, Mohammad Awedh, Fabio Somenzi:
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. CAV 2004: 519-522 - [c91]Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538 - [c90]Mohammad Awedh, Fabio Somenzi:
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. FMCAD 2004: 230-244 - [c89]Bing Li, Fabio Somenzi:
Efficient computation of small abstraction refinements. ICCAD 2004: 518-525 - [c88]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD 2004: 112-118 - [c87]HoonSang Jin, Fabio Somenzi:
CirCUs: A Hybrid Satisfiability Solver. SAT 2004 - [c86]HoonSang Jin, Fabio Somenzi:
CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers 2004: 211-223 - [c85]Kavita Ravi, Fabio Somenzi:
Minimal Assignments for Bounded Model Checking. TACAS 2004: 31-45 - [c84]HoonSang Jin, Fabio Somenzi:
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. BMC@CAV 2004: 51-65 - 2003
- [c83]Fabio Somenzi:
The Charme of Abstract Entities. CHARME 2003: 2 - [c82]Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi:
On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110 - [c81]Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi:
Dos and don'ts of CTL state coverage estimation. DAC 2003: 292-295 - [c80]Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi:
Formal verification - prove it or pitch it. DAC 2003: 710-711 - [c79]Chao Wang, Gary D. Hachtel, Fabio Somenzi:
The Compositional Far Side of Image Computation. ICCAD 2003: 334-341 - [c78]Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi:
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415 - [c77]Bing Li, Chao Wang, Fabio Somenzi:
A satisfiability-based approach to abstraction refinement in model checking. BMC@CAV 2003: 608-622 - [e1]Warren A. Hunt Jr., Fabio Somenzi:
Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2725, Springer 2003, ISBN 3-540-40524-0 [contents] - 2002
- [c76]Mitra Purandare, Fabio Somenzi:
Vacuum Cleaning CTL Formulae. CAV 2002: 485-499 - [c75]Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi:
Fair Simulation Minimization. CAV 2002: 610-624 - [c74]Fabio Somenzi, Kavita Ravi, Roderick Bloem:
Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105 - [c73]HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi:
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326 - [c72]HoonSang Jin, Kavita Ravi, Fabio Somenzi:
Fate and Free Will in Error Traces. TACAS 2002: 445-459 - 2001
- [j26]Fabio Somenzi:
Efficient manipulation of decision diagrams. Int. J. Softw. Tools Technol. Transf. 3(2): 171-181 (2001) - [j25]Rolf Drechsler, Wolfgang Günther, Fabio Somenzi:
Using lower bounds during dynamic BDD minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(1): 51-57 (2001) - [c71]Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471 - 2000
- [j24]Christoph Meinel, Fabio Somenzi, Thorsten Theobald:
Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(5): 521-533 (2000) - [j23]Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi:
Fundamental CAD algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(12): 1449-1475 (2000) - [c70]Fabio Somenzi, Roderick Bloem:
Efficient Büchi Automata from LTL Formulae. CAV 2000: 248-263 - [c69]In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi:
To split or to conjoin: the question in image computation. DAC 2000: 23-28 - [c68]Roderick Bloem, Kavita Ravi, Fabio Somenzi:
Symbolic guided search for CTL model checking. DAC 2000: 29-34 - [c67]Gianpiero Cabodi, Stefano Quer, Fabio Somenzi:
Optimizing sequential verification by retiming transformations. DAC 2000: 601-606 - [c66]Balakrishna Kumthekar, Fabio Somenzi:
Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs. DATE 2000: 202-207 - [c65]Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. FMCAD 2000: 37-54 - [c64]In-Ho Moon, Gary D. Hachtel, Fabio Somenzi:
Border-Block Triangular Form and Conjunction Schedule in Image Computation. FMCAD 2000: 73-90 - [c63]Kavita Ravi, Roderick Bloem, Fabio Somenzi:
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160
1990 – 1999
- 1999
- [c62]Roderick Bloem, Kavita Ravi, Fabio Somenzi:
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235 - [c61]Kavita Ravi, Fabio Somenzi:
Hints to accelerate Symbolic Traversal. CHARME 1999: 250-264 - [c60]Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton:
Using Combinational Verification for Sequential Circuits. DATE 1999: 138-144 - [c59]In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi:
Least fixpoint approximations for reachability analysis. ICCAD 1999: 41-44 - [c58]Hiroyuki Higuchi, Fabio Somenzi:
Lazy group sifting for efficient symbolic state traversal of FSMs. ICCAD 1999: 45-49 - [c57]Kavita Ravi, Fabio Somenzi:
Efficient Fixpoint Computation for Invariant Checking. ICCD 1999: 467- - [c56]Fabio Somenzi:
Symbolic State Exploration. SMC@FLoC 1999: 46-56 - 1998
- [j22]Enrico Macii, Massoud Pedram, Fabio Somenzi:
High-level power modeling, estimation, and optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(11): 1061-1079 (1998) - [c55]Christoph Meinel, Fabio Somenzi, Thorsten Theobald:
Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86 - [c54]Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi:
Approximation and Decomposition of Binary Decision Diagrams. DAC 1998: 445-450 - [c53]Balakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi:
In-Place Power Optimization for LUT-Based FPGAs. DAC 1998: 718-721 - [c52]Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi:
A Performance Study of BDD-Based Model Checking. FMCAD 1998: 255-289 - [c51]Fabrizio Ferrandi, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi, Fabio Somenzi:
Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. ICCAD 1998: 235-241 - [c50]In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley:
Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358 - [c49]Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton:
On the optimization power of retiming and resynthesis transformations. ICCAD 1998: 402-407 - 1997
- [j21]R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Algebraic Decision Diagrams and Their Applications. Formal Methods Syst. Des. 10(2/3): 171-206 (1997) - [j20]Gary D. Hachtel, Fabio Somenzi:
A Symbolic Algorithms for Maximum Flow in 0-1 Networks. Formal Methods Syst. Des. 10(2/3): 207-219 (1997) - [j19]Shin-ichi Minato, Fabio Somenzi:
Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods Syst. Des. 10(2/3): 221-242 (1997) - [j18]R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi:
Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(10): 1101-1115 (1997) - [j17]Enrico Macii, Bernard Plessier, Fabio Somenzi:
Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(10): 1136-1156 (1997) - [c48]Srilatha Manne, Dirk Grunwald, Fabio Somenzi:
Remembrance of Things Past: Locality and Memory in BDDs. DAC 1997: 196-201 - [c47]Christoph Meinel, Fabio Somenzi, Thorsten Theobald:
Linear Sifting of Decision Diagrams. DAC 1997: 202-207 - [c46]Enrico Macii, Massoud Pedram, Fabio Somenzi:
High-Level Power Modeling, Estimation, and Optimization. DAC 1997: 504-511 - [c45]Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi:
A symbolic algorithm for low-power sequential synthesis. ISLPED 1997: 56-61 - [i2]Christoph Meinel, Fabio Somenzi, Thorsten Theobald:
Function Decomposition and Synthesis Using Linear Sifting. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14 (1997) - 1996
- [b1]Gary D. Hachtel, Fabio Somenzi:
Logic synthesis and verification algorithms. Kluwer 1996, ISBN 978-0-7923-9746-5, pp. I-XXIX, 1-564 - [j16]Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi:
Automatic state space decomposition for approximate FSM traversal based on circuit analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12): 1451-1464 (1996) - [j15]Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi:
Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12): 1465-1478 (1996) - [j14]Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Markovian analysis of large finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12): 1479-1493 (1996) - [c44]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:
VIS: A System for Verification and Synthesis. CAV 1996: 428-432 - [c43]Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi:
Modular Verification of Multipliers. FMCAD 1996: 49-63 - [c42]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:
VIS. FMCAD 1996: 248-256 - [c41]Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi:
Tearing based automatic abstraction for CTL model checking. ICCAD 1996: 76-81 - [c40]R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi:
Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED 1996: 163-168 - [i1]Christoph Meinel, Fabio Somenzi, Thorsten Theobald:
Linear Sifting of Decision Diagrams. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42 (1996) - 1995
- [c39]Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino:
Computing the Maximum Power Cycles of a Sequential Circuit. DAC 1995: 23-28 - [c38]Shipra Panda, Fabio Somenzi:
Who are the variables in your neighborhood. ICCAD 1995: 74-77 - [c37]Kavita Ravi, Fabio Somenzi:
High-density reachability analysis. ICCAD 1995: 154-158 - [c36]R. Iris Bahar, Fabio Somenzi:
Boolean techniques for low power driven re-synthesis. ICCAD 1995: 428-432 - [c35]Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi:
CMOS dynamic power estimation based on collapsible current source transistor modeling. ISLPD 1995: 111-116 - 1994
- [j13]Bernard Plessier, Gary D. Hachtel, Fabio Somenzi:
Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. Formal Methods Syst. Des. 4(2): 167-185 (1994) - [j12]June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby:
Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(2): 167-177 (1994) - [j11]June-Kyung Rho, Fabio Somenzi:
Don't care sequences and the optimization of interacting finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(7): 865-874 (1994) - [c34]Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Probabilistic Analysis of Large Finite State Machines. DAC 1994: 270-275 - [c33]Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi:
A State Space Decomposition Algorithm for Approximate FSM Traversal. EDAC-ETC-EUROASIC 1994: 137-141 - [c32]Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC 1994: 214-218 - [c31]R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi:
Timing Analysis of Combinational Circuits using ADD's. EDAC-ETC-EUROASIC 1994: 625-629 - [c30]R. Iris Bahar, Gary D. Hachtel, Abelardo Pardo, Massimo Poncino, Fabio Somenzi:
An ADD-based algorithm for shortest path back-tracing of large graphs. Great Lakes Symposium on VLSI 1994: 248-251 - [c29]Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi:
Re-encoding sequential circuits to reduce power dissipation. ICCAD 1994: 70-73 - [c28]R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi:
A symbolic method to reduce power consumption of circuits containing false paths. ICCAD 1994: 368-371 - [c27]Shipra Panda, Fabio Somenzi, Bernard Plessier:
Symmetry detection and dynamic variable ordering of decision diagrams. ICCAD 1994: 628-631 - [c26]Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi:
A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. ICCD 1994: 236-239 - 1993
- [j10]Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl Pixley:
Synchronizing sequences and symbolic traversal techniques in test generation. J. Electron. Test. 4(1): 19-31 (1993) - [j9]Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi:
Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(7): 935-945 (1993) - [c25]June-Kyung Rho, Fabio Somenzi:
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. CAV 1993: 123-137 - [c24]Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi:
Algorithms for Approximate FSM Traversal. DAC 1993: 25-30 - [c23]June-Kyung Rho, Fabio Somenzi, Carl Pixley:
Minimum Length Synchronizing Sequences of Finite State Machine. DAC 1993: 463-468 - [c22]R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
Algebraic decision diagrams and their applications. ICCAD 1993: 188-191 - [c21]Gary D. Hachtel, Fabio Somenzi:
A symbolic algorithm for maximum flow in 0-1 networks. ICCAD 1993: 403-406 - 1992
- [c20]June-Kyung Rho, Fabio Somenzi:
Inductive Verification of Iterative Systems. DAC 1992: 628-633 - [c19]Enrico Macii, Bernard Plessier, Fabio Somenzi:
Verification of systems containing counters. ICCAD 1992: 179-182 - [c18]Seh-Woong Jeong, Fabio Somenzi:
A new algorithm for the binate covering problem and its application to the minimization of Boolean relations. ICCAD 1992: 417-420 - [c17]June-Kyung Rho, Fabio Somenzi:
The Role of Prime Compatibles in the Minimization of Finite State Machines. ICCD 1992: 324-327 - 1991
- [j8]Michele Favalli, Piero Olivo, Bruno Riccò, Fabio Somenzi:
Fault simulation for general FCMOS ICs. J. Electron. Test. 2(2): 181-190 (1991) - [c16]Gary D. Hachtel, June-Kyung Rho, Fabio Somenzi, Reily M. Jacoby:
Exact and heuristic algorithms for the minimization of incompletely specified state machines. EURO-DAC 1991: 184-191 - [c15]Tara Weber, Fabio Somenzi:
Periodic signal suppression in a concurrent fault simulator. EURO-DAC 1991: 565-569 - [c14]June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi:
Don't Care Sequences and the Optimization of Interacting Finite State Machines. ICCAD 1991: 418-421 - [c13]Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi:
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. ICCAD 1991: 464-467 - [c12]Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi:
Variable Ordering and Selection for FSM Traversal. ICCAD 1991: 476-479 - [c11]Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi:
Redundancy Identification and Removal Based on Implicit State Enumeration. ICCD 1991: 77-80 - [c10]Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi:
Fast Sequential ATPG Based on Implicit State Enumeration. ITC 1991: 67-74 - 1990
- [c9]Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi:
Results on the Interface between Formal Verification and ATPG. CAV (DIMACS/AMS volume) 1990: 615-628 - [c8]M. Pipponzi, Fabio Somenzi:
An iterative algorithm for the binate covering problem. EURO-DAC 1990: 208-211 - [c7]Bill Lin, Fabio Somenzi:
Minimization of Symbolic Relations. ICCAD 1990: 88-91 - [c6]Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi:
ATPG Aspects of FSM Verification. ICCAD 1990: 134-137
1980 – 1989
- 1989
- [j7]I. Causarano, R. Guizzeti, M. Pipponzi, Fabio Somenzi:
MSYN: Automatic synthesis of hardware. Microprocessing and Microprogramming 27(1-5): 367-372 (1989) - [c5]Robert K. Brayton, Fabio Somenzi:
An exact minimizer for Boolean relations. ICCAD 1989: 316-319 - 1988
- [j6]Silvano Gai, Pier Luca Montessoro, Fabio Somenzi:
MOZART: a concurrent multilevel simulator. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(9): 1005-1016 (1988) - [c4]Silvano Gai, Pier Luca Montessoro, Fabio Somenzi:
The Performance of the Concurrent Fault Simulation Algorithms in MOZART. DAC 1988: 692-697 - [c3]Gianpiero Cabodi, Silvano Gai, Marco Mezzalama, Pier Luca Montessoro, Fabio Somenzi:
Fault simulation in a multilevel environment: the MOZART approach. FTCS 1988: 128-133 - [c2]Robert K. Brayton, Ellen M. Sentovich, Fabio Somenzi:
Don't cares and global flow analysis of Boolean networks. ICCAD 1988: 98-101 - 1987
- [j5]Silvano Gai, Fabio Somenzi, M. Spalla:
Fast and Coherent Simulation with Zero Delay Elements. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6(1): 85-93 (1987) - [j4]Silvano Gai, Fabio Somenzi, Ernst G. Ulrich:
Advances in Concurrent Multilevel Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6(6): 1006-1012 (1987) - 1986
- [j3]Fabio Somenzi, Silvano Gai:
Fault detection in programmable logic arrays. Proc. IEEE 74(5): 655-668 (1986) - 1985
- [j2]Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto:
Testing Strategy and Technique for Macro-Based Circuits. IEEE Trans. Computers 34(1): 85-90 (1985) - 1984
- [j1]Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto:
PART: Programmable Array Testing Based on a Partitioning Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 3(2): 142-149 (1984) - 1983
- [c1]Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto:
A new integrated system for PLA testing and verification. DAC 1983: 57-63
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
