Search results for "counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ashok Rao	Technical Note - Counterexamples for the Location of Emergency Service Facilities.	Oper. Res.	1974	DBLP DOI BibTeX RDF
17	Brian W. Kernighan, P. J. Plauger	Programming Style: Examples and Counterexamples.	ACM Comput. Surv.	1974	DBLP DOI BibTeX RDF
17	Philip B. Zwart	Nonlinear Programming: Counterexamples to Two Global Optimization Algorithms.	Oper. Res.	1973	DBLP DOI BibTeX RDF
17	Fred Galvin, Saharon Shelah	Some Counterexamples in the Partition Calculus.	J. Comb. Theory, Ser. A	1973	DBLP DOI BibTeX RDF
17	David Gelperin	Conjectures and counterexamples.	SIGART Newsl.	1972	DBLP DOI BibTeX RDF
17		Counterexamples and conjectures.	SIGART Newsl.	1971	DBLP DOI BibTeX RDF
17	William J. Frascella	Certain counterexamples to the construction of combinatorial designs on infinite sets.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
17	Azaria Paz	Counterexamples and Bounds for Graphs Solvable with Finite Delay	Inf. Control.	1970	DBLP DOI BibTeX RDF
11	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
11	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
11	Hana Chockler, Daniel Kroening, Mitra Purandare	Coverage in interpolation-based model checking.	DAC	2010	DBLP DOI BibTeX RDF
11	François Baccelli, Sridhar Machiraju, Darryl Veitch, Jean Bolot	The role of PASTA in network measurement.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	nonintrusive mixing arrivals see time averages (NIMASTA), poisson arrivals see time averages (PASTA), network measurement, active probing
11	Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction for general state exploring algorithms.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
11	S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song	Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.	ECBS	2009	DBLP DOI BibTeX RDF
11	Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer 0001, Bernd Becker 0001	Dependability Engineering of Silent Self-stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
11	Tetsuo Hasegawa, Yoshiaki Fukazawa	Model Checking by Generating Observers from an Interface Specification Between Components.	UNISCON	2009	DBLP DOI BibTeX RDF	model cheking, UML, timing diagram
11	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
11	Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi	CMC-UMC: a framework for the verification of abstract service-oriented properties.	SAC	2009	DBLP DOI BibTeX RDF	model checking, service-oriented computing
11	Marta Arias, José L. Balcázar	Canonical Horn Representations and Query Learning.	ALT	2009	DBLP DOI BibTeX RDF
11	Leonor Becerra-Bonache, Adrian-Horia Dediu	Learning from a Smarter Teacher.	IDEAL	2009	DBLP DOI BibTeX RDF
11	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
11	Sadaaki Miyamoto	Refinement Properties in Agglomerative Hierarchical Clustering.	MDAI	2009	DBLP DOI BibTeX RDF	single linkage, complete linkage, average linkage, refinement, Agglomerative clustering
11	Pierre Genevès, Nabil Layaïda, Vincent Quint	Identifying query incompatibilities with evolving XML schemas.	ICFP	2009	DBLP DOI BibTeX RDF	XML, analysis, evolution, queries, schema, compatibility
11	Brad Ballinger, David Charlton, Erik D. Demaine, Martin L. Demaine, John Iacono, Ching-Hao Liu, Sheung-Hung Poon	Minimal Locked Trees.	WADS	2009	DBLP DOI BibTeX RDF
11	Bin Xin 0002, Jie Chen 0003, Feng Pan 0003	Problem difficulty analysis for particle swarm optimization: deception and modality.	GEC Summit	2009	DBLP DOI BibTeX RDF	particle swarm optimization, global optimization, problem hardness
11	Jeroen Ketema	Comparing Böhm-Like Trees.	RTA	2009	DBLP DOI BibTeX RDF
11	Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel	Learning operational requirements from goal models.	ICSE	2009	DBLP DOI BibTeX RDF
11	Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan	Constraint-Based Invariant Inference over Predicate Abstraction.	VMCAI	2009	DBLP DOI BibTeX RDF
11	Marwan Al-Jubeh, Michael Hoffmann 0001, Mashhood Ishaque, Diane L. Souvaine, Csaba D. Tóth	Convex Partitions with 2-Edge Connected Dual Graphs.	COCOON	2009	DBLP DOI BibTeX RDF
11	Christian Schönberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag	Logic-based verification of technical documentation.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	document verification, model checking
11	Vilas S. Kharat, Khalid A. Mokbel	Semiprime Ideals and Separation Theorems for Posets.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A06
11	Sagar Chaki, Ofer Strichman	Three optimizations for Assume-Guarantee reasoning with L*.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Learning, Software verification, Compositionality, Assume-Guarantee
11	Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
11	Dana Angluin, James Aspnes, Jiang Chen, Lev Reyzin	Learning large-alphabet and analog circuits with value injection queries.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Value injection queries, Learning circuits, Query learning
11	Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler	Automatic Fault Localization for Property Checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
11	Zhixin Liu, Lei Guo 0001	Connectivity and synchronization of Vicsek model.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	Vicsek model, neighbor graph, synchronization, connectivity, stochastic matrix
11	Pablo Cobreros	Supervaluationism and Logical Consequence: A Third Way.	Stud Logica	2008	DBLP DOI BibTeX RDF	Supervaluationism, Vagueness, Truth, Logical Consequence
11	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi 0001	TAPAs: A Tool for the Analysis of Process Algebras.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
11	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
11	Andreas Podelski, Andrey Rybalchenko, Thomas Wies	Heap Assumptions on Demand.	CAV	2008	DBLP DOI BibTeX RDF
11	Peter Niebert, Doron A. Peled, Amir Pnueli	Discriminative Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
11	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
11	Mengjun Li, Ti Zhou, Zhoujun Li 0001	SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Inscrypt	2008	DBLP DOI BibTeX RDF	non-termination characterization and prediction, abstract and refinement, security protocol
11	Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
11	Sumit Kumar Jha 0001	d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
11	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Automating Algebraic Specifications of Non-freely Generated Data Types.	ATVA	2008	DBLP DOI BibTeX RDF	SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models
11	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loop Summarization Using Abstract Transformers.	ATVA	2008	DBLP DOI BibTeX RDF
11	Tomoya Horiguchi, Tsukasa Hirashima	Domain-Independent Error-Based Simulation for Error-Awareness and Its Preliminary Evaluation.	PRICAI	2008	DBLP DOI BibTeX RDF	simulation-based learning environment, learner’s error, intelligent tutoring system, counterexample, truth maintenance system
11	Colin J. Fidge	Relative simulation and model checking of real-time processes.	ACSC	2008	DBLP BibTeX RDF	simulation, real-time systems, model checking
11	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
11	Jia Yuan Yu, Shie Mannor, Nahum Shimkin	Markov Decision Processes with Arbitrary Reward Processes.	EWRL	2008	DBLP DOI BibTeX RDF
11	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
11	Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich	Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.	ABZ	2008	DBLP DOI BibTeX RDF
11	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Bounded Relational Analysis of Free Data Types.	TAP	2008	DBLP DOI BibTeX RDF	SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types
11	Alejandro Estrella-Balderrama, J. Joseph Fowler, Stephen G. Kobourov	Graph Simultaneous Embedding Tool, GraphSET.	GD	2008	DBLP DOI BibTeX RDF
11	Miguel E. Andrés, Peter van Rossum	Conditional Probabilities over Probabilistic and Nondeterministic Systems.	TACAS	2008	DBLP DOI BibTeX RDF
11	Andrés D. Báez-Sánchez, Marko Antonio Rojas-Medar	On Fuzzy Sets Convolution, Fuzzy Lipschitz Sets and Triangular Fuzzy Sets of Rank p.	SMPS	2008	DBLP DOI BibTeX RDF	Fuzzy sets convolution, Lipschitz fuzzy sets, Triangular fuzzy sets, Density, Hausdorff metric
11	Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson	Automatic Generation of Local Repairs for Boolean Programs.	FMCAD	2008	DBLP DOI BibTeX RDF
11	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
11	Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin	Runtime Checking for Separation Logic.	VMCAI	2008	DBLP DOI BibTeX RDF
11	Rayna Dimitrova, Andreas Podelski	Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?	VMCAI	2008	DBLP DOI BibTeX RDF
11	Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel	Towards Faithful Model Extraction Based on Contexts.	FASE	2008	DBLP DOI BibTeX RDF
11	Pierre Hansen, Nikolaj van Omme	On pitfalls in computing the geodetic number of a graph.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Geodetic number, Maximal geodetic closure, Algorithm, Graph
11	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
11	Jim G. Dai, John J. Hasenbein, Bara Kim	Stability of join-the-shortest-queue networks.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90B15, 60K25
11	Rui Li 0018, Du Li	A New Operational Transformation Framework for Real-Time Group Editors.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	groupware, operational transformation, group editors, Consistency control
11	Kai-Hui Chang, Valeria Bertacco, Igor L. Markov	Simulation-Based Bug Trace Minimization With BMC-Based Refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
11	Marco Bozzano, Adolfo Villafiorita	The FSAP/NuSMV-SA Safety Analysis Platform.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
11	Susana Díaz, Susana Montes, Bernard De Baets	Transitivity Bounds in Additive Fuzzy Preference Structures.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
11	Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.	ECBS	2007	DBLP DOI BibTeX RDF
11	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.	CAV	2007	DBLP DOI BibTeX RDF
11	Marc Herbstritt, Vanessa Struve, Bernd Becker 0001	Application of Lifting in Partial Design Analysis.	MTV	2007	DBLP DOI BibTeX RDF
11	Andreas Maletti	Learning Deterministically Recognizable Tree Series - Revisited.	CAI	2007	DBLP DOI BibTeX RDF
11	Rika Okada, Satoshi Matsumoto, Tomoyuki Uchida, Yusuke Suzuki, Takayoshi Shoudai	Exact Learning of Finite Unions of Graph Patterns from Queries.	ALT	2007	DBLP DOI BibTeX RDF
11	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
11	Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF
11	Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Proving Termination of Tree Manipulating Programs.	ATVA	2007	DBLP DOI BibTeX RDF
11	Tingting Han 0001, Joost-Pieter Katoen	Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.	ATVA	2007	DBLP DOI BibTeX RDF
11	Yumei Li 0001, Yundong Gu, Kaibiao Sun, Hongxing Li	A Note on the Optimal Makespan of a Parallel Machine Scheduling Problem.	ICFIE	2007	DBLP DOI BibTeX RDF	result schedule, optimal makespan, algorithm, parallel machine, Scheduling problem
11	Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang	Implication-Based Approximating Bounded Model Checking.	FSEN	2007	DBLP DOI BibTeX RDF	Approximation, Abstraction, Bounded Model Checking, Implication
11	Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
11	Willy Zwaenepoel	P2P, DSM, and other products of the complexity factory.	MobiSys	2007	DBLP DOI BibTeX RDF
11	Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook	Arithmetic Strengthening for Shape Analysis.	SAS	2007	DBLP DOI BibTeX RDF
11	Philipp Rümmer, Muhammad Ali Shah	Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.	TAP	2007	DBLP DOI BibTeX RDF	Disproving, Testing, Program verification, Program logics
11	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Bug Hunting with False Negatives.	IFM	2007	DBLP DOI BibTeX RDF
11	Conghua Zhou, Shiguang Ju	SAT-based Bounded Model Checking for SE-LTL.	SNPD (3)	2007	DBLP DOI BibTeX RDF
11	Arnon Avron, Anna Zamansky	Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.	ISMVL	2007	DBLP DOI BibTeX RDF
11	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu	Refining Interface Alphabets for Compositional Verification.	TACAS	2007	DBLP DOI BibTeX RDF
11	Gérard Basler, Daniel Kroening, Georg Weissenbacher	A Complete Bounded Model Checking Algorithm for Pushdown Systems.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
11	James Cheney, Alberto Momigliano	Mechanized metatheory model-checking.	PPDP	2007	DBLP DOI BibTeX RDF	counterexample search, model checking, nominal logic
11	Sebastian Gajek, Lijun Liao, Jörg Schwenk	Breaking and fixing the inline approach.	SWS	2007	DBLP DOI BibTeX RDF	inline approach, wrapping attacks, countermeasures, XML signature
11	Dana Angluin, James Aspnes, Jiang Chen, Lev Reyzin	Learning Large-Alphabet and Analog Circuits with Value Injection Queries.	COLT	2007	DBLP DOI BibTeX RDF
11	Michael L. Case, Alan Mishchenko, Robert K. Brayton	Automated Extraction of Inductive Invariants to Aid Model Checking.	FMCAD	2007	DBLP DOI BibTeX RDF
11	Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
11	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen	Automatic Abstraction Refinement for Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
11	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
11	Hongwei Zeng, Huaikou Miao, Jing Liu	Specification-based Test Generation and Optimization Using Model Checking.	TASE	2007	DBLP DOI BibTeX RDF
11	Rebecca L. Collins, Luca P. Carloni	Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System.	DAC	2007	DBLP DOI BibTeX RDF
11	Santiago Ontañón, Enric Plaza	Learning and joint deliberation through argumentation in multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	argumentation, case-based reasoning, multiagent learning
11	Didier Dubois, Eyke Hüllermeier, Henri Prade	A systematic approach to the assessment of fuzzy association rules.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	Association rules, Fuzzy sets, Quality measures, Fuzzy partition