Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
18	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
18	Manasi Vartak, Venkatesh Raghavan, Elke A. Rundensteiner	QRelX: generating meaningful queries that provide cardinality assurance.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	cardinality assurance, query refinement
18	Neha Rungta, Eric Mercer	Slicing and dicing bugs in concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	underapproximation, concurrency, abstraction-refinement
18	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
18	Bernhard K. Aichernig, Jifeng He 0001	Mutation testing in UTP.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Unifying theories of programming, Algebra of programming, Specification-based testing, Mutation testing, Refinement calculus, Fault-based testing
18	Kenny Erleben	Maximal independent set graph partitions for representations of body-centered cubic lattices.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Coarsening, Body-centered cubic lattice, Graph, Refinement
18	Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee	On relational interfaces.	EMSOFT	2009	DBLP DOI BibTeX RDF	interfaces, composition, refinement, compositionality
18	Matthew L. Staten, Steven E. Benzley, Michael A. Scott	A methodology for quadrilateral finite element mesh coarsening.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Quadrilateral, Coarsening, Adaptivity, Refinement, Finite elements
18	Stephen H. Muggleton, Alireza Tamaddoni-Nezhad	QG/GA: a stochastic search for Progol.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Genetic Algorithms, Refinement, Stochastic search
18	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	Test frame updating in CPM testing of Prolog programs.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement
18	Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières	Incremental development of UML specifications using operation refinements.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Incremental specification, UML, Refinement, B
18	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif	Verification of Mondex electronic purses with KIV: from transactions to a security protocol.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Verification, Refinement, Security protocol, Z, ASM, Mondex
18	Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.	ICFEM	2008	DBLP DOI BibTeX RDF	Rodin tool, Refinement, File system, Tree structure, Proof, Event-B
18	Mengjun Li, Ti Zhou, Zhoujun Li 0001	SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Inscrypt	2008	DBLP DOI BibTeX RDF	non-termination characterization and prediction, abstract and refinement, security protocol
18	Long Quan, Zongyan Qiu, Zhiming Liu 0001	Formal Use of Design Patterns and Refactoring.	ISoLA	2008	DBLP DOI BibTeX RDF	rCOS, Object-Orientation, Design Pattern, Refinement, Refactoring
18	Richard Banach	UseCase-Wise Development: Retrenchment for Event-B.	ABZ	2008	DBLP DOI BibTeX RDF	UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment
18	Wenyu Chen, Yiyu Cai, Jianmin Zheng	Generalized hierarchical NURBS for interactive shape modification.	VRCAI	2008	DBLP DOI BibTeX RDF	shape modification, refinement, NURBS, hierarchical representation
18	Jiro Inoue, A. James Stewart	Multiresolution sphere packing tree: a hierarchical multiresolution 3D data structure.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	MSP-tree, sphere packing, multiresolution, selective refinement
18	Markus Nordén, Henrik Löf, Jarmo Rantakokko, Sverker Holmgren	Dynamic Data Migration for Structured AMR Solvers.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	SAMR, Geographical locality, Shared memory, OpenMP, Graph partitioning, Adaptive mesh refinement, cc-NUMA, Page migration
18	Fei Pu, Wenhui Zhang	Combining search space partition and abstraction for LTL model checking.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	search space partition, LTL model checking, refinement, abstraction
18	Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu 0001, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan	Modelling with Relational Calculus of Object and Component Systems - rCOS.	CoCoME	2007	DBLP DOI BibTeX RDF	Design, Refinement, Transformation, Requirements Modelling
18	Klaus Pohl, Ernst Sikora	Structuring the Co-design of Requirements and Architecture.	REFSQ	2007	DBLP DOI BibTeX RDF	co-development, innovative systems, architecture, refinement, requirements, scenarios
18	Ankita Jain, Xiangmin Jiao	Overlaying Surface Meshes: Extension and Parallelization.	IMR	2007	DBLP DOI BibTeX RDF	surface mesh overlay, common refinement, parallel algorithms, Computational geometry, robustness
18	Tarvo Raudvere, Ingo Sander, Axel Jantsch	A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	design refinement, synchronization, system design
18	Nazim Benaïssa, Dominique Cansell, Dominique Méry	Integration of Security Policy into System Modeling.	B	2007	DBLP DOI BibTeX RDF	integration, refinement, security policy
18	Dominique Cansell, Dominique Méry, Joris Rehm	Time Constraint Patterns for Event B Development.	B	2007	DBLP DOI BibTeX RDF	distributed systems, refinement, pattern, event B
18	Zhi Jin	Revisiting the Meaning of Requirements.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	requirements refinement, requirements analysis, problem decomposition
18	Colin F. Snook, Michael J. Butler	UML-B: Formal modeling and design aided by UML.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	UML-B, Modeling, refinement
18	Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne	Tank monitoring: a pAMN case study.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement
18	Jim Woodcock 0001, Leo Freitas	Z/Eves and the Mondex Electronic Purse.	ICTAC	2006	DBLP DOI BibTeX RDF	electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex
18	Huynh Quang Huy Viet, Takahiro Kamada, Hiromi T. Tanaka	An Algorithm for Cutting 3D Surface Meshes.	ICPR (4)	2006	DBLP DOI BibTeX RDF	cutting simulation, haptic interface, deformable object, adaptive mesh refinement, surgery simulation, virtual sculpting
18	Yu Gao, Baosong Deng, Lingda Wu	Efficient view-dependent out-of-core rendering of large-scale and complex scenes.	VRCIA	2006	DBLP DOI BibTeX RDF	hierarchical level of detail (HLOD), out-of-core rendering, view frustum culling, view-dependent refinement
18	Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang	The Rough Logic and Roughness of Logical Theories.	RSKT	2006	DBLP DOI BibTeX RDF	logical theories, refinement, Rough set theory, logical implication
18	Jie Zhou, Jim Alves-Foss	Architecture-based refinements for secure computer systems design.	PST	2006	DBLP DOI BibTeX RDF	architectural refinement, non-functional requirements, multi-level security
18	Jean-Raymond Abrial	Train Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Correct Construction, Refinement, Requirement, Failure, Event-B
18	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook	Formal Development of Mechanisms for Tolerating Transient Faults.	RODIN Book	2006	DBLP DOI BibTeX RDF	Transientfaults, refinement, control systems, B Method, FMS
18	Wim H. Hesselink	Eternity variables to prove simulation of specifications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping
18	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
18	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
18	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
18	Xiaolin Li 0001, Manish Parashar	Using Clustering to Address Heterogeneity and Dynamism in Parallel Scientific Applications.	HiPC	2005	DBLP DOI BibTeX RDF	Hierarchical Multi-Partitioner, Parallel Computing, Dynamic Load Balancing, Adaptive Mesh Refinement
18	Ioannis T. Kassios	Decoupling in Object Orientation.	FM	2005	DBLP DOI BibTeX RDF	specification and refinement, object orientation
18	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
18	J. Christian Attiogbé	A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Mutual Exclusion, Event B, Parallel Composition
18	Nenad Stojanovic	On the role of a user's knowledge gap in an information retrieval process.	K-CAP	2005	DBLP DOI BibTeX RDF	ontology, information retrieval, query refinement
18	Christian Prehofer	Plug-and-play composition of features and feature interactions with statechart diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams
18	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
18	Kaushik Chakrabarti, Michael Ortega-Binderberger, Sharad Mehrotra, Kriengkrai Porkaew	Evaluating Refined Queries in Top-k Retrieval Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	relevance feedback, query refinement, Multidimensional indexing, similarity queries, k-nearest neighbor search
18	Frank Losasso, Frédéric Gibou, Ronald Fedkiw	Simulating water and smoke with an octree data structure.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	octree data structure, level set, physics-based animation, adaptive mesh refinement, water, smoke, particles
18	Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li	A Predicative Semantic Model for Integrating UML Models.	ICTAC	2004	DBLP DOI BibTeX RDF	UML, Refinement, Formal semantics, Model integration
18	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin	A Relational Model for Object-Oriented Designs.	APLAS	2004	DBLP DOI BibTeX RDF	UTP, Semantics, Object Orientation, Refinement
18	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Conservative approximations for heterogeneous design.	EMSOFT	2004	DBLP DOI BibTeX RDF	verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation
18	Xu Wang 0001, A. W. Roscoe 0001, Ranko Lazic 0001	Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.	IFM	2004	DBLP DOI BibTeX RDF	Trace refinement, Model checking, CSP, Array, Reachability, Data independence
18	Martin C. Henson, Steve Reeves	A Logic for Schema-Based Program Development.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Refinement, Z, Program development
18	Kolja Kähler, Jörg Haber, Hans-Peter Seidel	Dynamically refining animated triangle meshes for rendering.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Real-time rendering, Triangle meshes, Surface deformation, Adaptive refinement
18	Michael Poppleton, Richard Banach	Structuring Retrenchments in B by Decomposition.	FME	2003	DBLP DOI BibTeX RDF	formal methods, refinement, decomposition, structuring, retrenchment
18	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
18	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
18	Keith O. Geddes, Wei Wei Zheng	Exploiting fast hardware floating point in high precision computation.	ISSAC	2003	DBLP DOI BibTeX RDF	arbitrary precision, floating point, least squares, nonlinear systems, linear systems, iterative refinement, multiple precision
18	Timothy J. Baker	Mesh Movement and Metamorphosis.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Coarsening, Matrix norms, Mesh movement, Adaptation, Refinement, Tetrahedral meshing
18	Eitan Grinspun, Petr Krysl, Peter Schröder	CHARMS: a simple framework for adaptive simulation.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	refinement relation, multiresolution, subdivision, adaptive computation, basis function
18	Achim D. Brucker, Burkhart Wolff	HOL-OCL: Experiences, Consequences and Design Choices.	UML	2002	DBLP DOI BibTeX RDF	refinement, OCL, formal semantics, constraint languages
18	Dániel Varró, András Pataricza	Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.	UML	2002	DBLP DOI BibTeX RDF	refinement, model transformation, metamodeling, formal semantics, graph transformation
18	Sumir Chandra, Shweta Sinha, Manish Parashar, Yeliang Zhang, Jingmei Yang, Salim Hariri	Adaptive Runtime Managementof SAMR Applications.	HiPC	2002	DBLP DOI BibTeX RDF	Adaptive runtime management, Heterogeneous distributed computing, Performance characterization, Structured adaptive mesh refinement, Dynamic applications
18	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet	A light-weight framework for hardware verification.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Refinement, Theorem-proving, Timing verification, Switch-level models, SRT division
18	Julia Padberg, Hartmut Ehrig	Parameterized Net Classes: A Uniform Approach to Petri Net Classes.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF	actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
18	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
18	Xikun Liang, Mai Ali Nur, Brian Wyvill	Modeling the Structure of the Sea Anemone and the Sea Star Using Hierarchical Implicit Surfaces.	PG	2001	DBLP DOI BibTeX RDF	hierarchical surfaces, marine creatures, spiral phyllotaxis, modeling, Implicit surfaces, local refinement, global deformation
18	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
18	Vladimir Volevich, Karol Myszkowski, Andrei Khodulev, Edward A. Kopylov	Using the visual differences predictor to improve performance of progressive global illumination computation.	ACM Trans. Graph.	2000	DBLP DOI BibTeX RDF	Monte Carlo photon tracing, adaptive mesh subdivision, view-independent solutions, density estimation, human perception, progressive refinement
18	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
18	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
18	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Using the B Method.	ZB	2000	DBLP DOI BibTeX RDF	formal specification, refinement, B Method, axiomatic, model-based
18	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand	Modular Verification for a Class of PLTL Properties.	IFM	2000	DBLP DOI BibTeX RDF	Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
18	Peter G. Hancock, Anton Setzer	Interactive Programs in Dependent Type Theory.	CSL	2000	DBLP DOI BibTeX RDF	monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming
18	Rao V. Garimella, Mark S. Shephard	Generation of Tetrahedral Meshes with Multiple Elements through Thin Sections.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Anisotropic refinement, Local mesh modification, Thin section models, Mesh generation
18	David Cazier, Jean-François Dufourd	A formal specification of geometric refinements.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations
18	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
18	Dick A. C. Quartel, Marten van Sinderen, Luís Ferreira Pires	Service Creation: A Model-Based Approach.	FTDCS	1999	DBLP DOI BibTeX RDF	behavior refinement, conformance assessment, software components, behavior modeling, service creation
18	Richard F. Paige	Heterogeneous Notations for Pure Formal Method Integration.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Refinement, Method integration, Heterogeneous specification
18	Herke Jan Noordmans, Arnold W. M. Smeulders, Hans T. M. van der Voort	Fast volume render techniques for interactive analysis.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Successive adaptive refinement, Confocal microscopy, Interaction, Volume rendering
18	Jean-Charles Grégoire	TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.	FME	1997	DBLP DOI BibTeX RDF	keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
18	Walter Vogler	The Limit of Split_n-Language Equivalence.	ICALP	1995	DBLP DOI BibTeX RDF	concurrency, action refinement, partial order semantics
18	K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron	Integrating task and data parallelism with the group communication archetype.	IPPS	1995	DBLP DOI BibTeX RDF	group communication archetype, parallel program archetype, reliable efficient parallel applications development, common computation structure, common communication structure, task/data parallelism integration, stepwise refinement methods, code libraries, sequential program transformation, target machine, parallel programming, correctness, libraries, granularity, data parallelism, software libraries, application generators, task parallelism
18	Eric Platt, Barry Robson	Practical use of a fully automatic homology-based protein modelling protocol.	HICSS (5)	1995	DBLP DOI BibTeX RDF	fully automatic homology-based protein modelling protocol, tertiary structure prediction, HOM FOLD, fragment-based approach, GLOBAL language, energy refinement, X-ray crystallographic data, reproducibilty, 1.80 angstrom, rule based system, interactive modelling, biology computing, proteins, algorithm performance, molecular configurations, molecular biophysics
18	Christian Creveuil, Gruia-Catalin Roman	Formal Specification and Designof a Message Router.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal methods, UNITY, program derivation, specification refinement
18	Eric Violard, Guy-René Perrin	Reduction in PEI.	CONPAR	1994	DBLP DOI BibTeX RDF	Reduction operator, Parallel programming, Refinement, Transformations, Multiset
18	Huimin Lin	Procedural Implementation of Algebraic Specification.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	abstract implementation, Spec, program refinement, procedural abstraction
18	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
18	Ivo Babuska, Werner C. Rheinboldt	On A System For Adaptive, Parallel Finite Element Computations.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Adaptive error estimation, Data structures for mesh refinement, Finite element software, Linear elliptic boundary value problems, Parallel process structure
18	Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté	UML/OCL and Refinement.	ECBS	2011	DBLP DOI BibTeX RDF	Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library
18	Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing	Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.	POLICY	2011	DBLP DOI BibTeX RDF	refinement, policy, model-based management
18	Hao Zheng 0001, Haiqiong Yao, Tomohiro Yoneda	Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	circuit verification, model checking, Formal methods, refinement, abstraction, modular verification, logic verification
18	Sudarshan K. Srinivasan	Automatic Refinement Checking of Pipelines with Out-of-Order Execution.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Pipelined machine verification, refinement, out-of-order execution
18	Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam	Context Information Refinement for Pervasive Medical Systems.	ICDS	2010	DBLP DOI BibTeX RDF	Information Refinement, Medical Sys- tems, Context, Pervasive
18	Yanhui Xiao, Yao Zhao 0001, Zhenfeng Zhu	Kernel Canonical Correlation with Similarity Refinement for Automatic Image Tagging.	IIH-MSP	2010	DBLP DOI BibTeX RDF	automatic image tagging, KCCA, similarity refinement, CBIR
18	Syed Saif Abrar, Aravinda Thimmapuram	Functional Refinement: A Generic Methodology for Managing ESL Abstractions.	VLSI Design	2010	DBLP DOI BibTeX RDF	refinement, functional, ESL, high-level
18	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
18	Jane Tournois, Camille Wormser, Pierre Alliez, Mathieu Desbrun	Interleaving Delaunay refinement and optimization for practical isotropic tetrahedron mesh generation.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	graded meshing, isotropic meshing, mesh generation, mesh optimization, Delaunay refinement