Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	Structural Invariants.	SAS	2006	DBLP DOI BibTeX RDF
18	Wei-Yang Lin, Kin-Chung Wong, Nigel Boston, Yu Hen Hu	Fusion of Summation Invariants in 3D Human Face Recognition.	CVPR (2)	2006	DBLP DOI BibTeX RDF
18	Yi Fang 0001, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck	Liveness by Invisible Invariants.	FORTE	2006	DBLP DOI BibTeX RDF
18	Roope Kaivola	Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants.	CAV	2005	DBLP DOI BibTeX RDF
18	Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella	Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.	ICATPN	2005	DBLP DOI BibTeX RDF
18	Sri Hari Krishna Narayanan, Seung Woo Son 0001, Mahmut T. Kandemir, Feihui Li	Using loop invariants to fight soft errors in data caches.	ASP-DAC	2005	DBLP DOI BibTeX RDF
18	K. Rustan M. Leino, Francesco Logozzo	Loop Invariants on Demand.	APLAS	2005	DBLP DOI BibTeX RDF
18	Senem Velipasalar, Wayne H. Wolf	Frame-level temporal calibration of video sequences from unsynchronized cameras by using projective invariants.	AVSS	2005	DBLP DOI BibTeX RDF
18	Esa Rahtu, Mikko Salo, Janne Heikkilä	A New Efficient Method for Producing Global Affine Invariants.	ICIAP	2005	DBLP DOI BibTeX RDF
18	Iwan Tabakow	Fault Diagnosis of Discrete Event Systems Using Place Invariants.	KES (2)	2005	DBLP DOI BibTeX RDF
18	Olaf Ronneberger, Janis Fehr, Hans Burkhardt	Voxel-Wise Gray Scale Invariants for Simultaneous Segmentation and Classification.	DAGM-Symposium	2005	DBLP DOI BibTeX RDF
18	Laura Ildikó Kovács, Tudor Jebelean	An Algorithm for Automated Generation of Invariants for Loops with Conditionals.	SYNASC	2005	DBLP DOI BibTeX RDF
18	Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte	Safe Concurrency for Aggregate Objects with Invariants.	SEFM	2005	DBLP DOI BibTeX RDF
18	K. Rustan M. Leino	Invariants on Demand.	SEFM	2005	DBLP DOI BibTeX RDF
18	Tomohiro Nakai, Koichi Kise, Masakazu Iwamura	Camera-Based Document Image Retrieval as Voting for Partial Signatures of Projective Invariants.	ICDAR	2005	DBLP DOI BibTeX RDF
18	Hao Chen 0003, Jonathan S. Shapiro	Using build-integrated static checking to preserve correctness invariants.	CCS	2004	DBLP DOI BibTeX RDF	EROS, MOPS, model hecking, security, verification, static analysis, assurance
18	Rinat Ibrayev, Yan-Bin Jia	Tactile Recognition of Algebraic Shapes using Differential Invariants.	ICRA	2004	DBLP DOI BibTeX RDF
18	Andreas Podelski, Andrey Rybalchenko	Transition Invariants.	LICS	2004	DBLP DOI BibTeX RDF
18	David A. Naumann, Michael Barnett 0001	Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State.	LICS	2004	DBLP DOI BibTeX RDF
18	Jérôme Leroux	Disjunctive Invariants for Numerical Systems.	ATVA	2004	DBLP DOI BibTeX RDF
18	Jan Flusser, Barbara Zitová	Invariants to Convolution with Circularly Symmetric PSF.	ICPR (2)	2004	DBLP DOI BibTeX RDF
18	David A. Naumann	Assertion-Based Encapsulation, Object Invariants and Simulations.	FMCO	2004	DBLP DOI BibTeX RDF
18	Chenhong Lu, Zhaoyang Lu	Zernike Moment Invariants Based Iris Recognition.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
18	Florian Dittmann 0001, Achim Rettberg, Thomas Lehmann 0001, Mauro Cesar Zanella	Invariants for Distributed Local Control Elements of a New Synchronous Bit-Serial Architecture.	DELTA	2004	DBLP DOI BibTeX RDF
18	Daniel J. Sorin, Mark D. Hill, David A. Wood 0001	Dynamic Verification of End-to-End Multiprocessor Invariants.	DSN	2003	DBLP DOI BibTeX RDF
18	Husam Abu-Haimed, Sergey Berezin, David L. Dill	Strengthening Invariants by Symbolic Consistency Testing.	CAV	2003	DBLP DOI BibTeX RDF
18	Tarek A. El Doker	Unsupervised Iterative Segmentation and Recognition of Anatomic Structures in Medical Imagery Using Second-Order B-Spline Descriptors and Geometric Quasi-Invariants.	BIBE	2003	DBLP DOI BibTeX RDF
18	Tadayoshi Shioyama, Haiyuan Wu, Atsushi Iwai	Detection of Vehicles Using Gabor Filters and Affine Moment Invariants from an Image.	SCIA	2003	DBLP DOI BibTeX RDF
18	Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan	Probabilistic Invariants for Probabilistic Machines.	ZB	2003	DBLP DOI BibTeX RDF	the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions
18	Germano Resconi, Chiara Ratti	Invariants and Fuzzy Logic.	KES	2003	DBLP DOI BibTeX RDF	meta-theory, tautology, Fuzzy logic, modal logic, invariant, compensation
18	Vasu Parameswaran, Rama Chellappa	View Invariants for Human Action Recognition.	CVPR (2)	2003	DBLP DOI BibTeX RDF
18	Akihiro Taguchi, Satoshi Taoka, Toshimasa Watanabe	An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
18	Germano Resconi	Invariants and Symmetries among Adaptive Agents.	EUROCAST	2003	DBLP DOI BibTeX RDF
18	Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck	Network Invariants in Action.	CONCUR	2002	DBLP DOI BibTeX RDF
18	Eduardo Bayro-Corrochano	Computing Depth, Shape and Motion Using Invariants and Incidence Algebra.	ICPR	2000	DBLP DOI BibTeX RDF
18	Maurizio Pilu	Optimizing Random Patterns for Invariants-based Matching.	ICPR	2000	DBLP DOI BibTeX RDF
18	Kees Huizing, Ruurd Kuiper 0001	Verification of Object Oriented Programs Using Class Invariants.	FASE	2000	DBLP DOI BibTeX RDF
18	Gin-Shu Young, Martin Herman, Tsai-Hong Hong, David Jiang, Jackson C. S. Yang	New Visual Invariants for Terrain Navigation Without 3D Reconstruction.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	purposive vision, mobile robots, optical flow, autonomous vehicles, visual navigation, obstacle detection, image motion
18	Stefan Carlsson, Roger Mohr, Theo Moons, Luce Morin, Charlie Rothwell, Marc Van Diest, Luc Van Gool, Francoise Veillon, Andrew Zisserman	Semi-local projective invariants for the recognition of smooth plane curves.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
18	Jean-Philippe Thirion	New feature points based on geometric invariants for 3D image registration.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
18	David Ginat	Loop invariants and mathematical games.	SIGCSE	1995	DBLP DOI BibTeX RDF
18	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	On the Automatic Computation of Network Invariants.	CAV	1994	DBLP DOI BibTeX RDF
18	Daphna Weinshall	Model-based invariants for 3-D vision.	Int. J. Comput. Vis.	1993	DBLP DOI BibTeX RDF
18	June-Kyung Rho, Fabio Somenzi	Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.	CAV	1993	DBLP DOI BibTeX RDF
18	Raymond R. Devillers	Construction of S-invariants and S-components for Refined Petri Boxes.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
18	Wing Cheung Tam	Teaching loop invariants to beginners by examples.	SIGCSE	1992	DBLP DOI BibTeX RDF
18	Ryszard Janicki, Maciej Koutny	Invariants and Paradigms of Concurrency Theory.	PARLE (2)	1991	DBLP DOI BibTeX RDF
18	William J. Collins	The trouble with for-loop invariants.	SIGCSE	1988	DBLP DOI BibTeX RDF
18	Manuel Silva Suárez, José Manuel Colom	On the Computation of Structural Synchronic Invariants in P/T Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
13	Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt	Toward affine recognition of handwritten mathematical characters.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF
13	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Low-level liquid types.	POPL	2010	DBLP DOI BibTeX RDF	liquid types, c, type inference, dependent types
13	Amel Mammar	A systematic approach to generate B preconditions: application to the database domain.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	B operations, Formal specification, Invariant, Integrity constraints, Precondition
13	Frederick A. Matsen IV	Fourier Transform Inequalities for Phylogenetic Trees.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	Impact of VLSI on system design, Backup/recovery
13	Jürgen Richter-Gebert, Peter Lebmeir	Diagrams, Tensors and Geometric Reasoning.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Incidence theorems, Diagrams, Projective geometry, Tensors, Invariant theory
13	Colas Le Guernic, Antoine Girard	Reachability Analysis of Hybrid Systems Using Support Functions.	CAV	2009	DBLP DOI BibTeX RDF
13	Rocío González-Díaz, Adrian Ion, Mabel Iglesias Ham, Walter G. Kropatsch	Irregular Graph Pyramids and Representative Cocycles of Cohomology Generators.	GbRPR	2009	DBLP DOI BibTeX RDF	Graph pyramids, representative cocycles of cohomology generators
13	Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli	Network protocol interoperability testing based on contextual signatures and passive testing.	SAC	2009	DBLP DOI BibTeX RDF	contextual signatures, communication protocols, WAP, interoperability testing, passive testing
13	Nils Petersen, Didier Stricker	Fast Hand Detection Using Posture Invariant Constraints.	KI	2009	DBLP DOI BibTeX RDF
13	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
13	Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller	A foundation for flow-based program matching: using temporal logic and model checking.	POPL	2009	DBLP DOI BibTeX RDF	program matching, model checking, program transformation, ctl, bug finding
13	Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv	Abstract Transformers for Thread Correlation Analysis.	APLAS	2009	DBLP DOI BibTeX RDF
13	Felipe Lalanne, Stéphane Maag	From the IMS PoC service monitoring to its formal conformance testing.	Mobility Conference	2009	DBLP DOI BibTeX RDF	service implementation, testing, formal model, IMS
13	Sumit Gulwani, Ashish Tiwari 0001	Constraint-Based Approach for Analysis of Hybrid Systems.	CAV	2008	DBLP DOI BibTeX RDF
13	Suyash P. Awate, Hui Zhang 0005, Tony J. Simon, James C. Gee	Multivariate segmentation of brain tissues by fusion of MRI and DTI data.	ISBI	2008	DBLP DOI BibTeX RDF
13	Xueqi Cheng, Michael S. Hsiao	Simulation-Directed Invariant Mining for Software Verification.	DATE	2008	DBLP DOI BibTeX RDF
13	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
13	Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron	Distributed Lyapunov Functions in Analysis of Graph Models of Software.	HSCC	2008	DBLP DOI BibTeX RDF
13	Valery A. Nepomniaschy	Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
13	César Andrés, Mercedes G. Merayo, Manuel Núñez 0001	Passive Testing of Timed Systems.	ATVA	2008	DBLP DOI BibTeX RDF
13	Helmut Seidl, Andrea Flexeder, Michael Petter	Analysing All Polynomial Equations in .	SAS	2008	DBLP DOI BibTeX RDF
13	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.	SOSE	2008	DBLP DOI BibTeX RDF
13	Slobodan Maletic, Milan Rajkovic, Danijela Vasiljevic	Simplicial Complexes of Networks and Their Statistical Properties.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Networks, topology, complex systems, homology, simplicial complexes, betti numbers, statistical mechanics
13	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient runtime invariant checking: a framework and case study.	WODA	2008	DBLP DOI BibTeX RDF	program transformation, incrementalization, runtime verification, alias analysis
13	Laura Kovács	Reasoning Algebraically About P-Solvable Loops.	TACAS	2008	DBLP DOI BibTeX RDF
13	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
13	Limsoon Wong	Guilt by association as a search principle.	SIGIR	2008	DBLP DOI BibTeX RDF	search principle
13	Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen	The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.	IFIP TCS	2008	DBLP DOI BibTeX RDF
13	Sharif Elcott, Yiying Tong, Eva Kanso, Peter Schröder, Mathieu Desbrun	Stable, circulation-preserving, simplicial fluids.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	Fluid animation, Lie advection, stable fluids, vorticity preservation
13	Jörg Bauer 0001, Werner Damm, Tobe Toben, Bernd Westphal	Verification and Synthesis of OCL Constraints Via Topology Analysis.	AGTIVE	2007	DBLP DOI BibTeX RDF
13	Abubakr Muhammad, Ali Jadbabaie	Asymptotic Stability of Switched Higher Order Laplacians.	HSCC	2007	DBLP DOI BibTeX RDF
13	Jyrki T. Lahtonen, Roope Vehkalahti	Dense MIMO Matrix Lattices - A Meeting Point for Class Field Theory and Invariant Theory.	AAECC	2007	DBLP DOI BibTeX RDF
13	Jana Dunfield	Refined typechecking with Stardust.	PLPV	2007	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
13	Ville Ojansivu, Janne Heikkilä	Object Recognition Using Frequency Domain Blur Invariant Features.	SCIA	2007	DBLP DOI BibTeX RDF
13	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Bolei Guo, Neil Vachharajani, David I. August	Shape analysis with inductive recursion synthesis.	PLDI	2007	DBLP DOI BibTeX RDF	inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic
13	Bor-Yuh Evan Chang, Xavier Rival, George C. Necula	Shape Analysis with Structural Invariant Checkers.	SAS	2007	DBLP DOI BibTeX RDF
13	Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program Analysis Using Symbolic Ranges.	SAS	2007	DBLP DOI BibTeX RDF
13	Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001	Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
13	Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid	Global Optimization of Compositional Systems.	FMCAD	2007	DBLP DOI BibTeX RDF
13	Sylvain Boulmé, Marie-Laure Potet	Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.	B	2007	DBLP DOI BibTeX RDF
13	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
13	Peter Z. Revesz	The Constraint Database Approach to Software Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
13	Shijian Lu, Chew Lim Tan	Keyword Spotting and Retrieval of Document Images Captured by a Digital Camera.	ICDAR	2007	DBLP DOI BibTeX RDF
13	Bhat T. Narayana, John Barkley	Semantic Web for the Life Sciences - Hype, Why, How and Use Case for AIDS Inhibitors.	IEEE SCW	2007	DBLP DOI BibTeX RDF
13	Joost van de Weijer 0001, Theo Gevers, Arnold W. M. Smeulders	Robust photometric invariant features from the color tensor.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
13	Tamás Kozsik	Proving Program Properties Specified with Subtype Marks.	IFL	2006	DBLP DOI BibTeX RDF
13	Iching Boman, Jared Saia, Chaouki T. Abdallah, Edl Schamiloglu	Brief Announcement: Self-healing Algorithms for Reconfigurable Networks.	SSS	2006	DBLP DOI BibTeX RDF
13	Claus Pahl, Ronan Barrett	Layered Patterns in Modelling and Transformation of Service-Based Software Architectures.	EWSA	2006	DBLP DOI BibTeX RDF	Architecture Transformation, Web Services, Service-oriented Architecture, Service Processes, Architecture Specification
13	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
13	Amine Chaieb	Proof-Producing Program Analysis.	ICTAC	2006	DBLP DOI BibTeX RDF