Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Dick Hamlet |
Invariants and state in testing and formal methods. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Xiao Bai 0001, Edwin R. Hancock |
Graph Clustering Using Heat Content Invariants. |
IbPRIA (2) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Pérez de la Blanca, José M. Fuertes, Manuel J. Lucena |
Matching Deformable Regions Using Local Histograms of Differential Invariants. |
IbPRIA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Enric Rodríguez-Carbonell, Ashish Tiwari 0001 |
Generating Polynomial Invariants for Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Zongmin Li, Yuanzhen Zhang, Kunpeng Hou, Hua Li 0009 |
3D Polar-Radius Invariant Moments and Structure Moment Invariants. |
ICNC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet |
Graph Invariants as Necessary Conditions for Global Constraints. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jan Flusser, Tomás Suk |
Moment Invariants for Recognizing Symmetric Objects. |
CAIP |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jun Sun 0001, Jin Song Dong |
Extracting FSMs from Object-Z Specifications with History Invariants. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Software Specification, FSMs, Object-Z |
24 | Ralph D. Jeffords, Elizabeth I. Leonard |
Using invariants to optimize formal specifications before code synthesis. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jeff H. Perkins, Michael D. Ernst |
Efficient incremental algorithms for dynamic detection of likely invariants. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
batch algorithm, reversing optimizations, incremental algorithm, dynamic invariant detection |
24 | Enric Rodríguez-Carbonell, Deepak Kapur |
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Logozzo |
Automatic Inference of Class Invariants. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Sema Doguscu, Mustafa Unel |
Character Recognition Using Canonical Invariants. |
ICIAR (1) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Hein van der Holst |
Two Tree-Width-Like Graph Invariants. |
Comb. |
2003 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C83, 05C50, 15A18 |
24 | Nasser Kehtarnavaz, Venkat Peddigari, C. Chandan, W. Syed, Gilbert R. Hillman, Bernd Würsig |
Photo-Identification of Humpback and Gray Whales using Affine Moment Invariants. |
SCIA |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Jan Flusser |
Affine invariants of convex polygons. |
IEEE Trans. Image Process. |
2002 |
DBLP DOI BibTeX RDF |
|
24 | James Brotherston, Anatoli Degtyarev, Michael Fisher 0001, Alexei Lisitsa 0001 |
Searching for Invariants Using Temporal Resolution. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Enge, François Morain |
Comparing Invariants for Class Fields of Imaginary Quadratic Fields. |
ANTS |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Vasu Parameswaran, Rama Chellappa |
Quasi-Invariants for Human Action Representation and Recognition. |
ICPR (1) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Marielle Doche, Andrew M. Gravell |
Extraction of Abstraction Invariants for Data Refinement. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
failure refinement, distributed system, Formal specification, CSP, B, data refinement |
24 | Florica Mindru, Theo Moons, Luc Van Gool |
Comparing Intensity Transformations and Their Invariants in the Context of Color Pattern Recognition. |
ECCV (4) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel |
Algorithm Explanation: Visualizing Abstract States and Invariants. |
Software Visualization |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
Automatic Deductive Verification with Invisible Invariants. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Y. Zhu, Liyanage C. De Silva, Chi Chung Ko |
Using Moment Invariants and HMM in Facial Expression Recognition. |
SSIAI |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Vinod Chandran, Brett Carswell, Boualem Boashash, Steve Elgar |
Pattern recognition using invariants defined from higher order spectra: 2-D image inputs. |
IEEE Trans. Image Process. |
1997 |
DBLP DOI BibTeX RDF |
|
24 | A. Prasad Sistla |
Parametrized Verification of Linear Networks Using Automata as Invariants. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Rudi Penne |
Yang-Baxter Invariants for Line Configurations. |
Discret. Comput. Geom. |
1996 |
DBLP DOI BibTeX RDF |
|
24 | David M. Arnow |
Teaching programming to liberal arts students: using loop invariants. |
SIGCSE |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Marc Bezem, Jan Friso Groote |
Invariants in Process Algebra with Data. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Isaac Weiss |
Geometric invariants and object recognition. |
Int. J. Comput. Vis. |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Gerald Futschek |
Algebraic Properties of Loop Invariants. |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Fritz Krückeberg, Michael Jaxy |
Mathematical methods for calculating invariants in Petri nets. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Y. Narahari, Nukala Viswanadham |
On the invariants of coloured Petri nets. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Jacques Vautherin |
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Kurt Jensen |
How to Find Invariants for Coloured Petri Nets. |
MFCS |
1981 |
DBLP DOI BibTeX RDF |
|
24 | F. Chevonne Thomas Dancer, David A. Dampier |
A Platform Independent Process Model for Smartphones Based on Invariants. |
SADFE |
2010 |
DBLP DOI BibTeX RDF |
process model, invariants, smartphone, computer forensics |
24 | Haifeng Chen, Guofei Jiang, Kenji Yoshihira, Akhilesh Saxena |
Invariants Based Failure Diagnosis in Distributed Computing Systems. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
Distributed Systems, Invariants, Failure Diagnosis |
24 | Akrem El-ghazal, Otman A. Basir, Saeid Belkasim |
Scale Invariants of Radial Tchebichef Moments for Shape-Based Image Retrieval. |
ISM |
2009 |
DBLP DOI BibTeX RDF |
Tchebichef moment, Image retrieval, Scale, Shape descriptors, Moment invariants |
24 | Manuel Fähndrich, Songtao Xia |
Establishing object invariants with delayed types. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
non-null types, object invariants, initialization |
24 | Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty |
IODINE: a tool to automatically infer dynamic invariants for hardware designs. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
dynamic invariants, formal specification, dynamic analysis |
24 | Serafino Cicerone, Daniele Frigioni, Laura Tarantino, Paolino Di Felice |
Interacting with Topological Invariants of Spatial Databases. |
DANTE |
1999 |
DBLP DOI BibTeX RDF |
Algorithms, User Interfaces, Spatial Databases, Topological Invariants |
24 | Michael Werman, MaoLin Qiu, Subhashis Banerjee, Sumantra Dutta Roy |
Robot Localization using Uncalibrated Camera Invariants. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
Structure determination, Invariants, Pose estimation, Uncalibrated camera |
24 | Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin |
Dynamically Discovering Likely Program Invariants to Support Program Evolution. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, program invariants |
24 | Eliseo Clementini, Paolino Di Felice |
Topological Invariants for Lines. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
homeomorphism, spatial relations, Lines, topological invariants, spatial data modeling |
24 | Leonid A. Levin |
Homogeneous Measures and Polynomial Time Invariants |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
pseudorandom strings, homogeneous measures, polynomial time invariants, average case NP-completeness, Kolmogorov complexity, probability distributions |
24 | S. Wendling, G. Gagneux, G. Stamon |
A Set of Invariants Within the Power Spectrum of Unitary Transformations. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
Hadamard?Haar?Fourier transform, metric invariants by translation, Character recognition, power spectrum |
24 | Joe W. Duran |
Heuristics for program synthesis using loop invariants. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Automatic programming, Program synthesis, Program correctness, Loop invariants |
23 | Julian Müllner, Marcel Moosbrugger, Laura Kovács |
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Julian Müllner, Marcel Moosbrugger, Laura Kovács |
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Emery Pierson |
3D and 4D Human body surface comparison and deformation: From geometric invariants to Riemannian shape analysis. (Comparaison et déformations de formes humaine 3D et 4D: Des invariants géometriques à l'analyse Riemannienne de formes). |
|
2023 |
RDF |
|
23 | Sumit Lahiri, Subhajit Roy 0001 |
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Owen Rouillé |
Large scale computations of 3-manifolds invariants. (Calculs à grande échelle d'invariants de 3-variétés). |
|
2022 |
RDF |
|
23 | Bibek Kabi |
Synthesizing invariants : a constraint programming approach based on zonotopic abstraction. (Synthèse d'invariants : une approche programmation par contraintes basée sur l'abstraction zonotopique). |
|
2020 |
RDF |
|
23 | Théo Karaboghossian |
Polynomial invariants and algebraic structures of combinatorial objects. (Invariants polynomiaux et structures algébriques d'objets combinatoires). |
|
2020 |
RDF |
|
23 | Yohann Béarzi |
Local surface analysis with the Wavejets function basis : definition of new integral invariants and application to geometric details amplification. (Analyse locale de surface avec la base des Wavejets : définition de nouveaux invariants intégraux et application à l'amplification de détails géométriques). |
|
2019 |
RDF |
|
23 | Harm Derksen, Visu Makam |
Algorithms for orbit closure separation for invariants and semi-invariants of matrices. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | Shunliang Jiang, Yun Ge, Yiling Tang, Shaoping Xu, Famao Ye |
仿高阶矩的结点不变量及其组成的图不变量 (Node Invariants by Imitating High-order Moments and Their Graph Invariants). |
计算机科学 |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jussi Rintanen |
Schematic Invariants by Reduction to Ground Invariants. |
AAAI |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Séréna Bochereau |
Perception, recording and reproduction of physical invariants during bare fingertip exploration of tactile textures. (Perception, enregistrement et reproduction d'invariants physiques lors de l'exploration de textures tactiles par un doigt humain). |
|
2017 |
RDF |
|
23 | Egor George Karpenkov |
Finding inductive invariants using satisfiability modulo theories and convex optimization. (Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe). |
|
2017 |
RDF |
|
23 | Vivien Maisonneuve |
Static analysis of control-command systems : floating-point and integer invariants. (Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants). |
|
2015 |
RDF |
|
23 | Khalil Ghorbal, André Platzer |
Characterizing Algebraic Invariants by Differential Radical Invariants. |
TACAS |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Alain Mebsout |
Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems). |
|
2014 |
RDF |
|
23 | Claire Lucas |
Trois essais sur les relations entre les invariants structuraux des graphes et le spectre du Laplacien sans signe. (On relations between structural invariants of graphs and the signless Laplacian spectrum). |
|
2013 |
RDF |
|
23 | Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An |
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. |
SEKE |
2012 |
DBLP BibTeX RDF |
|
23 | Emilien Perrin, Armelle Brun, Anne Boyer |
Utilisation d'invariants pour une médiation inter-domaines de modèles utilisateurs : ressources invariantes et invariants sémantiques. |
EGC |
2012 |
DBLP BibTeX RDF |
|
23 | Yoshihiro Fukumoto |
w-Invariants and the Fintushel-Stern Invariants for Plumbed Homology 3-Spheres. |
Exp. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Amaury Nègre |
Evitement d'obstacles par invariants visuels. (Obstacles avoidance from visual invariants). |
|
2009 |
RDF |
|
23 | Jean-Gabriel Luque |
Invariants des hypermatrices. (Invariants of hypermatrices). |
|
2008 |
RDF |
|
23 | Stephen J. Maybank |
Relation between 3D invariants and 2D invariants. |
Image Vis. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Bart Lamiroy |
Reconnaissance et modélisation d'objets 3D à l'aide d'invariants projectifs et affines. (Recognition and Modeling of 3D Objects Through Use of Projective and Affine Invariants). |
|
1998 |
RDF |
|
23 | Yu Cheng |
Analysis of Affine Invariants as Approximate Perspective Invariants. |
Comput. Vis. Image Underst. |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Gilles Burel |
Invariants et Approches Neuronales pour le Traitement du Signal. (Invariants and Neural Approaches for Signal Processing). |
|
1996 |
RDF |
|
23 | Cordelia Schmid |
Appariement d'images par invariants locaux de niveaux de gris. Application à l'indexation d'une base d'objets. (Image matching by local greyvalue invariants. Applied to indexing an object database). |
|
1996 |
RDF |
|
20 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
Modular verification of security protocol code by typing. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
20 | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
Intra-module Inference. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
Type-based data structure verification. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
hindley-milner, type inference, dependent types, predicate abstraction |
20 | Jeff H. Perkins, Sunghun Kim 0001, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
Automatically patching errors in deployed software. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
self healing |
20 | Olivier Bouissou |
Proving the Correctness of the Implementation of a Control-Command Algorithm. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
Consistency, Independence and Consequences in UML and OCL Models. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta |
Semantic Reduction of Thread Interleavings in Concurrent Programs. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo |
Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
dynamic invariant generation, Web services, service composition, WS-BPEL, white-box testing |
20 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Computing the Tutte Polynomial in Vertex-Exponential Time. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann |
Using Dynamic Symbolic Execution to Improve Deductive Verification. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Laura Kovács |
Aligator: A Mathematica Package for Invariant Generation (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sumit Gulwani, Ashish Tiwari 0001 |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Damián Barsotti, Javier O. Blanco |
Automatic Refinement of Split Binary Semaphore. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ekaterina Shemyakova, Franz Winkler 0001 |
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. |
ASCM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Qi Gao 0004, Feng Qin, Dhabaleswar K. Panda 0001 |
DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements. |
SC |
2007 |
DBLP DOI BibTeX RDF |
parallel programs, anomaly detection, data movements, bug detection |
20 | Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Invariant Synthesis for Combined Theories. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Franz Winkler 0001, Ekaterina Shemyakova |
Symbolic and Algebraic Methods for Linear Partial Differential Operators. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Guangsheng Zhang, Fuqiang Meng, Changjun Jiang, Jian Pang |
Using Petri Net to Reason with Rule and OWL. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
SWRL rule, Ontology, Semantic Web, OWL, Reasoning, Predicate/Transition nets |
20 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Invisible Safety of Distributed Protocols. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Unfoldings for Networks of Timed Automata. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Douglas Herbert, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li 0001 |
Detection and Repair of Software Errors in Hierarchical Sensor Networks. |
SUTC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Benedicte Bascle, Olivier Bernier, Vincent Lemaire 0001 |
Illumination-Invariant Color Image Correction. |
IWICPAS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Wies, Viktor Kuncak, Patrick Lam 0001, Andreas Podelski, Martin C. Rinard |
Field Constraint Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jie Yang 0002, Mohammed Al-Rawi |
Illumination Invariant Recognition of Three-Dimensional Texture in Color Images. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
3D color texture recognition, affine moment normalization, illumination invariance, Zernike moment, affine invariant |