Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Carlos López-Franco, Eduardo Bayro-Corrochano |
Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Frances Perry, Limin Jia 0001, David Walker 0001 |
Expressing heap-shape contracts in linear logic. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
heap shape, contracts, linear logic, assertions |
13 | Hang Zhang, Dayong Luo |
A New Method for Traffic Signs Classification Using Probabilistic Neural Networks. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Pierrick Gaudry, T. Houtmann, David R. Kohel, Christophe Ritzenthaler, A. Weng |
The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography. |
ASIACRYPT |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Erik Reeber, Warren A. Hunt Jr. |
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Ana R. Cavalli, Dario Vieira |
An Enhanced Passive Testing Approach for Network Protocols. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Robert Bruce Findler, Matthias Blume |
Contracts as Pairs of Projections. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Janina Schulz, Thorsten Schmidt, Olaf Ronneberger, Hans Burkhardt, Taras Pasternak, Alexander Dovzhenko, Klaus Palme |
Fast Scalar and Vectorial Grayscale Based Invariant Features for 3D Cell Nuclei Localization and Classification. |
DAGM-Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Qiulei Dong, Yihong Wu 0002, Zhanyi Hu |
Gesture Recognition Using Quadratic Curves. |
ACCV (1) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Hongdong Li, Richard I. Hartley |
New 3D Fourier Descriptors for Genus-Zero Mesh Objects. |
ACCV (1) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Tanveer Fathima Syeda-Mahmood, Thomas G. Zimmerman |
FormPad: A Camera-Assisted Digital Notepad. |
ACCV (2) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Limsoon Wong |
Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Istrate, Anders Hansson, Guanhua Yan |
Packet Reordering Metrics: Some Methodological Considerations. |
ICNS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi |
Language support for fast and reliable message-based communication in singularity OS. |
EuroSys |
2006 |
DBLP DOI BibTeX RDF |
data ownership, protocols, asynchronous communication, channels, static checking |
13 | Murat Karaorman, Parker Abercrombie |
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
jContractor, Java, Design by Contract, bytecode instrumentation |
13 | Krystian Mikolajczyk, Cordelia Schmid |
A Performance Evaluation of Local Descriptors. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
interest regions, matching, recognition, invariance, interest points, Local descriptors |
13 | Richard C. Wilson 0001, Edwin R. Hancock, Bin Luo 0001 |
Pattern Vectors from Algebraic Graph Theory. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Irit Katriel, Laurent Michel, Pascal Van Hentenryck |
Maintaining Longest Paths Incrementally. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
heaviest path, bounded computation, scheduling, constraint, graph, local search, incremental, longest path |
13 | Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel |
Expression-invariant face recognition via spherical embedding. |
ICIP (3) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Peter Müller 0001 |
Reasoning about Object Structures Using Ownership. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Arnaud Venet |
Towards the Integration of Symbolic and Numerical Static Analysis. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
An Improved Rule for While Loops in Deductive Program Verification. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Mardavij Roozbehani, Eric Feron, Alexandre Megretski |
Modeling, Optimization and Computation for Software Verification. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 |
Visual specification and analysis of use cases. |
SOFTVIS |
2005 |
DBLP DOI BibTeX RDF |
visual notation, model checking, UML, requirements |
13 | Walter Nunziati, Jonathan Alon, Stan Sclaroff, Alberto Del Bimbo |
View registration using interesting segments of planar trajectories. |
AVSS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Henrik Nilsson |
Dynamic optimization for functional reactive programming using generalized algebraic data types. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows |
13 | Daniel Riccio, Jean-Luc Dugelay |
Asymmetric 3D/2D Processing: A Novel Approach for Face Recognition. |
ICIAP |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Cecilia Di Ruberto, Andrea Morgera |
A Comparison of 2-D Moment-Based Description Techniques. |
ICIAP |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Zheng Xiang, Taiyi Zhang, Jiancheng Sun |
Modelling of Chaotic Systems with Recurrent Least Squares Support Vector Machines Combined with Reconstructed Embedding Phase Space. |
ICNC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Brian Chin, Shane Markstrum, Todd D. Millstein |
Semantic type qualifiers. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
extensible typechecking, type qualifiers, type soundness |
13 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Andrew T. Wilson, Rebecca M. Brannon |
Exploring 2D Tensor Fields Using Stress Nets. |
IEEE Visualization |
2005 |
DBLP DOI BibTeX RDF |
stress tensor, controlled density streamlines, crack propagation, streamlines, tensor field |
13 | Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna |
Scalable Analysis of Linear Systems Using Mathematical Programming. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Patrick Cousot |
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee |
Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
SMP Parallelism, code generation, linear algebra, formal derivation |
13 | Lionel C. Briand, Wojciech J. Dzidek, Yvan Labiche |
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Gilles Barthe, Tamara Rezk, Ando Saabas |
Proof Obligations Preserving Compilation. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Mark van Hoeij, Jacques-Arthur Weil |
Solving second order linear differential equations with Klein's theorem. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel |
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. |
High. Order Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
semantics-based program manipulation, predictable partial evaluation, declaration of specialization opportunities, program specialization |
13 | Wim H. Hesselink |
An assertional proof for a construction of an atomic variable. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Invariant, Atomicity, Wait-free, Safeness |
13 | Hui Gao, Wim H. Hesselink |
A Formal Reduction for Lock-Free Parallel Algorithms. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Pham Hong Thai, Dang Van Hung |
Verifying Linear Duration Constraints of Timed Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Corina S. Pasareanu, Willem Visser |
Verification of Java Programs Using Symbolic Execution and Invariant Generation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
13 | W. F. Clocksin |
Handwritten Syriac Character Recognition using Order Structure Invariance. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Bin Luo 0001, Richard C. Wilson 0001, Edwin R. Hancock |
Graph Manifolds from Spectral Polynomials. |
ICPR (3) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Gordon Fraser 0001, Franz Wotawa |
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. |
RoboCup |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Robert DeLine, Manuel Fähndrich |
Typestates for Objects. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Douglas R. Smith |
A Generative Approach to Aspect-Oriented Programming. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
13 | David Herman, Philippe Meunier |
Improving the static analysis of embedded languages via partial evaluation. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
value flow analysis, partial evaluation, macros, embedded languages |
13 | Siddharth Manay, Byung-Woo Hong, Anthony J. Yezzi, Stefano Soatto |
Integral Invariant Signatures. |
ECCV (4) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Yi Fang 0001, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
Liveness with Invisible Ranking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Kokichi Sugihara |
Robust Geometric Computation Based on Digital Topology. |
COCOON |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Hubert Baumeister, Alexander Knapp, Martin Wirsing |
Property-Driven Development. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Richard C. Wilson 0001, Edwin R. Hancock |
Spectral Analysis of Complex Laplacian Matrices. |
SSPR/SPR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Bin Luo 0001, Richard C. Wilson 0001, Edwin R. Hancock |
Graph Pattern Spaces from Laplacian Spectral Polynomials. |
ICIAR (1) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Berndt Farwer, Saraswati Kalvala, Kundan Misra |
Controller Synthesis for Object Petri Nets. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
13 | David Hemer |
Specification matching of state-based modular components. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
Retrieval, Component-based development, Specification matching |
13 | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel |
Expression-Invariant 3D Face Recognition. |
AVBPA |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Hao Shao, Tomás Svoboda, Tinne Tuytelaars, Luc Van Gool |
HPAT Indexing for Fast Object/Scene Recognition Based on Local Appearance. |
CIVR |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Krystian Mikolajczyk, Cordelia Schmid |
A performance evaluation of local descriptors. |
CVPR (2) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Pascal Fontaine, E. Pascal Gribomont |
Decidability of Invariant Validation for Paramaterized Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Laurent Michel, Pascal Van Hentenryck |
Maintaining Longest Paths Incrementally. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Amir Pnueli, Lenore D. Zuck |
Model-Checking and Abstraction to the Aid of Parameterized Systems. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Matthieu Martel |
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard Beckert, Wojciech Mostowski |
A Program Logic for Handling JAVA CARD's Transaction Mechanism. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Hartmann J. Genrich |
Dynamical Quantities in Net Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Petri nets, Dynamics |
13 | Gurdip Singh, Bob S. Maddula, Qiang Zeng 0003 |
Enhancing Real-Time Event Service for Synchronization in Object-Oriented Distributed Systems. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Colón, Henny Sipma |
Practical Methods for Proving Program Termination. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Richard Jüllig |
Formal Methods in Enterprise Computing. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
Alias annotations for program understanding. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness |
13 | Jiang Li, Chin-Seng Chua, Yeong-Khing Ho |
Color based multiple people tracking. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Erik D. Demaine, Stefan Langerman, Joseph O'Rourke, Jack Snoeyink |
Interlocked open linkages with few joints. |
SCG |
2002 |
DBLP DOI BibTeX RDF |
protein models, configurations, geometry, linkages, knots, robotic arms |
13 | Soon-Kyeong Kim, David A. Carrington |
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Kunihiko Hiraishi |
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant |
Modeling and Verification of Out-of-Order Microprocessors in UCLID. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Orna Raz, Philip Koopman, Mary Shaw |
Semantic anomaly detection in online data sources. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Gustavo Carneiro 0001, Allan D. Jepson |
Phase-Based Local Features. |
ECCV (1) |
2002 |
DBLP DOI BibTeX RDF |
Vision systems engineering and evaluation, Invariant local features, Local phase information, Object recognition, Image features |
13 | Jan J. Koenderink, Andrea J. van Doorn |
Image Processing Done Right. |
ECCV (1) |
2002 |
DBLP DOI BibTeX RDF |
texture, scale-space, image indexing, Image features, image transformations, image space |
13 | Babak Nadjar Araabi, Nasser Kehtarnavaz, Gilbert R. Hillman, Bernd Würsig |
Evaluation of Invariant Models for Dolphin Photo-Identification. |
CBMS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic Predicate Abstraction of C Programs. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
13 | Klaus Voss, Herbert Süße |
Affine Point Pattern Matching. |
DAGM-Symposium |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Al-Rawi, Jie Yang 0002 |
Illumination Invariant Recognition of Color Texture Using Correlation and Covariance Functions. |
EMMCVPR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Beatrix Braune, Reinhard Wilhelm |
Focusing in Algorithm Explanation. |
IEEE Trans. Vis. Comput. Graph. |
2000 |
DBLP DOI BibTeX RDF |
Visualization of algorithms, shape analysis, diagrammatic reasoning |
13 | Sergei Matveev |
Computer Presentation of 3-Manifolds. |
Digital and Image Geometry |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Masami Hagiya, Koichi Takahashi |
Discovery and Deduction. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Catherine Meadows 0001 |
Invariant Generation Techniques in Cryptographic Protocol Analysis. |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Marc Schael, Sven Siggelkow |
Invariant Grey-Scale Features for 3D Sensor-Data. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Jinhui Chao, Kazuto Matsuo, Hiroto Kawashiro, Shigeo Tsujii |
Construction of Hyperelliptic Curves with CM and Its Application to Cryptosystems. |
ASIACRYPT |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Neophytos G. Michael, Andrew W. Appel |
Machine Instruction Syntax and Semantics in Higher Order Logic. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Klaus-Dieter Schewe |
Controlled Automation of Consistency Enforcement. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich |
Using Meta-level Compilation to Check FLASH Protocol Code. |
ASPLOS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Lano, Kelly Androutsopoulos, David Clark 0001 |
Structuring and Design of Reactive Systems Using RSDS and B. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
13 | David L. Dill |
Alternative Approaches to Hardware Verification (abstract). |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
13 | To-Yat Cheung, Yiqin Lu |
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Cordelia Schmid, Andrew Zisserman, Roger Mohr |
Integrating Geometric and Photometric Information for Image Retrieval. |
Shape, Contour and Grouping in Computer Vision |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Jun Sato, Roberto Cipolla |
Quasi-Invariant Parameterisations and Their Applications in Computer Vision. |
Shape, Contour and Grouping in Computer Vision |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Ali Hamie |
Enhancing the Object Constraint Language for More Expressive Specifications. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
modeling, UML, specification, constraints, OCL |