Search results for "abstraction-refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Martin Stigge, Wang Yi 0001	Combinatorial abstraction refinement for feasibility analysis of static priorities.	Real Time Syst.	2015	DBLP DOI BibTeX RDF
17	Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko	Verifying large modular systems using iterative abstraction refinement.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
17	Radu Grigore, Hongseok Yang	Abstraction Refinement Guided by a Learnt Probabilistic Model.	CoRR	2015	DBLP BibTeX RDF
17	Andreas Teucke, Christoph Weidenbach	First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement.	CoRR	2015	DBLP BibTeX RDF
17	Franck Cassez, Frowin Ziegler	Verification of Concurrent Programs Using Trace Abstraction Refinement.	LPAR	2015	DBLP DOI BibTeX RDF
17	Naoki Kobayashi 0001, Xin Li	Automata-Based Abstraction Refinement for µHORS Model Checking.	LICS	2015	DBLP DOI BibTeX RDF
17	Jesse Hostetler, Alan Fern, Thomas G. Dietterich	Progressive Abstraction Refinement for Sparse Sampling.	UAI	2015	DBLP BibTeX RDF
17	María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta	Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.	HSCC	2015	DBLP DOI BibTeX RDF
17	Kai Wang 0029, Guoqing Xu 0001, Zhendong Su 0001, Yu David Liu	GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC.	USENIX Annual Technical Conference	2015	DBLP BibTeX RDF
17	Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov	EPR-based k-induction with Counterexample Guided Abstraction Refinement.	GCAI	2015	DBLP DOI BibTeX RDF
17	Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani	Counterexample-guided abstraction refinement for linear programs with arrays.	Autom. Softw. Eng.	2014	DBLP DOI BibTeX RDF
17	Guy Avni, Orna Kupferman	An abstraction-refinement framework for trigger querying.	Formal Methods Syst. Des.	2014	DBLP DOI BibTeX RDF
17	Klaus Dräger, Marta Z. Kwiatkowska, David Parker 0001, Hongyang Qu 0001	Local abstraction refinement for probabilistic timed programs.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Lianyi Zhang, Qingdi Meng, Kueiming Lo	Compositional Abstraction Refinement for Component-Based Systems.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
17	Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen	Incremental Bisimulation Abstraction Refinement.	ACM Trans. Embed. Comput. Syst.	2014	DBLP DOI BibTeX RDF
17	María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta	Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.	CoRR	2014	DBLP BibTeX RDF
17	Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Abstraction Refinement for Trace Inclusion of Data Automata.	CoRR	2014	DBLP BibTeX RDF
17	Adnan Bouakaz, Thierry Gautier	An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.	MEMOCODE	2014	DBLP DOI BibTeX RDF
17	Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).	CAV	2014	DBLP DOI BibTeX RDF
17	Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard	Abstraction Refinement for Ontology Materialization.	ISWC (2)	2014	DBLP DOI BibTeX RDF
17	Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong	A type-directed abstraction refinement approach to higher-order model checking.	POPL	2014	DBLP DOI BibTeX RDF
17	Weifeng Wang, Li Jiao	Trace Abstraction Refinement for Timed Automata.	ATVA	2014	DBLP DOI BibTeX RDF
17	Petter Nilsson, Necmiye Ozay	Incremental synthesis of switching protocols via abstraction refinement.	CDC	2014	DBLP DOI BibTeX RDF
17	Lianyi Zhang, Qingdi Meng, Guiming Luo	Counterexample-Guided Abstraction Refinement for Component-Based Systems.	COMPSAC	2014	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.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
17	Xin Zhang 0035, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang	On abstraction refinement for program analyses in Datalog.	PLDI	2014	DBLP DOI BibTeX RDF
17	Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump	Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
17	Hao Ren 0004, Jing Huang 0022, Shengbing Jiang, Ratnesh Kumar 0001	A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.	ICNSC	2014	DBLP DOI BibTeX RDF
17	Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard	Abstraction Refinement for Ontology Materialization.	Description Logics	2014	DBLP BibTeX RDF
17	Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba	Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.	FORMATS	2014	DBLP DOI BibTeX RDF
17	Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin	Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.	ACM Trans. Inf. Syst. Secur.	2013	DBLP DOI BibTeX RDF
17	Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna	Quantitative abstraction refinement.	POPL	2013	DBLP DOI BibTeX RDF
17	Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen	Incremental Bisimulation Abstraction Refinement.	ACSD	2013	DBLP DOI BibTeX RDF
17	Jendrik Seipp, Malte Helmert	Additive Counterexample-Guided Cartesian Abstraction Refinement.	AAAI (Late-Breaking Developments)	2013	DBLP BibTeX RDF
17	Martin Stigge, Wang Yi 0001	Combinatorial Abstraction Refinement for Feasibility Analysis.	RTSS	2013	DBLP DOI BibTeX RDF
17	Jendrik Seipp, Malte Helmert	Counterexample-Guided Cartesian Abstraction Refinement.	ICAPS	2013	DBLP BibTeX RDF
17	Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Michael Tautschnig, Thomas Wahl	Counterexample-guided abstraction refinement for symmetric concurrent programs.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
17	Cong Tian, Zhenhua Duan, Nan Zhang 0001	An efficient approach for abstraction-refinement in model checking.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	An abstraction refinement approach combining precise and approximated techniques.	Int. J. Softw. Tools Technol. Transf.	2012	DBLP DOI BibTeX RDF
17	Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke	Assume-Guarantee Abstraction Refinement for Probabilistic Systems	CoRR	2012	DBLP BibTeX RDF
17	Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke	Assume-Guarantee Abstraction Refinement for Probabilistic Systems.	CAV	2012	DBLP DOI BibTeX RDF
17	Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran	Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.	CAV	2012	DBLP DOI BibTeX RDF
17	Nils Timm, Heike Wehrheim, Mike Czech	Heuristic-Guided Abstraction Refinement for Concurrent Systems.	ICFEM	2012	DBLP DOI BibTeX RDF
17	Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay	Equational Abstraction Refinement for Certified Tree Regular Model Checking.	ICFEM	2012	DBLP DOI BibTeX RDF
17	Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager	Automata Learning through Counterexample Guided Abstraction Refinement.	FM	2012	DBLP DOI BibTeX RDF
17	Luis María Ferrer Fioriti, Holger Hermanns	Heuristics for Probabilistic Timed Automata with Abstraction Refinement.	MMB/DFT	2012	DBLP DOI BibTeX RDF
17	Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter	Variable Probabilistic Abstraction Refinement.	ATVA	2012	DBLP DOI BibTeX RDF
17	Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li 0001	Assumption Generation for Asynchronous Systems by Abstraction Refinement.	FACS	2012	DBLP DOI BibTeX RDF
17	Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer 0001	Language-Theoretic Abstraction Refinement.	FASE	2012	DBLP DOI BibTeX RDF
17	Sumit Kumar Jha 0001, Christopher James Langmead	Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Harald Fecher, Sharon Shoham	Local abstraction-refinement for the μ-calculus.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
17	Ying Chen, Ye Tian, Hongwei Zeng	Test Generation by Using Component Composition Abstraction Refinement.	ACIS-ICIS	2011	DBLP DOI BibTeX RDF
17	Mauro Baluda	Automatic structural testing with abstraction refinement and coarsening.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
17	Percy Liang, Mayur Naik	Scaling abstraction refinement via pruning.	PLDI	2011	DBLP DOI BibTeX RDF
17	Guy Avni, Orna Kupferman	An Abstraction-Refinement Framework for Trigger Querying.	SAS	2011	DBLP DOI BibTeX RDF
17	Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia	Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.	PACBB	2011	DBLP DOI BibTeX RDF
17	Parasara Sridhar Duggirala, Sayan Mitra	Abstraction Refinement for Stability.	ICCPS	2011	DBLP DOI BibTeX RDF
17	Falk Howar, Bernhard Steffen, Maik Merten	Automata Learning with Automated Alphabet Abstraction Refinement.	VMCAI	2011	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey	Scheduling large jobs by abstraction refinement.	EuroSys	2011	DBLP DOI BibTeX RDF
17	Cong Tian, Zhenhua Duan	Making Abstraction-Refinement Efficient in Model Checking.	COCOON	2011	DBLP DOI BibTeX RDF
17	Honghao Gao, Huaikou Miao, Hongwei Zeng	Research on Web Service Composition Using Probabilistic Abstraction Refinement.	TASE	2011	DBLP DOI BibTeX RDF
17	Rohit Chadha, Mahesh Viswanathan 0001	A counterexample-guided abstraction-refinement framework for markov decision processes.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
17	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	A game-based abstraction-refinement framework for Markov decision processes.	Formal Methods Syst. Des.	2010	DBLP DOI BibTeX RDF
17	Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda	Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification
17	Fei He 0001, Xiaoyu Song, William N. N. Hung, Ming Gu 0001, Jiaguang Sun 0001	Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	verification, Formal models
17	Pierre Ganty, Nicolas Maquet, Jean-François Raskin	Fixed point guided abstraction refinement for alternating automata.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig	Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
17	Adam Bakewell, Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	Data-abstraction refinement: a game semantic approach.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
17	Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe	Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques.	ACM Trans. Design Autom. Electr. Syst.	2010	DBLP DOI BibTeX RDF
17	Mikolás Janota, João Marques-Silva 0001, Radu Grigore	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription	CoRR	2010	DBLP BibTeX RDF
17	Cong Tian, Zhenhua Duan	Making Abstraction Refinement Efficient in Model Checking	CoRR	2010	DBLP BibTeX RDF
17	Pritam Roy	Interface Building for Software by Modular Three-Valued Abstraction Refinement.	CoRR	2010	DBLP BibTeX RDF
17	Luca de Alfaro, Pritam Roy	Solving games via three-valued abstraction refinement.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
17	Orna Grumberg	2-Valued and 3-Valued Abstraction-Refinement in Model Checking.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
17	Luca Pulina, Armando Tacchella	An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.	CAV	2010	DBLP DOI BibTeX RDF
17	Edmund M. Clarke, Robert P. Kurshan, Helmut Veith	The Localization Reduction and Counterexample-Guided Abstraction Refinement.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
17	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko	Thread-Modular Counterexample-Guided Abstraction Refinement.	SAS	2010	DBLP DOI BibTeX RDF
17	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001	PASS: Abstraction Refinement for Infinite Probabilistic Models.	TACAS	2010	DBLP DOI BibTeX RDF
17	Mikolás Janota, Radu Grigore, João Marques-Silva 0001	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.	JELIA	2010	DBLP DOI BibTeX RDF
17	Fei He 0001, He Zhu 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001	Compositional Abstraction Refinement for Timed Systems.	TASE	2010	DBLP DOI BibTeX RDF
17	Sebastian Biallas, Jörg Brauer, Stefan Kowalewski	Counterexample-Guided Abstraction Refinement for PLCs.	SSV	2010	DBLP BibTeX RDF
17	Mohamed Nassim Seghir	Abstraction refinement techniques for software model checking.		2010	RDF
17	Roman Gershman, Ofer Strichman	HaifaSat: a SAT solver based on an Abstraction/Refinement model.	J. Satisf. Boolean Model. Comput.	2009	DBLP DOI BibTeX RDF
17	Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001	Heuristic-Guided Abstraction Refinement.	Comput. J.	2009	DBLP DOI BibTeX RDF
17	Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda	Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs.	ISVLSI	2009	DBLP DOI BibTeX RDF
17	Mitra Purandare, Thomas Wahl, Daniel Kroening	Strengthening properties using abstraction refinement.	DATE	2009	DBLP DOI BibTeX RDF
17	Yael Meller, Orna Grumberg, Sharon Shoham	A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.	ATVA	2009	DBLP DOI BibTeX RDF
17	Pierre Ganty, Nicolas Maquet, Jean-François Raskin	Fixpoint Guided Abstraction Refinement for Alternating Automata.	CIAA	2009	DBLP DOI BibTeX RDF
17	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk.	SAVCBS	2009	DBLP DOI BibTeX RDF
17	Hans-Jörg Peter, Robert Mattmüller	Component-Based Abstraction Refinement for Timed Controller Synthesis.	RTSS	2009	DBLP DOI BibTeX RDF
17	Tobe Toben	Analysis of dynamic evolution systems by spotlight abstraction refinement.		2009	RDF
17	Sharon Shoham	Abstraction-refinement and modularity in μ-calculus model checking.		2009	RDF
17	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	Fundam. Informaticae	2008	DBLP BibTeX RDF
17	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	J. Satisf. Boolean Model. Comput.	2008	DBLP DOI BibTeX RDF
17	Rohit Chadha, Mahesh Viswanathan 0001	A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes	CoRR	2008	DBLP BibTeX RDF
17	Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko	Finer Is Better: Abstraction Refinement for Rewriting Approximations.	RTA	2008	DBLP DOI BibTeX RDF
17	Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie	Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.	ASE	2008	DBLP DOI BibTeX RDF
17	Hao Shen, Frédéric Pétrot	MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method.	VLSI Design	2008	DBLP DOI BibTeX RDF
17	Rayna Dimitrova, Bernd Finkbeiner	Abstraction Refinement for Games with Incomplete Information.	FSTTCS	2008	DBLP DOI BibTeX RDF
17	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF