Search results for "counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Hichem Debbi	Counterexamples in Model Checking - A survey.	Informatica (Slovenia)	2018	DBLP BibTeX RDF
17	Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh	A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples.	CoRR	2018	DBLP BibTeX RDF
17	Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu	Counterexamples for Robotic Planning Explained in Structured Language.	CoRR	2018	DBLP BibTeX RDF
17	Gabriel Grand, Aron Szanto	On the Flip Side: Identifying Counterexamples in Visual Question Answering.	CoRR	2018	DBLP BibTeX RDF
17	Jagdeep Bhatia	Simple Algorithms for Learning from Random Counterexamples.	CoRR	2018	DBLP BibTeX RDF
17	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	Learning Control Lyapunov Functions from Counterexamples and Demonstrations.	CoRR	2018	DBLP BibTeX RDF
17	Miaomiao Han, Jiaao Li, Yezhou Wu, Cun-Quan Zhang	Counterexamples to Jaeger's Circular Flow Conjecture.	J. Comb. Theory, Ser. B	2018	DBLP DOI BibTeX RDF
17	Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz	Executable Counterexamples in Software Model Checking.	VSTTE	2018	DBLP DOI BibTeX RDF
17	Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu	Counterexamples for Robotic Planning Explained in Structured Language.	ICRA	2018	DBLP DOI BibTeX RDF
17	Syed Rafay Hasan, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla	A Novel Framework to Introduce Hardware Trojan Monitors using Model Checking Based Counterexamples: Inspired by Game Theory.	MWSCAS	2018	DBLP DOI BibTeX RDF
17	Sholeh Yasini, Torbjörn Wigren	Counterexamples to Parametric Convergence in Recursive Networked Identification.	ACC	2018	DBLP DOI BibTeX RDF
17	Manish Goyal 0002, Parasara Sridhar Duggirala	On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.	ADHS	2018	DBLP DOI BibTeX RDF
17	Bruno Blaskovic, Frano Skopljanac-Macina, I. Zakarija	Discovering e-learning process models from counterexamples.	MIPRO	2018	DBLP DOI BibTeX RDF
17	Gail Weiss, Yoav Goldberg, Eran Yahav	Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.	ICML	2018	DBLP BibTeX RDF
17	Takashi Kamihigashi	41 Counterexamples to property (B) of the discrete time bomber problem.	Ann. Oper. Res.	2017	DBLP DOI BibTeX RDF
17	Aleksandar Ilic, Milovan Ilic	Counterexamples to conjectures on graph distance measures based on topological indexes.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
17	Wiktor B. Daszczuk	Critical trees: counterexamples in model checking of CSM systems using CBS algorithm.	CoRR	2017	DBLP BibTeX RDF
17	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.	CoRR	2017	DBLP BibTeX RDF
17	Gail Weiss, Yoav Goldberg, Eran Yahav	Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.	CoRR	2017	DBLP BibTeX RDF
17	Andries E. Brouwer, J. Daniel Christensen	Counterexamples to conjectures about Subset Takeaway and counting linear extensions of a Boolean lattice.	CoRR	2017	DBLP BibTeX RDF
17	Yibin Fang, Yubin Gao	Counterexamples to the conjecture on orientations of graphs with minimum Wiener index.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber, Frank Stephan 0001	Automatic learning from positive data and negative counterexamples.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
17	Martin Milanic, Nicolas Trotignon	Equistarable Graphs and Counterexamples to Three Conjectures on Equistable Graphs.	J. Graph Theory	2017	DBLP DOI BibTeX RDF
17	Rudy Braquehais, Colin Runciman	Extrapolate: generalizing counterexamples of functional test properties.	IFL	2017	DBLP DOI BibTeX RDF
17	Dana Angluin, Tyler Dohrn	The Power of Random Counterexamples.	ALT	2017	DBLP BibTeX RDF
17	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.	Robotics: Science and Systems	2017	DBLP BibTeX RDF
17	Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001	A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker.	SATE	2017	DBLP DOI BibTeX RDF
17	Marius Greitschus, Daniel Dietsch, Andreas Podelski	Loop Invariants from Counterexamples.	SAS	2017	DBLP DOI BibTeX RDF
17	Aivar Sootla, Diego A. Oyarzún, David Angeli, Guy-Bart Stan	Shaping pulses to control bistable systems: Analysis, computation and counterexamples.	Autom.	2016	DBLP DOI BibTeX RDF
17	Mark N. Ellingham, Emily Abernethy Marshall	Criticality of Counterexamples to Toroidal Edge-Hamiltonicity.	Graphs Comb.	2016	DBLP DOI BibTeX RDF
17	Cody Barnson, Dawn Chandler, Qiao Chen, Christina Chung, Andrew Coccimiglio, Sean La, Lily Li, Aïna Linn, Anna Lubiw, Clare Lyle, Shikha Mahajan, Gregory W. Mierzwinski, Simon Pratt, Yoon Su Yoo, Hongbo Zhang, Kevin Zhang	Some Counterexamples for Compatible Triangulations.	CoRR	2016	DBLP BibTeX RDF
17	Yatin A. Manerkar, Caroline Trippel, Daniel Lustig, Michael Pellauer, Margaret Martonosi	Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings.	CoRR	2016	DBLP BibTeX RDF
17	Geoff W. Hamilton	Generating Counterexamples for Model Checking by Transformation.	VPT@ETAPS	2016	DBLP DOI BibTeX RDF
17	Peter Hertling	Two Counterexamples Concerning the Scott Topology on a Partial Order.	CoRR	2016	DBLP BibTeX RDF
17	Filippo Santambrogio, Xu-Jia Wang	Convexity of the support of the displacement interpolation: Counterexamples.	Appl. Math. Lett.	2016	DBLP DOI BibTeX RDF
17	Marián Slodicka, B. Tomas Johansson	Uniqueness and counterexamples in some inverse source problems.	Appl. Math. Lett.	2016	DBLP DOI BibTeX RDF
17	Xuewen Dong, Chao Yang 0016, Lijie Sheng, Chao Wang 0085, Jianfeng Ma 0001	A new method to deduce counterexamples in secure routing protocols based on strand space model.	Secur. Commun. Networks	2016	DBLP DOI BibTeX RDF
17	Vladimir Kanovei, Vassily A. Lyubetsky	Counterexamples to countable-section uniformization and separation.	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
17	Venkata Koppula, Brent Waters	Circular Security Counterexamples for Arbitrary Length Cycles from LWE.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
17	Andrii Mironchenko	Local input-to-state stability: Characterizations and counterexamples.	Syst. Control. Lett.	2016	DBLP DOI BibTeX RDF
17	Soma Dutta, Francesc Esteva, Lluís Godo	On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization.	CAEPIA	2016	DBLP DOI BibTeX RDF
17	Pranav Garg 0001, Daniel Neider, P. Madhusudan, Dan Roth	Learning invariants using decision trees and implication counterexamples.	POPL	2016	DBLP DOI BibTeX RDF
17	Daniel Carballa, Laura M. Castro	Automatic generation of UML sequence diagrams from test counterexamples.	Erlang Workshop	2016	DBLP DOI BibTeX RDF
17	David Hauzar, Claude Marché, Yannick Moy	Counterexamples from Proof Failures in SPARK.	SEFM	2016	DBLP DOI BibTeX RDF
17	Guantao Chen, Hikoe Enomoto, Kenta Ozeki, Shoichi Tsuchiya	Plane Triangulations Without a Spanning Halin Subgraph: Counterexamples to the Lovász-Plummer Conjecture on Halin Graphs.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
17	Matt DeVos, Bojan Mohar, Robert Sámal	Highly arc-transitive digraphs - Structure and counterexamples.	Comb.	2015	DBLP DOI BibTeX RDF
17	William Paul Heath, Joaquín Carrasco, Manuel de la Sen	Second-order counterexamples to the discrete-time Kalman conjecture.	Autom.	2015	DBLP DOI BibTeX RDF
17	João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry	Generating counterexamples of model-based software product lines.	Int. J. Softw. Tools Technol. Transf.	2015	DBLP DOI BibTeX RDF
17	Ralf Wimmer 0001, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001	High-level Counterexamples for Probabilistic Automata	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
17	Allison Bishop, Susan Hohenberger, Brent Waters	New Circular Security Counterexamples from Decision Linear and Learning with Errors.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
17	Cheng-shi Liu	Counterexamples on Jumarie's two basic fractional calculus formulae.	Commun. Nonlinear Sci. Numer. Simul.	2015	DBLP DOI BibTeX RDF
17	Borut Luzar, Riste Skrekovski	Counterexamples to a conjecture on injective colorings.	Ars Math. Contemp.	2015	DBLP DOI BibTeX RDF
17	Seog-Jin Kim, Boram Park	Counterexamples to the List Square Coloring Conjecture.	J. Graph Theory	2015	DBLP DOI BibTeX RDF
17	Oday Jubran, Eike Möhlmann, Oliver E. Theel	Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.	SSS	2015	DBLP DOI BibTeX RDF
17	Soma Dutta, Piotr Wasilewski	Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach.	PReMI	2015	DBLP DOI BibTeX RDF
17	Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001	Counterexamples for Expected Rewards.	FM	2015	DBLP DOI BibTeX RDF
17	Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels	Show Me New Counterexamples: A Path-Based Approach.	ICST	2015	DBLP DOI BibTeX RDF
17	Soma Dutta, Piotr Wasilewski	Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples.	CS&P	2015	DBLP BibTeX RDF
17	Allison Bishop, Susan Hohenberger, Brent Waters	New Circular Security Counterexamples from Decision Linear and Learning with Errors.	ASIACRYPT (2)	2015	DBLP DOI BibTeX RDF
17	Chinawat Isradisaikul, Andrew C. Myers	Finding counterexamples from parsing conflicts.	PLDI	2015	DBLP DOI BibTeX RDF
17	Laure Gonnord, David Monniaux, Gabriel Radanne	Synthesis of ranking functions using extremal counterexamples.	PLDI	2015	DBLP DOI BibTeX RDF
17	Phuc C. Nguyen, David Van Horn	Relatively complete counterexamples for higher-order programs.	PLDI	2015	DBLP DOI BibTeX RDF
17	Thomas Vetterlein	Logic of prototypes and counterexamples: possibilities and limits.	IFSA-EUSFLAT	2015	DBLP BibTeX RDF
17	Nils Jansen 0001	Counterexamples in probabilistic verification.		2015	RDF
17	Nabil L. Youssef, Salah Gomaa Elgendi	Computing nullity and kernel vectors using NF-package: Counterexamples.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
17	Matthias Henze	On Counterexamples to a Conjecture of Wills and Ehrhart Polynomials whose Roots have Equal Real Parts.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
17	Ralf Wimmer 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001	Minimal counterexamples for linear-time probabilistic verification.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Tao Wang	Minimal counterexamples and discharging method.	CoRR	2014	DBLP BibTeX RDF
17	Martin Milanic, Nicolas Trotignon	Equistarable graphs and counterexamples to three conjectures on equistable graphs.	CoRR	2014	DBLP BibTeX RDF
17	Phuc C. Nguyen, David Van Horn	Relatively Complete Counterexamples for Higher-Order Programs.	CoRR	2014	DBLP BibTeX RDF
17	Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom	Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
17	Dany Leviatan, Igor A. Shevchuk, O. V. Vlasiuk	Positive results and counterexamples in comonotone approximation II.	J. Approx. Theory	2014	DBLP DOI BibTeX RDF
17	Omar El-Dakkak, Giovanni Peccati, Igor Prünster	Exchangeable Hoeffding decompositions over finite sets: A combinatorial characterization and counterexamples.	J. Multivar. Anal.	2014	DBLP DOI BibTeX RDF
17	Nickos Papadatos	Some counterexamples concerning maximal correlation and linear regression.	J. Multivar. Anal.	2014	DBLP DOI BibTeX RDF
17	Wouter Castryck, Robert Laterveer, Myriam Ounaïes	Constraints on counterexamples to the Casas-Alvero conjecture and a verification in degree 12.	Math. Comput.	2014	DBLP DOI BibTeX RDF
17	Satya Gautam Vadlamudi, Partha Pratim Chakrabarti	Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection.	IEEE Trans. Dependable Secur. Comput.	2014	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Learning from Positive Data and Negative Counterexamples: A Survey.	Computing with New Resources	2014	DBLP DOI BibTeX RDF
17	Duc-Hanh Dang, Jordi Cabot	On Automating Inference of OCL Constraints from Counterexamples and Examples.	KSE	2014	DBLP DOI BibTeX RDF
17	Sentot Kromodimoeljo	Controlling the Generation of Multiple Counterexamples in LTL Model Checking		2014	DOI RDF
17	Steven T. Flammia, Aram W. Harrow	Counterexamples to Kalai's conjecture C.	Quantum Inf. Comput.	2013	DBLP DOI BibTeX RDF
17	Bara Kim, Jeongsim Kim, Jerim Kim	Counterexamples to conjectures on discriminatory processor sharing and generalized processor sharing systems.	Oper. Res. Lett.	2013	DBLP DOI BibTeX RDF
17	M. D. Voisei, Constantin Zalinescu	Counterexamples to a triality theorem for quadratic-exponential minimization problems.	Math. Methods Oper. Res.	2013	DBLP DOI BibTeX RDF
17	Bruno Ziliotto	Zero-sum repeated games: counterexamples to the existence of the asymptotic value and the conjecture maxmin=lim v(n)	CoRR	2013	DBLP BibTeX RDF
17	Charles McCarty	Antirealism and Constructivism: Brouwer's Weak Counterexamples.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
17	Charles McCarty	Brouwer's Weak Counterexamples and Testability: further Remarks.	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
17	Ken-ichi Kawarabayashi, Gexin Yu	Connectivities for k-knitted graphs and for minimal counterexamples to Hadwiger's Conjecture.	J. Comb. Theory, Ser. B	2013	DBLP DOI BibTeX RDF
17	Hichem Debbi, Mustapha Bourahla	Causal analysis of probabilistic counterexamples.	MEMOCODE	2013	DBLP BibTeX RDF
17	Ralf Wimmer 0001, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001	High-Level Counterexamples for Probabilistic Automata.	QEST	2013	DBLP DOI BibTeX RDF
17	Stefan Leue, Mitra Tabaei Befrouei	Mining Sequential Patterns to Explain Concurrent Counterexamples.	SPIN	2013	DBLP DOI BibTeX RDF
17	Aditya Zutshi 0001, Sriram Sankaranarayanan 0001, Jyotirmoy V. Deshmukh, James Kapinski	A trajectory splicing approach to concretizing counterexamples for hybrid systems.	CDC	2013	DBLP DOI BibTeX RDF
17	Alicia Hurtado-Cortegana, Francesc J. Ferri, Wladimiro Díaz Villanueva, Carlos Morell 0001	Drug Activity Characterization Using One-Class Support Vector Machines with Counterexamples.	CIARP (2)	2013	DBLP DOI BibTeX RDF
17	Joseph O'Rourke	Unfolding Face-Neighborhood Convex Patches: Counterexamples and Positive Results.	CCCG	2013	DBLP BibTeX RDF
17	Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo	Generalized counterexamples to liveness properties.	FMCAD	2013	DBLP BibTeX RDF
17	Cong Tian, Zhenhua Duan	Detecting spurious counterexamples efficiently in abstract model checking.	ICSE	2013	DBLP DOI BibTeX RDF
17	João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Benoit Baudry, Jérôme Le Noir	Generating counterexamples of model-based software product lines: an exploratory study.	SPLC	2013	DBLP DOI BibTeX RDF
17	Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz	Supraclassical Consequence Relations - Tolerating Rare Counterexamples.	Australasian Conference on Artificial Intelligence	2013	DBLP DOI BibTeX RDF
17	Ukachukwu Ndukwu	Generating counterexamples for quantitative safety specifications in probabilistic B.	J. Log. Algebraic Methods Program.	2012	DBLP DOI BibTeX RDF
17	Rafael De Clercq	On some putative graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles.	Synth.	2012	DBLP DOI BibTeX RDF
17	Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato	Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
17	Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler	Explaining counterexamples using causality.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF