Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Chia-Chih Yen, Jing-Yang Jou |
An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
simulation, Verification, diagnosis, satisfiability, error checking |
11 | Josep Maria Font, Ramon Jansana, Don Pigozzi |
On the Closure Properties of the Class of Full G-models of a Deductive System. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic |
11 | Naveen Sharma, Padmaja Joshi, Rushikesh K. Joshi |
Applicability of Weyuker's Property 9 to Object Oriented Metrics. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Weyuker's properties, interaction complexity, Software metrics, object oriented design |
11 | Aditya Ramamoorthy, Kamal Jain, Philip A. Chou, Michelle Effros |
Separating distributed source coding from network coding. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
multicast, network coding, separation, distributed source coding |
11 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
Terminator: Beyond Safety. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala |
Bounded Model Checking for Weak Alternating Büchi Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV |
11 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001 |
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
Induction-Guided Falsification. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ |
11 | Ji Wang 0001, Xiaodong Yi 0002, Xuejun Yang |
Towards a Framework for Scalable Model Checking of Concurrent C Programs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Nader H. Bshouty, Ehab Wattad |
On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle. |
ALT |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Edelkamp, Shahid Jabbar |
Large-Scale Directed Model Checking LTL. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-Order Reduction for General State Exploring Algorithms. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Westley Weimer |
Patches as better bug reports. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
localization, error, explanation, patch, bug, counterexample, bug report |
11 | Shujun Deng, Weimin Wu, Jinian Bian |
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde |
Parallel SAT Solving in Bounded Model Checking. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jeff Kramer |
Component-Based Modeling, Analysis and Animation. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler |
Automatic Fault Localization for Property Checking. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia |
Detecting Design Flaws in UML State Charts for Embedded Software. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Wolf Zimmermann, Michael Schaarschmidt |
Automatic Checking of Component Protocols in Component-Based Systems. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Orna Kupferman, Sarai Sheinvald-Faragy |
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Byron Cook, Daniel Kroening, Natasha Sharygina |
Over-Approximating Boolean Programs with Unbounded Thread Creation. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Aleksandrs Belovs |
Non-intersecting Complexity. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Kuntal Nanshi, Fabio Somenzi |
Guiding simulation with increasingly refined abstract traces. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
simulation, model checking, abstraction refinement |
11 | Xiushan Feng, Alan J. Hu |
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
cutpoints, formal equivalence checking, software, RTL |
11 | Dimiter Vakarelov |
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Nelson negation, subminimal logic, counterexample semantics, many-valued logics |
11 | Leo Egghe |
The share of items of highly productive sources as a function of the size of the system. |
Scientometrics |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara |
Sufficient triangular norms in many-valued logics with standard negation. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic |
11 | Toshiji Kawagoe, Shihomi Wada |
A Counterexample for the Bullwhip Effect: Gaming and Multiagent Simulations. |
JSAI Workshops |
2005 |
DBLP DOI BibTeX RDF |
Beer Game, Supply chain, multiagent simulation, bullwhip effect |
11 | Dino Distefano |
A Parametric Model for the Analysis of Mobile Ambients. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hans Tompits, Stefan Woltran |
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Endre Szemerédi, Andrzej Rucinski 0001, Vojtech Rödl |
The Generalization of Dirac's Theorem for Hypergraphs. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Guangrui Wen, Liangsheng Qu, Xining Zhang |
A Rapid Response Intelligent Diagnosis Network Using Radial Basis Function Network. |
ISNN (3) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Fangfang Wu, Yinliang Zhao, Zefei Jiang |
A Novel Parallel Reduced Support Vector Machine. |
ICNC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
Data-Abstraction Refinement: A Game Semantic Approach. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar |
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Songtao Xia, Ben Di Vito, César A. Muñoz |
Automated test generation for engineering applications. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model-checking, test case generation, predicate abstraction |
11 | Christoph Csallner, Yannis Smaragdakis |
Check 'n' crash: combining static checking and testing. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking |
11 | Marsha Chechik, Arie Gurfinkel |
A Framework for Counterexample Generation and Exploration. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Gholamreza B. Khosrovshahi, Behruz Tayfeh-Rezaie |
Some Indecomposable t-Designs. |
Des. Codes Cryptogr. |
2004 |
DBLP DOI BibTeX RDF |
indecomposable designs, large sets of t-designs, disjoint designs, t-designs |
11 | Edmund M. Clarke, Anubhav Gupta 0001, Ofer Strichman |
SAT-based counterexample-guided abstraction refinement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
11 | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
Fate and free will in error traces. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Reachability game, Model checking, Counterexample |
11 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction and trail improvement in directed model checking. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction |
11 | Christian Schindelhauer, Klaus Volbert, Martin Ziegler 0001 |
Spanners, Weak Spanners, and Power Spanners for Wireless Networks. |
ISAAC |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina |
Automated, compositional and iterative deadlock detection. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Abstract Regular Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Mathew A. Sacker, Andrew D. Brown, Peter R. Wilson, Andrew J. Rushton |
A General Purpose Behavioural Asynchronous Synthesis System. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
Behavioural synthesis, asynchronous synthesis, cryptography |
11 | Kairong Qian, Albert Nymeyer |
Abstraction-Based Model Checking Using Heuristical Refinement. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Sarut Vanichpun, Armand M. Makowski |
The output of a cache under the independent reference model: where did the locality of reference go? |
SIGMETRICS |
2004 |
DBLP DOI BibTeX RDF |
output of a cache, popularity, majorization, locality of reference |
11 | Kyle Barger |
Condemned to repeat history: lessons I'm still learning. |
SIGUCCS |
2004 |
DBLP DOI BibTeX RDF |
historical perspective, service standards, teaching, change, centralization |
11 | Mila Dalla Preda |
Completeness Refinement in Abstract Symbolic Trajectory Evaluation. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation |
11 | Kavita Ravi, Fabio Somenzi |
Minimal Assignments for Bounded Model Checking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Mana Taghdiri |
Inferring Specifications to Detect Errors in Code. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Nina Amla, Kenneth L. McMillan |
A Hybrid of Counterexample-Based and Proof-Based Abstraction. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Kenneth L. McMillan |
Applications of Craig Interpolation to Model Checking. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Zaher S. Andraus, Karem A. Sakallah |
Automatic abstraction and verification of verilog models. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
UCLID, logic of counter arithmetic with lambda expressions and uninter-preted functions (CLU), abstraction, register transfer level (RTL), verilog |
11 | Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby |
Generating Efficient Test Sets with a Model Checker. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Pawel Waszkiewicz |
Quantitative Continuous Domains. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
partial metric, algebraic dcpo, quantitative domain theory, measurement, domain |
11 | Laurence E. LaForge, Kirk F. Korver, M. Sami Fadali |
What Designers of Bus and Network Architectures Should Know about Hypercubes. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Hypercube fault tolerance, hypercube latency, Hamming graphs, K-cubes, Moore graphs, Moore Bound, C-cubes, performability, quorums, configuration architectures, Lee distance |
11 | Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster |
Scalable distributed on-the-fly symbolic model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Distributed, Memory, BDDs, Counterexample |
11 | Orna Kupferman, Moshe Y. Vardi |
Vacuity detection in temporal model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Vacuous satisfaction, Model checking |
11 | Michael Damm |
On the Existence of Totally Anti-Symmetric Quasigroups of Order 4 k+2. |
Computing |
2003 |
DBLP DOI BibTeX RDF |
Classification 05B15 orthogonal arrays, room squares, 20N05 loops, quasigroups, 94B60 other types of codes, latin squares |
11 | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
High Level Verification of Control Intensive Systems Using Predicate Abstraction. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Kenneth L. McMillan |
Methods for exploiting SAT solvers in unbounded model checking. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar |
Abstraction and BDDs Complement SAT-Based BMC in DiVer. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Carsten Schürmann, Frank Pfenning |
A Coverage Checking Algorithm for LF. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Didier Dubois, Henri Prade, Thomas A. Sudkamp |
A Discussion of Indices for the Evaluation of Fuzzy Associations in Relational Databases. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-Guided Control. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Vadim E. Levit, Eugen Mandrescu |
On Unimodality of Independence Polynomials of Some Well-Covered Trees. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement in Model Checking. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Giorgio C. Buttazzo |
Rate Monotonic vs. EDF: Judgment Day. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning Assumptions for Compositional Verification. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Hyoung Seok Hong, Sung Deok Cha, Insup Lee 0001, Oleg Sokolsky, Hasan Ural |
Data Flow Testing as Model Checking. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Podelski |
Software Model Checking with Abstraction Refinement. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman |
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Nader H. Bshouty, Dmitry Gavinsky |
PAC = PAExact and Other Equivalent Models in Learning. |
FOCS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer |
An Abductive Approach for Analysing Event-Based Requirements Specifications. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Christian Ronse |
Flat Morphological Operatorson Arbitrary Power Lattices. |
Theoretical Foundations of Computer Vision |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea |
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
Improving the Verification of Timed Systems Using Influence Information. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
Fate and Free Will in Error Traces. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky, Hasan Ural |
A Temporal Logic Based Theory of Test Coverage and Generation. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Nader H. Bshouty, Jeffrey C. Jackson, Christino Tamon |
Exploring Learnability between Exact and PAC. |
COLT |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Paula Severi, Fer-Jan de Vries |
An Extensional Böhm Model. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang |
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Maribel Fernández, Paula Severi |
An Operational Approach to Program Extraction in the Calculus of Constructions. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida |
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Hans Zantema |
The Termination Hierarchy for Term Rewriting. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Monotone algebras, Termination, Term rewriting, String rewriting |
11 | Raphaël Féraud, Olivier Bernier, Jean-Emmanuel Viallet, Michel Collobert |
A Fast and Accurate Face Detector Based on Neural Networks. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
Combination of models, neural networks, machine learning, face detection, projection, generative models |
11 | Emo Welzl |
Entering and Leaving j-Facets. |
Discret. Comput. Geom. |
2001 |
DBLP DOI BibTeX RDF |
|
11 | K. Rustan M. Leino |
Extended Static Checking: A Ten-Year Perspective. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez |
A Certified Polynomial-Based Decision Procedure for Propositional Logic. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|