Search results for "refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	A. Udaya Shankar, Simon S. Lam	Construction of Network Protocols by Stepwise Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, Specification, refinement, transport protocols, sliding window protocols
35	Eduard Diepstraten, Ruurd Kuiper 0001	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
35	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
35	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
35	Tobias Nipkow	Formal Verification of Data Type Refinement - Theory and Practice.	REX Workshop	1989	DBLP DOI BibTeX RDF	Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
34	Alireza Tamaddoni-Nezhad, Stephen H. Muggleton	A Note on Refinement Operators for IE-Based ILP Systems.	ILP	2008	DBLP DOI BibTeX RDF
34	Larissa Meinicke, Ian J. Hayes	Continuous Action System Refinement.	MPC	2006	DBLP DOI BibTeX RDF
34	Zhonghai Lu, Ingo Sander, Axel Jantsch	Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.	DSD	2006	DBLP DOI BibTeX RDF
34	Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou	A Functional Solution for Goal-Ooriented Policy Refinement.	POLICY	2006	DBLP DOI BibTeX RDF
34	Claudia Pons	Heuristics on the Definition of UML Refinement Patterns.	SOFSEM	2006	DBLP DOI BibTeX RDF
34	Ingo Sander, Axel Jantsch	System modeling and transformational design refinement in ForSyDe [formal system design].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
34	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	A Refinement Strategy for Circus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Concurrency, CSP, Z, Program development
34	Hans-Werner Kelbassa	Optimal Case-Based Refinement of Adaptation Rule Bases for Engineering Design.	ICCBR	2003	DBLP DOI BibTeX RDF
34	Panagiotis Manolios	A Compositional Theory of Refinement for Branching Time.	CHARME	2003	DBLP DOI BibTeX RDF
34	Sibylle Peuker	Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
34	Michael Ortega-Binderberger, Kaushik Chakrabarti, Sharad Mehrotra	An Approach to Integrating Query Refinement in SQL.	EDBT	2002	DBLP DOI BibTeX RDF
34	Rob J. van Glabbeek, Ursula Goltz	Refinement of actions and equivalence notions for concurrent systems.	Acta Informatica	2001	DBLP DOI BibTeX RDF
34	Yoram Moses	Issues in the Refinement of Distributed Programs.	FTRTFT	2000	DBLP DOI BibTeX RDF
34	Mikhail Nesterenko, Anish Arora	Stabilization-Preserving Atomicity Refinement.	DISC	1999	DBLP DOI BibTeX RDF
34	Shaoying Liu	Evolution: A More Practical Approach than Refinement for Software Development.	ICECCS	1997	DBLP DOI BibTeX RDF
34	Michael R. Donat	Enhancing cleanroom techniques with refinement calculus.	CASCON	1995	DBLP BibTeX RDF
34	Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng	Existence and Nonexistence of Complete Refinement Operators.	ECML	1994	DBLP DOI BibTeX RDF
34	Nenad Stojanovic	On the Role of Query Refinement in Searching for Information: The Librarian Agent Query Refinement Process.	WISE	2003	DBLP DOI BibTeX RDF
32	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying	Refinement-based formal verification with heterogeneous timing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space
32	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
32	Kriangsak Damchoom, Michael J. Butler	Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B
32	Klaus-Dieter Schewe, Jane Zhao	Typed Abstract State Machines for data-intensive applications.	Knowl. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Refinement, Data warehouses, Types, Abstract state machines
32	Michael Köhler 0001, Heiko Rölke	Web Service Orchestration with Super-Dual Object Nets.	ICATPN	2007	DBLP DOI BibTeX RDF	super-dual nets, Petri nets, refinement, duality, nets-within-nets
32	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Formal development of industrial-scale systems in Circus.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
32	Stefan Hallerstede, Michael J. Butler	Performance analysis of probabilistic action systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Trace refinement, Simulation, Markov decision process
32	Peter Lindstrom 0001, Valerio Pascucci	Terrain Simplification Simplified: A General Framework for View-Dependent Out-of-Core Visualization.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	continuous levels of detail, edge bisection, geomorphing, external memory paging, out-of-core algorithms, data layouts, Terrain visualization, surface simplification, error metrics, view-dependent refinement
32	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
31	Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen	Interaction refinement in the design of business collaborations.	SAC	2010	DBLP DOI BibTeX RDF	collaboration, interaction, refinement, abstraction, conformance
31	Luo-Ren Lim, Jon Tong-Seng Quah	Towards context information refinement for proximity mobile service using quality of context.	Mobility Conference	2009	DBLP DOI BibTeX RDF	context information refinement, context, quality of context
31	Sumit Gulwani, Sagar Jain, Eric Koskinen	Control-flow refinement and progress invariants for bound analysis.	PLDI	2009	DBLP DOI BibTeX RDF	control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
31	A. K. McIver, Carroll C. Morgan, Carlos Gonzalía	Proofs and Refutations for Probabilistic Refinement.	FM	2008	DBLP DOI BibTeX RDF	quantitative program logic, refinement, constraint solving, counterexamples, Probabilistic systems
31	Jan-Georg Smaus, Jörg Hoffmann 0001	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
31	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
31	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
31	Tong Wen, Jimmy Su, Phillip Colella, Katherine A. Yelick, Noel Keen	An adaptive mesh refinement benchmark for modern parallel programming languages.	SC	2007	DBLP DOI BibTeX RDF	performance, scalability, benchmark, programmability, adaptive mesh refinement, parallel programming languages
31	David C. Thompson 0001, Philippe P. Pébay	Embarrassingly parallel mesh refinement by edge subdivision.	Eng. Comput.	2006	DBLP DOI BibTeX RDF	Adaptive tetrahedral tessellation, Parallel mesh refinement, Streaming subdivision, Symmetric groups
31	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
31	Olga Kouchnarenko, Arnaud Lanoix	How to Verify and Exploit a Refinement of Component-Based Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	LTL properties, verification, composition, refinement, modules, component-based systems
31	Ashot N. Harutyunyan	Notes on Conditions for Successive Refinement of Information.	GTIT-C	2006	DBLP DOI BibTeX RDF	Successive refinement of information (source divisibility), reliability (error exponent), rate-reliability-distortion function, hierarchical (scalable) source coding
31	Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao	View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.	QSIC	2006	DBLP DOI BibTeX RDF	Design, Refinement, Data Warehouse, Types, Abstract State Machines
31	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
31	Krishnakumar Rajagopalan, Peter R. Eiseman	Automatic nested refinement: a technique for the generation of high quality multi-block structured grids for multi-scale problems using GridPro.	Eng. Comput.	2005	DBLP DOI BibTeX RDF	Multi-scale problems, Multi-block grids, Nested refinement, Conformal adaptive hex meshing, GridPro, Fractals, Mesh generation
31	Ralph-Johan Back, Viorel Preoteasa	An algebraic treatment of procedure refinement to support mechanical verification.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Semantics, Refinement, Hoare logic, Recursive procedures, Mechanical verification
31	Bernhard Beckert, Steffen Schlager	Refinement and retrenchment for programming language data types.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
31	A. W. Roscoe 0001	On the expressive power of CSP refinement.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Refinement, Topology, CSP, Full abstraction
31	Sun Meng, Luís Soares Barbosa, Zhang Naixiao	On Refinement of Software Architectures.	ICTAC	2005	DBLP DOI BibTeX RDF	software architecture, refinement, Software component, coalgebra
31	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
31	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
31	Hiroyuki Iida, Kazutoshi Takahara, Jun Nagashima, Yoichiro Kajihara, Tsuyoshi Hashimoto	An Application of Game-Refinement Theory to Mah Jong.	ICEC	2004	DBLP DOI BibTeX RDF	game-refinement theory, multi-person games with incomplete-information and Mah Jong
31	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
31	Michael J. Butler	On the Use of Data Refinement in the Development of Secure Communications Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Refinement, Security protocols, CSP, B, Action systems
31	Eerke A. Boiten	Loose Specification and Refinement in Z.	ZB	2002	DBLP DOI BibTeX RDF	model containment, states-and-operations, loose specification, semantics, refinement, Z
31	David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer	Automatic query refinement using lexical affinities with maximal information gain.	SIGIR	2002	DBLP DOI BibTeX RDF	automatic query refinement, pseudo relevance feedback
31	Xikun Liang, Brian Wyvill	Hierarchical Implicit Surface Refinement.	Computer Graphics International	2001	DBLP DOI BibTeX RDF	surface refinement, animation, implicit surfaces, implicit modeling, global deformation
31	Greg Bryan, Tom Abel, Michael L. Norman	Achieving extreme resolution in numerical cosmology using adaptive mesh refinement: resolving primordial star formation.	SC	2001	DBLP DOI BibTeX RDF	numerical cosmology, parallel algorithms, adaptive mesh refinement
31	Yanxiang He, Qiang Song, Qian Huang	Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method.	TOOLS (39)	2001	DBLP DOI BibTeX RDF	Implementation relation, Refinement relation, MVORM, State transition system
31	Ana Cavalcanti 0001, David A. Naumann	A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Refinement calculi, verification, object-orientation, semantic models
31	Julia Padberg	Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	high-level replacement systems, Petri net transformations, horizontal structuring, refinement, graph transformations
31	Patricia M. Hill, Fausto Spoto	Freeness Analysis Through Linear Refinement.	SAS	1999	DBLP DOI BibTeX RDF	linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain
31	Dimitur Nikolaev Krustev	Software Test Generation Using Refinement Types.	ASE	1999	DBLP DOI BibTeX RDF	refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation
31	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement.	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
31	Philipp A. Heuberger	The minimal user interface of a simple refinement tool.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Proof editing, Formal methods, Theorem proving, Refinement calculus
31	Jie Gong, Daniel Gajski, Smita Bakshi	Model refinement for hardware-software codesign.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	sofware-hardware codesign, functional model, implementation model, model refinement
31	Peter T. Breuer, Carlos Delgado Kloos, Andrés Marín López, Natividad Martínez Madrid, Luis Sánchez Fernández 0001	A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	timed logic, formal verification, refinement, VHDL, denotational semantics, digital circuits, program logic
31	Robert P. Kurshan	Analysis of Discrete Event Coordination.	REX Workshop	1989	DBLP DOI BibTeX RDF	coordination analysis, formal verification, refinement, reduction, homomorphism
31	Tarvo Raudvere, Ingo Sander, Axel Jantsch	Application and Verification of Local Nonsemantic-Preserving Transformations in System Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
31	Lourdes Peña Castillo, Stefan Wrobel	Macro-Operators in Multirelational Learning: A Search-Space Reduction Technique.	ECML	2002	DBLP DOI BibTeX RDF
30	Nikos I. Katevas, Spyros G. Tzafestas, Christos G. Pnevmatikatos	The Approximate Cell Decomposition with Local Node Refinement Global Path Planning Method: Path Nodes Refinement and Curve Parametric Interpolation.	J. Intell. Robotic Syst.	1998	DBLP DOI BibTeX RDF	global path planning, approximate cell decomposition, path refinement, curve parametric interpolation, mobile robot, cubic splines
30	Thomas Ruhroth, Heike Wehrheim	Refinement-Preserving Co-evolution.	ICFEM	2009	DBLP DOI BibTeX RDF
30	Yiannis Andreopoulos, Mihaela van der Schaar	Incremental Refinement of Computation for the Discrete Wavelet Transform.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
30	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	2008	DBLP DOI BibTeX RDF
30	Jun Li, Wen Zhang, Xiaomei Li	An Adaptive Refinement Ratio Algorithm for Structured AMR Method Based on SAMRAI Framework.	HPCC	2008	DBLP DOI BibTeX RDF
30	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
30	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
30	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
30	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
30	Ralph-Johan Back	Incremental Software Construction with Refinement Diagrams.	AMAST	2006	DBLP DOI BibTeX RDF
30	Jean Pierre Charalambos	Virtual Multiresolution Screen Space Errors: Hierarchical Level-of-Detail (HLOD) Refinement Through Hardware Occlusion Queries.	GMAI	2006	DBLP DOI BibTeX RDF
30	José Antonio Muñoz-Gómez, Pedro González-Casanova, Gustavo Rodríguez Gómez	Adaptive Node Refinement Collocation Method for Partial Differential Equations.	ENC	2006	DBLP DOI BibTeX RDF
30	Thomas Santen	A Formal Framework for Confidentiality-Preserving Refinement.	ESORICS	2006	DBLP DOI BibTeX RDF
30	Nenad Stojanovic	Conceptual Query Refinement: The Basic Model.	WISE	2005	DBLP DOI BibTeX RDF
30	Anubhav Gupta 0001, Ofer Strichman	Abstraction Refinement for Bounded Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
30	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Action Refinement in Conformance Testing.	TestCom	2005	DBLP DOI BibTeX RDF
30	Sven Apel, Thomas Leich, Gunter Saake	Aspect Refinement and Bounding Quantification in Incremental Designs.	APSEC	2005	DBLP DOI BibTeX RDF
30	Tamy Boubekeur, Christophe Schlick	Generic mesh refinement on GPU.	Graphics Hardware	2005	DBLP DOI BibTeX RDF
30	Bei Shui Liao, Ji Gao	An Automatic Policy Refinement Mechanism for Policy-Driven Grid Service Systems.	GCC	2005	DBLP DOI BibTeX RDF
30	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
30	Gareth Carter, Rosemary Monahan, Joseph M. Morris	Software Refinement with Perfect Developer.	SEFM	2005	DBLP DOI BibTeX RDF
30	Marcel Oliveira, Manuela Xavier, Ana Cavalcanti 0001	Refine and Gabriel: Support for Refinement and Tactics.	SEFM	2004	DBLP DOI BibTeX RDF
30	Florian Kammüller, Jeff W. Sanders	Heuristics for Refinement Relations.	SEFM	2004	DBLP DOI BibTeX RDF
30	Mila E. Majster-Cederbaum, Jinzhao Wu	Towards action refinement for true concurrent real time.	Acta Informatica	2003	DBLP DOI BibTeX RDF
30	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
30	Steve Dunne	Introducing Backward Refinement into B.	ZB	2003	DBLP DOI BibTeX RDF
30	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.	ICCAD	2003	DBLP DOI BibTeX RDF
30	Debargha Mukherjee, Sanjit K. Mitra	Successive refinement lattice vector quantization.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF