Search results for "abstraction-refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Sagar Chaki, Anupam Datta	ASPIER: An Automated Framework for Verifying Security Protocol Implementations.	CSF	2009	DBLP DOI BibTeX RDF	model checking, verification, security protocol, abstraction refinement
20	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
20	Mana Taghdiri, Daniel Jackson 0001	Inferring specifications to detect errors in code.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference
20	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Compositional SCC Analysis for Language Emptiness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, model checking, BDD, LTL, abstraction refinement
20	Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani	SYNERGY: a new algorithm for property checking.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
19	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
19	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
19	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
17	Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár	EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
17	Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone	An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
17	W. Alejandro Apaza-Perez, Antoine Girard	Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Pavel Surynek	Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding.	CoRR	2023	DBLP DOI BibTeX RDF
17	Zhiqiang Zuo 0002, Xintao Niu, Siyi Zhang, Lu Fang 0003, Siau-Cheng Khoo, Shan Lu 0001, Chengnian Sun, Guoqing Harry Xu	Toward More Efficient Statistical Debugging with Abstraction Refinement.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
17	Pavel Surynek	Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Goal Multi-Robot Path Planning.	IROS	2023	DBLP DOI BibTeX RDF
17	Tobias Ladner, Matthias Althoff	Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis.	HSCC	2023	DBLP DOI BibTeX RDF
17	Pavel Surynek	Non-Refined Abstractions in Counterexample Guided Abstraction Refinement for Multi-Agent Path Finding.	ICTAI	2023	DBLP DOI BibTeX RDF
17	Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert	Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement.	ICAPS	2023	DBLP DOI BibTeX RDF
17	Sebastian Junges, Matthijs T. J. Spaan	Abstraction-Refinement for Hierarchical Probabilistic Models.	CoRR	2022	DBLP DOI BibTeX RDF
17	Matan Ostrovsky, Clark W. Barrett, Guy Katz	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.	CoRR	2022	DBLP BibTeX RDF
17	Mohamed Toufik Ailane, Christoph Knieke, Andreas Rausch	How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?	CoRR	2022	DBLP DOI BibTeX RDF
17	Sebastian Junges, Matthijs T. J. Spaan	Abstraction-Refinement for Hierarchical Probabilistic Models.	CAV (1)	2022	DBLP DOI BibTeX RDF
17	Aleksandar S. Dimovski	Model sketching by abstraction refinement for lifted model checking.	SAC	2022	DBLP DOI BibTeX RDF
17	Matan Ostrovsky, Clark W. Barrett, Guy Katz	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.	ATVA	2022	DBLP DOI BibTeX RDF
17	Benedikt Maderbacher, Roderick Bloem	Reactive Synthesis Modulo Theories using Abstraction Refinement.	FMCAD	2022	DBLP DOI BibTeX RDF
17	Maxence Dutreix, Samuel Coogan 0001	Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
17	Shivam Handa, Martin C. Rinard	Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization.	CoRR	2021	DBLP BibTeX RDF
17	Wael Fatnassi, Yasser Shoukry	PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.	CoRR	2021	DBLP BibTeX RDF
17	Benedikt Maderbacher, Roderick Bloem	Reactive Synthesis Modulo Theories Using Abstraction Refinement.	CoRR	2021	DBLP BibTeX RDF
17	Aleksandar S. Dimovski	Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version).	CoRR	2021	DBLP BibTeX RDF
17	Zhiyong Wu, Ke Meng, Xiukun Yan, Dayin Shi, Benjia Hu	Abstraction Refinement Approach for Web Service Selection using Skyline Computations.	SERVICES	2021	DBLP DOI BibTeX RDF
17	Wael Fatnassi, Yasser Shoukry	PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.	ADHS	2021	DBLP DOI BibTeX RDF
17	Stanley Bak	nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement.	NFM	2021	DBLP DOI BibTeX RDF
17	Guy Katz	Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.	SMT	2021	DBLP BibTeX RDF
17	Tamás Tóth	Abstraction Refinement-Based Verification of Timed Automata		2021	RDF
17	Zheng Guo 0003, Michael James 0003, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova	Program synthesis by type-guided abstraction refinement.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
17	Soumi Chattopadhyay, Ansuman Banerjee	QoS Constrained Large Scale Web Service Composition Using Abstraction Refinement.	IEEE Trans. Serv. Comput.	2020	DBLP DOI BibTeX RDF
17	Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction refinement and antichains for trace inclusion of infinite state systems.	Formal Methods Syst. Des.	2020	DBLP DOI BibTeX RDF
17	Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski	Generalized abstraction-refinement for game-based CTL lifted model checking.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
17	Rahul Chakwate, Arulkumar Subramaniam, Anurag Mittal	MARNet: Multi-Abstraction Refinement Network for 3D Point Cloud Analysis.	CoRR	2020	DBLP BibTeX RDF
17	Xuankang Lin, He Zhu 0001, Roopsha Samanta, Suresh Jagannathan	Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.	FMCAD	2020	DBLP DOI BibTeX RDF
17	Jendrik Seipp, Samuel von Allmen, Malte Helmert	Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement.	ICAPS	2020	DBLP BibTeX RDF
17	Julio César López-Hernández	An abstraction-refinement framework for first-order reasoning with large theories.		2020	RDF
17	Ratan Lal, Pavithra Prabhakar	Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
17	Victor Roussanaly, Ocan Sankur, Nicolas Markey	Abstraction Refinement Algorithms for Timed Automata.	CoRR	2019	DBLP BibTeX RDF
17	Zheng Guo 0003, Michael James 0003, David Justo, Jiaxiao Zhou, Ziteng Wang, Ranjit Jhala, Nadia Polikarpova	Program Synthesis by Type-Guided Abstraction Refinement.	CoRR	2019	DBLP BibTeX RDF
17	Xuankang Lin, He Zhu 0001, Roopsha Samanta, Suresh Jagannathan	ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.	CoRR	2019	DBLP BibTeX RDF
17	Nils Timm, Stefan Gruner	Three-valued bounded model checking with cause-guided abstraction refinement.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
17	Victor Roussanaly, Ocan Sankur, Nicolas Markey	Abstraction Refinement Algorithms for Timed Automata.	CAV (1)	2019	DBLP DOI BibTeX RDF
17	Yoke Peng Leong, Pavithra Prabhakar	Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement.	ICRA	2019	DBLP DOI BibTeX RDF
17	John Törnblom, Simin Nadjm-Tehrani	An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.	SAFECOMP Workshops	2019	DBLP DOI BibTeX RDF
17	Kaustabha Ray, Ansuman Banerjee, Swarup Kumar Mohalik	Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach.	SOCA	2019	DBLP DOI BibTeX RDF
17	Alexander Rovner, Silvan Sievers, Malte Helmert	Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning.	ICAPS	2019	DBLP BibTeX RDF
17	Nils Christian Froleyks, Tomás Balyo, Dominik Schreiber	PASAR - Planning as Satisfiability with Abstraction Refinement.	SOCS	2019	DBLP DOI BibTeX RDF
17	Xinyu Wang 0006, Isil Dillig, Rishabh Singh	Program synthesis using abstraction refinement.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
17	Jendrik Seipp, Malte Helmert	Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning.	J. Artif. Intell. Res.	2018	DBLP DOI BibTeX RDF
17	Guy Avni, Shibashis Guha, Orna Kupferman	An Abstraction-Refinement Methodologyfor Reasoning about Network Games†.	Games	2018	DBLP DOI BibTeX RDF
17	Roberto Bruni, Roberto Giacobazzi, Roberta Gori	Code obfuscation against abstraction refinement attacks.	Formal Aspects Comput.	2018	DBLP DOI BibTeX RDF
17	Abhiram Kothapalli, Robert Mitchell 0001	Regex-Based Linkography Abstraction Refinement for Information Security.	IWSPA@CODASPY	2018	DBLP DOI BibTeX RDF
17	Nils Timm, Stefan Gruner	Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.	FTSCS	2018	DBLP DOI BibTeX RDF
17	Julio César López-Hernández, Konstantin Korovin	An Abstraction-Refinement Framework for Reasoning with Large Theories.	IJCAR	2018	DBLP DOI BibTeX RDF
17	Liangze Yin, Wei Dong 0006, Wanwei Liu, Yunchou Li, Ji Wang 0001	YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution).	TACAS (2)	2018	DBLP DOI BibTeX RDF
17	Radu Iosif, Xiao Xu	Abstraction Refinement for Emptiness Checking of Alternating Data Automata.	TACAS (2)	2018	DBLP DOI BibTeX RDF
17	Liangze Yin, Wei Dong 0006, Wanwei Liu, Ji Wang 0001	Scheduling constraint based abstraction refinement for weak memory models.	ASE	2018	DBLP DOI BibTeX RDF
17	Marius Greitschus	New techniques for abstraction refinement.		2018	RDF
17	Philip S. Kurtin, Marco Jan Gerrit Bekooij	An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
17	Xiaobin Zhang, Bo Wu 0005, Hai Lin 0002	Counterexample-Guided Abstraction Refinement for POMDPs.	CoRR	2017	DBLP BibTeX RDF
17	Liangze Yin, Wei Dong 0006, Wanwei Liu, Ji Wang 0001	Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.	CoRR	2017	DBLP BibTeX RDF
17	Xinyu Wang 0006, Isil Dillig, Rishabh Singh	Program Synthesis using Abstraction Refinement.	CoRR	2017	DBLP BibTeX RDF
17	Pierre-Jean Meyer, Dimos V. Dimarogonas	Compositional abstraction refinement for control synthesis.	CoRR	2017	DBLP BibTeX RDF
17	Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz	Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
17	Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois	Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.	DX	2017	DBLP DOI BibTeX RDF
17	Julio César López-Hernández, Konstantin Korovin	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
17	Robert Mitchell, Marci McBride, John Jarocki	Linkography abstraction refinement and cyber security.	CNS	2017	DBLP DOI BibTeX RDF
17	Pierre-Jean Meyer, Dimos V. Dimarogonas	Compositional abstraction refinement for control synthesis under lasso-shaped specifications.	ACC	2017	DBLP DOI BibTeX RDF
17	Joost-Pieter Katoen, Falak Sher	Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
17	Ryo Yanase	Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata.	ICST	2017	DBLP DOI BibTeX RDF
17	Xu Guo, Zongyuan Yang	Continuous simulation abstraction refinement for Markov decision processes.	ICSAI	2017	DBLP DOI BibTeX RDF
17	Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran	Ontology Materialization by Abstraction Refinement in Horn SHOIF.	AAAI	2017	DBLP DOI BibTeX RDF
17	Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt	Abstraction Refinement for the Analysis of Software Product Lines.	TAP@STAF	2017	DBLP DOI BibTeX RDF
17	Nima Roohi, Pavithra Prabhakar, Mahesh Viswanathan 0001	HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.	TACAS (1)	2017	DBLP DOI BibTeX RDF
17	Tamás Tóth, Ákos Hajdu, András Vörös 0001, Zoltán Micskei, István Majzik	Theta: A framework for abstraction refinement-based model checking.	FMCAD	2017	DBLP DOI BibTeX RDF
17	Markus Brenner, Birte Glimm	Incremental Materialization Update via Abstraction Refinement.	Description Logics	2017	DBLP BibTeX RDF
17	Guy Avni, Shibashis Guha, Orna Kupferman	An Abstraction-Refinement Methodology for Reasoning about Network Games.	IJCAI	2017	DBLP DOI BibTeX RDF
17	Aleksandar S. Dimovski, Andrzej Wasowski	Variability-Specific Abstraction Refinement for Family-Based Model Checking.	FASE	2017	DBLP DOI BibTeX RDF
17	Stefan Löwe	Effective Approaches to Abstraction Refinement for Automatic Software Verification.		2017	RDF
17	Soumi Chattopadhyay, Ansuman Banerjee	QoS constrained Large Scale Web Service Composition using Abstraction Refinement.	CoRR	2016	DBLP BibTeX RDF
17	Yael Meller, Orna Grumberg, Sharon Shoham	A framework for compositional verification of multi-valued systems via abstraction-refinement.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
17	Weifeng Wang, Li Jiao	Trace Abstraction Refinement for Solving Horn Clauses.	Comput. J.	2016	DBLP DOI BibTeX RDF
17	Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo	Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information.	ICCST	2016	DBLP DOI BibTeX RDF
17	Pavithra Prabhakar, Miriam Garcia Soto	Counterexample Guided Abstraction Refinement for Stability Analysis.	CAV (1)	2016	DBLP DOI BibTeX RDF
17	Zhiqiang Zuo 0002, Lu Fang 0003, Siau-Cheng Khoo, Guoqing Xu 0001, Shan Lu 0001	Low-overhead and fully automated statistical debugging with abstraction refinement.	OOPSLA	2016	DBLP DOI BibTeX RDF
17	Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker	Counterexample guided abstraction refinement of product-line behavioural models.	Software Engineering	2016	DBLP BibTeX RDF
17	Radu Grigore, Hongseok Yang	Abstraction refinement guided by a learnt probabilistic model.	POPL	2016	DBLP DOI BibTeX RDF
17	Kuan Fan, Ming-Jen Yang, Chung-Yang Huang	Automatic abstraction refinement of TR for PDR.	ASP-DAC	2016	DBLP DOI BibTeX RDF
17	Yoke Peng Leong, Pavithra Prabhakar	Optimal control with regular objectives using an abstraction-refinement approach.	ACC	2016	DBLP DOI BibTeX RDF
17	Xin Li, Naoki Kobayashi 0001	Equivalence-Based Abstraction Refinement for \mu HORS Model Checking.	ATVA	2016	DBLP DOI BibTeX RDF
17	Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe	A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.	COMPSAC Workshops	2016	DBLP DOI BibTeX RDF
17	Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.	TACAS	2016	DBLP DOI BibTeX RDF
17	Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran	Ontology Materialization by Abstraction Refinement in Horn SHOIF.	Description Logics	2016	DBLP BibTeX RDF
17	Azalea Raad	Abstraction, refinement and concurrent reasoning.		2016	RDF