Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Peter Höfner, Georg Struth	Can Refinement be Automated?	REFINE@IFM	2007	DBLP DOI BibTeX RDF
16	Johanna Tuominen, Tomi Westerlund, Juha Plosila	Power Aware System Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
16	Richard Banach, Gerhard Schellhorn	On the Refinement of Atomic Actions.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
16	Heike Wehrheim	Refinement in the Presence of Unknowns.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
16	Eerke A. Boiten, Dan Grundy	Reduction and Refinement.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
16	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement with Internal Operations.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
16	Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022	Object-Oriented Structure Refinement - A Graph Transformational Approach.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
16	Tomi Westerlund, Juha Plosila	Time Aware System Refinement.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
16	Bernhard K. Aichernig, Jifeng He 0001	Refinement and Test Case Generation in UTP.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
16	Gerhard Schellhorn	ASM refinement and generalizations of forward simulation in data refinement: a comparison.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
16	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Refinement: An overview.	PSSE	2004	DBLP DOI BibTeX RDF
16	Hans-Werner Kelbassa	Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2.	ECAI	2002	DBLP BibTeX RDF
16	Robert Colvin	Contextual and data refinement for the refinement calculus for logic programs		2002	RDF
16	Kai Engelhardt	Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.	Refine	2002	DBLP DOI BibTeX RDF
16	Jim Davies, Charles Crichton	Concurrency and refinement in the UML.	Refine	2002	DBLP DOI BibTeX RDF
16	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Refinement of actions in a real-time process algebra with a true concurrency model.	Refine	2002	DBLP DOI BibTeX RDF
16	Antónia Lopes, José Luiz Fiadeiro	Superposition: Composition vs refinement of non-deterministic action-based systems.	Refine	2002	DBLP DOI BibTeX RDF
16	Yngve Lamo, Michal Walicki	Composition and refinement of specifications and parameterised data types.	Refine	2002	DBLP DOI BibTeX RDF
16	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Refine	2002	DBLP DOI BibTeX RDF
16	Eerke A. Boiten, John Derrick	Unifying concurrent and relational refinement.	Refine	2002	DBLP DOI BibTeX RDF
16	Lindsay Groves	Refinement and the Z schema calculus.	Refine	2002	DBLP DOI BibTeX RDF
16	Bernhard K. Aichernig	Contract-based mutation testing in the refinement calculus.	Refine	2002	DBLP DOI BibTeX RDF
16	Harald Fecher, Mila E. Majster-Cederbaum	Taking decisions late: end-based choice combined with action refinement.	Refine	2002	DBLP DOI BibTeX RDF
16	Christie Bolton, Jim Davies	A comparison of refinement orderings and their associated simulation rules.	Refine	2002	DBLP DOI BibTeX RDF
16	Emil Sekerinski	Tabular verification and refinement.	Refine	2002	DBLP DOI BibTeX RDF
16	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Refinement of actions in Circus.	Refine	2002	DBLP DOI BibTeX RDF
16	Samson W. Tu, Mark A. Musen	Episodic refinement of episodic skeletal-plan refinement.	Int. J. Hum. Comput. Stud.	1998	DBLP DOI BibTeX RDF
16	Susan Stepney, David Cooper, Jim Woodcock 0001	More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.	ZUM	1998	DBLP DOI BibTeX RDF
16	David Till (eds.)	6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994	Refine	1994	DBLP DOI BibTeX RDF
16	Howard P. Haughton, Kevin Lano	Testing and Safety Analysis of AM (Abstract Machine) Specifications.	Refine	1994	DBLP DOI BibTeX RDF
16	Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas.	Refine	1994	DBLP DOI BibTeX RDF
16	Theodore S. Norvell	Machine Code Programs are Predicates Too.	Refine	1994	DBLP DOI BibTeX RDF
16	Yves Ledru, Pierre Collette	Environment-based Development of Reactive Systems.	Refine	1994	DBLP DOI BibTeX RDF
16	Juan Bicarregui	Operation Semantics with Read and Write Frames.	Refine	1994	DBLP DOI BibTeX RDF
16	Qiwen Xu, Jifeng He 0001	Laws of Parallel Programming with Shared Variables.	Refine	1994	DBLP DOI BibTeX RDF
16	Pierre Bieber, Nora Boulahia-Cuppens	Formal Development of Authentication Protocols.	Refine	1994	DBLP DOI BibTeX RDF
16	Robert G. Reynolds, Jonathan I. Maletic	The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process.	SEKE	1993	DBLP BibTeX RDF
16	H. J. Litteck, Peter J. L. Wallis	Refinement methods and refinement calculi.	Softw. Eng. J.	1992	DBLP DOI BibTeX RDF
16	Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.)	5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992	Refine	1992	DBLP DOI BibTeX RDF
16	J. C. P. Woodcock	Implementing Promoted Operations in Z.	Refine	1992	DBLP DOI BibTeX RDF
16	Ketil Stølen	Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language.	Refine	1992	DBLP DOI BibTeX RDF
16	Qiwen Xu, Jifeng He 0001	A case study in formally developing state-based parallel programs - the Dutch National Torus.	Refine	1992	DBLP DOI BibTeX RDF
16	Tim Clement	Using Metavariables in Natural Deduction Proofs.	Refine	1992	DBLP DOI BibTeX RDF
16	Roger Bishop Jones	Methods and Tools for the Verification of Critical Properties.	Refine	1992	DBLP DOI BibTeX RDF
16	Patrick O'Ferrall	Opening Address.	Refine	1992	DBLP DOI BibTeX RDF
16	Jeannette M. Wing	Revisiting Abstraction Functions For Reasoning About Concurrency.	Refine	1992	DBLP DOI BibTeX RDF
16	Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever	Formalising Dijkstra's Development Strategy within Stark's Formalism.	Refine	1992	DBLP DOI BibTeX RDF
16	Martin P. Ward	A Recursion Removal Theorem.	Refine	1992	DBLP DOI BibTeX RDF
16	Robin Milner	Concurrent Processes as Objects.	Refine	1992	DBLP DOI BibTeX RDF
16	Morten Elvang-Gøransson	Classification of Refinements in VDM.	Refine	1992	DBLP DOI BibTeX RDF
16	José N. Oliveira	Software Reification using the SETS Calculus.	Refine	1992	DBLP DOI BibTeX RDF
16	C. T. Sennett	Demonstrating the Compliance of Ada Programs with Z Specifications.	Refine	1992	DBLP DOI BibTeX RDF
16	Robert G. Reynolds, Jonathan I. Maletic	An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
16	Job Zwiers	Predicated, Predicate Transformers and Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF
14	Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich	Contracts made manifest.	POPL	2010	DBLP DOI BibTeX RDF	blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
14	Aditya V. Nori, Sriram K. Rajamani	An empirical study of optimizations in YOGI.	ICSE (1)	2010	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
14	Roman V. Efremov, Georgy K. Kamenev	Properties of a method for polyhedral approximation of the feasible criterion set in convex multiobjective problems.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Polyhedral approximation, Estimation refinement method, Feasible goals method, Multicriteria optimization
14	Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin 0001	Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Prototyping, Refinement, High-level synthesis, Design space exploration, System level design
14	Graeme Smith 0001, Kirsten Winter	Model checking action system refinements.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	model checking, Refinement, CTL, action systems
14	Antti Siirtola, Juha Kortelainen	Algorithmic Verification with Multiple and Nested Parameters.	ICFEM	2009	DBLP DOI BibTeX RDF	parameterised verification, process algebra, refinement checking
14	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
14	Nader Salman, Mariette Yvinec	High resolution surface reconstruction from overlapping multiple-views.	SCG	2009	DBLP DOI BibTeX RDF	cimg, restricted delaunay triangulation, triangle soup, surface reconstruction, multiple-views, delaunay refinement, cgal
14	Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, Johannes Kirschnick, Jerry Rolia	One Is Not Enough: A Hybrid Approach for IT Change Planning.	DSOM	2009	DBLP DOI BibTeX RDF	IT Change Management, change planning, AI planning, policy refinement
14	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
14	Sanderson L. Gonzaga de Oliveira, Mauricio Kischinhevsky	Autonomous Leaves Graph Applied to the Boundary Layer Problem.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Boundary Layer Problem, NACA airfoils, Space-filling curves, Adaptive mesh refinement, Finite Volume Method, Hilbert Curve
14	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
14	Constantine Bekas, Alessandro Curioni, Irina Fedulova	Low cost high performance uncertainty quantification.	SC-WHPCF	2009	DBLP DOI BibTeX RDF	inverse covariance matrices, quadratic cost, stochastic estimation, massive parallelism, iterative solvers, iterative refinement
14	Ming-Cheng Tseng, Wen-Yang Lin	Incremental Mining of Ontological Association Rules in Evolving Environments.	IEA/AIE	2009	DBLP DOI BibTeX RDF	rule maintenance, support constraint refinement, Association rules, ontology evolution, database update
14	Andrey N. Chernikov, Nikos Chrisochoides	Algorithm 872: Parallel 2D constrained Delaunay mesh generation.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	parallel refinement, Delaunay triangulation, mesh generation
14	Saeed Iqbal, Graham F. Carey	Performance of parallel computations with dynamic processor allocation.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Adaptive mesh refinement (AMR), Dynamic processor allocation, Modelling parallel computations, Resource utilization, Parallel performance
14	Andreas Raabe, Philipp A. Hartmann, Joachim K. Anlauf	ReChannel: Describing and simulating reconfigurable hardware in systemC.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	hardware description, simulation, refinement, dynamic reconfiguration, SystemC, Reconfigurable hardware
14	Judy Bowen, Steve Reeves	Formal models for user interface design artefacts.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User interfaces, Formal methods, Refinement, User-centred design
14	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
14	Bishop Brock, Matt Kaufmann, J Strother Moore	Rewriting with Equivalence Relations in ACL2.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Refinement, Rewriting, Congruence, Equivalence relations
14	Leo Freitas, Jim Woodcock 0001	Mechanising Mondex with Z/Eves.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
14	Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
14	Michael J. Butler, Divakar Yadav	An incremental development of the Mondex system in Event-B.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
14	Tamy Boubekeur, Marc Alexa	Phong Tessellation.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	real-time tessellation, visual continuity, mesh refinement
14	Jean-Daniel Boissonnat, Camille Wormser, Mariette Yvinec	Locally uniform anisotropic meshing.	SCG	2008	DBLP DOI BibTeX RDF	anisotropic mesh generation, delaunay triangulation, delaunay refinement
14	Victoria S. Uren, Yuangui Lei, Enrico Motta	SemSearch: Refining Semantic Search.	ESWC	2008	DBLP DOI BibTeX RDF	semantic intranet, Semantic search, query refinement
14	Bogdan Alexe, Laura Chiticariu, Renée J. Miller, Daniel Pepper, Wang Chiew Tan	Muse: a system for understanding and designing mappings.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data examples, design, refinement, data exchange, schema mappings, data translation
14	Paolo A. G. Sivilotti, Stacey A. Laugel	Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.	SIGCSE	2008	DBLP DOI BibTeX RDF	K-12 outreach, specifications, refinement, scratch
14	Jun Wu 0009, Yo Seung Kim, Chi-Hwa Song, Won Don Lee	A New Classifier to Deal with Incomplete Data.	SNPD	2008	DBLP DOI BibTeX RDF	rule refinement, Classifier, incomplete data
14	Maik Wurdel, Daniel Sinnig, Peter Forbrig	Task-Based Development Methodology for Collaborative Environments.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Collaborative Task Models, Refinement, Tool Support, Development Methodology
14	Martin Burtscher, Milind Kulkarni 0001, Dimitrios Prountzos, Keshav Pingali	On the Scalability of an Automatically Parallelized Irregular Application.	LCPC	2008	DBLP DOI BibTeX RDF	sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement
14	Peter G. Anick, Raj Gopal Prasad Kantamneni	A longitudinal study of real-time search assistance adoption.	SIGIR	2008	DBLP DOI BibTeX RDF	search assistance, user interfaces, web search, query refinement
14	Guoliang Xu	Finite Element Methods for Geometric Modeling and Processing Using General Fourth Order Geometric Flows.	GMP	2008	DBLP DOI BibTeX RDF	Geometric PDE, Surface mesh refinement, Mixed finite element method, hole filling, Surface blending
14	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	Timed substitutions for regular signal-event languages.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
14	Xiaolin Li 0001, Manish Parashar	Hybrid Runtime Management of Space-Time Heterogeneity for Parallel Structured Adaptive Applications.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Hierarchical Multi-Partitioner, Parallel Computing, High Performance Computing, Dynamic Load Balancing, Structured Adaptive Mesh Refinement
14	Gozde B. Unal, Anthony J. Yezzi, Stefano Soatto, Gregory G. Slabaugh	A Variational Approach to Problems in Calibration of Multiple Cameras.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	lens distortion calibration, camera parameters refinement, Calibration, variational methods, color calibration
14	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
14	Natarajan Viswanathan, Min Pan, Chris C. N. Chu	FastPlace 3.0: A Fast Multilevel Quadratic Placement Algorithm with Placement Congestion Control.	ASP-DAC	2007	DBLP DOI BibTeX RDF	legalization technique, FastPlace 3.0, multilevel quadratic placement algorithm, placement congestion control, large-scale mixed-size designs, multilevel global placement framework, two-level clustering scheme, iterative local refinement, placement blockages, placement congestion constraints
14	Mohua Banerjee, Yiyu Yao	A Categorial Basis for Granular Computing.	RSFDGrC	2007	DBLP DOI BibTeX RDF	granulation coarsening and refinement, granular computing, Category theory
14	Karl G. Merkley, Corey Ernst, Jason Shepherd, Michael J. Borden	Methods and Applications of Generalized Sheet Insertion for Hexahedral Meshing.	IMR	2007	DBLP DOI BibTeX RDF	refinement, meshing, boundary layers, hexahedra, dual
14	Tarvo Raudvere, Ingo Sander, Axel Jantsch	Synchronization after design refinements with sensitive delay elements.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	design refinement, synchronization, system design
14	Stephen Drape, Clark D. Thomborson, Anirban Majumdar 0001	Specifying Imperative Data Obfuscations.	ISC	2007	DBLP DOI BibTeX RDF	Data Obfuscation, Specification, Refinement, Correctness
14	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Compositional SCC Analysis for Language Emptiness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, model checking, BDD, LTL, abstraction refinement
14	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
14	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening operators for powerset domains.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
14	Bikram Sengupta, Rance Cleaveland	Triggered Message Sequence Charts.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling