Search results for "counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Michal Krupka	On complexity reduction of concept lattices: three counterexamples.	Inf. Retr.	2012	DBLP DOI BibTeX RDF
17	Joseph O'Rourke	Unfolding Prismatoids as Convex Patches: Counterexamples and Positive Results	CoRR	2012	DBLP BibTeX RDF
17	Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001	The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains	CoRR	2012	DBLP BibTeX RDF
17	Nicolas Cebron, Fabian Richter, Rainer Lienhart	"I can tell you what it's not": active learning from counterexamples.	Prog. Artif. Intell.	2012	DBLP DOI BibTeX RDF
17	Yevgeniy Dodis, Abhishek Jain 0002, Tal Moran, Daniel Wichs	Counterexamples to Hardness Amplification Beyond Negligible.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
17	Johan Björklund, Cecilia Holmgren	Counterexamples to a monotonicity conjecture for the threshold pebbling number.	Discret. Math.	2012	DBLP DOI BibTeX RDF
17	Ferenc Péterfalvi	Two counterexamples on completely independent spanning trees.	Discret. Math.	2012	DBLP DOI BibTeX RDF
17	Akihiro Higashitani	Counterexamples of the Conjecture on Roots of Ehrhart Polynomials.	Discret. Comput. Geom.	2012	DBLP DOI BibTeX RDF
17	Nicolas Cebron, Fabian Richter, Rainer Lienhart	Decision Tree Induction from Counterexamples.	ICPRAM (2)	2012	DBLP BibTeX RDF
17	Takeshi Matsumoto, Shohei Ono, Masahiro Fujita	An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence.	VLSI-SoC	2012	DBLP DOI BibTeX RDF
17	Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta	Formal methods for ranking counterexamples through assumption mining.	DATE	2012	DBLP DOI BibTeX RDF
17	Yevgeniy Dodis, Abhishek Jain 0002, Tal Moran, Daniel Wichs	Counterexamples to Hardness Amplification beyond Negligible.	TCC	2012	DBLP DOI BibTeX RDF
17	Miroslav N. Velev, Ping Gao 0002	Automated debugging of counterexamples in formal verification of pipelined microprocessors.	ASP-DAC	2012	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Automatic Learning from Positive Data and Negative Counterexamples.	ALT	2012	DBLP DOI BibTeX RDF
17	Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001	The COMICS Tool - Computing Minimal Counterexamples for DTMCs.	ATVA	2012	DBLP DOI BibTeX RDF
17	Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.	MBMV	2012	DBLP BibTeX RDF
17	E. Dogan Sumer, Dennis S. Bernstein	Robust sampled-data adaptive control of the Rohrs counterexamples.	CDC	2012	DBLP DOI BibTeX RDF
17	Jagadish M., Sridhar Iyer	A method to construct counterexamples for greedy algorithms.	ITiCSE	2012	DBLP DOI BibTeX RDF
17	Jörg Brauer, Axel Simon	Inferring Definite Counterexamples through Under-Approximation.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
17	Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira	Executing Model Checking Counterexamples in Simulink.	TASE	2012	DBLP DOI BibTeX RDF
17	Sebastian M. Cioaba, Michael Tait	More Counterexamples to the Alon-Saks-Seymour and Rank-Coloring Conjectures.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
17	Jeroen Ketema	Counterexamples in infinitary rewriting with non-fully-extended rules.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
17	Manfred Schmidt-Schauß, David Sabel, Elena Machkasova	Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
17	M. D. Voisei, Constantin Zalinescu	Counterexamples to a triality theorem in "Canonical dual least square method".	Comput. Optim. Appl.	2011	DBLP DOI BibTeX RDF
17	Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita	Multi-Level Bounded Model Checking with Symbolic Counterexamples.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Iterative learning from texts and counterexamples using additional information.	Mach. Learn.	2011	DBLP DOI BibTeX RDF
17	H. Mohebi 0001, Mehdi Vatandoost	Counterexamples on some articles on quasi-variational inclusion problems.	J. Glob. Optim.	2011	DBLP DOI BibTeX RDF
17	M. D. Voisei, Constantin Zalinescu	Counterexamples to some triality and tri-duality results.	J. Glob. Optim.	2011	DBLP DOI BibTeX RDF
17	Cong Tian, Zhenhua Duan	Detecting Spurious Counterexamples Efficiently in Abstract Model Checking	CoRR	2011	DBLP BibTeX RDF
17	L. Ignacio Lopez, Juan M. Bardallo, Miguel A. De Vega, Antonio Peregrín	REGAL-TC: a distributed genetic algorithm for concept learning based on REGAL and the treatment of counterexamples.	Soft Comput.	2011	DBLP DOI BibTeX RDF
17	Wayne Aitken, Franz Lemmermeyer	Counterexamples to the Hasse Principle.	Am. Math. Mon.	2011	DBLP DOI BibTeX RDF
17	Samuel Frank, Jiayang Jiang	New Classes of Counterexamples to Hendrickson's Global Rigidity Conjecture.	Discret. Comput. Geom.	2011	DBLP DOI BibTeX RDF
17	Ágnes Backhausz	Local degree distributions: Examples and counterexamples.	Period. Math. Hung.	2011	DBLP DOI BibTeX RDF
17	Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen	A dynamic constraint-based BMC strategy for generating counterexamples.	SAC	2011	DBLP DOI BibTeX RDF
17	Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue	From Probabilistic Counterexamples via Causality to Fault Trees.	SAFECOMP	2011	DBLP DOI BibTeX RDF
17	Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001	Hierarchical Counterexamples for Discrete-Time Markov Chains.	ATVA	2011	DBLP DOI BibTeX RDF
17	Jan Staunton, John A. Clark	Finding short counterexamples in promela models using estimation of distribution algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
17	William Paul Heath, Rafael M. Morales, Guang Li 0002	Robustness preserving antiwindup: Examples and counterexamples.	CACSD	2011	DBLP DOI BibTeX RDF
17	Fernando G. S. L. Brandão, Michal Horodecki	On Hastings' Counterexamples to the Minimum Output Entropy Additivity Conjecture.	Open Syst. Inf. Dyn.	2010	DBLP DOI BibTeX RDF
17	Ryo Takada	Counterexamples of Commutator Estimates in the Besov and the Triebel-Lizorkin Spaces Related to the Euler Equations.	SIAM J. Math. Anal.	2010	DBLP DOI BibTeX RDF
17	Husain Aljazzar, Stefan Leue	Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
17	Venkat Anantharam	Counterexamples to a proposed stam inequality on finite groups.	IEEE Trans. Inf. Theory	2010	DBLP DOI BibTeX RDF
17	Trifon Trifonov	Dialectica Interpretation with Marked Counterexamples	CL&C	2010	DBLP DOI BibTeX RDF
17	Andrei Kupavskii, Andrei M. Raigorodskii	Counterexamples to Borsuk's conjecture on spheres of small radii.	CoRR	2010	DBLP BibTeX RDF
17	Piernicola Bettiol, Alberto Bressan, Richard B. Vinter	On Trajectories Satisfying a State Constraint: W1, 1 Estimates and Counterexamples.	SIAM J. Control. Optim.	2010	DBLP DOI BibTeX RDF
17	Franz Weitl, Shin Nakajima 0001, Burkhard Freitag	From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking).	it Inf. Technol.	2010	DBLP DOI BibTeX RDF
17	Franz Weitl, Shin Nakajima 0001	Incremental Construction of Counterexamples in Model Checking Web Documents.	WWV	2010	DBLP DOI BibTeX RDF
17	Jasmin Christian Blanchette, Koen Claessen	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
17	Muhammad-Naeem Irfan	State Machine Inference in Testing Context with Long Counterexamples.	ICST	2010	DBLP DOI BibTeX RDF	state machine inference, finite state machine, black box, counterexample
17	V. O. Bragin, Nikolay V. Kuznetsov, Gennady A. Leonov	Algorithm for construction of counterexamples to Aizerman's and Kalman's conjecture.	PSYCO	2010	DBLP DOI BibTeX RDF
17	Matthew L. Bolton, Ellen J. Bass	Using task analytic models to visualize model checker counterexamples.	SMC	2010	DBLP DOI BibTeX RDF
17	Daniel Seidel, Janis Voigtländer	Automatically Generating Counterexamples to Naive Free Theorems.	FLOPS	2010	DBLP DOI BibTeX RDF
17	Franz Weitl, Shin Nakajima 0001, Burkhard Freitag	Structured Counterexamples for the Temporal Description Logic ALCCTL.	SEFM	2010	DBLP DOI BibTeX RDF
17	Therese C. Biedl, Anna Lubiw, Michael J. Spriggs	Morphing polyhedra with parallel faces: Counterexamples.	Comput. Geom.	2009	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	One-shot learners using negative counterexamples and nearest positive examples.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Raphaël M. Jungers, Vladimir Protasov	Counterexamples to the Complex Polytope Extremality Conjecture.	SIAM J. Matrix Anal. Appl.	2009	DBLP DOI BibTeX RDF
17	Andrew Wynn	Counterexamples to the Discrete and Continuous Weighted Weiss Conjectures.	SIAM J. Control. Optim.	2009	DBLP DOI BibTeX RDF
17	Volker Elling	Instability of Strong Regular Reflection and Counterexamples to the Detachment Criterion.	SIAM J. Appl. Math.	2009	DBLP DOI BibTeX RDF
17	Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler	Explaining Counterexamples Using Causality.	CAV	2009	DBLP DOI BibTeX RDF
17	Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue	Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.	QEST	2009	DBLP DOI BibTeX RDF	Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis
17	Sanjay Jain 0001, Efim B. Kinber	Iterative Learning from Texts and Counterexamples Using Additional Information.	ALT	2009	DBLP DOI BibTeX RDF
17	Matthias Schmalz, Daniele Varacca, Hagen Völzer	Counterexamples in Probabilistic LTL Model Checking for Markov Chains.	CONCUR	2009	DBLP DOI BibTeX RDF
17	Daniel Guevara	Rebutting formally valid counterexamples to the Humean "is-ought" dictum.	Synth.	2008	DBLP DOI BibTeX RDF
17	Bhalchandra D. Thatte	Combinatorics of Pedigrees I: Counterexamples to a Reconstruction Question.	SIAM J. Discret. Math.	2008	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Learning languages from positive data and negative counterexamples.	J. Comput. Syst. Sci.	2008	DBLP DOI BibTeX RDF
17	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Fixing Design Errors With Counterexamples and Resynthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
17	Patrick M. Hayden, Andreas J. Winter 0002	Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1.	CoRR	2008	DBLP BibTeX RDF
17	Jaime Gutierrez 0001, David Sevilla	Building counterexamples to generalizations for rational functions of Ritt's decomposition theorem.	CoRR	2008	DBLP BibTeX RDF
17	Christopher Clingerman, Jeremiah Hemphill, Corey Proscia	Analysis and Counterexamples Regarding Yatsenko's Polynomial-Time Algorithm for Solving the Traveling Salesman Problem	CoRR	2008	DBLP BibTeX RDF
17	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking	CoRR	2008	DBLP BibTeX RDF
17	Rolf Poulsen, Kourosh Marjani Rasmussen	Financial Giffen goods: Examples and counterexamples.	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
17	Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh	Model checking in-the-loop: Finding counterexamples by systematic simulation.	ACC	2008	DBLP DOI BibTeX RDF
17	Henri Hansen, Jaco Geldenhuys	Cheap and Small Counterexamples.	SEFM	2008	DBLP DOI BibTeX RDF
17	Stefan Edelkamp, Damian Sulewski	Flash-Efficient LTL Model Checking with Minimal Counterexamples.	SEFM	2008	DBLP DOI BibTeX RDF
17	John Leventides	Assigning Frequencies via Determinantal Equations: New Counterexamples and Invariants.	IEEE Trans. Autom. Control.	2007	DBLP DOI BibTeX RDF
17	Greg Hjorth	A Note on Counterexamples to the Vaught Conjecture.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Learning languages from positive data and a limited number of short counterexamples.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	Iterative learning from positive data and negative counterexamples.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
17	Jaime Arroyo, Ian Dobson	Counterexamples to a Method for Identifying Hopf Bifurcations Without Eigenvalue Calculation.	IEEE Trans. Circuits Syst. II Express Briefs	2007	DBLP DOI BibTeX RDF
17	Ken-ichi Kawarabayashi	On the connectivity of minimum and minimal counterexamples to Hadwiger's Conjecture.	J. Comb. Theory, Ser. B	2007	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Zijiang Yang 0006, Aarti Gupta, Franjo Ivancic	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.	CAV	2007	DBLP DOI BibTeX RDF
17	Ryan O'Donnell, Karl Wimmer	Approximation by DNF: Examples and Counterexamples.	ICALP	2007	DBLP DOI BibTeX RDF
17	Sanjay Jain 0001, Efim B. Kinber	One-Shot Learners Using Negative Counterexamples and Nearest Positive Examples.	ALT	2007	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa	Nondeterministic Testing with Linear Model-Checker Counterexamples.	QSIC	2007	DBLP DOI BibTeX RDF
17	Itay Neeman, John R. Steel	Counterexamples to the unique and cofinal branches hypotheses.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
17	Selim G. Akl	Three Counterexamples to Dispel the Myth of the Universal Computer.	Parallel Process. Lett.	2006	DBLP DOI BibTeX RDF
17	Warren D. Smith	Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks.	Appl. Math. Comput.	2006	DBLP DOI BibTeX RDF
17	Daniel Richardson, Ahmed El-Sonbaty	Counterexamples to the uniformity conjecture.	Comput. Geom.	2006	DBLP DOI BibTeX RDF
17	Martin Kochol	Restrictions On Smallest Counterexamples To The 5-Flow Conjecture.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C15
17	Vadim E. Levit, Eugen Mandrescu	Independence polynomials of well-covered graphs: Generic counterexamples for the unimodality conjecture.	Eur. J. Comb.	2006	DBLP DOI BibTeX RDF
17	Malcolm R. Forster	Counterexamples to a likelihood theory of evidence.	Minds Mach.	2006	DBLP DOI BibTeX RDF
17	Andrey A. Dobrynin, Leonid S. Melnikov	Counterexamples to Grötzsch-Sachs-Koester's conjecture.	Discret. Math.	2006	DBLP DOI BibTeX RDF
17	Joris van der Hoeven	Counterexamples to witness conjectures.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta	Whodunit? Causal Analysis for Counterexamples.	ATVA	2006	DBLP DOI BibTeX RDF
17	Viktor Schuppan	Liveness checking as safety checking to find shortest counterexamples to linear time properties.		2006	RDF
17	Martin Kochol	About Counterexamples to The 5-Flow Conjecture.	Electron. Notes Discret. Math.	2005	DBLP DOI BibTeX RDF
17	Zsolt Tuza	Highly connected counterexamples to a conjecture on ά -domination.	Discuss. Math. Graph Theory	2005	DBLP DOI BibTeX RDF
17	S. J. Yang, Bao Shi, D. C. Zhang, M. J. Gai	Counterexamples to the article "Oscillation and global attractivity in hematopoiesis model with delay time".	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
17	Mark N. Ellingham, Chris Stephens, Xiaoya Zha	Counterexamples to the nonorientable genus conjecture for complete tripartite graphs.	Eur. J. Comb.	2005	DBLP DOI BibTeX RDF
17	Marius Vilcu, Robert F. Hadley	Two Apparent 'Counterexamples' To Marcus: A Closer Look.	Minds Mach.	2005	DBLP DOI BibTeX RDF