Search results for "under-approximation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	under-approximation, symbolic model checking, hints, symmetry reduction
30	Sumit Gulwani, Nebojsa Jojic	Program verification as probabilistic inference.	POPL	2007	DBLP DOI BibTeX RDF	automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs
28	Robert Brummayer, Armin Biere	Effective Bit-Width and Under-Approximation.	EUROCAST	2009	DBLP DOI BibTeX RDF
19	Abhimanyu Das, David Kempe 0001	Algorithms for subset selection in linear regression.	STOC	2008	DBLP DOI BibTeX RDF	subset selection, sparse approximation
19	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
19	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	Deciding Bit-Vector Arithmetic with Abstraction.	TACAS	2007	DBLP DOI BibTeX RDF
15	Zhiyi Xue, Si Liu 0003, Zhaodi Zhang, Yiting Wu, Min Zhang 0002	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zhiyi Xue, Si Liu 0003, Zhaodi Zhang, Yiting Wu, Min Zhang 0002	A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.	ISSTA	2023	DBLP DOI BibTeX RDF
15	Yiting Wu, Zhaodi Zhang, Zhiyi Xue, Si Liu 0003, Min Zhang	DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sharon Barner, Orna Grumberg	Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
13	David A. Schmidt	Closed and Logical Relations for Over- and Under-Approximation of Powersets.	SAS	2004	DBLP DOI BibTeX RDF
10	Martin E. Dyer, Leslie Ann Goldberg, Catherine S. Greenhill, Mark Jerrum	The Relative Complexity of Approximate Counting Problems.	Algorithmica	2004	DBLP DOI BibTeX RDF	Computational complexity, Approximate counting
10	Martin E. Dyer, Leslie Ann Goldberg, Catherine S. Greenhill, Mark Jerrum	On the relative complexity of approximate counting problems.	APPROX	2000	DBLP DOI BibTeX RDF
9	Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue 0001, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu	UR4NNV: Neural Network Verification, Under-approximation Reachability Works!	CoRR	2024	DBLP DOI BibTeX RDF
9	Xiyue Zhang, Benjie Wang, Marta Kwiatkowska	Provable Preimage Under-Approximation for Neural Networks.	TACAS (3)	2024	DBLP DOI BibTeX RDF
9	Azalea Raad	Under-Approximation for Scalable Bug Detection (Keynote).	CPP	2024	DBLP DOI BibTeX RDF
9	Liren Yang, Necmiye Ozay	Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
9	Flavio Ascari, Roberto Bruni, Roberta Gori	Limits and difficulties in the design of under-approximation abstract domains.	FoSSaCS	2022	DBLP DOI BibTeX RDF
9	Liren Yang, Necmiye Ozay	Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems.	CoRR	2021	DBLP BibTeX RDF
9	Torsten Liebke, Karsten Wolf	Verification of Token-Scaling Models using an Under-Approximation.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
9	Shuxin Ding, Qi Zhang 0052, Zhiming Yuan	An under-approximation for the robust uncertain two-level cooperative set covering problem.	CDC	2020	DBLP DOI BibTeX RDF
9	Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets	Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling.	CoRR	2019	DBLP BibTeX RDF
9	Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	UTOPIC: Under-Approximation Through Optimal Control.	QEST	2019	DBLP DOI BibTeX RDF
9	Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets	Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract.	HSCC	2019	DBLP DOI BibTeX RDF
9	Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron	Under-Approximation Generation Driven by Relevance Predicates and Variants.	TAP@STAF	2018	DBLP DOI BibTeX RDF
9	Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue 0001	Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.	FORMATS	2018	DBLP DOI BibTeX RDF
9	Markus Iser, Felix Kutzner, Carsten Sinz	Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.	ICTAI	2017	DBLP DOI BibTeX RDF
9	Bai Xue 0001, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan	Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.	FORMATS	2017	DBLP DOI BibTeX RDF
9	Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron	Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?	TASE	2017	DBLP DOI BibTeX RDF
9	Hadrien Bride, Jacques Julliand, Pierre-Alain Masson	Tri-modal under-approximation for test generation.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
9	Bingbing Fang, Guoqiang Li 0001, Daniel Sun 0004, Hongming Cai	Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.	SETTA	2016	DBLP DOI BibTeX RDF
9	Manu Agarwal, Ragesh Jaiswal, Arindam Pal 0001	k-Means++ under approximation stability.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
9	Hadrien Bride, Jacques Julliand, Pierre-Alain Masson	Tri-modal under-approximation of event systems for test generation.	SAC	2015	DBLP DOI BibTeX RDF
9	Manuel Heusner, Martin Wehrle, Florian Pommerening, Malte Helmert	Under-Approximation Refinement for Classical Planning.	ICAPS	2014	DBLP BibTeX RDF
9	Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux	Under-approximation of Reachability in Multivalued Asynchronous Networks.	CS2Bio	2013	DBLP DOI BibTeX RDF
9	Maria-Florina Balcan, Avrim Blum, Anupam Gupta 0001	Clustering under approximation stability.	J. ACM	2013	DBLP DOI BibTeX RDF
9	Manu Agarwal, Ragesh Jaiswal, Arindam Pal 0001	k-means++ under Approximation Stability.	TAMC	2013	DBLP DOI BibTeX RDF
9	Mahesh Prabhu, Jacob A. Abraham	Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults.	ITC	2013	DBLP DOI BibTeX RDF
9	Paolo Tonella, Alessandro Marchetto 0001, Duy Cu Nguyen, Yue Jia 0001, Kiran Lakhotia, Mark Harman	Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.	ICST	2012	DBLP DOI BibTeX RDF
9	Jörg Brauer, Axel Simon	Inferring Definite Counterexamples through Under-Approximation.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
9	Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson	Association of Under-Approximation Techniques for Generating Tests from Models.	TAP@TOOLS	2011	DBLP DOI BibTeX RDF
9	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-approximation Refinement	CoRR	2007	DBLP BibTeX RDF
9	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-Approximation Refinement.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
9	Thomas Ball, Orna Kupferman	Better Under-Approximation of Programs by Hiding Variables.	VMCAI	2007	DBLP DOI BibTeX RDF
9	Adam Antonik, Nathaniel Charlton, Michael Huth 0001	Polynomial-Time Under-Approximation of Winning Regions in Parity Games.	MFCSIT	2006	DBLP DOI BibTeX RDF
9	Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson	Under-approximation Heuristics for Grid-based Bounded Model Checking.	PDMC@ICALP	2005	DBLP DOI BibTeX RDF
9	Farn Wang	Under-approximation of the Greatest Fixpoints in Real-Time System Verification	CoRR	2005	DBLP BibTeX RDF
9	Farn Wang	Under-approximation of the Greatest Fixpoint in Real-Time System Verification	CoRR	2005	DBLP BibTeX RDF
9	David L. Dill, Howard Wong-Toi	Verification of Real-Time Systems by Successive Over and Under Approximation.	CAV	1995	DBLP DOI BibTeX RDF
8	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
8	Christopher Lynch	Unsound Theorem Proving.	CSL	2004	DBLP DOI BibTeX RDF
7	Matthew Hague, C.-H. Luke Ong	Winning Regions of Pushdown Parity Games: A Saturation Method.	CONCUR	2009	DBLP DOI BibTeX RDF
7	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
7	Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang	Implication-Based Approximating Bounded Model Checking.	FSEN	2007	DBLP DOI BibTeX RDF	Approximation, Abstraction, Bounded Model Checking, Implication
7	Luca de Alfaro, Pritam Roy	Solving Games Via Three-Valued Abstraction Refinement.	CONCUR	2007	DBLP DOI BibTeX RDF
7	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
5	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh 0002, Sriram Sankaranarayanan 0001, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
5	Thomas Ball, Orna Kupferman, Mooly Sagiv	Leaping Loops in the Presence of Abstraction.	CAV	2007	DBLP DOI BibTeX RDF
5	Nannan He, Michael S. Hsiao	Bounded model checking of embedded software in wireless cognitive radio systems.	ICCD	2007	DBLP DOI BibTeX RDF
5	Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai	Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism.	RTA	2003	DBLP DOI BibTeX RDF
4	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
4	Pavol Cerný, Rajeev Alur	Automated Analysis of Java Methods for Confidentiality.	CAV	2009	DBLP DOI BibTeX RDF
4	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
4	Xueqi Cheng, Michael S. Hsiao	Ant Colony Optimization directed program abstraction for software bounded model checking.	ICCD	2008	DBLP DOI BibTeX RDF
4	Robert Brummayer, Armin Biere	C32SAT: Checking C Expressions.	CAV	2007	DBLP DOI BibTeX RDF
4	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	On the Efficient Computation of the Minimal Coverability Set for Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
4	Farn Wang	Symbolic Simulation-Checking of Dense-Time Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time
4	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
4	Georgios E. Fainekos, George J. Pappas	Robustness of Temporal Logic Specifications.	FATES/RV	2006	DBLP DOI BibTeX RDF	Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces