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 |