Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Shinya Umeno, Nancy A. Lynch |
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jean Pierre Charalambos, Jirí Bittner, Michael Wimmer 0001, Eduardo Romero 0001 |
Optimized HLOD Refinement Driven by Hardware Occlusion Queries. |
ISVC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Kenneth L. Knowles, Cormac Flanagan |
Type Reconstruction for General Refinement Types. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Andrey N. Chernikov, Nikos Chrisochoides |
Three-dimensional Semi-generalized Point Placement Method for Delaunay Mesh Refinement. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jane Tournois, Pierre Alliez, Olivier Devillers |
Interleaving Delaunay Refinement and Optimization for 2D Triangle Mesh Generation. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alberto Signoroni, Riccardo Leonardi |
Two-way interactive refinement of segmented medical volumes. |
ICIAP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Harald Fecher, Immo Grabe |
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Xiaopeng Fan, Oscar C. Au, Yan Chen 0007, Jiantao Zhou 0001, Peter H. W. Wong |
Wyner-Ziv Successive Refinement of Video and Rate Distortion Analysis. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Changhu Wang, Feng Jing, Lei Zhang 0001, Hong-Jiang Zhang |
Content-Based Image Annotation Refinement. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi |
Property-Driven Partitioning for Abstraction Refinement. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Peter Y. H. Wong, Jeremy Gibbons |
A Process-Algebraic Approach to Workflow Specification and Refinement. |
SC@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Taufiq Rochaeli, Claudia Eckert 0001 |
Expertise Knowledge-Based Policy Refinement Process. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Benoît Hudson, Gary L. Miller, Todd Phillips |
Sparse parallel Delaunay mesh refinement. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
computational geometry, mesh generation, shared-memory parallelism |
21 | Anhong Wang, Yao Zhao 0001, Lei Wei 0006 |
Wavelet-Domain Distributed Video Coding with Motion-Compensated Refinement. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ball, Orna Kupferman |
An Abstraction-Refinement Framework for Multi-Agent Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Zhiguo Gong, Qian Liu, Jingbai Zhang |
Web Image Retrieval Refinement by Visual Contents. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Renato Fernandes Hentschke, Guilherme Flach, Felipe Pinto, Ricardo Reis 0001 |
Quadratic placement for 3d circuits using z-cell shifting, 3d iterative refinement and simulated annealing. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
3d circuits, cell shifting, placement, quadratic placement |
21 | Zhijun Ding, Yaying Zhang, Changjun Jiang, Zhaohui Zhang |
Refinement of Petri Nets in Workflow Integration. |
CSCWD (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Timo Volkmer, Apostol Natsev |
Exploring Automatic Query Refinement for Text-Based Video Retrieval. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Bing Li, Fabio Somenzi |
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fredrik Seehusen, Ketil Stølen |
Maintaining Information Flow Security Under Refinement and Transformation. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Seung-Kyun Oh, HyunWook Park |
Motion Vector Estimation and Adatptive Refinement for the MPEG-4 to H.264/AVC Video Transcoder. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Bruno, Surajit Chaudhuri |
Physical Design Refinement: The "Merge-Reduce" Approach. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Nancy Hitschfeld-Kahler |
Generation of 3D mixed element meshes using a flexible refinement approach. |
Eng. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Modified octree approach, Delaunay meshes, Mixed-element meshes |
21 | Hong Lu 0001, Yap-Peng Tan |
An effective post-refinement method for shot boundary detection. |
IEEE Trans. Circuits Syst. Video Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Refinement Maps for Efficient Verification of Processor Models. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ivana Mijajlovic, Hongseok Yang |
Data Refinement with Low-Level Pointer Operations. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Martin Atzmüller, Joachim Baumeister, Achim Hemsing, Ernst-Jürgen Richter, Frank Puppe |
Subgroup Mining for Interactive Knowledge Refinement. |
AIME |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Andrey N. Chernikov, Nikos Chrisochoides |
Parallel 2D Graded Guaranteed Quality Delaunay Mesh Refinement. |
IMR |
2005 |
DBLP DOI BibTeX RDF |
|
21 | John Derrick, Heike Wehrheim |
Non-atomic Refinement in Z and CSP. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Lindsay Groves |
Practical Data Refinement for the Z Schema Calculus. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Steve Dunne, Stacey Conroy |
Process Refinement in B. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Francesco Ranzato, Francesco Tapparo |
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | W. Greg Phillips, T. C. Nicholas Graham, Christopher Wolfe |
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou, Alberto Lluch-Lafuente |
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Mark E. Botkin, Hui-Ping Wang |
An adaptive mesh refinement of quadrilateral finite element meshes based upon an a posteriori error estimation of quantities of interest: modal response. |
Eng. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Adaptive mesh generation, Error analysis, Error estimation, Finite element analysis, Modal analysis |
21 | Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Pablo Pesce, Valeria Becker, Jorge Longinotti, Javier Cengia |
PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gary L. Miller |
A time efficient Delaunay refinement algorithm. |
SODA |
2004 |
DBLP BibTeX RDF |
|
21 | Olga Kouchnarenko, Arnaud Lanoix |
Verifying Invariants of Component-Based Systems through Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
21 | David Lesaint, George Papamargaritis |
Aspects for Synthesizing Applications by Refinement. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Christine Tanner, Michael Khazen, Preminda Kessar, Martin O. Leach, David J. Hawkes |
Classification Improvement by Segmentation Refinement: Application to Contrast-Enhanced MR-Mammography. |
MICCAI (1) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Byeong-Seok Shin |
Efficient Perspective Volume Visualization Method Using Progressive Depth Refinement. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper |
Developing Logic Programs from Specifications Using Stepwise Refinement. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Geoffrey Watson |
Compilation by Refinement for a Practical Assembly Language. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Kyoung-Mi Lee |
Neural Network-Generated Image Retrieval and Refinement. |
Adaptive Multimedia Retrieval |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Robert Niewiadomski, José Nelson Amaral, Robert C. Holte |
Crafting Data Structures: A Study of Reference Locality in Refinement-Based Pathfinding. |
HiPC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta 0001, Frederic Doucet |
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
21 | John Derrick, Eerke A. Boiten |
Recent Advances in Refinement. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Kazuaki Kishida, Noriko Kando |
Two-Stage Refinement of Query Translation in a Pivot Language Approach to Cross-Lingual Information Retrieval: An Experiment at CLEF 2003. |
CLEF |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Julia Padberg, Milan Urbásek |
Rule-Based Refinement of Petri Nets: A Survey. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Wei Jyh Heng, King Ngi Ngan |
Shot boundary refinement for long transition in digital video sequence. |
IEEE Trans. Multim. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for Probabilistic Processes with True Concurrency Models. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Stauner |
Discrete-Time Refinement of Hybrid Automata. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Einar Broch Johnsen, Olaf Owe |
Composition and Refinement for Partial Object Specifications. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ball, Andreas Podelski, Sriram K. Rajamani |
Relative Completeness of Abstraction Refinement for Software Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Jae Hun Lee, Jong Beom Ra |
Efficient motion estimation using edge-based binary block-matching and refinement based on motion vector correlation. |
ICIP (2) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Rajeev Alur, Bow-Yaw Wang |
Verifying Network Protocol Implementations by Symbolic Refinement Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
21 | David Hemer, Ian J. Hayes, Paul A. Strooper |
Refinement Calculus for Logic Programming in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Dolors Costal, Antoni Olivé, Ernest Teniente |
Relationship Type Refinement in Conceptual Models with Multiple Classification. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Sergey P. Kopysov, Alexander K. Novikov |
Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Heiko Mantel |
Preserving Information Flow Properties under Refinement. |
S&P |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Mark Ryan 0001, Pierre-Yves Schobbens |
Agents and Roles: Refinement in Alternating-Time Temporal Logic. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Paul B. Jackson |
Total-Correctness Refinement for Sequential Reactive Systems. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Rajeev Alur, Radu Grosu |
Modular Refinement of Hierarchic Reactive Machines. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
Constructive Data Refinement in Typed Lambda Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Alan Stagg, Jackie Hallberg, Joseph Schmidt |
A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular Grids. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Robin Boswell, Susan Craw |
Experiences with a Generic Refinement Toolkit (Short Paper). |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli |
Parallel Refinement Mechanisms for Real-Time Systems. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Bo Martins, Søren Forchhammer |
Lossless, near-lossless, and refinement coding of bilevel images. |
IEEE Trans. Image Process. |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Yann Rouzaud |
Interpreting the B-Method in the Refinement Calculus. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Mila E. Majster-Cederbaum, Frank Salger |
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Jihoon Yang, Rajesh Parekh, Vasant G. Honavar, Drena Dobbs |
Data-Driven Theory Refinement Using KBDistAl. |
IDA |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Shan-Hwei Nienhuys-Cheng, Wim Van Laer, Jan Ramon, Luc De Raedt |
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms. |
ILP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Hendricx, Luc J. M. Claesen |
Symbolic Multi-Level Verification of Refinement. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Yoshiki Kinoshita, John Power |
Data-Refinement for Call-By-Value Programming Languages. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ralph-Johan Back, Michael J. Butler |
Fusion and Simultaneous Execution in the Refinement Calculus. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Karl J. Lieberherr, Boaz Patt-Shamir |
The Refinement Relation of Graph-Based Generic Programs. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Rimvydas Ruksenas, Joakim von Wright |
A Tool for Data Refinement. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Renate Klempien-Hinrichs |
Net Refinement by Pullback Rewriting. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Spatial and Temporal Refinement of Typed Graph Transformation Systems. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Janet M. Six, Konstantinos G. Kakoulis, Ioannis G. Tollis |
Refinement of Orthogonal Graph Drawings. |
GD |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Kenneth L. McMillan |
A Compositional Rule for Hardware Design Refinement. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
Integrating Real-Time Scheduling Theory and Program Refinement. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Michael Siegel |
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Henryk Jan Komorowski, Silvia Trcek |
Towards Refinement of Definite Logic Programs. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Nigel Ward |
Adding Specification Constructors to the Refinement Calculus. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Yonit Kesten, Zohar Manna, Amir Pnueli |
Temporal Verification of Simulation and Refinement. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Eike Best, Raymond R. Devillers, Javier Esparza |
General Refinement and Recursion Operators for the Petri Box Calculus. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. Butler |
Refinement and Decomposition of Value-Passing Action Systems. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Zhaohui Luo |
Program Specification and Data Refinement in Type Theory. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
21 | David A. Carrington, Kenneth Arthur Robinson |
Computer Assistance for Program Refinement. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Rob J. van Glabbeek, Ursula Goltz |
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz |
Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. |
MFCS |
1980 |
DBLP DOI BibTeX RDF |
|
19 | Martin P. Ward |
Properties of Slicing Definitions. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
properties of slicing, semi-refinement, refinement, program analysis, transformation, Program Slicing, slicing |
19 | Martin P. Ward |
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement |
19 | Patrica H. Baucom |
Software Blueprints. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement |
18 | 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 |