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 |
|