Search results for "invariants"

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