Search results for "Counter-example"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient debugging in a formal verification environment.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example, Model checking, Counterexample
48	Francesco De Angelis 0001, Andrea Polini, Guglielmo De Angelis	A Counter-Example Testing Approach for Orchestrated Services.	ICST	2010	DBLP DOI BibTeX RDF	Counter-example based Testing, Service Testing, Service Orchestrations
48	Per Bjesse, James H. Kukula	Using Counter Example Guided Abstraction Refinement to Find Complex Bugs.	DATE	2004	DBLP DOI BibTeX RDF
46	Arie Gurfinkel, Marsha Chechik	Proof-Like Counter-Examples.	TACAS	2003	DBLP DOI BibTeX RDF
44	Gábor Gosztolya, András Bánhalmi, László Tóth 0001	Using One-Class Classification Techniques in the Anti-phoneme Problem.	IbPRIA	2009	DBLP DOI BibTeX RDF	counter-example generation, Artificial Neural Networks, speech recognition, Gaussian Mixture Models, one-class classification
44	Atsushi Wada, Keiki Takadama, Katsunori Shimohara	Counter example for Q-bucket-brigade under prediction problem.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	reinforcement learning, convergence, learning classifier systems, function approximation, genetic-based machine learning
44	Atsushi Wada, Keiki Takadama, Katsunori Shimohara	Counter Example for Q-Bucket-Brigade Under Prediction Problem.	IWLCS	2005	DBLP DOI BibTeX RDF
42	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
38	Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.	TACAS	2005	DBLP DOI BibTeX RDF
37	Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka	Localizing Program Errors for Cimple Debugging.	FORTE	2004	DBLP DOI BibTeX RDF
36	Ricardo Caferra, Nicolas Peltier, François Puitg	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF	Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
36	Florian Krohm, Andreas Kuehlmann, Arjen Mets	The use of random simulation in formal verification.	ICCD	1996	DBLP DOI BibTeX RDF	random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence
34	Jian Guo, Jungang Han, Naiyong Jin	Witness and Counter-Example on 3-Valued Model Checking.	FSKD (2)	2008	DBLP DOI BibTeX RDF
34	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond	Counter-example generation in symbolic abstract model-checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Concrete counterexample, Model-checking, Abstraction, Test pattern generation
34	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
31	Vivek Raghunathan, P. R. Kumar 0001	A counterexample in congestion control of wireless networks.	MSWiM	2005	DBLP DOI BibTeX RDF	stability, congestion control, TCP, fairness, wireless ad hoc networks
31	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient Debugging in a Formal Verification Environment.	CHARME	2001	DBLP DOI BibTeX RDF
29	Michel Raynal	Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.	Euro-Par	1999	DBLP DOI BibTeX RDF
28	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
28	András Bánhalmi, András Kocsor, Róbert Busa-Fekete	Counter-Example Generation-Based One-Class Classification.	ECML	2007	DBLP DOI BibTeX RDF
28	Alet Roux, Tomasz Zastawniak	A counter-example to an option pricing formula under transaction costs.	Finance Stochastics	2006	DBLP DOI BibTeX RDF	JEL Classification G11, G13
28	Satyaki Das, David L. Dill	Counter-Example Based Predicate Discovery in Predicate Abstraction.	FMCAD	2002	DBLP DOI BibTeX RDF
23	Dmitry G. Korzun, Andrei V. Gurtov	A local equilibrium model for P2P resource ranking.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
23	Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao	A randomized interleaved DRAM architecture for the maintenance of exact statistics counters.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
23	Sipat Triukose, Zhihua Wen, Michael Rabinovich	Content delivery networks: how big is big enough?	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
23	Alma Riska, Erik Riedel	Evaluation of disk-level workloads at different time scales.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
23	Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg	Beyond verification: leveraging formal for debugging.	DAC	2009	DBLP DOI BibTeX RDF	behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
23	Sriram K. Rajamani	Tests, Proofs and Refinements.	ATVA	2008	DBLP DOI BibTeX RDF
23	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
23	Nirman Kumar, Viraj Kumar, Mahesh Viswanathan 0001	On the Complexity of Error Explanation.	VMCAI	2005	DBLP DOI BibTeX RDF
22	Ao Tang, Jiantao Wang, Steven H. Low	Counter-intuitive throughput behaviors in networks under end-to-end control.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	optimization, fairness, throughput, flow control
22	Gilles Défourneaux, Nicolas Peltier	Partial Matching for Analogy Discovery in Proofs and Counter-Examples.	CADE	1997	DBLP DOI BibTeX RDF
20	Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha	Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.	CoRR	2024	DBLP DOI BibTeX RDF
20	Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad	Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
20	Zhiyong Chen	LaSalle-Yoshizawa Theorem for nonlinear systems with external inputs: A counter-example.	Autom.	2023	DBLP DOI BibTeX RDF
20	Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad	Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems.	CoRR	2023	DBLP DOI BibTeX RDF
20	Martín Escardó	Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T.	CoRR	2023	DBLP DOI BibTeX RDF
20	Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha	Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.	CDC	2023	DBLP DOI BibTeX RDF
20	Ziga Virk	A Counter-Example to Hausmann's Conjecture.	Found. Comput. Math.	2022	DBLP DOI BibTeX RDF
20	Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long	FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.	CoRR	2022	DBLP DOI BibTeX RDF
20	Lianna Hambardzumyan, Hamed Hatami, Ndiamé Ndiaye	On depth-3 circuits and covering number: an explicit counter-example.	CoRR	2022	DBLP DOI BibTeX RDF
20	João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro	CEG4N: Counter-Example Guided Neural Network Quantization Refinement.	CoRR	2022	DBLP DOI BibTeX RDF
20	Lianna Hambardzumyan, Hamed Hatami, Pooya Hatami	A counter-example to the probabilistic universal graph conjecture via randomized communication complexity.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
20	João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro	CEG4N: Counter-Example Guided Neural Network Quantization Refinement.	NSV/FoMLAS@CAV	2022	DBLP DOI BibTeX RDF
20	Stefano Demarchi, Dario Guidotti	Counter-Example Guided Abstract Refinement for Verification of Neural Networks.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
20	Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001	SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.	SPIN	2022	DBLP DOI BibTeX RDF
20	Yoshiki Nakamura 0001, Naosuke Matsuda	On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem.	Stud Logica	2021	DBLP DOI BibTeX RDF
20	Lianna Hambardzumyan, Hamed Hatami, Pooya Hatami	A counter-example to the probabilistic universal graph conjecture via randomized communication complexity.	CoRR	2021	DBLP BibTeX RDF
20	Yuxiao Chen 0001, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray	Counter-example Guided Learning of Bounds on Environment Behavior.	CoRR	2020	DBLP BibTeX RDF
20	Svante Janson	A graphon counter example.	Discret. Math.	2020	DBLP DOI BibTeX RDF
20	Tuba Yavuz	Partial predicate abstraction and counter-example guided refinement.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
20	Nicolas Boutry, Rocío González-Díaz, Laurent Najman, Thierry Géraud	A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in nD.	IWCIA	2020	DBLP DOI BibTeX RDF
20	Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen	Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.	CC	2020	DBLP DOI BibTeX RDF
20	Hongkai Dai, Benoit Landry, Marco Pavone 0001, Russ Tedrake	Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems.	CDC	2020	DBLP DOI BibTeX RDF
20	Beihui Yuan, Michael Eugene Stillman	A counter-example to the Schenck-Stiller "2r + 1" conjecture.	Adv. Appl. Math.	2019	DBLP DOI BibTeX RDF
20	Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee 0001, Pankaj Kumar Kalita, Purandar Bhaduri	Counter-example generation procedure for path-based equivalence checkers.	IET Softw.	2019	DBLP DOI BibTeX RDF
20	Ryo Watanabe, Toshifusa Sekizawa	Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model.	ICCCS	2019	DBLP DOI BibTeX RDF
20	Rüdiger Ehlers	How Hard Is Finding Shortest Counter-Example Lassos in Model Checking?	FM	2019	DBLP DOI BibTeX RDF
20	Yuxiao Chen 0001, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray	Counter-example Guided Learning of Bounds on Environment Behavior.	CoRL	2019	DBLP BibTeX RDF
20	Hamzeh Agahi, Radko Mesiar	On Choquet-Pettis Expectation of Banach-Valued Functions: A Counter Example.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
20	Brad Thompson	System State Variable Discovery Counter Example.	CCTA	2018	DBLP DOI BibTeX RDF
20	Tuba Yavuz	Partial Predicate Abstraction and Counter-Example Guided Refinement.	CoRR	2017	DBLP BibTeX RDF
20	Anton Wijs, Thomas Neele	Compositional Model Checking with Incremental Counter-Example Construction.	CAV (1)	2017	DBLP DOI BibTeX RDF
20	Spyros A. Reveliotis	On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
20	Holger Ingmar Meinhardt	Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example.	CoRR	2016	DBLP BibTeX RDF
20	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep	Counter-Example Guided Program Verification.	FM	2016	DBLP DOI BibTeX RDF
20	Ryo Takemura	Counter-Example Construction with Euler Diagrams.	Stud Logica	2015	DBLP DOI BibTeX RDF
20	Jonathan Scarlett, Anelia Somekh-Baruch, Alfonso Martinez, Albert Guillen i Fabregas	A Counter-Example to the Mismatched Decoding Converse for Binary-Input Discrete Memoryless Channels.	IEEE Trans. Inf. Theory	2015	DBLP DOI BibTeX RDF
20	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.	CoRR	2015	DBLP BibTeX RDF
20		A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates.	CoRR	2015	DBLP BibTeX RDF
20	Jonathan Scarlett, Anelia Somekh-Baruch, Alfonso Martinez, Albert Guillén i Fàbregas	A Counter-Example to the Mismatched Decoding Converse for Binary-Input Discrete Memoryless Channels.	CoRR	2015	DBLP BibTeX RDF
20	Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001	Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.	CDC	2015	DBLP DOI BibTeX RDF
20	Nicolas Voirol, Etienne Kneuss, Viktor Kuncak	Counter-example complete verification for higher-order functions.	Scala@PLDI	2015	DBLP DOI BibTeX RDF
20	Constantinos Daskalakis, Qinxuan Pan	A Counter-Example to Karlin's Strong Conjecture for Fictitious Play.	CoRR	2014	DBLP BibTeX RDF
20	Constantinos Daskalakis, Qinxuan Pan	A Counter-example to Karlin's Strong Conjecture for Fictitious Play.	FOCS	2014	DBLP DOI BibTeX RDF
20	Adnan Amin, Changez Khan, Imtiaz Ali, Sajid Anwar	Customer Churn Prediction in Telecommunication Industry: With and without Counter-Example.	MICAI (2)	2014	DBLP DOI BibTeX RDF
20	Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann 0001	LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation.	MBMV	2014	DBLP BibTeX RDF
20	Adnan Amin, Changez Khan, Imtiaz Ali, Sajid Anwar	Customer Churn Prediction in Telecommunication Industry: With and without Counter-Example.	ENIC	2014	DBLP DOI BibTeX RDF
20	Zissis Poulos, Yu-Shen Yang, Andreas G. Veneris, Bao Le	Simulation and satisfiability guided counter-example triage for RTL design debugging.	ISQED	2014	DBLP DOI BibTeX RDF
20	José Barahona da Fonseca	Are Rosenblatt multilayer perceptrons more powerfull than sigmoidal multilayer perceptrons? From a counter example to a general result.	ESANN	2013	DBLP BibTeX RDF
20	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine	Counter-Example Guided Fence Insertion under TSO.	TACAS	2012	DBLP DOI BibTeX RDF
20	Shah Muhammad, Jacob van der Woude	On stability conditions for systems with periodic state-dependent coefficients: a counter example.	IMA J. Math. Control. Inf.	2011	DBLP DOI BibTeX RDF
20	Geoffrey Nelissen, Joël Goossens	A counter-example to: Sticky-ERfair: a task-processor affinity aware proportional fair scheduler.	Real Time Syst.	2011	DBLP DOI BibTeX RDF
20	Joseph Y. Halpern	A Counter Example to Theorems of Cox and Fine	CoRR	2011	DBLP BibTeX RDF
20	John Cantwell	On an alleged counter-example to causal decision theory.	Synth.	2010	DBLP DOI BibTeX RDF
20	Shah Muhammad, Jacob van der Woude	A counter example to a recent result on the stability of non-linear systems.	IMA J. Math. Control. Inf.	2009	DBLP DOI BibTeX RDF
20	Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim	Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.	MBT@ETAPS	2009	DBLP DOI BibTeX RDF
20	Yoshio Ebihara, Tomomichi Hagiwara	On the degree of polynomial parameter-dependent Lyapunov functions for robust stability of single parameter-dependent LTI systems: A counter-example to Barmish's conjecture.	Autom.	2006	DBLP DOI BibTeX RDF
20	Moustapha Diaby	On "P = NP: Linear Programming Formulation of the Traveling Salesman Problem": A reply to Hofman's Claim of a "Counter-Example"	CoRR	2006	DBLP BibTeX RDF
20	Michael Margaliot	A Counter Example to a Conjecture of Gurvits on Switched Systems.	CDC	2006	DBLP DOI BibTeX RDF
20	Nuno C. Martins	Witsenhausen's Counter Example Holds in the Presence of Side Information.	CDC	2006	DBLP DOI BibTeX RDF
20	Koji Hasebe, Mitsuhiro Okada	Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract).	RULE@RDP	2005	DBLP DOI BibTeX RDF
20	Wendell Piez	Format and Content: Should they be separated? Can they be?: With a counter-example.	Extreme Markup Languages®	2005	DBLP BibTeX RDF
20	Daniel Král'	A counter-example to Voloshin's hypergraph co-perfectness conjecture.	Australas. J Comb.	2003	DBLP BibTeX RDF
20	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Counter-Example Guided Predicate Abstraction of Hybrid Systems.	TACAS	2003	DBLP DOI BibTeX RDF
20	Jarkko Kari	A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata.	Bull. EATCS	2001	DBLP BibTeX RDF
20	Rémi Gribonval	A Counter-Example to the General Convergence of Partially Greedy Algorithms.	J. Approx. Theory	2001	DBLP DOI BibTeX RDF
20	Simon Julier, Jeffrey K. Uhlmann	A Counter Example to the Theory of Simulataneous Localization and Map Building.	ICRA	2001	DBLP DOI BibTeX RDF
20	Rahul Shah 0001, Martin Farach-Colton	On the midpath tree conjuncture: a counter-example.	SODA	2001	DBLP BibTeX RDF
20	Petr Korba, Herbert Werner	Counter-example to ad-hoc off-equilibrium linearisation methods in gain-scheduling.	CDC	2001	DBLP DOI BibTeX RDF