Search results for "CEGAR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Chao Wang 0001, Aarti Gupta, Franjo Ivancic	Induction in CEGAR for Detecting Counterexamples.	FMCAD	2007	DBLP DOI BibTeX RDF
72	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
60	Holger Hermanns, Björn Wachter, Lijun Zhang 0001	Probabilistic CEGAR.	CAV	2008	DBLP DOI BibTeX RDF
60	Chao Wang 0001, Hyondeuk Kim, Aarti Gupta	Hybrid CEGAR: combining variable hiding and predicate abstraction.	ICCAD	2007	DBLP DOI BibTeX RDF
54	Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
54	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
54	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv	Abstract Counterexample-Based Refinement for Powerset Domains.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
47	Dragana Dordevic Cegar, Miguel Barreda-Ángeles, Dragan Kukolj, Patrick Le Callet	Modelling effects of S3D visual discomfort in human emotional state using data mining techniques.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
47	Sasa Vojvodic, Sasa Cegar, Damir Medved	Social and economic effects of investments in Primorsko-goranska County broadband network.	MIPRO	2017	DBLP DOI BibTeX RDF
42	Federico Mari, Enrico Tronci	CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
36	Kenneth L. McMillan, Lenore D. Zuck	Abstract Counterexamples for Non-disjunctive Abstractions.	RP	2009	DBLP DOI BibTeX RDF
36	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
36	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
36	Felix Klaedtke, Stefan Ratschan, Zhikun She	Language-Based Abstraction Refinement for Hybrid System Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
36	Anubhav Gupta 0001, Ofer Strichman	Abstraction Refinement for Bounded Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
29	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
29	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
29	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
29	Deepak Kapur, Rupak Majumdar, Calogero G. Zarba	Interpolation for data structures.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	CEGAR, data structure verification, interpolation
24	Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry	Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection.	CoRR	2024	DBLP DOI BibTeX RDF
24	Kerian Thuillier, Anne Siegel, Loïc Paulevé	CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.	AAAI	2024	DBLP DOI BibTeX RDF
24	Martín Pozo, Álvaro Torralba, Carlos Linares López	When CEGAR Meets Regression: A Love Story in Optimal Classical Planning.	AAAI	2024	DBLP DOI BibTeX RDF
24	Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim	Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.	Software Engineering	2023	DBLP BibTeX RDF
24	Marcel Vinzent, Siddhant Sharma, Jörg Hoffmann 0001	Neural Policy Safety Verification via Predicate Abstraction: CEGAR.	AAAI	2023	DBLP DOI BibTeX RDF
24	Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl	cegar-pt: A Tool for Abstraction by Program Transformation.	ASE	2023	DBLP DOI BibTeX RDF
24	Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet	BAXMC: a CEGAR approach to Max\#SAT.	CoRR	2022	DBLP DOI BibTeX RDF
24	Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang 0002	Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.	CAV (1)	2022	DBLP DOI BibTeX RDF
24	Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu 0001	CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.	SAS	2022	DBLP DOI BibTeX RDF
24	Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár	Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
24	Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet	BaxMC: a CEGAR approach to Max#SAT.	FMCAD	2022	DBLP DOI BibTeX RDF
24	Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim	Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.	ICSE	2022	DBLP DOI BibTeX RDF
24	Kai Yang, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001	A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.	IEEE Trans. Reliab.	2021	DBLP DOI BibTeX RDF
24	Torsten Liebke, Karsten Wolf	Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.	Trans. Petri Nets Other Model. Concurr.	2021	DBLP DOI BibTeX RDF
24	Rajeev Goré, Cormac Kikkert	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT.	TABLEAUX	2021	DBLP DOI BibTeX RDF
24	Zsófia Ádám, Gyula Sallai, Ákos Hajdu	Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).	TACAS (2)	2021	DBLP DOI BibTeX RDF
24	Ákos Hajdu, Zoltán Micskei	Efficient Strategies for CEGAR-Based Model Checking.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
24	Naoki Iwayama, Naoki Kobayashi 0001, Ryota Suzuki 0002, Takeshi Tsukada	Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.	SAS	2020	DBLP DOI BibTeX RDF
24	Shun Wang, Ye Du, Zhen Han	An improved method of k-induction combined with predicate abstraction and CEGAR for software model checking.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
24	Yan Ma, Zining Cao, Yang Liu 0003	A PSO-Based CEGAR Framework for Stochastic Model Checking.	Int. J. Softw. Eng. Knowl. Eng.	2019	DBLP DOI BibTeX RDF
24	Torsten Liebke, Karsten Wolf	Solving E (φUψ) using the CEGAR Approach.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
24	Dongwoo Kim, Yunja Choi	Model Checking Embedded Control Software using OS-in-the-Loop CEGAR.	ASE	2019	DBLP DOI BibTeX RDF
24	Fei He 0001, Qianshan Yu, Liming Cai	When Regression Verification Meets CEGAR.	CoRR	2018	DBLP BibTeX RDF
24	Leander Tentrup	On Expansion and Resolution in CEGAR Based QBF Solving.	CoRR	2018	DBLP BibTeX RDF
24	Dirk Beyer 0001, Karlheinz Friedberger	In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
24	Hiromu Kamide, Kosuke Uemura, Satoshi Yamane	Model Check of Real-time Property of Embedded Assembly Program Using CEGAR.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
24	Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki 0001, Vijay Ganesh	Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.	VSTTE	2017	DBLP DOI BibTeX RDF
24	Leander Tentrup	On Expansion and Resolution in CEGAR Based QBF Solving.	CAV (2)	2017	DBLP DOI BibTeX RDF
24	Heinz Riener, Rüdiger Ehlers, Görschwin Fey	CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification.	ASP-DAC	2017	DBLP DOI BibTeX RDF
24	Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail	A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.	IJCAI	2017	DBLP DOI BibTeX RDF
24	Yusuke Matsunaga	Accelerating SAT-Based Boolean Matching for Heterogeneous FPGAs Using One-Hot Encoding and CEGAR Technique.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2016	DBLP DOI BibTeX RDF
24	Vitaly O. Mordan, Vadim S. Mutilin	Checking several requirements at once by CEGAR.	Program. Comput. Softw.	2016	DBLP DOI BibTeX RDF
24	Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki 0001	Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions.	CoRR	2016	DBLP BibTeX RDF
24	Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters	Two CEGAR-based approaches for the safety verification of PLC-controlled plants.	Inf. Syst. Frontiers	2016	DBLP DOI BibTeX RDF
24	Manuel Töws, Heike Wehrheim	A CEGAR Scheme for Information Flow Analysis.	ICFEM	2016	DBLP DOI BibTeX RDF
24	Karsten Scheibler, Dominik Erb, Bernd Becker 0001	Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs.	DATE	2016	DBLP BibTeX RDF
24	Dirk Beyer 0001, Thomas Lemberger 0002	Symbolic Execution with CEGAR.	ISoLA (1)	2016	DBLP DOI BibTeX RDF
24	Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl 0001	Clauses Versus Gates in CEGAR-Based 2QBF Solving.	AAAI Workshop: Beyond NP	2016	DBLP BibTeX RDF
24	Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001	Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.	TACAS	2016	DBLP DOI BibTeX RDF
24	Ákos Hajdu, Tamás Tóth, András Vörös 0001, István Majzik	A Configurable CEGAR Framework with Interpolation-Based Refinements.	FORTE	2016	DBLP DOI BibTeX RDF
24	Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001	Hybrid automata-based CEGAR for rectangular hybrid systems.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
24	Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca	CEGAR for compositional analysis of qualitative properties in Markov decision processes.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
24	Maximilien Colange, Dimitri Racordon, Didier Buchs	A CEGAR-like Approach for Cost LTL Bounds.	CoRR	2015	DBLP BibTeX RDF
24	Johanna Nellen, Erika Ábrahám, Benedikt Wolters	A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
24	Vitaly O. Mordan, Vadim S. Mutilin	Checking Several Requirements at once by CEGAR.	Ershov Memorial Conference	2015	DBLP DOI BibTeX RDF
24	Takuya Kuwahara, Ryosuke Sato 0001, Hiroshi Unno 0001, Naoki Kobayashi 0001	Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs.	CAV (2)	2015	DBLP DOI BibTeX RDF
24	Ákos Hajdu, András Vörös 0001, Tamás Bartha	New Search Strategies for the Petri Net CEGAR Approach.	Petri Nets	2015	DBLP DOI BibTeX RDF
24	Yusuke Matsunaga	Accelerating SAT-based Boolean matching for heterogeneous FPGAs using one-hot encoding and CEGAR technique.	ASP-DAC	2015	DBLP DOI BibTeX RDF
24	Tachio Terauchi	Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.	SAS	2015	DBLP DOI BibTeX RDF
24	Martin Leucker, Grigory Markin, Martin R. Neuhäußer	A New Refinement Strategy for CEGAR-Based Industrial Model Checking.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
24	Ákos Hajdu, András Vörös 0001, Tamás Bartha, Zoltán Mártonka	Extensions to the CEGAR Approach on Petri Nets.	Acta Cybern.	2014	DBLP DOI BibTeX RDF
24	Cong Tian, Zhenhua Duan, Zhao Duan	Making CEGAR More Efficient in Software Model Checking.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
24	Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca	CEGAR for Qualitative Analysis of Probabilistic Systems.	CoRR	2014	DBLP BibTeX RDF
24	Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca	CEGAR for Qualitative Analysis of Probabilistic Systems.	CAV	2014	DBLP DOI BibTeX RDF
24	Steven te Brinke	Interpreting energy profiles with CEGAR.	SAC	2014	DBLP DOI BibTeX RDF
24	Satoshi Yamane, Takaya Shimizu	Development of probabilistic timed CEGAR.	ICSAI	2014	DBLP DOI BibTeX RDF
24	Aditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan 0001, James Kapinski	Multiple shooting, CEGAR-based falsification for hybrid systems.	EMSOFT	2014	DBLP DOI BibTeX RDF
24	Yael Meller, Orna Grumberg, Karen Yorav	Verifying Behavioral UML Systems via CEGAR.	IFM	2014	DBLP DOI BibTeX RDF
24	Johanna Nellen, Erika Ábrahám	A CEGAR approach for the reachability analysis of PLC-controlled chemical plants.	IRI	2014	DBLP DOI BibTeX RDF
24	Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani	Combining Relational Learning with SMT Solvers Using CEGAR.	CAV	2013	DBLP DOI BibTeX RDF
24	Stefan Löwe	CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution).	TACAS	2013	DBLP DOI BibTeX RDF
24	Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan 0001	Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.	VMCAI	2013	DBLP DOI BibTeX RDF
24	Dirk Beyer 0001, Stefan Löwe	Explicit-State Software Model Checking Based on CEGAR and Interpolation.	FASE	2013	DBLP DOI BibTeX RDF
24	Harro Wimmel, Karsten Wolf	Applying CEGAR to the Petri Net State Equation	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
24	Dirk Beyer 0001, Stefan Löwe	Explicit-Value Analysis Based on CEGAR and Interpolation	CoRR	2012	DBLP BibTeX RDF
24	Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz	An efficient refinement strategy exploiting component properties in a cegar process.	FDL	2012	DBLP BibTeX RDF
24	Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz	Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process.	FDL (Selected Papers)	2012	DBLP DOI BibTeX RDF
24	Farès Chucri	Exploiting Model Structure in CEGAR Verification Method.		2012	RDF
24	Naoki Kobayashi 0001, Ryosuke Sato 0001, Hiroshi Unno 0001	Predicate abstraction and CEGAR for higher-order model checking.	PLDI	2011	DBLP DOI BibTeX RDF
24	Harro Wimmel, Karsten Wolf	Applying CEGAR to the Petri Net State Equation.	TACAS	2011	DBLP DOI BibTeX RDF
24	Kozo Okano, Behzad Bordbar, Takeshi Nagaoka	Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.	ICNC	2011	DBLP DOI BibTeX RDF
24	Parosh Aziz Abdulla, Yu-Fang Chen 0001, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine	Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.	CONCUR	2010	DBLP DOI BibTeX RDF
24	Anubhav Gupta 0001, Edmund M. Clarke	Reconsidering CEGAR: Learning Good Abstractions without Refinement.	ICCD	2005	DBLP DOI BibTeX RDF
18	Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri	Structure-aware computation of predicate abstraction.	FMCAD	2009	DBLP DOI BibTeX RDF
18	Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah	Reveal: A Formal Verification Tool for Verilog Designs.	LPAR	2008	DBLP DOI BibTeX RDF
18	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
18	Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer	Goanna: Syntactic Software Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
18	Ranjit Jhala, Kenneth L. McMillan	Array Abstractions from Proofs.	CAV	2007	DBLP DOI BibTeX RDF
18	Dirk Beyer 0001, Thomas A. Henzinger, Vasu Singh	Algorithms for Interface Synthesis.	CAV	2007	DBLP DOI BibTeX RDF
18	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
18	Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF