Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Hichem Debbi |
Counterexamples in Model Checking - A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 42(2), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.05094, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu |
Counterexamples for Robotic Planning Explained in Structured Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.08966, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Gabriel Grand, Aron Szanto |
On the Flip Side: Identifying Counterexamples in Visual Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.00857, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Jagdeep Bhatia |
Simple Algorithms for Learning from Random Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.00506, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Learning Control Lyapunov Functions from Counterexamples and Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.05285, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Miaomiao Han, Jiaao Li, Yezhou Wu, Cun-Quan Zhang |
Counterexamples to Jaeger's Circular Flow Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 131, pp. 1-11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz |
Executable Counterexamples in Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 17-37, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lu Feng 0001, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu |
Counterexamples for Robotic Planning Explained in Structured Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018, pp. 7292-7297, 2018, IEEE, 978-1-5386-3081-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 61st International Midwest Symposium on Circuits and Systems, MWSCAS 2018, Windsor, ON, Canada, August 5-8, 2018, pp. 853-856, 2018, IEEE, 978-1-5386-7392-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sholeh Yasini, Torbjörn Wigren |
Counterexamples to Parametric Convergence in Recursive Networked Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018, pp. 258-264, 2018, IEEE, 978-1-5386-5428-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Manish Goyal 0002, Parasara Sridhar Duggirala |
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pp. 139-144, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Blaskovic, Frano Skopljanac-Macina, I. Zakarija |
Discovering e-learning process models from counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 41st International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2018, Opatija, Croatia, May 21-25, 2018, pp. 593-598, 2018, IEEE, 978-953-233-095-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Gail Weiss, Yoav Goldberg, Eran Yahav |
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018, pp. 5244-5253, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Takashi Kamihigashi |
41 Counterexamples to property (B) of the discrete time bomber problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 248(1-2), pp. 579-588, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandar Ilic, Milovan Ilic |
Counterexamples to conjectures on graph distance measures based on topological indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 296, pp. 148-152, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Wiktor B. Daszczuk |
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.09887, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.09619, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Gail Weiss, Yoav Goldberg, Eran Yahav |
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.09576, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.03018, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Yibin Fang, Yubin Gao |
Counterexamples to the conjecture on orientations of graphs with minimum Wiener index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 232, pp. 213-220, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber, Frank Stephan 0001 |
Automatic learning from positive data and negative counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 255, pp. 45-67, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Martin Milanic, Nicolas Trotignon |
Equistarable Graphs and Counterexamples to Three Conjectures on Equistable Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 84(4), pp. 536-551, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Rudy Braquehais, Colin Runciman |
Extrapolate: generalizing counterexamples of functional test properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017, pp. 3:1-3:11, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Dana Angluin, Tyler Dohrn |
The Power of Random Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: International Conference on Algorithmic Learning Theory, ALT 2017, 15-17 October 2017, Kyoto University, Kyoto, Japan, pp. 452-465, 2017, PMLR. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics: Science and Systems ![In: Robotics: Science and Systems XIII, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, July 12-16, 2017, 2017, 978-0-9923747-3-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001 |
A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SATE ![In: 2017 International Conference on Software Analysis, Testing and Evolution, SATE 2017, Harbin, China, November 3-4, 2017, pp. 53-62, 2017, IEEE, 978-1-5386-3687-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marius Greitschus, Daniel Dietsch, Andreas Podelski |
Loop Invariants from Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, pp. 128-147, 2017, Springer, 978-3-319-66705-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 63, pp. 254-264, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Mark N. Ellingham, Emily Abernethy Marshall |
Criticality of Counterexamples to Toroidal Edge-Hamiltonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(1), pp. 111-121, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.04861, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.01507, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Geoff W. Hamilton |
Generating Counterexamples for Model Checking by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT@ETAPS ![In: Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016., pp. 65-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Peter Hertling |
Two Counterexamples Concerning the Scott Topology on a Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.04128, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Filippo Santambrogio, Xu-Jia Wang |
Convexity of the support of the displacement interpolation: Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 58, pp. 152-158, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Marián Slodicka, B. Tomas Johansson |
Uniqueness and counterexamples in some inverse source problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 58, pp. 56-61, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 9(18), pp. 5834-5848, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir Kanovei, Vassily A. Lyubetsky |
Counterexamples to countable-section uniformization and separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 167(3), pp. 262-283, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Venkata Koppula, Brent Waters |
Circular Security Counterexamples for Arbitrary Length Cycles from LWE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 117, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Andrii Mironchenko |
Local input-to-state stability: Characterizations and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 87, pp. 23-28, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Advances in Artificial Intelligence - 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings, pp. 498-508, 2016, Springer, 978-3-319-44635-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Pranav Garg 0001, Daniel Neider, P. Madhusudan, Dan Roth |
Learning invariants using decision trees and implication counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 499-512, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Carballa, Laura M. Castro |
Automatic generation of UML sequence diagrams from test counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016, pp. 58-59, 2016, ACM, 978-1-4503-4431-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | David Hauzar, Claude Marché, Yannick Moy |
Counterexamples from Proof Failures in SPARK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 215-233, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 29(3), pp. 1423-1426, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Matt DeVos, Bojan Mohar, Robert Sámal |
Highly arc-transitive digraphs - Structure and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 35(5), pp. 553-571, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 60, pp. 140-144, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 17(5), pp. 585-600, 2015. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(1), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Allison Bishop, Susan Hohenberger, Brent Waters |
New Circular Security Counterexamples from Decision Linear and Learning with Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 715, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Cheng-shi Liu |
Counterexamples on Jumarie's two basic fractional calculus formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 22(Issues), pp. 92-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Borut Luzar, Riste Skrekovski |
Counterexamples to a conjecture on injective colorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Math. Contemp. ![In: Ars Math. Contemp. 8(2), pp. 291-295, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Seog-Jin Kim, Boram Park |
Counterexamples to the List Square Coloring Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 78(4), pp. 239-247, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings, pp. 124-138, 2015, Springer, 978-3-319-21740-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Soma Dutta, Piotr Wasilewski |
Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence - 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings, pp. 303-313, 2015, Springer, 978-3-319-19940-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, pp. 435-452, 2015, Springer, 978-3-319-19248-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels |
Show Me New Counterexamples: A Path-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pp. 1-10, 2015, IEEE Computer Society, 978-1-4799-7125-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Soma Dutta, Piotr Wasilewski |
Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015., pp. 126-133, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Allison Bishop, Susan Hohenberger, Brent Waters |
New Circular Security Counterexamples from Decision Linear and Learning with Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (2) ![In: Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015, Proceedings, Part II, pp. 776-800, 2015, Springer, 978-3-662-48799-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Chinawat Isradisaikul, Andrew C. Myers |
Finding counterexamples from parsing conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 555-564, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Laure Gonnord, David Monniaux, Gabriel Radanne |
Synthesis of ranking functions using extremal counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 608-618, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Phuc C. Nguyen, David Van Horn |
Relatively complete counterexamples for higher-order programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 446-456, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Vetterlein |
Logic of prototypes and counterexamples: possibilities and limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA-EUSFLAT ![In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), Gijón, Spain., June 30, 2015., 2015, Atlantis Press, 978-94-62520-77-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Nils Jansen 0001 |
Counterexamples in probabilistic verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
17 | Nabil L. Youssef, Salah Gomaa Elgendi |
Computing nullity and kernel vectors using NF-package: Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 185(11), pp. 2859-2864, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Henze |
On Counterexamples to a Conjecture of Wills and Ehrhart Polynomials whose Roots have Equal Real Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 21(1), pp. 1, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 549, pp. 61-100, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Tao Wang |
Minimal counterexamples and discharging method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.0622, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Martin Milanic, Nicolas Trotignon |
Equistarable graphs and counterexamples to three conjectures on equistable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.1670, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Phuc C. Nguyen, David Van Horn |
Relatively Complete Counterexamples for Higher-Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.3967, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 10(2), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Dany Leviatan, Igor A. Shevchuk, O. V. Vlasiuk |
Positive results and counterexamples in comonotone approximation II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 179, pp. 1-23, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multivar. Anal. ![In: J. Multivar. Anal. 131, pp. 51-64, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Nickos Papadatos |
Some counterexamples concerning maximal correlation and linear regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multivar. Anal. ![In: J. Multivar. Anal. 126, pp. 114-117, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 83(290), pp. 3017-3037, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 11(1), pp. 45-58, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Learning from Positive Data and Negative Counterexamples: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing with New Resources ![In: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, pp. 323-337, 2014, Springer, 978-3-319-13349-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Duc-Hanh Dang, Jordi Cabot |
On Automating Inference of OCL Constraints from Counterexamples and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSE ![In: Knowledge and Systems Engineering - Proceedings of the Sixth International Conference KSE 2014, Hanoi, Vietnam, 9-11 October 2014, pp. 219-231, 2014, Springer, 978-3-319-11679-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Sentot Kromodimoeljo |
Controlling the Generation of Multiple Counterexamples in LTL Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
DOI RDF |
|
17 | Steven T. Flammia, Aram W. Harrow |
Counterexamples to Kalai's conjecture C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 13(1-2), pp. 1-8, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Bara Kim, Jeongsim Kim, Jerim Kim |
Counterexamples to conjectures on discriminatory processor sharing and generalized processor sharing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 41(5), pp. 454-456, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | M. D. Voisei, Constantin Zalinescu |
Counterexamples to a triality theorem for quadratic-exponential minimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 77(2), pp. 227-237, 2013. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.4778, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Charles McCarty |
Antirealism and Constructivism: Brouwer's Weak Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 6(1), pp. 147-159, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Charles McCarty |
Brouwer's Weak Counterexamples and Testability: further Remarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 6(3), pp. 513-523, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ken-ichi Kawarabayashi, Gexin Yu |
Connectivities for k-knitted graphs and for minimal counterexamples to Hadwiger's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 103(3), pp. 320-326, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hichem Debbi, Mustapha Bourahla |
Causal analysis of probabilistic counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013, pp. 77-86, 2013, IEEE, 978-1-4799-0903-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 39-54, 2013, Springer, 978-3-642-40195-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Leue, Mitra Tabaei Befrouei |
Mining Sequential Patterns to Explain Concurrent Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pp. 264-281, 2013, Springer, 978-3-642-39175-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 3918-3925, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP (2) ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II, pp. 33-40, 2013, Springer, 978-3-642-41826-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Joseph O'Rourke |
Unfolding Face-Neighborhood Convex Patches: Counterexamples and Positive Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 25th Canadian Conference on Computational Geometry, CCCG 2013, Waterloo, Ontario, Canada, August 8-10, 2013, 2013, Carleton University, Ottawa, Canada. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
Generalized counterexamples to liveness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pp. 169-180, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Cong Tian, Zhenhua Duan |
Detecting spurious counterexamples efficiently in abstract model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, pp. 202-211, 2013, IEEE Computer Society, 978-1-4673-3076-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013, pp. 72-81, 2013, ACM, 978-1-4503-1968-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Willem Adrian Labuschagne, Johannes Heidema, Katarina Britz |
Supraclassical Consequence Relations - Tolerating Rare Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, pp. 326-337, 2013, Springer, 978-3-319-03679-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Ukachukwu Ndukwu |
Generating counterexamples for quantitative safety specifications in probabilistic B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 81(1), pp. 26-45, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rafael De Clercq |
On some putative graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 187(2), pp. 661-672, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 112(16), pp. 636-640, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining counterexamples using causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 40(1), pp. 20-40, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|