The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase h-refinement (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1976 (15) 1977-1979 (22) 1980-1982 (24) 1983-1984 (20) 1985 (17) 1986 (20) 1987 (33) 1988 (47) 1989 (87) 1990 (97) 1991 (103) 1992 (115) 1993 (113) 1994 (144) 1995 (139) 1996 (149) 1997 (190) 1998 (206) 1999 (270) 2000 (274) 2001 (271) 2002 (386) 2003 (404) 2004 (541) 2005 (605) 2006 (714) 2007 (660) 2008 (658) 2009 (532) 2010 (351) 2011 (265) 2012 (283) 2013 (283) 2014 (343) 2015 (329) 2016 (346) 2017 (373) 2018 (365) 2019 (465) 2020 (499) 2021 (587) 2022 (608) 2023 (737) 2024 (210)
Publication types (Num. hits)
article(4811) book(18) data(3) incollection(65) inproceedings(7764) phdthesis(225) proceedings(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6405 occurrences of 2962 keywords

Results
Found 12900 publication records. Showing 12900 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Victor L. Winter, James M. Boyle Proving refinement transformations for deriving high-assurance software. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
79Flávio Oquendo pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF architecture refinement languages, formal development techniques, software architectures, stepwise refinement
69Michael Parrish, Michael J. Borden, Matthew L. Staten, Steven E. Benzley A Selective Approach to Conformal Refinement of Unstructured Hexahedral Finite Element Meshes. Search on Bibsonomy IMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Moshe Deutsch, Martin C. Henson An analysis of refinement in an abortive paradigm. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Operation-refinement, Specification language, Data-refinement, Specification logic
66Ralph-Johan Back Refinement Calculus, Part II: Parallel and Reactive Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
66Yunfeng Wang, Bixin Li, Jun Pang 0001, Ming Zha, Guoliang Zheng A Formal Software Development Approach Based on COOZ and Refinement Calculus. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal development method, formal specification, object-oriented, refinement calculus
63Brendan P. Mahony, Ian J. Hayes A Case-Study in Timed Refinement: A Mine Pump. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
63Eerke A. Boiten, John Derrick, Gerhard Schellhorn Relational concurrent refinement part II: Internal operations and outputs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
62John Derrick, Eerke A. Boiten Relational Concurrent Refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness
60Michael J. Butler, Mairead Meagher Performing Algorithmic Refinement before Data Refinement in B. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Search on Bibsonomy Refinement Based Methods for the Construction of Dependable Systems The full citation details ... 2009 DBLP  BibTeX  RDF
58Zizhen Wang, Hanpin Wang, Naijun Zhan Refinement of models of software components. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CB-MDD, rCOS, trace refinement, data refinement
58Steve Reeves, David Streader Comparison of Data and Process Refinement. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF process refinement, sub-typing, Z, labelled transition systems, data refinement
57Junhua Ding, Lian Mo, Xudong He An approach for specification construction using property-preserving refinement patterns. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software architecture, refinement, property-preserving
57Michael Leuschel, Michael J. Butler Automatic Refinement Checking for B. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
57Richard Banach, Michael Poppleton Retrenchment, Refinement, and Simulation. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Simulation, Refinement, B-Method, Retrenchment
54John Derrick, Heike Wehrheim Using Coupled Simulations in Non-atomic Refinement. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Non-atomic refinement, coupled simulations, Z, action refinement
53Flávio Oquendo Formally refining software architectures with pi-ARL: a case study. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal development techniques, software architectures, case study, stepwise refinement
53Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu Graph transformations for object-oriented refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
52Qingtang Jiang Compactly Supported Orthogonal and Biorthogonal sqrt 5-Refinement Wavelets With 4-Fold Symmetry. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Mark Denford, John Leaney, Tim O'Neill Non-Functional Refinement of Computer Based Systems Architecture. Search on Bibsonomy ECBS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Anna Mikhajlova, Emil Sekerinski Class Refinement and Interface Refinement in Object-Oriented Programs. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock (eds.) Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 Search on Bibsonomy Refinement Based Methods for the Construction of Dependable Systems The full citation details ... 2009 DBLP  BibTeX  RDF
50Bernhard K. Aichernig The Commuting V-Diagram. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, refinement, contracts, specification-based testing, refinement calculus
49Marielle Doche, Andrew M. Gravell Extraction of Abstraction Invariants for Data Refinement. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF failure refinement, distributed system, Formal specification, CSP, B, data refinement
49Czeslaw Jeske, Richard Banach Minimally and Maximally Abstract Retrenchments. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Integration, Refinement, Retrenchment
48Jiafeng Guo, Gu Xu, Hang Li 0001, Xueqi Cheng A unified and discriminative model for query refinement. Search on Bibsonomy SIGIR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web search, conditional random fields, query refinement
48Kaisa Sere, Marina Waldén Data Refinement of Remote Procedures. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Remote procedures, Atomicity refinement, Action systems
48Robert Darimont, Axel van Lamsweerde Formal Refinement Patterns for Goal-Driven Requirements Elaboration. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF goal-drive requirements engineering, reuse of specifications and proof, formal methods, design patterns, refinement
48Rob Gerth Foundations of Compositional Program Refinement - Safety Properties. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
45Panagiotis Manolios, Sudarshan K. Srinivasan Automatic verification of safety and liveness for pipelined machines using WEB refinement. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
45François Duchaine, Henri Champliaud Structured mesh generation by kriging with local refinement with a new elliptic scheme. Search on Bibsonomy Eng. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Quality mesh, Octree refinement scheme, Elliptic refinement scheme, Kriging, Quadrilateral meshes
45Ron van der Meyden, Yoram Moses On Refinement and Temporal Annotations. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal refinement calculi, temporal logic, Refinement calculus
45Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider Correct Architecture Refinement. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF refinement patterns, relative correctness, Software architecture, formal methods, composition, hierarchy, stepwise refinement
45Neelam Soundarajan Refining Interactions in a Distributed System. Search on Bibsonomy FAABS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Interaction refinement, Communication traces, Correctness criteria
44Steve Reeves, David Streader Data refinement and singleton failures refinement are not equivalent. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Singleton failures refinement, Data refinement
44Ralph-Johan Back, Joakim von Wright Refinement Calculus, Part I: Sequential Nondeterministic Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
44Bernhard Beckert, Steffen Schlager Software Verification with Integrated Data Type Refinement for Integer Arithmetic. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
44Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Reformulation: A Way to Combine Dynamic Properties and B Refinement. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Verification of PLTL properties, Combination of proof and model-checking, Refinement development
44Bengt Jonsson 0001, Amir Pnueli, Camilla Rump Proving Refinement Using Transduction. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction
44Richard Banach, Michael Poppleton Sharp Retrenchment, Modulated Refinement and Simulation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Simulation, Refinement, B-Method, Retrenchment
43Steve A. Schneider, Helen Treharne Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001 Towards Instant Automatic Model Refinement Based on OCL. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Christie Bolton, Jim Davies Refinement in Object-Z and CSP. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Mun Choon Chan, Yow-Jian Lin, Xin Wang A Scalable Monitoring Approach for Service Level Agreements Validation. Search on Bibsonomy ICNP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system
41Eerke A. Boiten, John Derrick Modelling Divergence in Relational Concurrent Refinement. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
41Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli Refinement preserving approximations for the design and verification of heterogeneous systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
41Pierre Alliez, Nathalie Laurent, Henri Sanson, Francis J. M. Schmitt Efficient view-dependent refinement of 3D meshes using sqrt{3}-subdivision. Search on Bibsonomy Vis. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Device-driven refinement, Surface reconstruction, Subdivision surfaces, View-dependent refinement, Adaptive visualization
41Jürgen Dingel A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
41Luiz Velho 0001 Semi-Regular 4-8 Refinement and Box Spline Surfaces. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF semi-regular 4-8 refinement, box spline surfaces, mesh refinement method, semiregular 3-direction hierarchical structure, control meshes, 2D manifolds, conforming variable-resolution mesh extraction, spatially varying adaptation functions, generalized four direction box spline surfaces, subdivision surfaces, splines (mathematics), smoothing method, arbitrary topology, subdivision scheme
40Jianmin Jiang, Jinzhao Wu The Preservation of Interleaving Equivalences. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bundle action transitions, interleaving equivalences, action refinement, Event structures
40Jamie Shield, Ian J. Hayes Refining Object-Oriented Invariants and Dynamic Constraints. Search on Bibsonomy APSEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF history properties, Object-orientation, invariants, refinement calculus
40Mar Yah Said, Michael J. Butler, Colin F. Snook Language and Tool Support for Class and State Machine Refinement in UML-B. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, Formal specification, Refinement, Event-B, Visual modelling languages
40Guido Boella, Souhila Kaci, Leendert W. N. van der Torre Dynamics in argumentation with single extensions: attack refinement and the grounded extension. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory
40Yan Chen 0001, Fei Xie, Jin Yang 0006 Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
40Torsten Adolph, Willi Schönauer Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package. Search on Bibsonomy PARA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Non-linear PDEs, Black-box solver, Parallelization, Error estimate, Unstructured grid, Finite difference method, Mesh refinement
40José Nuno Oliveira, César Jesus Rodrigues Pointfree Factorization of Operation Refinement. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reusable theories, refinement, Theoretical foundations, calculation
40Tayfun Elmas, Serdar Tasiran, Shaz Qadeer VYRD: verifYing concurrent programs by runtime refinement-violation detection. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF refinement, runtime verification, concurrent data structures
40John Derrick, Graeme Smith 0001 Structural Refinement of Systems Specified in Object-Z and CSP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ensp, Integrated formal methods, Refinement, CSP, Object-Z
40Amel Mammar, Régine Laleau Design of an Automatic Prover Dedicated to the Refinement of Database Applications. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Refinement process, Proof reuse, B method, Data-intensive applications
40Samar Abdi, Dongwan Shin, Daniel Gajski Automatic communication refinement for system level design. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF system bus, communication, system modeling, system level design, model refinement
40Ana Cavalcanti 0001, David A. Naumann Forward Simulation for Data Refinement of Classes. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF soundness of simulation, program analysis and verification, object-orientation, data refinement
40Willy Dörfler, Oleg Iliev, Dimitar Stoyanov, Daniela Vassileva On a Multigrid Adaptive Refinement Solver for Saturated Non-Newtonian Flow in Porous Media. Search on Bibsonomy Numerical Methods and Application The full citation details ... 2002 DBLP  DOI  BibTeX  RDF nonlinear multigrid, non-Newtonian flow in porous media, adaptive refinement
40Mila E. Majster-Cederbaum, Jinzhao Wu Action Refinement for True Concurrent Real Time. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF timed event structure, timed process algebra, action refinement, true concurrency
40Ralph-Johan Back, Joakim von Wright Encoding, Decoding and Data Refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Predicate transformer semantics, Abstraction, Galois connection, Data refinement
40Susan Craw, Robin Boswell, Ray Rowe Knowledge Refinement to Debug and Maintain a Tablet Formulation System. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Design Knowledge Based Systems, Knowledge Acquisition, Knowledge Refinement
40Rob Gerth, Ruurd Kuiper 0001, John Segers Interface Refinement in Reactive Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
40David R. Forsey, Richard H. Bartels Hierarchical B-spline refinement. Search on Bibsonomy SIGGRAPH The full citation details ... 1988 DBLP  DOI  BibTeX  RDF free-form surface editing, refinement, subdivision, splines
39Nina Amla, Kenneth L. McMillan A Hybrid of Counterexample-Based and Proof-Based Abstraction. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Brendan P. Mahony The Least Conjunctive Refinement and Promotion in the Refinement Calculus. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
39Jason O. Hallstrom, Neelam Soundarajan Reusing Patterns through Design Refinement. Search on Bibsonomy ICSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001 Refinement in Circus. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unifying theories of programming, distribution, CSP, Z
39Liviu Badea A Refinement Operator for Theories. Search on Bibsonomy ILP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Juha Plosila, Kaisa Sere Action Systems in Pipelined Processor Design. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
37Gruia-Catalin Roman, Rose F. Gamble, William E. Ball Formal Derivation of Rule-Based Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
36Qingtang Jiang, S. L. Lee Spectral properties of matrix continuous refinement operators. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF matrix continuous refinement operators, matrix continuous refinement equations, power iteration, spectrum
36A. Udaya Shankar, Simon S. Lam A Stepwise Refinement Heuristic for Protocol Construction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF conditional refinement, cyclic sequence numbers, message lifetimes, interfaces, stepwise refinement, sliding window protocols, assertional reasoning
36Pankaj Jalote Functional Refinement and Nested Objects for Object-Oriented Design. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF nested objects, progressive object refinement, software engineering, Ada, Ada, object-oriented programming, object-oriented design, stepwise refinement, nesting
36Jifeng He 0001 Various Simulations and Refinements. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Hiding Refinement, Simulation, Refinement, Labelled Transition System
36Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Refining the control structure of loops using static analysis. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
36Rob T. Udink, Joost N. Kok On the Relation Between Unity Properties and Sequences of States. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Semantic models - Unity, program refinement
35Thomas Martin Deserno, Mark Oliver Güld, Bartosz Plodowski, Klaus Spitzer 0001, Berthold B. Wein, Henning Schubert, Hermann Ney, Thomas Seidl 0001 Extended Query Refinement for Medical Image Retrieval. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2008 DBLP  DOI  BibTeX  RDF usability, Graphical user interface (GUI), relevance feedback, query refinement, web-based interface
35Gavin Lowe Specification of communicating processes: temporal logic versus refusals-based refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Refinement testing, Specification, Temporal logic, CSP, Refusals
35Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil Test Purpose Concretization through Symbolic Action Refinement. Search on Bibsonomy TestCom/FATES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
35Carlos Gonzalía, Annabelle McIver Automating Refinement Checking in Probabilistic System Design. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification
35Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue Refinement of actions for real-time concurrent systems with causal ambiguity. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement
35Bing Li, Chao Wang 0001, Fabio Somenzi Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
35Michael Huth 0001 Refinement is complete for implementations. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Modal transition systems, Implementation relation, Model checking, Refinement
35Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
35Reiner Kraft 0001, Jason Y. Zien Mining anchor text for query refinement. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF web search, rank, query refinement, anchor text
35Jinzhao Wu, Houguang Yue Towards Action Refinement for Concurrent Systems with Causal Ambiguity. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF causal ambiguity, event structures with causal ambiguity, Concurrency, action refinement
35Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Refinement Preserves PLTL Properties. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Presevation of PLTL properties, B event systems, Refinement development
35Walter Dosch, Sönke Magnussen Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. Search on Bibsonomy SERA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
35Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher Action Refinement from a Logical Point of View. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, specification, modal logics, reactive systems, action refinement
35Junyu Peng, Samar Abdi, Daniel Gajski Automatic Model Refinement for Fast Architecture Exploration. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF architecture exploration, model refinement
35Cara MacNish A Note on the Refinement of Nonmonotonic Knowledge Bases. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Refinement, Nonmonotonic reasoning, Default logic
35Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF B Refinement Design, Verification, Specification, Dynamic properties, Event Systems
35Manfred Broy Compositional refinement of interactive systems. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF specification, refinement, interactive systems
35Lucia Pomello Refinement of Concurrent Systems Based on Local State Transformations. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
Displaying result #1 - #100 of 12900 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license